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.     

Attenuation of amphetamine-stereotypy by mesostriatal dopamine depletion enhances plasma corticosterone: implications for stereotypy as a coping response

The relationship between amphetamine-induced stereotyped behavior and a neuroendocrine index of arousal, plasma corticosterone (CCS), was investigated. 6-Hydroxydopamine lesions of the caudate-putamen, which produced dopamine depletions of 60%, blocked stereotypy and prolonged the elevation in corticosterone associated with d-amphetamine treatment (5 mg/kg). Similar dopamine depleting lesions of the nucleus accumbens, which attenuated the locomotor, but not the stereotypic, response to AMPH did not have this effect on CCS. This pattern of results supports the hypothesis that stereotypy has a coping function which may serve to alter arousal and further suggests important differences between the nigrostriatal and mesolimbic dopamine projections in modulating the responsiveness of the neuroendocrine system. These results have implications for understanding the function of behavioral stereotypies common to a number of psychopathological conditions, including schizophrenia and childhood autism.     

Synaptic plasticity in the hypoglossal nucleus of female canaries: structural correlates of season, hemisphere, and testosterone treatment

The caudal portion of the hypoglossal nucleus (nXIIts) contains the motor neurons that control the syrinx in songbirds. In canaries, song occurs seasonally, is principally produced by males, and appears to be produced predominantly by muscles on the left side of the syrinx. The present study measures the effect of seasonal change and manipulation of testosterone levels on synapse number and morphology in nXIIts in adult female canaries. We find that synapse density is lower in testosterone-treated birds than in control birds and lower in fall than in spring. The number of vesicles per presynaptic profile increases in the spring as a result of a general increase in this measure in all synapses. The number of vesicles per presynaptic profile also increases with testosterone treatment, primarily due to an increase in the proportion of synapses associated with unusually high vesicle counts. Together, these changes suggest that large reserves of neurotransmitter may be necessary to sustain singing. Several ultrastructural differences between hemispheres are found. Postsynaptic thickenings are longer, and postsynaptic processes are larger on the left side than on the right side. In the spring, there are more vesicles per synapse on the left than on the right, but this lateralization is reversed in the fall. Thus, lateralization of song production is associated with lateral asymmetries in synapse morphology. These hemispheric differences are relatively small, like those seen at the light microscope level, encouraging further consideration of peripheral as well as CNS sources of functional lateralization. The seasonal and testosterone-induced changes in synapse number and morphology may be components of the periodic reorganization of canary vocalization.     

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.     

Parent attributions of emotion to their children and the cues children use in perceiving their own emotions

A number of studies have demonstrated stable individual differences in the cues that generate emotions and other feeling states. These differences are assumed to arise from the cues parents use to identify their children's emotional states. As children learn about their own emotional states, they come to rely on these same cues. To test one implication of their view, the facial expressions of children (N=41) were manipulated and their feelings assessed. Some children reported emotions consistent with their expressions, while others reported emotions appropriate to the situation. In a separate procedure, their mothers were asked to identify the emotional states of children whose expressions were inconsistent with an account of their circumstances. Mothers who paid more attention to their children's expressive behavior had children who were more responsive to their own expressive behavior. In contrast, the mothers who were more responsive to situational cues had children whose emotions arose from the situational cues as well.The authors would like to thank numerous teachers and administrators of the Worcester Public School system in Worcester, Massachusetts, for their assistance.     

Political and Nonpolitical Authority in Values Education

This article is an examination of the political (public consensus) and nonpolitical authority as a basis for values education in a democratic society. The author advocates that nonpolitical authority can be a basis for defending the teaching of values in public schools.     

Mental Health Values and Response to Alcoholism Treatment

Mental health values consist of the subset of values that refer to what constitutes good mental health. Torrey (1972) suggested that agreement between patient and therapist about such values may influence psychotherapy outcome. The authors found mixed support for this hypothesis using a sample of 100 chemical dependency inpatients. Positive treatment effects were associated with pretreatment agreement between counselor and patient about some mental health values, but with pretreatment disagreement about others. Because outcome measures assess general personality functioning, the authors suggest that attitudes about what constitutes good mental health may predict general psychotherapy effects as well as response to alcoholism treatment.     

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.