A large body of literature agrees that persons with schizophrenia suffer from a Theory of Mind (ToM) deficit. However, most empirical studies have focused on third-person, egocentric ToM, underestimating other facets of this complex cognitive skill. Aim of this research is to examine the ToM of schizophrenic persons considering its various aspects (first vs. second order, first vs. third person, egocentric vs. allocentric, beliefs vs. desires (...) vs. positive emotions vs. negative emotions and how each of these mental state types may be dealt with), to determine whether some components are more impaired than others. We developed a Theory of Mind Assessment Scale (Th.o.m.a.s.) and administered it to 22 persons with a DSM-IV diagnosis of schizophrenia and a matching control group. Th.o.m.a.s. is a semi-structured interview which allows a multi-component measurement of ToM. Both groups were also administered a few existing ToM tasks and the schizophrenic subjects were administered the Positive and Negative Symptoms Scale and the WAIS-R. The schizophrenic persons performed worse than control at all the ToM measurements; however, these deficits appeared to be differently distributed among different components of ToM. Our conclusion is that ToM deficits are not unitary in schizophrenia, which also testifies to the importance of a complete and articulated investigation of ToM. (shrink)
Husserl develops his reflection on ethics mainly in his lecture courses. These lectures can be divided into two parts, according to a principle that is both chronological and pertaining to content, and following thus the respective editions in the Gesammelte Werke.1 The common aspect of the two different phases of Husserl’s research can be detected in the critical confrontation with Kant’s practical philosophy, starting with the question concerning the formality.
In this paper we show the adequacy of tense logic with unary operators for dealing with finite trees. We prove that models on finite trees can be characterized by tense formulas, and describe an effective method to find an axiomatization of the theory of a given finite tree in tense logic. The strength of the characterization is shown by proving that adding the binary operators "Until" and "Since" to the language does not result in a better description than that given (...) by unary tense logic; although the greater expressive power of "Until" and "Since" can be exploited by using the semantics of e-frames instead of traditional Kripke semantics. (shrink)
Background: The rapid pace of progress in medical research, the consequent need for the timely transfer of new knowledge into practice, and the increasing need for ethics support, is making the work of Ethics Committees (ECs) ever more complex and demanding. As a response, ECs in many countries exhibit large variation in number, mandate, organization and member competences. This cross-sectional study aims to give an overview of the different types of activities of Italian ECs and favour discussion at a European (...) level.Methods: A questionnaire was emailed to all Italian Ethics Committees contained in the national Registry of the Ministry of Health, enquiring whether the EC was conducting, or planning to conduct, 4 specific activities. A telephone interview was conducted to determine reasons for failure to respond.Results: Response rate was 53% (101 respondents out of 191). 20% of ECs restrict their responsibilities to research protocol review, 25% also offer ethical consultation to institutions, support on individual health care decisions and promotes educational initiatives, while the remaining 50% conduct a few of the examined activities to varying degrees. Large variation was observed across different types of hosting institutions and geographical locations.Conclusions: A common European model should be developed, defining EC functions, member selection modalities, necessary member competences, decision-making criteria and measures for work verification. In the absence of sound empirical evidence, it would be interesting to study the effectiveness and efficiency of the different existing models. (shrink)
We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4.
The many-Hilbert-spaces approach to the measurement problem in quantum mechanics is reviewed, and the notion of wave function collapse by measurement is formulated as a dephasing process between the two branch waves of an interfering particle. Following the approach originally proposed in Ref. 1, we introduce a “decoherence parameter,” which yields aquantitative description of the degree of coherence between the two branch waves of an interfering particle. By discussing the difference between the wave function collapse and the orthogonality of the (...) apparatus' wave functions, we analyze critically two proposals, recently appeared in the literature, (2, 3) and argue that neither one describes a dephasing process. We conclude that the concept of “wave function collapse,” according to the conventional Copenhagen interpretation, is to be replaced by that of a statisticallydefined dephasing process. (shrink)
The semantics of e-models for tense logics with binary operators for `until' and `since' (US-logics) was introduced by Bellissima and Bucalo in 1995. In this paper we show the adequacy of these semantics by proving a general Henkin-style completeness theorem. Moreover, we show that for these semantics there holds a Stone-like duality theorem with the algebraic structures that naturally arise from US-logics.
Decoherence is one of the most serious drawback in quantum mechanical applications. We discuss the effects of noise in superconducting devices (Josephson junctions) and suggest a decoherence-control strategy based on the quantum Zeno effect.
The quantum Zeno effect is often studied and understood in term of nonunitary evolutions, involving projections à la von Neumann (measurements). We propose a dynamical explanation of this effect, which involves only unitary operators. The limit of infinitely frequent measurements is critically discussed: it is unphysical, yet interesting and peculiar.
The study of pairs of modules (over a Dedekind domain) arises from two different perspectives, as a starting step in the analysis of tuples of submodules of a given module, or also as a particular case in the analysis of Abelian structures made by two modules and a morphism between them. We discuss how these two perspectives converge to pairs of modules, and we follow the latter one to obtain an alternative approach to the classification of pairs of torsionfree objects. (...) Then we restrict our attention to pairs of free modules. Our main results are that the theory of pairs of free Abelian groups is co-recursively enumerable, and that a few remarkable extensions of this theory are decidable. (shrink)