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.     

Perception of translational heading from optical flow

Radial patterns of optical flow produced by observer translation could be used to perceive the direction of self-movement during locomotion, and a number of formal analyses of such patterns have recently appeared. However, there is comparatively little empirical research on the perception of heading from optical flow, and what data there are indicate surprisingly poor performance, with heading errors on the order of 5 degrees-10 degrees. We examined heading judgments during translation parallel, perpendicular, and at oblique angles to a random-dot plane, varying observer speed and dot density. Using a discrimination task, we found that heading accuracy improved by an order of magnitude, with 75%-correct thresholds of 0.66 degrees in the highest speed and density condition and 1.2 degrees generally. Performance remained high with displays of 63-10 dots, but it dropped significantly with only 2 dots; there was no consistent speed effect and no effect of angle of approach to the surface. The results are inconsistent with theories based on the local focus of outflow, local motion parallax, multiple fixations, differential motion parallax, and the local maximum of divergence. But they are consistent with Gibson's (1950) original global radial outflow hypothesis for perception of heading during translation.     

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)     

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.     

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.     

An evaluation of the Garren-Edwards diet and behavior modification program

This study evaluated the efficacy of the Garren-Edwards Behavior Modification Program, which uses the Garren-Edwards Gastric Bubble as an adjunct to treatment. Group therapy sessions were conducted with 23 morbidly obese subjects for 6 months on a biweekly basis. Each therapy session used a five-stage problem-solving sequence designed to facilitate adaptive behavioral alternatives. In evaluating weight change, a multivariate analysis of variance was conducted along with two preplanned orthogonal comparisons. Patients lost significant amounts of weight between initial to 3-month (p<.0001) and 3- to 6-month intervals (p<0001). A similar treatment effect was noted in an additional sample of 24 morbidly obese subjects following 3 months of treatment (p<0005). The findings support the value of longer goal-oriented programs in promoting continued weight loss. Implications for treatment process and therapist interventions prompted by this new format are discussed.     

A developmental-genetic analysis of aggressive behavior in mice (Mus musculus): III. Behavioral mediation by heightened reactivity or immobility?

This research was designed to investigate development and behavioral mediation in lines of ICR mice that have been selectively bred for aggressive behavior. General behavioral reactivity and behavioral immobility have been implicated as potential mediators by prior analyses of preattack interactions. To evaluate the separate roles of these dispositions, the emergence of attacks in genetically selected lines was tracked for 11 years by three levels of analysis: over successive generations, over development, and over dyadic interactions. Convergent outcomes were observed in all three levels with respect to two findings: (a) Robust line differences were obtained in attack behaviors, and (b) strong associations were found between line differences in attacks and line differences in behavioral immobility. Conversely, all three levels of analysis indicated a weak and inconsistent association between line differences in attacks and measures of social and nonsocial reactivity.     

Effect of the interintromission interval on lordotic response and attack latency in golden hamsters (Mesocricetus auratus)

After 12-15 ejaculatory series, each consisting of several short intromissions (2- to 3-s vaginal penetration) and an ejaculation, male golden hamsters adopt an altered copulatory pattern consisting of long intromissions (5- to 25-s penetration with intravaginal thrusting). Receptivity declines and the tendency for the female to attack the male increases at about the time of this shift in copulatory pattern. Because the mean interintromission interval (III) between short intromissions is about 8 s compared to 100 s between long intromissions, it is possible that females detect this difference and adjust their mating accordingly. When the III between short intromissions from a rested male was experimentally increased to 100 s by use of a halter and lead device, the duration of lordosis was significantly less than that displayed by females paired with control males (8-s III) and virtually the same as that displayed by females paired with males that produced only long intromissions. This suggests that the female uses the temporal patterning of intravaginal stimulation as one criterion for terminating mating with a particular male.     

Perceptual organization of acoustic stimuli by budgerigars (Melopsittacus undulatus): III. Contact calls

We trained budgerigars by operant conditioning to discriminate among a set of contact calls in a same-different task and analyzed response latencies from this task by using multidimensional-scaling (MDS) and cluster-analysis procedures. Humans listened to the same calls and indicated the similarity between pairs of calls by a direct rating procedure. An MDS program (sindscal) was used to arrange these complex acoustic stimuli in multidimensional space reflecting perceptual organization. Multiple regression techniques were used to identify the acoustic characteristics of contact calls that were correlated with the perceptual dimensions obtained from MDS. A number of spectral characteristics (e.g., peak frequency, rate of frequency modulation, and concentration of spectral energy) emerged as important for both budgerigars and humans, but the relative salience of these cues differed for the two species. Additional tests with two groups of budgerigars--cagemates and noncagemates--showed that experience with calls can change the salience of various acoustic characteristics used for perceptual organization and individual recognition.     

An Assessment of the Job Relevance of the National Board for Certified Counselors Examination

The authors discuss the results of a study designed to assess nationally certified counselors' perceptions of the relevance of elements of the National Board for Certified Counselors examination to their work as counselors. Support for the validity and appropriateness of the examination in regard to perceived relevance and lack of differentiation on the basis of respondent characteristics were found.