Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤ω

Quantified propositional intuitionistic logic is obtained from propositional intuitionistic logic by adding quantifiers p, p, where the propositional variables range over upward-closed subsets of the set of worlds in a Kripke structure. If the permitted accessibility relations are arbitrary partial orders, the resulting logic is known to be recursively isomorphic to full second-order logic (Kremer, 1997). It is shown that if the Kripke structures are restricted to trees of at height and width at most , the resulting logics are decidable. This provides a partial answer to a question by Kremer. The result also transfers to modal S4 and some Gödel–Dummett logics with quantifiers over propositions.     

The Long-Term Economic Benefits of Natural Mentoring Relationships for Youth

Natural mentors have been shown to help improve psychological and educational outcomes of youth, and may serve an important role for youth experiencing risk in the home. Using data from the National Longitudinal Study of Adolescent to Adult Health (Add Health), we investigated the associations between natural mentors during youth and income during early adulthood, including how these relations were moderated by the absence of a father figure and race. We also estimated the lifetime economic benefits to having a natural mentor. The presence of a natural mentor alone did not have a significant impact on annual earnings during adulthood. However, youth without a father but who had a male mentor earned significantly more, on average, than those without a male mentor. These effects were more pronounced in a subsample of African American youth. The net present value of total lifetime benefits to having a male natural mentor was approximately $190,000 for all fatherless youth and $458,000 for African American fatherless youth. These results suggest that natural mentors play a crucial role in economic outcomes for youth, which may vary by sociodemographic factors.     

Interpersonal Assessment of Borderline Personality Disorder: Preliminary Findings

We examined the reliability and validity of scores on an interpersonal measure of borderline personality disorder (BPD). Ratings on the Interpersonal Measure of Borderline Personality Disorder (IM–B) were based on nonverbal behaviors and interpersonal interactions occurring during clinical interviews with 276 adults. Scores on the IM–B exhibited good reliability. IM–B scores also displayed expected patterns of associations with scores on other measures of BPD, as well as with scores on measures of affective dysfunction, interpersonal pathology, and behavioral impairment associated with BPD, including indexes of maladaptive emotion regulation, interpersonal sensitivity, and self-harm. The pattern of associations for IM–B scores was quite similar to what would be expected for a dimensional measure of BPD symptoms. Scores on the IM–B were also associated with symptoms of disorders generally comorbid with BPD. Finally, IM–B scores contributed incrementally to the prediction of interpersonal dysfunction and suicidal ideation and behavior. Discussion focuses on implications for the assessment of BPD.     

Visuospatial working memory,auditory discrimination,and attention

ABSTRACT

The present study examined the degree to which tests of visuospatial storage capacity tap into domain-general storage and attention processes. This was done by comparing performance of visuospatial memory tasks with performance on sound-based sensory discrimination tasks. We found that memory task- and discrimination task performance both tapped into a cross-modality factor (visual and auditory). We further examined the degree to which this common variance could be explained by attention control and sustained attention. These attention factors accounted for roughly 60% of the variance in memory. This indicates that tests of visuospatial memory capacity reflect more than modality-specific memory.     

Intrinsic Value and the Last Last Man

Even if you were the last person on Earth, you should not cut down all the trees—or so goes the Last Man thought experiment, which has been taken to show that nature has intrinsic value. But ‘Last Man’ is caught on a dilemma. If Last Man is too far inside the anthropocentric circle, so to speak, his actions cannot be indicative of intrinsic value (a Local problem). If Last Man is cast too far outside the anthropocentric circle, though, then value terms lose their cogency (a Global problem). The experiment must satisfy conditions in a seemingly impossible ‘goldilocks’ zone. To this end I propose a new version, the Ultramodal Last Man, which appeals to Routley's work in metaphysics and non‐classical logic. With this ‘Last Last Man’, I argue that the Local /Global dilemma is resolved: impossible equations balance in ultramodal space. For defenders and critics alike, this helps to clarify the demands of intrinsic value, and renews a role for non‐standard logics in value theory.     

Working memory span tasks: A methodological review and user’s guide

Working memory (WM) span tasks—and in particular, counting span, operation span, and reading span tasks—are widely used measures of WM capacity. Despite their popularity, however, there has never been a comprehensive analysis of the merits of WM span tasks as measurement tools. Here, we review the genesis of these tasks and discuss how and why they came to be so influential. In so doing, we address the reliability and validity of the tasks, and we consider more technical aspects of the tasks, such as optimal administration and scoring procedures. Finally, we discuss statistical and methodological techniques that have commonly been used in conjunction with WM span tasks, such as latent variable analysis and extreme-groups designs.     

Hilbert's ‘Verunglückter Beweis’, the first epsilon theorem,and consistency proofs

In the 1920s, Ackermann and von Neumann, in pursuit of Hilbert's programme, were working on consistency proofs for arithmetical systems. One proposed method of giving such proofs is Hilbert's epsilon-substitution method. There was, however, a second approach which was not reflected in the publications of the Hilbert school in the 1920s, and which is a direct precursor of Hilbert's first epsilon theorem and a certain ‘general consistency result’ due to Bernays. An analysis of the form of this so-called ‘failed proof’ sheds further light on an interpretation of Hilbert's programme as an instrumentalist enterprise with the aim of showing that whenever a ‘real’ proposition can be proved by ‘ideal’ means, it can also be proved by ‘real’, finitary means.     

Tolerance and the distributed sorites

Synthese - On some accounts of vagueness, predicates like “is a heap” are tolerant. That is, their correct application tolerates sufficiently small changes in the objects to which they...     

Neural coding of formant-exaggerated speech in the infant brain

Speech scientists have long proposed that formant exaggeration in infant-directed speech plays an important role in language acquisition. This event-related potential (ERP) study investigated neural coding of formant-exaggerated speech in 6-12-month-old infants. Two synthetic /i/ vowels were presented in alternating blocks to test the effects of formant exaggeration. ERP waveform analysis showed significantly enhanced N250 for formant exaggeration, which was more prominent in the right hemisphere than the left. Time-frequency analysis indicated increased neural synchronization for processing formant-exaggerated speech in the delta band at frontal-central-parietal electrode sites as well as in the theta band at frontal-central sites. Minimum norm estimates further revealed a bilateral temporal-parietal-frontal neural network in the infant brain sensitive to formant exaggeration. Collectively, these results provide the first evidence that formant expansion in infant-directed speech enhances neural activities for phonetic encoding and language learning.