FIRST‐ORDER LOGICAL VALIDITY AND THE HILBERT‐BERNAYS THEOREM

What we call the Hilbert‐Bernays (HB) Theorem establishes that for any satisfiable first‐order quantificational schema S, there are expressions of elementary arithmetic that yield a true sentence of arithmetic when they are substituted for the predicate letters in S. Our goals here are, first, to explain and defend W. V. Quine's claim that the HB theorem licenses us to define the first‐order logical validity of a schema in terms of predicate substitution; second, to clarify the theorem by sketching an accessible and illuminating new proof of it; and, third, to explain how Quine's substitutional definition of logical notions can be modified and extended in ways that make it more attractive to contemporary logicians.     

A case-controlled field study evaluating ICD-11 proposals for relational problems and intimate partner violence

Background/Objective: Intimate partner relationship problems and intimate partner abuse and neglect — referred to in this paper as “relational problems and maltreatment” — have substantial and well-documented impact on both physical and mental health. However, classification guidelines, such as those found in the International Classification of Diseases (ICD-10), are vague and unlikely to support consistent application. Revised guidelines proposed for ICD-11 are much more operationalized. We used standardized clinical vignette conditions with an international panel of clinicians to test if ICD-11 changes resulted in improved classification accuracy. Method: English-speaking mental health professionals (N = 738) from 65 nations applied ICD-10 or ICD-11 (proposed) guidelines with experimentally manipulated case presentations of presence or absence of (a) individual mental health diagnoses and (b) relational problems or maltreatment. Results: ICD-11, compared with ICD-10, guidelines resulted in significantly better classification accuracy, although only in the presence of co-morbid mental health problems. Clinician factors (e. g., gender, language, world region) largely did not impact classification performance. Conclusions: Despite being considerably more explicated, raters’ performance with ICD-11 guidelines reveals training issues that should be addressed prior to the release of ICD-11 in 2018 (e. g., overriding the guidelines with pre-existing archetypes for relationship problems and physical and psychological abuse).     

Assessing adolescent mindfulness: validation of an adapted Mindful Attention Awareness Scale in adolescent normative and psychiatric populations

Interest in mindfulness-based interventions for children and adolescents is burgeoning, bringing with it the need for validated instruments to assess mindfulness in youths. The present studies were designed to validate among adolescents a measure of mindfulness previously validated for adults (e.g., Brown & Ryan, 2003), which we herein call the Mindful Attention Awareness Scale-Adolescent (MAAS-A). In 2 large samples of healthy 14- to 18-year-olds (N = 595), Study 1 supported a single-factor MAAS-A structure, along with acceptably high internal consistency, test-retest reliability, and both concurrent and incremental validity. In Study 2, with a sample of 102 psychiatric outpatient adolescents age 14-18 years, participants randomized to a mindfulness-based stress reduction intervention showed significant increases in MAAS-A scores from baseline to 3-month follow-up, relative to nonsignificant score changes among treatment-as-usual participants. Increases in MAAS-A scores among mindfulness-based stress reduction participants were significantly related to beneficial changes in numerous mental health indicators. The findings support the reliability and validity of the MAAS-A in normative and mixed psychiatric adolescent populations and suggest that the MAAS-A has utility in mindfulness intervention research.     

Extreme appraisals of internal states and bipolar symptoms: the Hypomanic Attitudes and Positive Predictions Inventory

The Hypomanic Attitudes and Positive Predictions Inventory (HAPPI; W. Mansell, 2006) was developed to assess multiple, extreme, self-relevant appraisals of internal states. The present study aimed to validate the HAPPI in a clinical sample. Participants (N = 50) with a diagnosis of bipolar disorder (confirmed by a structured clinical interview) completed a series of questionnaires pertaining to clinical factors, reward motivation, cognitive style, symptoms, and functioning at baseline, in addition to the HAPPI. Over the following 4 weeks, participants were asked to complete self-report measures of symptoms (activation, perceived conflict, depression, and well-being), as well as work and social functioning, twice weekly. The authors hypothesized that the HAPPI would be associated with prospective bipolar symptoms and functioning, when controlling for baseline symptoms and potentially confounding measures. The HAPPI was positively, independently associated with activation and conflict after 4 weeks. Furthermore, individual HAPPI factors were associated with activation, conflict, and depression. The results provided preliminary support for the predictive validity of the HAPPI in a clinical sample. The HAPPI could be used in the future as a tool in cognitive behavioral therapy for bipolar disorder to identify problematic beliefs and guide formulation.     

On the relativity of relative frequencies

The most prominent models of numerical representation posit that numerical symbols are converted into a single internal, abstract representation prior to estimation and comparison processing. Here, we (1) provide a mathematical analysis of the predictions of the abstract-representation hypothesis, assuming the validity of the analog-representation hypothesis, (2) run a simulation to assess the patterns of data that result from our mathematical analysis, and (3) conduct two experiments to test the predictions of our model, using relative frequencies as inputs. We assess relative frequencies in a typical numerical distance task, whereby participants are presented with two relative frequencies and asked to identify the one that represents the larger quantity. Our data reveal that relative frequencies’ numerical representations (1) are analog and (2) are scale-specific (i.e., nonabstract).