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.     

Adjustment to rape

This questionnaire study of rape victims' reactions, causal attributions for the rape, coping behaviors after the rape, and psychological adjustment to the rape were examined. As in previous research, high levels of behavioral and characterological self-blame for rape were found. Contrary to prior hypotheses, behavioral self-blame was not associated with good adjustment. Rather, both behavioral and characterological self-blame were associated with poor adjustment. Societal blame was the only causal attribution for rape that was unassociated with adjustment. Remaining at home and withdrawing from others were both associated with poor adjustment, and the use of stress reduction techniques was associated with good adjustment. The implications of the results for theories of victimization and for clinical interventions with rape victims are discussed.     

Real and virtual features in texture perception

The texton theory of preattentive texture perception was recently adopted over a prior model based on the global computation of dipole statistics. It is shown here that the dipole model remains a necessary adjunct unless the texton theory is modified to distinguish real from virtual features of texture perception.     

Does placebo response mediate runner's high?

It is proposed that runner's high is mediated by increased endorphin release as induced by placebo responses arising from subjective expectancies and setting.     

Hyperactive behavior in english schoolchildren: A questionnaire survey

The differences in apparent prevalence of childhood hyperactivity between England and North America are more than 20-fold. This paper seeks to illuminate the reasons for the difference by applying a standard measure [Conners Teacher Rating Scale] to 437 English schoolchildren, aged 6 to 9 years, and comparing them with published surveys from the United States and Australasia. The rating scale had moderate interrater reliability and stability over time; it distinguished between children referred for psychiatric treatment and normal schoolchildren. Component analysis yielded a factor of hyperactivity-inattentiveness, distinct from conduct disorder. The mean hyperactivity scores of English children were higher than in most U.S. surveys but lower than in New Zealand. The national differences in rates of diagnosed hyperactivity are likely to reflect diagnostic inconsistency rather than true differences in children's behavior.     

Representation of linear orders

Two binary classification tasks were used to explore the associative structure of linear orders. In Experiment 1, college students classified English letters as targets or nontargets, the targets being consecutive letters of the alphabet. The time to reject nontargets was a decreasing function of the distance from the target set, suggesting response interference mediated by automatic associations from the target to the nontarget letters. The way in which this interference effect depended on the placement of the boundaries between the target and nontarget sets revealed the relative strengths of individual interletter associations. In Experiment 2, students were assigned novel linear orders composed of letterlike symbols and asked to classify pairs of symbols as being adjacent or nonadjacent in the assigned sequence. Reaction time was found to be a joint function of the distance between any pair of symbols and the relative positions of those symbols within the sequence. The effects of both distance and position decreased systematically over 6 days of practice with a particular order, beginning at a level typical of unfamiliar orders and converging on a level characteristic of familiar orders such as letters and digits. These results provide an empirical unification of two previously disparate sets of findings in the literature on linear orders, those concerning familiar and unfamiliar orders, and the systematic transition between the two patterns of results suggests the gradual integration of a new associative structure.     

Attributions, beliefs about control, and adjustment to breast cancer

Attributions for cancer and beliefs about control over cancer were examined for their association with adjustment to breast cancer. Although 95% of the respondents made attributions for their cancer, no particular attribution (e.g., stress, diet) was associated with better adjustment. Analyses of attributions of responsibility for the cancer to the self, environment, another person, or chance yielded only a negative relation between adjustment and blaming another person. In contrast, both the belief that one could now control one's cancer and the belief that others (e.g. the physician) could now control the cancer were significantly associated with good adjustment. Of the different types of control, cognitive control was most strongly associated with adjustment, behavior control was less strongly associated with adjustment, and information control and retrospective control were unassociated with adjustment. The theoretical and practical implications of these results are discussed.