A note on russell's paradox in locally cartesian closed categories

Working in the fragment of Martin-Löfs extensional type theory [12] which has products (but not sums) of dependent types, we consider two additional assumptions: firstly, that there are (strong) equality types; and secondly, that there is a type which is universal in the sense that terms of that type name all types, up to isomorphism. For such a type theory, we give a version of Russell's paradox showing that each type possesses a closed term and (hence) that all terms of each type are provably equal. We consider the kind of category theoretic structure which corresponds to this kind of type theory and obtain a categorical version of the paradox. A special case of this result is the degeneracy of a locally cartesian closed category with a morphism which is generic in the sense that every other morphism in the category can be obtained from it via pullback.The financial support of the Royal Society in London is gratefully acknowledged.     

Effects of attentional focusing on pain perception

Two experiments were conducted to examine the hypothesized differential effectiveness of two attentional focusing strategies in pain perception. In the first experiment, subjects (72 male college students) rated their levels of pain after being exposed to either low- or high-intensity pressure stimulation for 75 s. Subjects were instructed to use either an external or internal focus of attention during the pain induction. Results revealed that external focusing was more effective for coping than internal focusing across both levels of stimulus intensity. The second experiment was a replication of the first, and featured bolstered internal focusing and stimulus intensity manipulations. Results showed that high-intensity stimulation produced higher pain ratings than did low-intensity stimulation for subjects in the internal focusing conditions, but not for those in the external focusing conditions. The findings support the power of distraction strategies for dealing with short-term pain with a rapid onset. Theoretical implications are discussed.The authors thank Darwyn E. Linder and Daniel M. Landers for their help in development of this research. The authors are also indebted to Sarah Colley, Jona Davis, Nanci Neuberger, and Rebecca Roberts for their assistance in data collection.     

DO PUBLIC SCHOOLS TEACH SECULAR HUMANISM? WHY WE MAY NEVER KNOW

Members of the New Right regularly charge that public schools teach secular humanism. This alleged teaching of secular humanism is held responsible for varied social ills and is perceived as a violation of constitutional prohibitions against the advocacy of one set of religious beliefs over others. Although New Right attacks may be perceived as political tactics, the author explores them as empirical claims that schools are in fact teaching secular humanism. Currently, there is no persuasive body of research supporting the New Right allegations. The author questions whether or not such research could be designed and concludes that it could but, for various reasons, is unlikely ever to be enacted.     

Hemispheric preference and progressive-part or whole practice in beginning typewriting

This investigation explored the interaction of progressive-part versus whole methods of practice with hemispheric preference for processing information and the impact of each upon high school students' speed and accuracy in beginning typewriting. Zenhausern's Differential Hemispheric Activation Test was scored in such a way that it was possible to plot the scores along a continuum. Analysis of variance gave significant F ratios on 3 of the 4 testing days. The continuous scores were divided into five categories: middle, left moderates, right moderates, extreme rights, and extreme lefts. The moderate-left group speed was consistently the fastest group, and the extreme rights were consistently the slowest group. This difference was significant for all four testing days with the moderate-left mean speed varying between 4 to 6 words per minute faster each testing day. The extreme rights were consistently the most accurate, even though not statistically significantly so. There was no significant difference between method of practice and typewriting speed or between method of practice and typewriting accuracy; however, on all four testing days the mean gross speed of the whole practice learning group was 0.73 to 0.99 words per minute faster than the progressive-part group. A two-way analysis of variance indicated no interaction between method or practice and hemispheric preference.     

Relation of cognitive operational performance to comprehension and production of dimensional adjectives

This study compared normal developing children, aged 34 to 51 mo., on comprehension and production of relative dimensional adjectives using object manipulations in a close elicitation procedure and on Piagetian operational tests of conservation of continuous quantity, length, reversibility and seriation. Analysis indicated a significant difference on the expressive language performance of the transitional and the concrete operational children over the preoperational children, but no significant differences occurred between the first two groups. Children who performed better on seriation were significantly better on expressive language performance. Children classified as operational for length performed better on all language measures than those classified as nonoperational. Reversibility and conservation of a continuous quantity did not differentiate children.     

Stereotypical beliefs about overweight and smoking and decision-making in assignments to sales territories

This study examined job bias associated with business students' role-playing as sales managers who assigned trainees to sales territories. Personal characteristics of being extremely overweight and being a heavy smoker were studied. Research participants were given a personnel record (training record) of a sales trainee and asked to make a sales territory assignment decision; three vacant territories were also described. The participants were told to assign the trainee to one of the territories or to indicate a preference to not have the recruit assigned to any territory within the role-playing manager's region. Analysis indicates that a sales recruit described as extremely overweight was less likely to be assigned to an important or desirable sales territory and more likely to be assigned to an undesirable territory or not selected at all for an assignment within a sales region. Those described as heavy smokers were similarly treated but to a lesser degree. Overweight saleswomen were discriminated against more than overweight salesmen.     

Free visual imagery sequences in reactors and nonreactors

The technique of Free Visual Imagery Sequences was used with 32 outpatients, M age of 33.9, to determine the differences between Visual Imagery Reactors and Nonreactors as defined in previous studies. Reactors showed significantly more responses associated with Affect/Conflict material, frequently including bizarre and distorted images. The Affect/Conflict responses occurred earlier and had longer duration spans in Reactors. Neutral content was more prevalent in Nonreactors. An interpretive approach involving a regulatory processing system is proposed. Free Visual Imagery Sequences appears to be a simple and efficient clinical technique which can contribute data useful in determining the extent to which imagery techniques could be employed in certain forms of psychotherapy.     

A behavioral quantal theory of brain function: an alternative to Lashley's continuity theory of mass action

A behavioral quantal theory of brain function is formulated on the basis of a newly discovered step-wise relationship invariably present among the findings of three experiments by Tsai, et al. on the effects of (1) cerebral decortication, (2) cranial x-radiation, as well as (3) insulin, metrazol, and electroconvulsive shocks upon white rats' adaptive behavior during their learning of successive habit reversals and one-trial reversal problems. Confirmatory results from earlier investigators who studied effects of various current strengths of ECS upon learning and retention of various maze habits are also cited in support of the behavioral quantal theory of brain function which is proposed here as a close-up, more refined alternative to Lashley's continuity theory of mass action.     

Blocking Effects in Two-Choice Discrimination Tasks in Rhesus Monkeys Macaca Mulatta

The Psychological Record - The present experiments investigated blocking effects in rhesus monkeys (Macaca mulatta) in a discrimination learning paradigm using a single stimulus modality. Two...     

Stressed vowel perception in word recognition

The purpose of this study was to measure subjects' ability to detect deliberate stressed, front-vowel misarticulations embedded in two-syllable words. Reaction times to words with various vowel-height misarticulations were examined for 25 women to assess the effect of a specific vowel height change on listeners' ability to recognize a word. Statistical analysis indicated no significant differences between reaction times to initial, stressed vowel changes along the height dimension, suggesting that subjects responded similarly to all vowel errors on the detection task. This finding provides further evidence that stressed-vowel information may serve as a perceptual anchor in guiding a listener during word recognition.