Natural Deduction for Non-Classical Logics

We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and proof normalization. We have implemented our work in the Isabelle Logical Framework.     

Concurrent validity of Holland's theory for non-college-degreed working women

This study, using the Vocational Preference Inventory (VPI) and the Self-Directed Search (SDS), explored the concurrent validity of Holland's theory for employed non-college-degreed women. The VPI and SDS were administered to 114 women workers in occupational environments consistent with Holland's vocational environments. The results revealed that three scales of the VPI and five scales of the SDS successfully differentiated the occupational groups consistent with Holland's theoretical notions. In general, the findings lend some support to the concurrent validity of Holland's theory for employed non-college-degreed women.     

Does who you marry matter for your health? Influence of patients' and spouses' personality on their partners' psychological well-being following coronary artery bypass surgery

Research suggests that presurgical personality attributes influence postsurgical well-being in both patients and their spouses in the context of coronary artery bypass grafting (CABG) surgery. The authors hypothesized that a spouse's characteristics would influence a partner's psychological well-being, regardless of whether he or she was the patient or the caregiver. In this study, 111 male patients and their caregiver spouses completed measures of neuroticism, optimism, perceived marital satisfaction, and depression prior to elective CABG. Follow-up was conducted at 18 months. As expected, higher caregiver presurgical neuroticism predicted higher patient depressive symptoms at follow-up, with caregiver's concurrent 18-month affect controlled for. Likewise, higher patient presurgical neuroticism predicted higher caregiver depressive symptoms at follow-up. Additionally, higher patient presurgical depressive symptoms and lower presurgical optimism contributed to greater caregiving burden. Relationship satisfaction moderated these effects. These results suggest that partners' personality traits are important determinants of both patients' and their caregiving spouses' well-being.     

Cognition and belief in paranormal phenomena: gestalt/feature-intensive processing theory and tendencies toward ADHD, depression, and dissociation

Belief in paranormal phenomena and cryptids--unknown animals such as Bigfoot--may predispose individuals to interpret real-world objects and events in the same way that eyewitness identification can be biased by unrelated information (P. James and N. Thorpe, 1999). Psychological tendencies toward attention deficit hyperactivity disorder (ADHD), dissociation, and depression, even at subclinical levels, may be associated systematically with particular paranormal or cryptozoological beliefs. The authors evaluated these psychological tendencies using the Conners Adult ADHD Rating Scales (C. K. Conners, D. Erhardt, and E. Sparrow, 1999), the Dissociative Experiences Scale (L. Coleman & J. Clark, 1999), and the Beck Depression Inventory-II (A. T. Beck, 1996). They performed regression analyses against beliefs in ghosts, unidentified flying objects (UFOs), extrasensory perception (ESP), astrology, and cryptids. ADHD, dissociation, and depression were associated with enhanced tendencies toward paranormal and cryptozoological beliefs, although participants who believed in each of the phenomena differed from one another in predictable and psychologically distinguishable ways. Cognitively biasing influences of preexisting psychological tendencies may predispose individuals to specific perceptual and cognitive errors during confrontation of real-world phenomena.     

Gender processes in school functioning and the mediating role of cognitive self-regulation

The catalysts for gender discrepancies across developmental outcomes are widely debated. This study examines cognitive self-regulation (CSR) as a mechanism for understanding gender differences in scholastic performance—both subjective school functioning and objective standardized achievement. Utilizing a national sample from the NICHD SECCYD (n = 1364), not only does CSR (i.e., attention and executive function) in 3rd grade mediate the relation between early mother–child interactions (at 54 months) and scholastic outcomes (in 5th grade), but it also predicts gender discrepancies favoring girls in grades, work persistence and socio-emotional development. Additional exploratory evidence suggests quality mother–child interactions may be more meaningful for girls' CSR; however, for boys, CSR is more predictive of school functioning. Both school functioning and standardized achievement were utilized in this study and highlight that gender differences in development and learning are nuanced and not readily discernible across all measures of scholastic performance. Implications for future research, intervention, and practice are discussed.     

Physiological Correlates of Choice‐Induced Dissonance: An Exploration of HPA‐Axis Responses

Choice can produce a negatively arousing cognitive conflict (called dissonance), which is thought to motivate the chooser to spread their preferences for the relevant options (called Spreading of Alternatives, or SA). The current work aimed to determine the relationship between HPA‐axis activity and both choice‐induced dissonance and its reduction (i.e. SA) among individuals with varying cultural backgrounds. European–Americans and Asians made a choice between two equally attractive CDs either in the presence of a cue indicative of social eyes (i.e. public‐choice condition) or in the absence thereof (i.e. private‐choice condition). As predicted, European–Americans and Asians showed a reliable SA primarily in the private and public choice conditions, respectively. Importantly, a sharp decline of salivary cortisol was observed over the span of 30 min, and, moreover, this decline was reliably predicted by the magnitude of SA regardless of either culture or the choice being private vs. public. These results suggest that although choice‐induced dissonance is too weak to elicit an HPA‐axis stress response, SA is associated with variability in the decline of salivary cortisol during the laboratory task. Copyright © 2015 John Wiley & Sons, Ltd.