Towards a Semantic Characterization of Cut-Elimination

We introduce necessary and sufficient conditions for a (single-conclusion) sequent calculus to admit (reductive) cut-elimination. Our conditions are formulated both syntactically and semantically.     

Who self-initiates gratitude interventions in daily life? An examination of intentions,curiosity, depressive symptoms,and life satisfaction

Despite a variety of interventions to increase well-being, little is known about who is interested in and initiates exercises on their own. We explored individual differences that predict who is most likely to participate in a voluntary gratitude intervention. College students (n = 226) completed measures of curiosity, depressive symptoms, life satisfaction, and intentions to change their lifestyle. Afterwards, participants received a personalized invitation to take part in a web-based intervention to enhance their well-being (anonymous and strictly voluntary). Results suggested that 11.5% of participants started the gratitude intervention. Individuals endorsing strong intentions to change their lifestyle (+1 SD above mean) were 2.2 times more likely than their peers to start the gratitude intervention. People with greater trait curiosity endorsed greater intentions to start this intervention; people with greater depressive symptoms endorsed weaker intentions. Both curiosity and depressive symptoms indirectly influenced initiation of the gratitude intervention via intentions. These findings provide support for particular paths that lead to the initial behavioral effort towards healthy change. We discuss the implications for attempting to increase and sustain people’s well-being.     

Honesty–Humility and the HEXACO Structure of Religiosity and Well-Being

Past research has shown that general and intrinsic religiosity is related to higher Big Five Agreeableness, Conscientiousness and, to some extent, Extraversion. With the rise of the six-factor HEXACO (Honesty–Humility, Emotionality, eXtraversion, Agreeableness, Conscientiousness, Openness) model of personality, however, a more differentiated look at religiousness and personality is called for. It has been suggested that religiosity is more associated with Honesty–Humility than with Agreeableness. The new personality factor, Honesty–Humility has also been shown to have null or weak relations with happiness. In 5 studies involving 1375 participants from Iran, Poland, and Malaysia, the relations of Honesty–Humility and other HEXACO dimensions to religious orientation and well-being outcomes were investigated. As expected, Honesty–Humility was one of the strongest personality correlate of religiosity. Higher scores on religiousness were also associated with Agreeableness, Conscientiousness, and to some extent, Extraversion showing that the main personality characteristics of religiosity are consistent across religious contexts and personality models. Relations of Honesty–Humility to psychological well-being scales were consistently positive and stronger than its relations to subjective well-being measures, suggesting that Honesty–Humility may not be “bad” for pleasure attainment and pain avoidance, but it is definitely “good” for living a virtuous, fully functioning life.     

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.     

Representing Sudden Shifts in Intensive Dyadic Interaction Data Using Differential Equation Models with Regime Switching

A growing number of social scientists have turned to differential equations as a tool for capturing the dynamic interdependence among a system of variables. Current tools for fitting differential equation models do not provide a straightforward mechanism for diagnosing evidence for qualitative shifts in dynamics, nor do they provide ways of identifying the timing and possible determinants of such shifts. In this paper, we discuss regime-switching differential equation models, a novel modeling framework for representing abrupt changes in a system of differential equation models. Estimation was performed by combining the Kim filter (Kim and Nelson State-space models with regime switching: classical and Gibbs-sampling approaches with applications, MIT Press, Cambridge, 1999) and a numerical differential equation solver that can handle both ordinary and stochastic differential equations. The proposed approach was motivated by the need to represent discrete shifts in the movement dynamics of \(n= 29\) mother–infant dyads during the Strange Situation Procedure (SSP), a behavioral assessment where the infant is separated from and reunited with the mother twice. We illustrate the utility of a novel regime-switching differential equation model in representing children’s tendency to exhibit shifts between the goal of staying close to their mothers and intermittent interest in moving away from their mothers to explore the room during the SSP. Results from empirical model fitting were supplemented with a Monte Carlo simulation study to evaluate the use of information criterion measures to diagnose sudden shifts in dynamics.