Proof Theory for Functional Modal Logic

We present some proof-theoretic results for the normal modal logic whose characteristic axiom is \(\mathord {\sim }\mathord {\Box }A\equiv \mathord {\Box }\mathord {\sim }A\). We present a sequent system for this logic and a hypersequent system for its first-order form and show that these are equivalent to Hilbert-style axiomatizations. We show that the question of validity for these logics reduces to that of classical tautologyhood and first-order logical truth, respectively. We close by proving equivalences with a Fitch-style proof system for revision theory.     

Solving the problem of creeping minimalism

Abstract

In this paper I discuss the so-called problem of creeping minimalism, the problem of distinguishing metaethical expressivism from its rivals once expressivists start accepting minimalist theories about truth, representation, belief, and similar concepts. I argue that Dreier’s ‘explanation’ explanation is almost correct, but by critically examining it we not only get a better solution, but also draw out some interesting results about expressivism and non-representationalist theories of meaning more generally.     

Discounting model selection with area‐based measures: A case for numerical integration

A novel method for analyzing delay discounting data is proposed. This newer metric, a model‐based Area Under Curve (AUC) combining approximate Bayesian model selection and numerical integration, was compared to the point‐based AUC methods developed by Myerson, Green, and Warusawitharana (2001) and extended by Borges, Kuang, Milhorn, and Yi (2016). Using data from computer simulation and a published study, comparisons of these methods indicated that a model‐based form of AUC offered a more consistent and statistically robust measurement of area than provided by using point‐based methods alone. Beyond providing a form of AUC directly from a discounting model, numerical integration methods permitted a general calculation in cases when the Effective Delay 50 (ED50) measure could not be calculated. This allowed discounting model selection to proceed in conditions where data are traditionally more challenging to model and measure, a situation where point‐based AUC methods are often enlisted. Results from simulation and existing data indicated that numerical integration methods extended both the area‐based interpretation of delay discounting as well as the discounting model selection approach. Limitations of point‐based AUC as a first‐line analysis of discounting and additional extensions of discounting model selection were also discussed.     

Beyond the Binary: Trans‐Negotiations in Couple and Family Therapy

Dualistic notions about gender and sexuality have permeated the field of couple and family therapy. These binary constructions have been limiting for everyone, especially those who fall outside the male/female dichotomy. This article examines the impact of these binary notions, especially on transgender and gender‐creative individuals, couples, and families. Current theory and research in the field as they relate to gender identity, sexuality, and gender minority stress in couples and families are presented. Case examples are used to illustrate affirmative approaches to treatment issues such as coming out, safety, grief and loss, redefining relationships, and social/medical transitions that may arise for transgender or gender nonconforming (TGNC) individuals, couples, and families.     

Is belief reasoning automatic?

Understanding the operating characteristics of theory of mind is essential for understanding how beliefs, desires, and other mental states are inferred, and for understanding the role such inferences could play in other cognitive processes. We present the first investigation of the automaticity of belief reasoning. In an incidental false-belief task, adult subjects responded more slowly to unexpected questions concerning another person's belief about an object's location than to questions concerning the object's real location. Results in other conditions showed that responses to belief questions were not necessarily slower than responses to reality questions, as subjects showed no difference in response times to belief and reality questions when they were instructed to track the person's beliefs about the object's location. The results suggest that adults do not ascribe beliefs to agents automatically.     

Relations Among Symptoms of Social Phobia Subtypes, Avoidant Personality Disorder, Panic, and Depression

This study's primary goal was to examine relations between symptoms of specific social phobia (SSP), generalized social phobia (GSP), avoidant personality disorder (APD), and panic and depression. Past research has suggested a single social phobia continuum in which SSP displays less symptom severity than GSP or APD. We found SSP symptoms correlated less strongly with depression but more strongly with panic relative to both GSP and APD symptoms. These findings challenge a unidimensional model of social phobia, suggesting a multidimensional model may be more appropriate. These findings also inform current research aimed at classifying mood and anxiety disorders more broadly by identifying that the different factors of fear versus distress appear to underlie different subtypes of social phobia.     

Symptoms of Specific and Generalized Social Phobia: An Examination of Discriminant Validity and Structural Relations With Mood and Anxiety Symptoms

Current models divide social phobia into specific (SSP) and generalized (GSP) subtypes and suggest strong overlap between GSP and avoidant personality disorder (APD). Meanwhile, other research suggests reclassifying anxiety and mood disorders as fear and distress disorders. To unify these separate lines of research, this study was designed to test the hypothesis that SSP is more related to fear disorders (e.g., panic and phobias), whereas GSP and APD are more related to distress disorders (e.g., depression and generalized anxiety). Confirmatory factor analysis suggested the best-fitting model had symptoms of GSP, APD, and depression loading on one factor, and symptoms of SSP, panic, and specific phobias loading on a second factor. Key components of this model were (a) the inclusion of GAD symptoms reduced model fit and (b) GSP and APD symptoms significantly predicted SSP symptoms; this is consistent with conceptualizations of individuals with both GSP and SSP reporting performance anxiety.     

Challenges using motivational interviewing as an adjunct to exposure therapy for obsessive-compulsive disorder

Exposure and response prevention (EX/RP) is an efficacious treatment for obsessive-compulsive disorder (OCD). However, patients often do not adhere fully to EX/RP procedures. Motivational interviewing (MI) has been shown to improve treatment adherence in other disorders. This pilot study used a randomized controlled design to examine whether MI can be successfully added to EX/RP and whether this intervention (EX/RP + MI) could improve patient adherence to between-session EX/RP procedures relative to EX/RP alone. Thirty adults with OCD were randomized to 18 sessions of EX/RP or EX/RP + MI. Therapists rated patient adherence at each exposure session. Independent evaluators assessed change in OCD and depressive symptoms, and patients completed self-report measures of readiness for change and quality of life. The two treatment conditions differed in degree of congruence with MI but not in conduct of EX/RP procedures. Both groups experienced clinically significant improvement in OCD symptoms, without significant group differences in patient adherence. There are several possible reasons why EX/RP + MI had no effect on patient adherence compared to standard EX/RP, each of which has important implications for the design of future MI studies in OCD. We recommend that MI be further evaluated in OCD by exploring alternative modes of delivery and by focusing on patients less ready for change than the current sample.     

The Effects of Coaching and Speeding on Big Five and Impression Management Scale Scores

We examined the effects of coaching and speeding on personality scale scores in a faking context (N = 192). A completely crossed 2 × 2 experimental design was used in which instructions (no coaching or coaching) and speeding (with or without a time limit) were manipulated. No statistically significant effects on scale scores were evidenced for speeding. Coaching participants significantly elevated scores (average d = .76) for each of the Big Five personality factors but did not significantly elevate the scores on the Impression Management scale (d = .06). Cognitive ability was significantly positively related to impression management for uncoached participants but not for coached participants. An exploratory simulation suggests that coaching would have an effect on who would be selected for a job.