Relations in Monadic Third-Order Logic

The representation of quantification over relations in monadic third-order logic is discussed; it is shown to be possible in numerous special cases of foundational interest, but not in general unless something akin to the Axiom of Choice is assumed.     

Evaluation of a “mental effort” hypothesis for correlations between cortical metabolism and intelligence

Previous research indicates that low scores on the Raven's Advanced Progressive Matrices (RAPM) test are associated with increased cortical glucose utilization during problem solving. We hypothesized that previous results may reflect the neurophysiological consequences of patterns of effort requirements; that is, high-effort expenditure from lower aptitude participants (for whom the problems are hard) and low-effort expenditure from higher aptitude participants (for whom the problems are easy). In this experiment, positron emission tomography (PET) data were gathered on participants (N = 28) who solved easy and hard problems that were tailored to the participants' own ability levels, thereby eliminating aptitude group differences in effort requirements. Contrary to previous results, high aptitude was associated with high cortical glucose use. Average aptitude participants showed diminished glucose use in the hard condition. A significant Group X Condition X Hemisphere Effect was also noted, with greater right hemisphere activation in the hard condition for the high-aptitude group. These results demonstrate that the relation of cerebral glucose use and cognitive ability is sensitive to participant and task selection.     

The nature of speech production impairments in anterior aphasics: an acoustic analysis of voicing in fricative consonants

This study investigated the acoustic characteristics of voicing in English fricative consonants produced by anterior aphasics and the effects of phonetic context on these characteristics. Three patients produced voiced and voiceless fricative-vowel syllables in isolation, following a voiced velar stop, and following a voiceless velar stop. Acoustic analyses were conducted of the amplitude and patterning of glottal excitation, as well as fricative noise duration. Results showed that, although the patients are able to coordinate the articulatory gestures for voicing in fricative consonants, they demonstrated abnormal patterns of glottal excitation in the amplitude measures, owing to weaker amplitudes of glottal excitation in voiced fricatives. Context effects failed to emerge because of dysfluent speech. These results suggest that the locus of the speech production deficit of anterior aphasics is not at the higher stages of phoneme selection or planning but rather in articulatory implementation, one related to laryngeal control.     

Actuality in Propositional Modal Logic

We show that the actuality operator A is redundant in any propositional modal logic characterized by a class of Kripke models (respectively, neighborhood models). Specifically, we prove that for every formula ${\phi}$ in the propositional modal language with A, there is a formula ${\psi}$ not containing A such that ${\phi}$ and ${\psi}$ are materially equivalent at the actual world in every Kripke model (respectively, neighborhood model). Inspection of the proofs leads to corresponding proof-theoretic results concerning the eliminability of the actuality operator in the actuality extension of any normal propositional modal logic and of any “classical” modal logic. As an application, we provide an alternative proof of a result of Williamson’s to the effect that the compound operator A□ behaves, in any normal logic between T and S5, like the simple necessity operator □ in S5.     

Russell's 1925 logic

In a recent series of articles, J. P. Moreland has attempted to revive the idea that bare particulars are indispensable for individuating concrete particulars. The success of the project turns on Moreland's proposal that while bare particulars are indeed 'partially clad'--that is, exemplify at least some properties--they are nevertheless 'bare' in that they lack internal constituents. I argue that 'partially clad' bare particulars (PCBPs) are impervious not only to traditional objections, but also those recently urged in this journal by D. W. Mertz. The real problem with Moreland's view, I contend, is that together with his containment model of predication, it leads to the unwanted conclusion that PCBPs actually contain themselves as constituents, thereby ensnaring them in a vicious (individuative) circularity.