Cut-free sequent and tableau systems for propositional Diodorean modal logics

We present sound, (weakly) complete and cut-free tableau systems for the propositional normal modal logicsS4.3, S4.3.1 andS4.14. When the modality is given a temporal interpretation, these logics respectively model time as a linear dense sequence of points; as a linear discrete sequence of points; and as a branching tree where each branch is a linear discrete sequence of points.Although cut-free, the last two systems do not possess the subformula property. But for any given finite set of formulaeX the superformulae involved are always bounded by a finite set of formulaeX* _L depending only onX and the logicL. Thus each system gives a nondeterministic decision procedure for the logic in question. The completeness proofs yield deterministic decision procedures for each logic because each proof is constructive.Each tableau system has a cut-free sequent analogue proving that Gentzen's cut-elimination theorem holds for these latter systems. The techniques are due to Hintikka and Rautenberg.Presented byDov M. Gabbay     

The development of beliefs about spelling and their relationship to spelling performance

This study examined relations among spelling performance and students' beliefs about spelling, including self-efficacy for spelling ability, outcome expectancy for spelling, and attributions for good spelling across grades 4, 7, and 10. Spelling self-efficacy remained relatively constant across grades. Spelling outcome expectancies for adult life and school declined across grades, as did effort and ability attributions for spelling success, with a disproportional decrease in ability attributions between grades 4 and 7. Self-efficacy was the strongest predictor of spelling performance at all grade levels; attribution for ability entered into the regression for grade 4 students, while outcome expectancies for school and writing were more important in grades 7 and 10. Cluster analyses on the grade 10 sample showed that students with high efficacy as spellers and high outcome expectancy of spelling for writing were the best spellers, with the highest performance reserved for those who attributed good spelling more to effort than ability. The impact of spelling instruction on developing beliefs is discussed.     

ANALYZING ALERTNESS AMONG PEOPLE WITH PROFOUND MULTIPLE DISABILITIES: IMPLICATIONS FOR PROVISION OF TRAINING

We investigated whether variations in alertness among individuals with profound multiple disabilities affected subsequent responsiveness to training programs. Three experiments were conducted involving 5 people. In Experiment 1, results indicated that alertness of 3 individuals increased with provision of skill-acquisition training programs. Results also indicated no predictive relationship between alertness levels prior to training and subsequent responsiveness to training. Experiment 2 replicated results of Experiment 1 with 2 participants from Experiment 1 and an additional participant. Results of Experiment 2 also indicated that the increased alertness levels accompanying provision of training were not a function of the participants simply being in an inactive environment prior to training. Results of Experiment 3 indicated that alertness of an additional participant increased through provision of another training intervention, involving a systematic preference assessment. Responses during the preference assessment appeared to be unrelated to previously existing alertness levels. These findings suggest the need for caution when considering the withholding of scheduled training because an individual appears to be nonalert.     

Reducing a Male Bias in Language? Establishing the Efficiency of Three Different Gender-Fair Language Strategies

Sex Roles - Different strategies of gender-fair language have been applied to reduce a male bias, which means the implicit belief that a word describing an undefined person describes a man. This...     

From Natural to Formal Language: A Case for Logical Pluralism

Topoi - I argue for a version of logical pluralism based on the plurality of legitimate formalizations of the logical vocabulary. In particular, I argue that the apparent rivalry between classical...     

Acquisition of joint attention by olive baboons gesturing toward humans

Animal Cognition - Joint attention is a core ability of human social cognition which broadly refers to the coordination of attention with both the presence and activity of social partners. In both...     

The relationship between religion and health-related behaviours in patients with borderline personality disorder

With addictive disorders frequently co-occurring among patients with borderline personality disorder (BPD), exploring factors that may influence health-related behaviours, like religious involvement, is important. This study assesses whether religious involvement is associated with smoking and alcohol use disorders (AUDs) in BPD subjects. This study used data from Wave 2 of the National Epidemiological Survey on Alcohol and Related Conditions (NESARC), which used the Alcohol Use Disorder and Associated Disabilities Interview Schedule–DSM-IV (AUDADIS-IV) as its assessment instrument. The AUDADIS-IV assessed personality disorders, tobacco usage, the presence of AUDs, and religious involvement. Attending a place of worship and weekly or more frequent worship attendance were significantly associated with reduced likelihood of current smoking and AUDs among BPD subjects. AUDs were also significantly less common in those reporting higher subjective religiousness. In conclusion, people with BPD who are religiously inclined are less likely to engage in addictive behaviours, specifically smoking and AUDs.     

Varieties of Binocular Interaction in Human Vision

Binocular processing was investigated using a quantitative, process-oriented metatheory of response times. The analyses are not confined to particular distributional assumptions or specific models. Upper and lower performance boundaries for probability summation in parallel processing are defined and compared with observed distributions of reaction times using a variety of dichoptic stimuli. Performance that exceeds the upper bound strongly suggests faciliatory convergence between the two eyes (binocular channel summation). Performance below the lower bound suggests that inputs to the two eyes are processed serially. The results indicate that binocular channel summation in subjects with normal stereo vision requires targets of the same luminance polarity (paired increments or decrements) in corresponding retinal locations. When corresponding retinal locations are stimulated with opposing luminance polarities (increment to one eye, decrement to the other), performance is consistent with probability summation, indicating that parallel ON and OFF pathways remain segregated at least to the level of binocular fusion. Further analyses of data from a stereo-blind observer suggests serial processing of binocular inputs.