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.     

Altering memory through recall: The effects of cue-guided retrieval processing

Three experiments were designed to investigate the influence of initial recall on memory by assessing delayed recall after different immediate cued-recall tests. In all experiments, subjects performed semantic and phonemic encoding tasks on a word list. The subjects then received a cued-recall test that cued the target using the same word as the context word in the encoding task, a test that cued the target with a word from the same level at which the target was encoded, a test that cued the target with a cue from a different level at which the target was encoded, or no immediate-recall test. One day later, the subjects performed a final cued-recall test in which the type of cue (semantic or phonemic) was varied. Consistently, delayed recall was facilitated primarily when the cue on the immediate test was from the same level as the cue on the delayed test. This pattern of facilitation suggests that immediate cued-recall produces an elaboration of an existing memory representation that is closely tied to the type of cue used on the immediate test.     

Type A behaviour and psychological androgyny among Greek college students

Research conducted primarily in the United States suggests that the combination of Type A behaviour, high instrumentality, and low expressiveness may place individuals at relatively high risk for coronary-artery and heart disease. The present research investigates the trans-societal generalizability of the structure, reliability, relationships among, and distributional characteristics of these measures for 117 college students in Athens, Greece. As hypothesized, the Greek students were significantly less instrumental and less expressive than the American students, and scored significantly higher on the measure of Type A. Although there were significant mean differences between these samples, the results suggest that many of the interscale relationships are comparable, supporting an etic (universal) interpretation of the findings. Nevertheless, the results suggested several emic (unique) characteristics of these measures and their interrelationships.     

Expert evidence by psychologists: Sometimes problematic and often premature

This article provides a critical review of two major types of expert evidence: (a) clinical assessments, and (b) generalizations drawn from psychological research. Strong arguments both for and against both types of testimony have been offered by legal experts and psychologists. These arguments are evaluated and the conclusion is drawn that there are two fundamental problems for psychologists in the role of expert. First, the types of assessments clinicians are asked to make (e.g., concerning the accused's mental state at the time of committing the offense) may exceed the capacity of the discipline; such assessments are problematic. Second, the research foundation that psychologists employ in court does not always apply to the court situation in the way experts imply; the application of laboratory research findings to real world contexts is sometimes premature. The article concludes with an admonition that psychologists should adopt a more conservative response to requests to provide expert evidence.