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.     

Cerebral hemispheric mechanisms in the retrieval of ambiguous word meanings

Targets related to ambiguous primes were projected to the left and right visual fields in a lexical priming experiment with stimulus onset asynchronies (SOA) of 35 and 750 msec. Right visual field results were similar to our earlier results with central projection (G. B. Simpson & C. Burgess, 1985, Journal of Experimental Psychology: Human Perception and Performance, 11, 28-39). Facilitation was found for the more frequent meaning at both SOAs and a decrease in facilitation for the less frequent meaning at the longer SOA. In contrast, left visual field results indicated a decay of facilitation for the more frequent meaning at the longer SOA, while activation for the subordinate meaning increased. Results suggest that, while automatic processing occurs in both hemispheres, only the left hemisphere engages in controlled processing of ambiguous word meanings. In addition, the present results support the idea that the right hemisphere has a special role in ambiguity resolution and that the right hemisphere lexicon possesses a richer endowment than earlier thought.     

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.     

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.     

Cance and luck are not the same

In the mind of many people chance and luck act as real but different causes of events. Even in strictly defined situations as casino gambling, people may perceive influences of luck that help to overcome the negative expectancy defined by the rules of chance. Interviews with gamblers in casinos confirmed this idea. In two experiments it was established that the distinction between chance and luck are also made by ordinary subjects in everyday situations. The results revealed that chance is perceived to operate when an event is surprising, an unexpected coincidence. Luck is perceived when an event implies the escape from negative consequences, or the achievement of something that is important and difficult. The distinction between chance and luck can explain why people are trapped by the illusion of control, even when it is clear that they have no influence on the physical causation determining the outcomes of events. They cannot change the outcome of the roulette wheel, but they can employ their luck, which helps them to place their bets on the winning number.     

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.     

New Directions in Career Guidance: A Special Report for the Profession

Bonaparte, G., Chapman, J., & Steinberg, J. (1987). Michigan: Two career guidance models. Vocational Education Journal, 62(6), 142–143. Greenwood, K. (1987). Counseling adults in career transition. Vocational Education Journal, 62(6), 44–46. Herr, E.L. (1987). Comprehensive career guidance and vocational education: Natural allies. Vocational Education Journal, 62(6), 30–33. Lambert, R. (1987). A guide to career information. Vocational Education Journal, 62(6), 34–36. Lester, J.N., & McCormac, M.E. (1987). The NOICC career guidance standards project. Vocational Education Journal, 62(6), 47–48. Otto, L.B. (1987). Parents: Key advisors. Vocational Education Journal, 62(6), 37–38.