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.     

School adjustment, school performance and peer relations among first-graders in a Swedish suburban area

A study of 95 first-graders in one school management area used teacher ratings of problems and sociometric ratings to assess school adjustment and peer relations; 14% of the children had difficulties in reading/writing, motor skill, concentration and psychosocial function. Behavioural problems did not generally coincide with poor scholastic performance, but a small group (6.3%) exhibited problems in both reading/writing, concentration, gross and fine motor skill and psychosocial functions. Sociometric results showed only moderate agreement with teacher ratings. Extremely popular boys had no teacher-rated problems, but children with teacher-rated problems did not to any high degree tend to be isolated. Poor gross motor skill did distinguish isolated boys from others, a relationship that was not evident among the girls. The need to study the validity of teacher ratings as well as the prognostic value of school adjustment in first grade was stressed.     

Independence of uniphasic and biphasic audiogenic seizure progressions in mice

DBA/2J mice were monaurally or binaurally tested for susceptibility to sound-induced seizure. Two seconds following the beginning of running, one group of binaurally tested mice had acoustic stimulation interrupted for 15 s. These mice later seized when the stimulation was readministered. Their seizure progression closely resembled the behavior exhibited by noninterrupted binaurally stimulated mice and did not shift to the biphasic motor pattern of monaurally stimulated subjects. We conclude that the single burst of running of a binaurally tested mouse is qualitatively different from either of the two bursts of running exhibited by monaurally tested mice.     

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.     

Video-task assessment of learning and memory in macaques (Macaca mulatta): effects of stimulus movement on performance

Effects of stimulus movement on learning, transfer, matching, and short-term memory performance were assessed with 2 monkeys using a video-task paradigm in which the animals responded to computer-generated images by manipulating a joystick. Performance on tests of learning set, transfer index, matching to sample, and delayed matching to sample in the video-task paradigm was comparable to that obtained in previous investigations using the Wisconsin General Testing Apparatus. Additionally, learning, transfer, and matching were reliably and significantly better when the stimuli or discriminanda moved than when the stimuli were stationary. External manipulations such as stimulus movement may increase attention to the demands of a task, which in turn should increase the efficiency of learning. These findings have implications for the investigation of learning in other populations, as well as for the application of the video-task paradigm to comparative study.     

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.     

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.     

The effect of response bias on recall performance, with some observations on processing bias

We explored Roediger and Payne's proposal that response bias does not affect recall performance and that it is therefore not necessary to control for response productivity in recall studies. Two initial experiments, contrary to expectation, corroborated Roediger and Payne's findings: Forced recall did not produce more correct recalls than free recall, even though forced recall produced substantially more false alarms than did free recall. However, in succeeding experiments involving pictorial and verbal stimuli, reliable response-bias effects on recall were demonstrated. The stimuli yielding response-bias effects were those associated with higher probabilities of being guessed by chance. In addition, some of the data suggest that processing-bias effects (differential retrieval effort) may be unintentionally induced by instructions and may significantly affect recall memory. Consequently, it is necessary to assess or to control response-bias effects and, possibly, processing-bias effects in recall experiments in which level of recall is of interest.