Online research in philosophy

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)

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.

Incontri al Chiostro, Dipartimento di Informatica e Sistemistica “Antonio Ruberti”, Università di Roma La Sapienza, Roma 20 Marzo 2006.