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.     

Repeated failure: a source of helplessness or a factor irrelevant to its emergence?

We tested the validity of the egotism model of human helplessness. In contrast to the original theoretical approach of Seligman and his associates, which points to response-outcome noncontingency as the main source of helplessness, the egotism alternative proposes that repeated failure itself is the critical determinant of helplessness symptoms. Repeated failure threatens the self-esteem of the subject, who supposedly engages in a least-effort strategy during the test phase of a typical learned helplessness study, which results in performance impairment. To examine the egotism explanation, we gave subjects noncontingent-feedback training with or without repeated failure on five consecutive discrimination problems. In two experiments, noncontingent-feedback preexposure produced helplessness deficits in performance on avoidance learning, whereas repeated failure appeared irrelevant to helplessness. This and our other findings from research are inconsistent with the egotism explanation and support instead Seligman's original proposal, in which helplessness is attributed to prolonged experience with noncontingency.     

Internally represented forces may be cognitively penetrable: comment on Freyd, Pantzer, and Cheng (1988)

Freyd, Pantzer, and Cheng (1988) provided considerable evidence for the proposition that people can represent underlying forces within static scenes. However, they explicitly assumed that their observed memory shifts were the result of perceptually modular information processing. For several reasons, I suggest herein that this assumption of cognitive impenetrability is a dubious one. The assumption is challenged by recent empirical findings, some theoretical considerations, and calculations that show that the observed effects are minute when compared with those expected by means of physical forces. Three explanations for the evidence are proposed, including the alternative hypothesis that although people do represent static physical forces, these representations can be almost completely overridden by the conscious intention to remember an object's precise location.     

Context effects in stroop-like word and picture processing

Presents a series of 6 experiments in which Stroop-like effects were generated by modally pure color-color, picture-picture, and word-word stimuli instead of the usual modally mixed color-word or picture-word stimuli. Naming, reading, and categorization tasks were applied. The Stroop inhibition was preserved with these stimuli but unexpectedly showed a semantic gradient only in the naming and not in the reading task. Word categorizing was slower and more interference prone than picture categorizing. These and other results can be captured by a model with two main assumptions: (a) semantic memory and the lexicon are separate, and (b) words have privileged access to the lexicon, whereas pictures and colors have privileged access to the semantic network. Such a model is developed and put to an initial test.     

A flavor paired with lithium chloride blocks the formation of a pentobarbital-lithium chloride association

Thirsty rats were used in order to determine whether a vinegar solution, which had been paired with an injection of lithium chloride, could block the formation of an association between a pentobarbital- and a lithium chloride-induced state. During phase 1 the rats in the blocking group had a 2.0% vinegar solution paired with an injection of 240 mg/kg of lithium chloride, during phase 2 these rats were reexposed to the vinegar prior to each injection of 20 mg/kg of pentobarbital and 240 mg/kg of lithium chloride, and during phase 3 these rats were given access to a novel 0.75% saccharin solution and were injected with pentobarbital after saccharin removal. Animals with this history did not form an association between the pentobarbital- and lithium chloride-induced states during phase 2 as evidenced by their refusal to consume the saccharin solution over repeated pairings of saccharin with pentobarbital during phase 3. Control groups that received forward pairings of pentobarbital and lithium chloride, in the absence of a previously conditioned vinegar solution during phase 2, formed an association between pentobarbital and lithium chloride. These findings indicate that drug states and flavors can interfere with each others' capacity to predict the occurrence of lithium chloride.     

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.     

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.     

Visual gap and offset discrimination and its relation to categorical identification in brief line-element displays

Visual processing was investigated in judgments of relative line position. Stimulus continua were generated by bisecting a straight line and displacing the segments. Experiment 1 measured discrimination of pairs of longitudinally displaced segments at equal steps along the continuum. At long (2 s) durations discrimination fell smoothly, but at short (100 ms) durations it was sharp-peaked. In Experiment 2 the short-duration stimuli were labeled with subsets of the labels no gap, just a gap, and more than just a gap. Theoretical discrimination performances were computed and the one based on no gap and just a gap closely fitted observed performance. Experiments 3 and 4 were similar to 1 and 2, with lateral replacing longitudinal displacement. Similar "categorical" performance was obtained. It was concluded that there are discrete mechanisms for early detection of relative line position and that 2 labels can be used to characterize performance in each direction.     

Characteristics of Alcoholism Among Catholic Sisters: Results of a National Survey

In this article the author reports results from a national survey of recovering alcoholic Catholic Sisters, describing their addiction history, treatment, and the role of the community.     

Physical fitness, body image, and locus of control in college freshman men and women

This study examined the relations among physical fitness, body image, and locus of control. The Hall-Physical Fitness Test Profile, the Winstead and Cash Body Self-relations Questionnaire (BSRQ) and the Nowicki-Strickland Locus of Control Scale were administered to 243 freshmen. Women were significantly more positive about their physical appearance than men. Men were more positive about their physical fitness than women. Men were more physically fit than women. Men and women scoring in the internal direction viewed the physical fitness domain of their body image positively. Unlike men, internally oriented women had more positive perceptions of the health aspect of their body image. Physically fit men and women had positive attitudes toward the physical fitness component of their body image. Physically fit men differed from physically fit women in that men were more internal and held more positive attitudes toward the physical health dimension of their body images.