Pure Modal Logic of Names and Tableau Systems

By a pure modal logic of names (PMLN) we mean a quantifier-free formulation of such a logic which includes not only traditional categorical, but also modal categorical sentences with modalities de re and which is an extension of Propositional Logic. For categorical sentences we use two interpretations: a “natural” one; and Johnson and Thomason’s interpretation, which is suitable for some reconstructions of Aristotelian modal syllogistic (Johnson in Notre Dame J Form Logic 30(2):271–284, 1989; Thomason in J Philos Logic 22(2):111–128, 1993 and J Philos Logic 26:129–141, 1997. In both cases we use Johnson-like models (1989). We also analyze different kinds of versions of PMLN, for both general and singular names. We present complete tableau systems for the different versions of PMLN. These systems enable us to present some decidability methods. It yields “strong decidability” in the following sense: for every inference starting with a finite set of premises (resp. every syllogism, every formula) we can specify a finite number of steps to check whether it is logically valid. This method gives the upper bound of the cardinality of models needed for the examination of the validity of a given inference (resp. syllogism, formula).     

Interpreting Survey Questions About Sexual Aggression in Cross-Cultural Research: A Qualitative Study with Young Adults from Nine European Countries

Examining equivalence in the interpretation of survey items on sexual assault by participants from different cultures is an important step toward building a valid international knowledge base about the prevalence of sexual aggression among young adults. Referring to the theoretical framework of contextualism, this study presents qualitative data from semi-structured interviews with 128 young adults from nine EU countries on their understanding of survey items from the Sexual Aggression and Victimization Scale (SAV-S). The measure had previously been used to collect quantitative data on the prevalence of sexual aggression perpetration and victimization in the same countries that had yielded substantial differences in the rates of victimization and perpetration between countries. Based on the methodological approach of a mixed research design, the current study was conducted as a follow-up to the quantitative study with a new sample to explore whether systematic differences in the interpretation of the survey items in the different countries might explain part of the variation in prevalence rates. The interviews showed that participants from the nine countries interpreted the items of the SAV-S in a similar way and as intended by the authors of the scale. Systematic differences between men and women in interpreting the survey items were revealed. Implications of the findings for conducting survey research on sexual aggression across cultures are discussed.     

EEG paroxysmal gamma waves during Bhramari Pranayama: a yoga breathing technique

Here we report that a specific form of yoga can generate controlled high-frequency gamma waves. For the first time, paroxysmal gamma waves (PGW) were observed in eight subjects practicing a yoga technique of breathing control called Bhramari Pranayama (BhPr). To obtain new insights into the nature of the EEG during BhPr, we analyzed EEG signals using time-frequency representations (TFR), independent component analysis (ICA), and EEG tomography (LORETA). We found that the PGW consists of high-frequency biphasic ripples. This unusual activity is discussed in relation to previous reports on yoga and meditation. It is concluded this EEG activity is most probably non-epileptic, and that applying the same methodology to other meditation recordings might yield an improved understanding of the neurocorrelates of meditation.     

Voting by Eliminating Quantifiers

Mathematical theory of voting and social choice has attracted much attention. In the general setting one can view social choice as a method of aggregating individual, often conflicting preferences and making a choice that is the best compromise. How preferences are expressed and what is the “best compromise” varies and heavily depends on a particular situation. The method we propose in this paper depends on expressing individual preferences of voters and specifying properties of the resulting ranking by means of first-order formulas. Then, as a technical tool, we use methods of second-order quantifier elimination to analyze and compute results of voting. We show how to specify voting, how to compute resulting rankings and how to verify voting protocols.     

The Tense Logic for Master Argument in Prior’s Reconstruction

In this paper we examine Prior’s reconstruction of Master Argument [4] in some modal-tense logic. This logic consists of a purely tense part and Diodorean definitions of modal alethic operators. Next we study this tense logic in the pure tense language. It is the logic K _t 4 plus a new axiom (P): ‘p Λ G p ⊃ P G p’. This formula was used by Prior in his original analysis of Master Argument. (P) is usually added as an extra axiom to an axiomatization of the logic of linear time. In that case the set of moments is a total order and must be left-discrete without the least moment. However, the logic of Master Argument does not require linear time. We show what properties of the set of moments are exactly forced by (P) in the reconstruction of Prior. We make also some philosophical remarks on the analyzed reconstruction. Presented by Jacek Malinowski     

The expression of c-Fos and colocalisation of c-Fos and glucocorticoid receptors in brain structures of low and high anxiety rats subjected to extinction trials and re-learning of a conditioned fear response

We designed an animal model to examine the mechanisms of differences in individual responses to aversive stimuli. We used the rat freezing response in the context fear test as a discriminating variable: low responders (LR) were defined as rats with a duration of freezing response one standard error or more below the mean value, and high responders (HR) were defined as rats with a duration of freezing response one standard error or more above the mean value. We sought to determine the colocalisation of c-Fos and glucocorticoid receptors-immunoreactivity (GR-ir) in HR and LR rats subjected to conditioned fear training, two extinction sessions and re-learning of a conditioned fear. We found that HR animals showed a marked decrease in conditioned fear in the course of two extinction sessions (16 days) in comparison with the control and LR groups. The LR group exhibited higher activity in the cortical M2 and prelimbic areas (c-Fos) and had an increased number of cells co-expressing c-Fos and GR-ir in the M2 and medial orbital cortex after re-learning a contextual fear. HR rats showed increased expression of c-Fos, GR-ir and c-Fos/GR-ir colocalised neurons in the basolateral amygdala and enhanced c-Fos and GR-ir in the dentate gyrus (DG) in comparison with LR animals. Our data indicate that recovery of a context-related behaviour upon re-learning of contextual fear is accompanied in HR animals by a selective increase in c-Fos expression and GRs-ir in the DG area of the hippocampus.     

Does Personality Smell? Accuracy of Personality Assessments Based on Body Odour

People are able to assess some personality traits of others based on videotaped behaviour, short interaction or a photograph. In our study, we investigated the relationship between body odour and the Big Five personality dimensions and dominance. Sixty odour samples were assessed by 20 raters each. The main finding of the presented study is that for a few personality traits, the correlation between self‐assessed personality of odour donors and judgments based on their body odour was above chance level. The correlations were strongest for extraversion (.36), neuroticism (.34) and dominance (.29). Further analyses showed that self–other agreement in assessments of neuroticism slightly differed between sexes and that the ratings of dominance were particularly accurate for assessments of the opposite sex. Copyright © 2011 John Wiley & Sons, Ltd.     

Influence of Religiosity on the Quality of Life and on Pain Intensity in Chronic Pancreatitis Patients After Neurolytic Celiac Plexus Block: Case-Controlled Study

The quality of life in patients with chronic pancreatitis (CP) is reduced due to their suffering of high levels of pain. It has been presented that quality of life can also be linked to religiosity and/or spirituality. The aim of this study is to assess the influence of religious practices on the quality of life and on the subjective level of pain in CP patients. Ninety-two patients (37 women and 55 men) with chronic pancreatitis were treated invasively for pain with neurolytic celiac plexus block (NCPB). The religiosity of the patients was recorded and served as a dichotomizer. Group 1 was for patients who claimed to have no contact with the church or to have very sporadic contact (N = 35 patients). Group 2 was for patients who claimed to have deep faith and were regular participants at church activities (N = 57 patients). Visual analogue scale was used to assess pain, while the quality of life was measured by using QLQ C-30 questionnaire adapted for chronic pancreatitis patients in Polish population. The patients were assessed prior to the pain-relieving intervention and subsequently 2 and 8 weeks after it. The intensity of pain was reduced in both groups significantly after performing the NCPB. Patients who declared a deep faith reported higher level of pain on the VAS scale prior to intervention than non-religious patients. Quality of life in both groups of patients significantly improved after NCPB. Following NCPB, global quality of life in patients who declared higher religiosity/church attendance was significantly higher (79.88) than for those patients who have no contact or sporadic contact with the church (44.21, P < 0.05). NCPB resulted in significant reduction of pain and increase in quality of life in both groups of patients with CP. Nevertheless, in the group declaring higher religiosity/church attendance, reported pain was higher, but, despite that, quality of life better. It may be concluded that religious practices might serve as an additional factor improving quality of life and coping in patients suffering from chronic pancreatitis.