Tableaux and Dual Tableaux: Transformation of Proofs

We present two proof systems for first-order logic with identity and without function symbols. The first one is an extension of the Rasiowa-Sikorski system with the rules for identity. This system is a validity checker. The rules of this system preserve and reflect validity of disjunctions of their premises and conclusions. The other is a Tableau system, which is an unsatisfiability checker. Its rules preserve and reflect unsatisfiability of conjunctions of their premises and conclusions. We show that the two systems are dual to each other. The duality is expressed in a formal way which enables us to define a transformation of proofs in one of the systems into the proofs of the other. Presented by Wojciech Buszkowski     

DEFLATIONISM,CONSERVATIVENESS AND MAXIMALITY

We discuss two desirable properties of deflationary truth theories: conservativeness and maximality. Joining them together, we obtain a notion of a maximal conservative truth theory – a theory which is conservative over its base, but can’t be enlarged any further without losing its conservative character. There are indeed such theories; we show however that none of them is axiomatizable, and moreover, that there will be in fact continuum many theories of this sort. It turns out in effect that the deflationist still needs some additional principles, which would permit him to construct his preferred theory of truth.     

On infinite EPR-like correlations

The paper investigates, in the framework of branching space–times, whether an infinite EPR-like correlation which does not involve finite EPR-like correlations is possible. The authors read earlier versions of this paper at the seminar ‘Chaos and Quantum Information’ at the Jagiellonian University in Kraków on April 16, 2007 and at the seminar ‘On Determinism’ at the University of Bonn on April 20, 2007.     

Spirituality and Mental Health Care in a Religiously Homogeneous Country: Definitions,Opinions, and Practices Among Polish Mental Health Professionals

Journal of Religion and Health - This qualitative study involved a sample of 121 Polish mental health professionals who were interviewed about their definitions of spirituality and their opinions...     

Psychological consequences of trauma in MVA perpetrators – Relationship between post-traumatic growth,PTSD symptoms and individual characteristics

The study explores two problems rarely discussed in literature. Firstly, it presents the psychological consequences of traumatic stress in perpetrators of motor vehicle accidents (MVAs). The attention of both clinicians and researchers is very seldom focused on this group of MVA participants, as in the natural way, people have a tendency to empathise with victims and distancing from those who make harm to others. MVA perpetrators usually feel no right to complain about experienced symptoms of poor well-being, and guilt prevent them against searching for any help. Such a situation may lead to further problems related to traffic safety, as persistent and untreated symptoms of PTSD or other anxiety disorders may negatively affect driving behaviour. Secondly, apart from post-traumatic psychopathology, the symptoms of post-traumatic growth (PTG) in MVA perpetrators together with factors related to them are analysed in the study. The examination results from the comprehensive sample of MVA perpetrators (n = 236) referred to Occupational Medicine Centres in the catchment area of Mazowieckie Voivodship, Poland, indicate that both PTSD and PTG symptoms are experienced by MVA perpetrators. The key predictors of PTG are neuroticism, conscientiousness, agreeableness and intensity of PTSD symptoms. Moreover, sex and perpetrators’ injuries during the accident seem to play a vital role in the process of post-traumatic growth. Those of subjects who were women or were injured generally declared more positive changes in their life as a consequences of the accident they caused.     

The age prospective memory paradox within the same sample in time-based and event-based tasks

The present research investigated the age prospective memory (PM) paradox by testing the performance of the same participants on laboratory and naturalistic PM tasks. Younger, middle-aged, and older adults performed three tasks (time-based, event-based with focal cue, and event-based with nonfocal cue); first in the laboratory, then in the context of their everyday lives. Additionally, the social importance of PM tasks was manipulated in the laboratory. As expected, age-dependent declines on the laboratory tasks were reversed in the naturalistic tasks. Middle-aged adults performed as well as younger adults in the laboratory and as well as the elderly outside of the laboratory. When the social importance of laboratory tasks was stressed, the performance of younger adults fell. In addition, older adults showed higher self-reported commitment to the naturalistic tasks than both younger and middle-aged adults. Findings are discussed in the context of possible explanations for the age PM paradox.