Arithmetic based on the Church numerals in illative combinatory logic

In the early thirties, Church developed predicate calculus within a system based on lambda calculus. Rosser and Kleene developed Arithmetic within this system, but using a Godelization technique showed the system to be inconsistent.Alternative systems to that of Church have been developed, but so far more complex definitions of the natural numbers have had to be used. The present paper based on a system of illative combinatory logic developed previously by the author, does allow the use of the Church numerals. Given a new definition of equality all the Peano-type axioms of Mendelson except one can be derived. A rather weak extra axiom allows the proof of the remaining Peano axiom. Note. The illative combinatory logic used in this paper is similar to the logic employed in computer languages such as ML.The author wishes to thank Dr. Roger Hindley for proofreading this paper and for making some useful suggestions. This paper was presented at the 1986 Annual Conference of the Australasian Association of Logic in Auckland, 9–12 July, 1986.     

A representation theorem for languages with generalized quantifiers through back-and-forth methods

We obtain in this paper a representation of the formulae of extensions ofL by generalized quantifiers through functors between categories of first-order structures and partial isomorphisms. The main tool in the proofs is the back-and-forth technique. As a corollary we obtain the Caicedo's version of Fraïssés theorem characterizing elementary equivalence for such languages. We also discuss informally some geometrical interpretations of our results.     

Multiunit changes in hippocampus and medial geniculate body in free-behaving rats during acquisition and retention of a conditioned response to a tone

Multiunit activity (MUA) was recorded chronically in the hippocampus (CA3) and the medial geniculate body (mMG) during habituation to a tone followed by conditioning (tone paired with footshock) or pseudoconditioning (tone/footshock unpaired) in rats previously trained in a lever-pressing for food task (VI 60). In the conditioned group pairing tones with footshocks rapidly induced an increase in the initial CS-evoked response in the mMG, followed by the emergence of a hippocampal response and a marked conditioned suppression of lever-pressing to the tone. In contrast, in the pseudoconditioned group, the stimulus induced only transient cellular changes in the hippocampus and in the mMG, while no behavioral suppression to the tone could be seen. Moreover, presentations of the CS 45 days later induced multiunit and behavioral responses in both structures, only in the conditioned group. These results are used for discussion of the role of learning-induced changes in the sensory structure (mMG) as compared with changes in an associative structure (hippocampus), during acquisition and retention of a conditioned response.     

Selective attention: effects of cuing on the processing of different types of compound stimuli

Pigeons in a matching-to-sample experiment received (a) element samples (one of two colors or vertical or horizontal white lines), (b) separated compound samples (a color and a line element presented together), and (c) unified compound samples (vertical or horizontal colored lines). In Phase I, test stimuli were the two elements from one dimension; the dimension tested varied randomly when the sample was a compound. Element samples were matched better than unified samples, which were matched better than separated samples. In Phase II, two samples preceded the tests. On EC trials, the first sample (S1) was an element, and the second sample (S2) was a compound; on CE trials this order was reversed. One element of the compound sample was always the one appearing as the element sample on that trial (e.g., S1 = red, S2 = red-vertical). This element also served as the correct test alternative (e.g., test = red+ vs. green) except on probe trials when the correct test was the other element appearing in the compound (e.g., test = vertical+ vs. horizontal). Accuracy varied as a function of sample sequence when the compound was separated (EC greater than CE on nonprobe trials and CE greater than EC on prove trials). This pattern was not observed when the compound was unified. The data suggest that the element in EC trials served as a cue that increased processing of the cued dimension and decreased processing of the noncued dimension of separated compounds. However, both dimensions of unified compounds seem to have been processed regardless of cuing.(ABSTRACT TRUNCATED AT 250 WORDS)     

Chronic sweet intake lowers pain thresholds without changing brain mu- or delta-opiate receptors

Sprague-Dawley rats drank sweetened (3% dextrose + 0.144% saccharin, w/v) or unflavored water for 18 days and subsequent pain reactivity was assessed using a hot plate. Compared to the rats that consumed unflavored water, the rats that consumed sweet water responded more quickly on the hot plate indicating that their threshold for pain was lowered. Another group of rats given identical exposure to the fluids had their brains prepared for measuring opiate receptor binding using the delta-receptor ligand [3H]D-Ala-D-Leu-enkephalin ([3H]DADLE) and the mu-receptor selective ligand [3H]Tyr-D-Ala-Gly-MePhe-Gly-ol ([ 3H]DAGO). Binding of these opiates to mu- and delta-receptors in the cerebral cortex, striatum, hippocampus, hypothalamus, brain stem, and remaining brain regions was the same for the rats that drank sweet fluids and those that drank unflavored water. These findings suggest that drinking sweet fluids lowers pain thresholds but does not alter mu- and delta-receptors.     

Naltrexone-reversible pain suppression in the isolated attacking mouse

Fighting pairs of isolated DBA/2 mice showed a significant increase in tail-flick response latencies independent of whether opponents were losing or winning the combat. The effect lasted less than 10 min in both animals. Elevated pain thresholds were also found in isolates that attacked a nonaggressive conspecific, and were prevented by naltrexone (0.2 mg/kg), while a larger dose (1.0 mg/kg) inhibited the attack behavior. A small increase in pain threshold was observed after exposure of isolates to the test box alone, while isolation per se had no effect on baseline tail-flick latencies. The data demonstrate that endogenous pain suppressing systems are activated during attack and suggest that this opioid-mediated antinociception is a correlate of the isolation syndrome, reflecting enhanced arousal of the attacking animal.     

Effects of aging and task difficulty on divided attention performance

We report two experiments that compare the performance of young and older adults on perceptual-motor tasks involving division of attention. Previous studies have shown older people to be especially penalized by divided attention situations, but the generality of this finding was recently challenged by Somberg and Salthouse (1982). The present study was conducted to investigate the possibility that age differences in dual-task performance are amplified by an increase in the difficulty of the constituent tasks, where difficulty was manipulated by varying the central, cognitive nature of the tasks (Experiment 1) or the degree of choice involved (Experiment 2). With the present tasks, strong evidence was found for an age-related decrement in divided attention performance. Contrary to our original expectations, however, it does not seem that division of attention presents some especial difficulty to older people. Rather, division of attention is one of several equivalent ways to increase overall task complexity. In turn, age differences are exaggerated as tasks are made more complex.     

Representation of serial order in monkeys (Cebus apella)

Cebus monkeys were trained on a five-item serial learning task, symbolized as ABCDE; the initial stages of training were on the shorter subseries AB, ABC, and ABCD. To assess the monkeys' knowledge of the sequential position of each item, pair-wise tests were given to 2 subjects after acquisition of the ABCD series and to 4 subjects after reaching criterion on the ABCDE series. In both tests, the monkeys performed at high levels on the interior pairs, which were BC for the ABCD series, and BC, BD, and CD for the ABCDE series. These results, as well as the orderly relations observed in the pair-wise tests between first-item response latency and first-item position and between second-item response latency and number of missing items, indicated that the monkeys had developed a well-organized internal representation of the four- and five-item series. Although pigeons are also capable of learning four-item and five-item series, they apparently do not develop a comparable representational structure. The disparity between the monkeys' and pigeons' representational competence for serial order is predictable from the difference in their capacities for associative transitivity.     

Sex role orientations of male and female collegiate athletes from selected individual and team sports

The purpose of the present study was to determine whether the sex role orientations of male and female collegiate athletes were more similar in team sports than in individual sports. It was predicted that females in masculine-oriented team sports (basketball and volleyball) would exhibit sex role orientations more similar to those of their male counterparts than would females in individual sports (track/field and swimming). To test this notion the S. L. Bem (The Measurement of Psychological Androgyny, Journal of Consulting and Clinical Psychology, 1974, 42, 155–167) Sex Role Inventory was administered to 381 athletes from 37 National Collegiate Athletic Association institutions. The median-split procedure (S. L. Bem, On the Utility of Alternative Procedures for Assessing Psychology Androgyny, Journal of Consulting and Clinical Psychology, 1977, 45, 196–205) was used to classify subjects as masculine, feminine, androgynous, or undifferentiated. Separate Gender × Sex Role Orientation chi square tests were performed on the frequency data of team and individual sport athletes. The results indicated no significant differences in the sex role orientations of male and female team sport performers, with the greatest proportion (66%) having a masculine (33%) or androgynous (33%) orientation. For individual sports there was a significant difference in the sex role orientations of males and females. The highest proportion of females were classified as feminine (37%) and the lowest proportion were classified as masculine (11%). Individual sport males were somewhat evenly distributed among the four sex role orientation categories, with the highest proportion classified as undifferentiated (36%). It was concluded that sex role orientation of elite female athletes may be associated with the male appropriateness of the sport in which they participate.     

Individual differences in reverse Hindsight bias: I never thought something like chernobyl would happen. Did I?

Hindsight bias was studied in the context of the accident in the Chernobyl nuclear power plant, which took place on April 26th 1986. An individual difference factor which relates to the motivation to process information, need for cognition, was expected to moderate the occurrence of hindsight bias. Probability estimates of many casualties due to the use of nuclear power in The Netherlands were obtained from 212 individuals two months before the accident in Chernobyl. These estimates were compared with similar estimates made in hindsight by the same individuals five months after the accident. Loglinear Analyses reveal a systematic hindsight bias. However, the direction of the bias was contrary to expectations. In hindsight, individuals gave lower probabilities than they actually did two months before the Chernobyl accident. These results reveal a reverse hindsight bias. As hypothesized, need for cognition moderates hindsight bias: individuals low and medium in need for cognition express a systematic reverse hindsight bias, while individuals high in need for cognition do not. High need for cognition individuals also show higher literal consistency between the two measurements, which supports a memory explanation of the moderating effect of need for cognition.