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.     

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).     

Attributing social and physical meaning to ambiguous visual displays in individuals with higher-functioning autism spectrum disorders

The weak central coherence (WCC) account of autism characterizes the learning style of individuals with this condition as favoring localized and fragmented (to the detriment of global and integrative) processing of information. This pattern of learning is thought to lead to deficits in aspects of perception (e.g., face processing), cognition, and communication (e.g., focus on disjointed details rather than "gist" or context), ultimately leading to social impairments. This study was carried out to examine whether WCC applies to social and to non-social aspects of learning alike, or, alternatively, some areas of learning (e.g., physical reasoning) are spared in autism. classic social animation as quantified in the Social Attribution Task (SAT) () and a novel animation involving physical reasoning (the Physical Attribution Task; PAT) were used to test the domain specificity of the WCC hypothesis. A pilot study involving a reference group of typically developing young adults and a group of individuals with higher-functioning autism spectrum disorders (ASDs) revealed gender differences in the reference group in regards to performance on the PAT (males outperformed females). In a follow-up case-control comparison involving only males where the ASD group was matched on age and IQ to a typically developing (TD) group of children, adolescents, and adults, the ASD group showed lower SAT scores and comparable PAT scores relative to the TD group. The interaction of diagnostic group by task was highly significant, with little overlap between the groups in the distributions of SAT minus PAT scores. These results indicated preserved integrative skills in the area of physical attribution in the ASD group, thus failing to support the WCC account as a domain-independent (or more general) model of learning in autism, while highlighting the centrality of the social deficits in the characterization of learning style in the autism spectrum disorders.     

Spirituality Predicts Health and Cardiovascular Responses to Stress in Young Adult Women

The primary focus of this study was to investigate the roles of spirituality and religiosity in self-reported physical health, and to determine whether there is an association between an individuals spirituality and cardiovascular responses to two stressors. Fifty-two females participated in both a betrayal interview and a structured interview, during which blood pressure and heart rate were monitored. Spirituality, as assessed by the Spiritual Well-being Scale, was associated with perceived stress, subjective well-being, and medication use. The Existential Well-being subscale predicted fewer physical health symptoms and was associated with lower mean heart rate and decreased heart rate reactivity. The Religious Well-being subscale was associated with reduced systolic blood pressure reactivity in response to the structured interview. These findings suggest that spirituality may have a salutary effect on health, even in a fairly young sample. While previous studies have predominantly reported that religion, as well as spirituality, have a health protective effect, this study did not find strong support for that conclusion. Religiosity in this age group may still be undergoing developmental maturity, which may explain the lack of relationships to health.     

Do humans integrate routes into a cognitive map? Map- versus landmark-based navigation of novel shortcuts

Do humans integrate experience on specific routes into metric survey knowledge of the environment, or do they depend on a simpler strategy of landmark navigation? The authors tested this question using a novel shortcut paradigm during walking in a virtual environment. The authors find that participants could not take successful shortcuts in a desert world but could do so with dispersed landmarks in a forest. On catch trials, participants were drawn toward the displaced landmarks whether the landmarks were clustered near the target location or along the shortcut route. However, when landmarks appeared unreliable, participants fell back on coarse survey knowledge. Like honeybees (F. C. Dyer, 1991), humans do not appear to derive accurate cognitive maps from path integration to guide navigation but, instead, depend on landmarks when they are available.