On axiomatization of many-valued logics associated with formalization of plausible reasonings

This paper studies a class of infinite-valued predicate logics. A sufficient condition for axiomatizability of logics from that class is given.To the memory of Jerzy Supecki     

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.     

ACTH 4-9 analog can retard spatial alternation learning in brain damaged and normal rats

Thirty adult male hooded rats (Long-Evans strain) were assigned randomly to one of three lesion groups (n = 10) and prepared with medial frontal, posterior parietal, or sham neocortical injuries. Following a recovery interval of 10-12 days, access to water was limited to 30 min per day and the rats were shaped to traverse a T-maze for a reward of sweetened water. After a pretraining criterion was attained, osmotic minipumps (Alzet 2002) were installed subcutaneously. The minipumps delivered chronically for the next 14 to 15 days either 0 or 1.2 micrograms of ACTH 4-9 dissolved in bacteriostatic saline per day while the rats were trained on a reinforced spatial alternation task. Analysis of the number of errors made to a criterion of at least 80% correct alternations in two consecutive training sessions, or a ceiling of 62 errors (attained by two rats with parietal lesions), revealed that learning was impaired in the rats with parietal injuries. Contrary to our hypothesis, animals receiving ACTH 4-9 committed more errors than their counterparts receiving only saline.     

Age-dependent facilitation of taste-footshock conditioning by prior exposure to the training context

Among adult rats, gustatory stimuli are easily associated with illness, but not with external unconditioned stimuli such as footshock. Recent evidence indicates, however, that this cue-to-consequence specificity may vary ontongenetically. The present studies examined the acquisition of an aversion to a taste paired with footshock in 5- and 15-day-old rats. Consistent with previous reports, 5-day-old rats avoided the taste that preceded footshock, while 15-day-old subjects did not express an aversion to the taste paired with footshock. Exposure to the training context for either 1 or 5 h prior to conditioning disrupted taste-footshock conditioning in the 5-day-old subjects. For the 15-day-old subjects, 1 h of pre-conditioning exposure to the training context had no effect on conditioning, whereas a longer duration of preexposure promoted conditioning to the taste cue. The results suggest ontogenetic differences in stimulus selection.     

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.