A Semantic Approach to Conservativity

The aim of this paper is to describe from a semantic perspective the problem of conservativity of classical first-order theories over their intuitionistic counterparts. In particular, we describe a class of formulae for which such conservativity results can be proven in case of any intuitionistic theory T which is complete with respect to a class of T-normal Kripke models. We also prove conservativity results for intuitionistic theories which are closed under the Friedman translation and complete with respect to a class of conversely well-founded Kripke models. The results can be applied to a wide class of intuitionistic theories and can be viewed as generalization of the results obtained by syntactic methods.     

Intuitionistic Games: Determinacy,Completeness, and Normalization

We investigate a simple game paradigm for intuitionistic logic, inspired by Wajsberg’s implicit inhabitation algorithm and Beth tableaux. The principal idea is that one player,  ?ros, is trying to construct a proof in normal form (positions in the game represent his progress in proof construction) while his opponent, ?phrodite,  attempts to build a counter-model (positions or plays can be seen as states in a Kripke model). The determinacy of the game (a proof-construction and a model-construction game in one) implies therefore both completeness and semantic cut-elimination.     

Sex differences in trauma symptoms,body image and intensity of pain in a Polish sample of patients suffering from chronic pain

The main goal of the current study was to investigate sex differences in the relationship between the level of trauma symptoms appearing in posttraumatic stress disorder (PTSD) and intensity of pain in a sample of 300 Polish patients suffering from chronic pain, specifically rheumatoid arthritis and lower back pain. We also focused on participants’ body image with body esteem as a mediator. To assess the intensity of pain among participants, we used the Numerical Rating Scale. The level of trauma symptoms was assessed with the PTSD Factorial Version Inventory. To measure body image among participants, we used the Body Esteem Scale. The results of our study suggest that trauma symptoms and body image dimensions were significant predictors of pain intensity among men suffering from chronic pain. Moreover, trauma symptoms and age were significant predictors of pain intensity among women suffering from chronic pain. Finally, we demonstrated that sex differentiates the reaction to chronic pain.     

Would You Be Happier If You Looked Better? A Focusing Illusion

Some people might believe that individuals who are more satisfied with their body are also happier. However, people tend to overrate the influence of some factors (e.g. money or health) on their happiness; a phenomenon termed the focusing illusion. Our aim was to examine the focusing illusion in relation to body satisfaction. We experimentally manipulated body satisfaction and life satisfaction focus by varying the order of relevant measurement scales. Volunteers (N = 97) completed two questionnaires placed in separate envelopes to control the order of scales administration. Participants either completed the Body Satisfaction Scale followed by the Satisfaction with Life Scale or vice versa. In line with the focusing illusion the association between body satisfaction and life satisfaction was significantly stronger when participants were asked about their body satisfaction first. Body satisfaction as a focusing illusion may need to be considered by scientist as well as lay people who try to look better and be happier.     

On the Grammar of Politics—or Why Conservatives Prefer Nouns

Previous research indicates that political conservatism is associated with epistemic needs for structure and certainty (Jost et al., 2003) and that nouns elicit clearer and more definite perceptions of reality than other parts of speech (Carnaghi et al., 2008). We therefore hypothesized that conservatives would exhibit preferences for nouns (vs. verbs and adjectives), insofar as nouns are better suited to satisfy epistemic needs. In Study 1, we observed that social conservatism was associated with noun preferences in Polish and that personal need for structure accounted for the association between ideology and grammatical preferences. In Study 2, conducted in Arabic, social conservatism was associated with a preference for the use of nominal sentences (composed of nouns only) over verbal sentences (which included verbs and adjectives). In Study 3, we found that more conservative U.S. presidents used greater proportions of nouns in major speeches, and this effect was related to integrative complexity. We discuss the possibility that conservative ideology is linked to grammatical preferences that foster feelings of stability and predictability.     

On the Integration of Need‐related Autobiographical Memories among Late Adolescents and Late Adults: The Role of Depressive Symptoms and Self‐congruence

Within self‐determination theory, integration denotes the process through which people accept past and present experiences and harmonize these experiences within their sense of self. We investigated associations between indicators of successful and poor integration of need‐related memories and memory‐related affect. We also examined the role of depressive symptoms and self‐congruence as antecedents of these indicators. Moreover, we investigated whether late adults, compared with late adolescents, were better capable of integrating need‐frustrating memories through higher levels of self‐congruence. Participants were 132 late adolescents (Mage = 17.83) and 147 late adults (Mage = 76.13), who reported on their level of depressive symptoms and self‐congruence. Next, participants generated a need‐satisfying and need‐frustrating memory and reported on the memories' integration (in terms of acceptance, connection and rumination) and associated affect. Whereas depressive symptoms related mainly to the poor integration of need‐frustrating memories, self‐congruence related positively to the integration of both need‐satisfying and need‐frustrating memories. In turn, integration was related to more positive and less negative affect. Late adults scored higher than late adolescents on the integration of need‐frustrating memories, an effect that was partly accounted for by late adults' elevated self‐congruence. Results suggest that self‐congruence, depressive symptoms and age play a role in the integration of need‐based autobiographical memories. Copyright © 2016 European Association of Personality Psychology