Gil R, Arroyo-Anllo EM, Ingrand P, Gil M, Neau JP, Ornon C, Bonnaud V. Self-consciousness and Alzheimer’s disease. Acta Neurol Scand 2001: 104: 296–300. # Munksgaard 2001. Objectives – To propose a neuropsychological study of the various aspects of self-consciousness (SC) in Alzheimer’s disease. Methods – Forty-five patients with probable mild or moderate AD were included in the study. Severity of their dementia was assessed by the Mini Mental State (MMS). Fourteen questions were prepared to evaluate SC. Results – No (...) significant correlations were found between SC score and educational level, age, and duration of disease. A significant correlation was found between SC score and the severity of dementia, whereas frontal disturbances were just short of the significance threshold. The various aspects of SC were not impaired to the same degree. The most disturbed ones were awareness of cognitive deficiencies, moral judgements and prospective memory. The least disturbed aspects were awareness of identity and of mental representation of the body. Items relating to anosognosia and moral judgements were significantly correlated with the MMS score, whereas affective state, body representation disorders, prospective memory, and capacities for introspection were not related to the severity of the dementia. Consciousness of identity was sound, regardless of MMS score. Conclusions – AD clearly induces an heterogeneous impairment of SC. SC requires a convergence of many neural networks. In AD, neuronal alterations involve many cortical areas and information sent to the associative frontal cortex from memory, language and visuospatial areas is lacking or disturbed. Thus, the sequential order of successive stimuli cannot be maintained by the heteromodal associative cortex (dorsal convexity of the prefrontal cortex), and the supramodal associative cortex (located rostrally in the frontal lobes) is unable to provide reliable monitoring and assessment of simultaneous neural cognitive networks carrying insufficient and inadequate input. The core deficiency in AD patients might be impaired SC equated with the disability to maintain sequential and simultaneous ‘‘attention to life’’. The Self-Consciousness Questionnaire, a clinical scale providing multidimensional measurement, indicates that different aspects of consciousness are not correlated with overall cognitive deficiency as determined by the MMSE. (shrink)
This accessible book gives a new, detailed and elementary explanation of the Gödel incompleteness theorems and presents the Chaitin results and their relation to the da Costa-Doria results, which are given in full, but with no ...
A major intervention that marks the first appearance of Gil's work in English, Metamorphoses of the Body gives us an entirely new way of looking at relationships between bodies, forces, politics, and people.
Łukasiewicz’s infinite-valued logic is commonly defined as the set of formulas that take the value 1 under all evaluations in the Łukasiewicz algebra on the unit real interval. In the literature a deductive system axiomatized in a Hilbert style was associated to it, and was later shown to be semantically defined from Łukasiewicz algebra by using a “truth-preserving” scheme. This deductive system is algebraizable, non-selfextensional and does not satisfy the deduction theorem. In addition, there exists no Gentzen calculus fully adequate (...) for it. Another presentation of the same deductive system can be obtained from a substructural Gentzen calculus. In this paper we use the framework of abstract algebraic logic to study a different deductive system which uses the aforementioned algebra under a scheme of “preservation of degrees of truth”. We characterize the resulting deductive system in a natural way by using the lattice filters of Wajsberg algebras, and also by using a structural Gentzen calculus, which is shown to be fully adequate for it. This logic is an interesting example for the general theory: it is selfextensional, non-protoalgebraic, and satisfies a “graded” deduction theorem. Moreover, the Gentzen system is algebraizable. The first deductive system mentioned turns out to be the extension of the second by the rule of Modus Ponens. (shrink)
The objective of this paper is analyzing to which extent the multiverse hypothesis provides a real explanation of the peculiarities of the laws and constants in our universe. First we argue in favor of the thesis that all multiverses except Tegmark’s “mathematical multiverse” are too small to explain the fine tuning, so that they merely shift the problem up one level. But the “mathematical multiverse" is surely too large. To prove this assessment, we have performed a number of experiments with (...) cellular automata of complex behavior, which can be considered as universes in the mathematical multiverse. The analogy between what happens in some automata (in particular Conway’s “Game of Life") and the real world is very strong. But if the results of our experiments can be extrapolated to our universe, we should expect to inhabit—in the context of the multiverse—a world in which at least some of the laws and constants of nature should show a certain time dependence. Actually, the probability of our existence in a world such as ours would be mathematically equal to zero. In consequence, the results presented in this paper can be considered as an inkling that the hypothesis of the multiverse, whatever its type, does not offer an adequate explanation for the peculiarities of the physical laws in our world. (shrink)
Impairment of the Self has been described in frontal–temporal dementia but little research has been carried out in patients with Alzheimer’s disease .ObjectiveThe aim of this study was to explore changes in the self in patients with AD.MethodForty-seven patients with mild to moderate AD were examined using a semi-structured scale designed to assess the self-concept along three dimensions, namely, the Material Self, the Social Self and the Spiritual Self.ResultsThe majority of patients presented impairment of at least one dimension of the (...) Self. When only one dimension was affected, it was always the Social Self. The severity of impairment of the Self was correlated to the impairment of the semantic autobiographical memory and apathy.ConclusionThe Self is impaired in AD and the Social Self dimension appears to be more vulnerable in AD than other dimensions. (shrink)
This book treats practical and political reasoning as an active engagement with the world and other people; it cannot be understood as exclusively cognitive and this is seen as a virtue rather than a deficiency. Informal, emotional, characterological, aesthetic and interactional aspects of thought can be constituents of reasonable arguing. The work examines key capacities connected with argumentation, in a variety of fields from professional and medical ethics to work organization and the practice of art.
In this paper we show that, in Gentzen systems, there is a close relation between two of the main characters in algebraic logic and proof theory respectively: protoalgebraicity and the cut rule. We give certain conditions under which a Gentzen system is protoalgebraic if and only if it possesses the cut rule. To obtain this equivalence, we limit our discussion to what we call regular sequent calculi, which are those comprising some of the structural rules and some logical rules, in (...) a sense we make precise. We note that this restricted set of rules includes all the usual rules in the literature. We also stress the difference between the case of two-sided sequents and the case of many-sided sequents, in which more conditions are needed. (shrink)
Les études récentes ont montré que les femmes ont participé, tout au long du Moyen Age, à l’activité économique. Pourtant, leur place dans la production artistique médiévale est généralement ignorée des historiens de l’art, alors même que l’étude de la production d’un artiste ou d’un milieu montre clairement, par les sources et les œuvres, qu’elles ont été présentes à chaque étape du processus de création. La confrontation de la norme à la pratique, par l’analyse de la réglementation de la gilde (...) de Saint-Luc de quatorze villes et des registres d’inscription à la gilde des métiers du livre brugeois, a permis de mettre en perspective les activités des femmes dans les métiers d’art. Elles apparaissent comme maîtresses, ayant passé la maîtrise du métier – et pas seulement de métiers dits féminins –, dirigeant l’atelier, aux côtés du mari ou seules apprenties, formant parfois des garçons ou des filles au métier. Elles sont aussi les premières victimes des crises économiques. (shrink)
Espero defender la tesis de que la lingüística contemporánea se ha ido consolidando como una ciencia estable. Para ello analizaré, en los conocidos términos de Hempel, casos concretos de explicaciones nomológico-deductivas y probabilístico-inductivas brindadas por la teo-ría generativa y por la teoría sistémico-funcional. Estas explicaciones so-bre hechos del lenguaje son muy superiores a las “no-científicas” : Se sostienen en leyes universales y probabilísticas, cumplen con los requi-sitos de contrastabilidad y pertinencia explicativa y, fundamentalmente, sirven para establecer o comprender las predicciones. (...) Finalmente, el problema de la incompatibilidad manifiesta entre los supuestos de una teoría “biologista” y los de una teoría “sociológica” , puede interpretarse en función de la vieja idea de que en la ciencia no hay experimentos cruciales.In this paper I shall argue that contemporary linguistics has developed as a stable science. I will use Hempel’s well known concep-tual apparatus in my analysis, and apply it to concrete examples of no-mologic-deductive and probabilistic-inductive explanations provided both by the generative and the systemic-functional theory. The expla-nations of concrete linguistic facts yielded by these theories are much better than “non-scientific” explanations : they are based on universal and probabilistic laws, they satisfy the requirements of contrastability and explicative relevance and, more importantly, they are useful in es-tablishing or understanding predictions. Finally, the manifest incom-patibility between the assumptions of a “biologist” theory and those of a “sociologic” theory can be analyzed in terms of the old idea that there are no crucial experiments in science. (shrink)
Perhaps the most remarkable feature about this book is the effort made by its author in order to shed light on the most intriguing question that surrounds disgust: how is it possible for disgust to be so flexible with its objects? This book is highly recommended for those readers interested in the latest and most exciting aspects of current scholarship on the study of the emotions. Readers too who are interested on evolutionary psychology, moral psychology or neuroethics will find this (...) book stimulating. However, it should be noted that perhaps it may not be liked for readers allergic to evolutionary approaches and the vocabulary of cognitive science. (shrink)
In order to improve the management of copyright in the Internet, known as Digital Rights Management, there is the need for a shared language for copyright representation. Current approaches are based on purely syntactic solutions, i.e. a grammar that defines a rights expression language. These languages are difficult to put into practise due to the lack of explicit semantics that facilitate its implementation. Moreover, they are simple from the legal point of view because they are intended just to model the (...) usage licenses granted by content providers to end-users. Thus, they ignore the copyright framework that lies behind and the whole value chain from creators to end-users. Our proposal is to use a semantic approach based on semantic web ontologies. We detail the development of a copyright ontology in order to put this approach into practice. It models the copyright core concepts for creation, rights and the basic kinds of actions that operate on content. Altogether, it allows building a copyright framework for the complete value chain. The set of actions operating on content are our smaller building blocks in order to cope with the complexity of copyright value chains and statements and, at the same time, guarantee a high level of interoperability and evolvability. The resulting copyright modelling framework is flexible and complete enough to model many copyright scenarios, not just those related to the economic exploitation of content. The ontology also includes moral rights, so it is possible to model this kind of situations as it is shown in the included example model for a withdrawal scenario. Finally, the ontology design and the selection of tools result in a straightforward implementation. Description Logic reasoners are used for license checking and retrieval. Rights are modelled as classes of actions, action patterns are modelled also as classes and the same is done for concrete actions. Then, to check if some right or license grants an action is reduced to check for class subsumption, which is a direct functionality of these reasoners. (shrink)
De acuerdo con la tradición dominante de la teoría generativa, la creatividad lingüística es la capacidad de producir infinitas oraciones a partir de un conjunto finito de instrucciones sintácticas. Aunque esta idea de creatividad ha sido aceptada y festejada, sólo se trata de manejar una secuencia de categorías y escoger en cada paso un miembro de cada categoría. En efecto, la así llamada creatividad generativa no es más que una operación secuencial que ofrece opciones para cada punto de la secuencia, (...) y esto es comparable a la operación secuencial en la que completamos la bandeja con la comida disponible en el comedor. De hecho, la creatividad generativa no puede dar cuenta de los procesos verdaderamente creativos, por ejemplo de la invención de palabras nuevas o nombres originales. Por el contrario, el enfoque neurocognitivo asumido por la teoría de redes relacionales sí puede dar cuenta estos procesos genuinamente creativos. En este trabajo se mostrará cómo es el proceso neurocognitivo gracias al cual se crean y se entienden nombres cuya originalidad se basa en la ambigüedad deliberada. (shrink)
In a famous lecture in 1900, David Hilbert listed 23 difficult problems he felt deserved the attention of mathematicians in the coming century. His conviction of the solvability of every mathematical problem was a powerful incentive to future generations: ``Wir müssen wissen. Wir werden wissen.'' (We must know. We will know.) Some of these problems were solved quickly, others might never be completed, but all have influenced mathematics. Later, Hilbert highlighted the need to clarify the methods of mathematical reasoning, using (...) a formal system of explicit assumptions, or axioms. Hilbert's vision was the culmination of 2,000 years of mathematics going back to Euclidean geometry. He stipulated that such a formal axiomatic system should be both `consistent' (free of contradictions) and `complete' (in that it represents all the truth). Hilbert also argued that any wellposed mathematical problem should be `decidable', in the sense that there exists a mechanical procedure, a computer program, for deciding whether something is true or not. Of course, the only problem with this inspiring project is that it turned out to be impossible. (shrink)
MATHEMATICS is a wonderful, mad subject, full of imagination, fantasy and creativity that is not limited by the petty details of the physical world, but only by the strength of our inner light. Does this sound familiar? Probably not from the mathematics classes you may have attended. But consider the work of three famous earlier mathematicians: Leonhard Euler, Georg Cantor and Srinivasa Ramanujan.
A remarkable philosophical affinity may be observed between the intuitionistic conception of mathematics and the transformational generative approach to the study of language: both disciplines profess a mentalistic ontology, both posit an idealized subject, and both insist on their autonomy with respect to other disciplines. This philosophical parallel is formalized in terms of a generalization of the intuitionistic notion of creative subject; resulting are the foundations of a unified theory of mental acts based on intuitionistic logic — capturing, inter alia, (...) similarities between proof acts and speech acts. As an application of the theory, it is then shown how the notion of mental act may provide for an insightful formalization of various hypotheses pertaining to the linguistic dependence or relativity of mathematics. (shrink)
ABSTRACT In this paper we study consequence relations on the set of many sided sequents over a propositional language. We deal with the consequence relations axiomatized by the sequent calculi defined in  and associated with arbitrary finite algebras. These consequence relations are examples of what we call Gentzen systems. We define a semantics for these systems and prove a Strong Completeness Theorem, which is an extension of the Completeness Theorem for provable sequents stated in . For the special case (...) of the finite linear MV-algebras, the Strong Completeness Theorem was proved in , as a consequence of McNaughton's Theorem. The main tool to prove this result for arbitrary algebras is the deduction-detachment theorem for Gentzen systems. (shrink)