On the completeness of a certain system of arithmetic of whole numbers in which addition occurs as the only operation

Presburger's essay on the completeness and decidability of arithmetic with integer addition but without multiplication is a milestone in the history of mathematical logic and formal metatheory. The proof is constructive, using Tarski-style quantifier elimination and a four-part recursive comprehension principle for axiomatic consequence characterization. Presburger's proof for the completeness of first order arithmetic with identity and addition but without multiplication, in light of the restrictive formal metatheorems of Gödel, Church, and Rosser, takes the foundations of arithmetic in mathematical logic to the limits of completeness and decidability.     

Quality of life in patients with alcohol dependence disorder with personality disorders: relation to psychological adjustment and craving

The purpose of this study is to determine the self-perceived quality of life of abstinent patients with alcohol dependence disorder during the first month of treatment, and how the presence of personality disorders, psychological adjustment, and the level of craving affect this perception. For this purpose, a sample was used comprising 65 participants with mean age of 43.26 years, of whom 70.8% were male and 29.2% female, with a mean duration of addiction to alcohol consumption of 11.83 years. The results show that quality of life is not related to the duration of abstinence or the course of the addiction. Moreover, the patients who present a personality disorder perceive poorer quality of life in areas such as health status, mood, and social relations. Self-perception of quality of life is affected by psychological adjustment and beliefs about craving. These data should be taken into account when considering quality of life as a measurement of the effectiveness of a treatment for drug addicts with personality disorders.     

Attachment styles and demographic factors as predictors of sociocultural and psychological adjustment of Eastern European immigrants in the Netherlands

The present study examined the relationship between adult attachment styles and psychological and sociocultural adjustment of Polish, Russian, and Hungarian immigrants (N = 631) to Dutch society. In addition, it also examined the relationship between demographic factors and adjustment and compared the predictive value of attachment styles and demographic factors for immigrants' adjustment. The Attachment Style Questionnaire was used to assess respondents' attachment. Psychological adjustment was measured with the Psychological Health Scale and the Satisfaction With Life Scale. Sociocultural adjustment was measured with the Social Support List - Interactions scale. Two scales for measuring identification and contact with the native and with the Dutch culture were developed and used as indicators of cultural adjustment. We found relations between attachment styles and psychological and sociocultural adjustment. Secure attachment was positively related (p<.01) to psychological and sociocultural adjustment, fearful attachment was negatively (p<.01) associated with psychological adjustment, and more negatively with identification with the Dutch culture than with identification with the native culture. Preoccupied attachment was negatively related (p<.01) to psychological adjustment and to identification with the Dutch culture. Dismissing attachment was weakly negatively related (p<.01) to sociocultural adjustment. Correlation patterns across the three immigrants' samples indicate that dismissing individuals remain relatively indifferent towards their native and the Dutch culture. Regarding demographic factors we found that education and age at immigration were positively associated with psychological and sociocultural adjustment, and length of residence appeared to be positively related to sociocultural adjustment. In general, demographic factors showed a stronger association with sociocultural than with psychological adjustment. Regression analysis revealed that attachment styles were better predictors of immigrants' psychological and sociocultural adjustment than demographic factors-education, age at immigration, and length of residence. The results indicate that immigrant studies would benefit from taking an attachment perspective.     

Women are not less field independent than men—the role of stereotype threat

Prior research has shown that females are less field independent (FI) than males. However, when gender identity is salient, performance on tests assessing constructs similar to FI may be hindered, because of stereotype threat. This study examined the impact of stereotype threat on gender differences in FI. We expected that (a) reporting one's own gender prior to FI testing and (b) having an opposite‐gender experimenter would activate stereotype threat, and in turn result in lower performance on a test of FI among females. Overall, 170 participants were randomly assigned to one of eight conditions in a between‐participants design varying the participant's gender, experimenter's gender and timing of the gender question (before vs. after test). Results showed that reporting one's gender before the FI test led to lower FI performance among females. Furthermore, females achieved higher FI when experimenters were females and gender questions were administered after the FI test.     

Measurement Invariance of Personal Well-Being Index (PWI-8) Across 26 Countries

This report examines the measurement invariance of the Personal Well-being Index with 8 items (PWI-8). University students (N = 5731) from 26 countries completed the measure either through paper and pencil or electronic mode. We examined uni-dimensional structure of PWI and performed a Multi-group CFA to assess the measurement invariance across the 26 countries, using conventional approach and the alignment procedure. The findings provide evidence of configural and partial metric invariance, as well as partial scalar invariance across samples. The findings suggest that PWI-8 can be used to examine correlates of life satisfaction across all included countries, however it is impossible to compare raw scores across countries.     

Identification with all humanity—A test of the factorial structure and measurement invariance of the scale in five countries

Identification with all humanity measured as an individual characteristic is an important factor related to social and international relations, such as concern for global issues and human rights, prosocial attitudes, intergroup forgiveness, attitudes toward immigrants, solving global problems, reactions to hate crimes and dehumanisation. We examine the factorial structure, psychometric properties and measurement invariance of the Identification with All Humanity (IWAH) scale in student samples from five countries (the United States, Poland, France, Mexico and Chile; N = 1930). Separate confirmatory factor analyses (CFAs) for each country showed a second-order model of one superordinate factor with two subfactors. The cross-country validation of the scale, based on multigroup CFA, confirmed configural and metric invariance between countries for raw scores, and full metric invariance for “pure” scores. This study showed that the IWAH scale can be successfully used for cross-country research and the results from different countries can be compared and integrated.     

Do we need visual subjects?

It is widely accepted within contemporary philosophy of perception that the content of visual states cannot be characterized simply as a list of represented features. This is because such characterization leads to the so-called ‘Many Properties’ problem, that is, it does not allow us to explain how the visual system is able to distinguish between scenes containing different arrangements of the same features. The usual solution to the Many Properties problem is to characterize some basic elements of content as subjects, to which features are attributed by a predication-like relation. In this paper, I reconsider this solution and claim that the Many Properties problem can be solved without postulating such subjects. What is more, I argue that an alternative approach has stronger justification given the empirical data concerning human vision.     

The first signs of prospective memory

We conducted a study to examine the impact of motivation and length of delay on performance on prospective memory (PM) tasks in 2-year of children. A total of 158 children aged exactly 24 months were asked to perform a naturalistic PM task. Length of delay (10?min; 35?min) and motivation (high; very high) were between-subjects factors. Two thirds of children had to be excluded from the analysis because of poor retrospective memory for the PM task instructions which were no longer remembered at the end of the session. For the children who did remember the instructions, both motivation and delay had significant effects on PM. Also, their PM performance was reliably above zero, even after the long delay. The findings indicate that when children as young as 24 months are able to remember the PM task instructions they can reliably succeed in PM tasks that are intrinsically motivating for them.     

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).     

Illness perceptions are the main predictors of depression and anxiety symptoms in patients with chronic pain

Depression and anxiety symptoms in chronic pain are associated with adverse clinical outcomes, and appear highly related to patient’s illness perceptions as well as with marital adjustment. This study aimed to investigate the predictive value of pain variables, marital adjustment and illness perceptions on depression and anxiety in patients with chronic pain. Two hundred patients were recruited from a pain unit in a public hospital in the north of Portugal. Patients completed a questionnaire that assessed illness perceptions (IPQ-Brief), marital adjustment (revised dyadic adjustment scale), depression and anxiety symptoms (hospital anxiety depression scale) and pain variables (pain intensity and pain disability index). Depression and anxiety symptoms were associated with pain intensity, pain-related disability, marital adjustment and illness perceptions. Results from hierarchical regression showed that illness perceptions contributed significantly to depression and anxiety symptoms over and above the effects of pain intensity, pain-related disability and marital adjustment, after controlling for gender. In multivariate analyses, pain intensity, pain-related disability and marital adjustment were uniquely related to depression and anxiety symptoms, whereas specific illness perceptions were uniquely related to depression symptoms (identity, treatment control, emotional response and coherence) and to anxiety symptoms (identity, emotional response and concern). Perceptions of greater symptomatology (identity) and of emotional impact, and lesser perceptions of treatment control and understanding of chronic pain (illness comprehensibility) were significantly associated with increased depression symptoms. Perceptions of greater symptomatology (identity), emotional impact and greater concern were associated with anxiety symptoms. These findings indicate that the contribution of illness perceptions was greater than that made by traditional covariates, and may therefore be a useful basis for future psychological interventions.