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.     

‘Coordinative definition’ and Reichenbach''s semantic framework: A reassessment

My greatest debt is to Prof. Hilary Putnam, without whose inspiration and encouragement this paper would not have been written. Thanks are also due to Prof. Michael Friedman for detailed and helpful comments on an earlier version, and to two anonymous referees. This paper is based in part on research conducted while supported under a National Science Foundation Graduate Fellowship.     

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.     

Low-ball and compliance to a request: an application in a field setting

The low-ball refers to a compliance technique in which a demand of someone to agree to a request is followed by telling the person the real cost of the request. The number of people who maintain their first decision is larger than the number in the condition in which the real cost of the request is stated prior to the initial compliance. Researches in this paradigm traditionally included a request addressed by a professor to students but was never tested between strangers. So, an experiment was carried out in which people were solicited to keep a dog (8 kg) on a lead until a male confederate returned from a visit to someone in a hospital. In low-ball condition, the confederate told the subject who agreed to the request that it would take 30 min., whereas in the control condition the confederate gave this information when stating his request. Analysis showed that low-ball technique leads people to maintain their first decision.