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.     

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.     

Treatment recommendations for mentally disordered offenders: More than roulette?

Clinical judgments on the treatability and prognosis of mentally disordered offeenders (MDO) may strongly influence legal dispositions and the availability of treatment resources. This study examined 1,238 discharge summaries for MDOs referred for court assessments. Psychiatrists evidenced marked variability in how often they recommended treatment and how frequently they judged patients to have a poor prognosis. Two logit analyses suggested that diagnosis and consultation by other clinicians were associated with (a) treatment recommendations (i.e., Axis I diagnosis and social work consultations) and (b) prognosis (i.e., Axis II diagnosis and psychology consultations).     

Forgetting of pictures over a long retention interval in young and older adults

Young and older adults were presented with pictures for study. Their recognition of the information was tested at five retention intervals: immediately, and 48 hr, 1 week, 2 weeks, and 4 weeks later. The main finding of interest was that picture recognition did not show an age-related decline until the 1-week retention interval.     

Counseling Child Sexual Abuse Victims: Myths and Realities

The goal of the authors is to (a) create an awareness among counselors about the nature and prevalence of child sexual abuse, (b) examine myths and realities about the topic, and (c) present recommendations for interviewing suspected victims of child sexual abuse.     

An experimental analysis of the civil commitment recommendations of psychologists and psychiatrists

Legal and nonlegal factors influencing the civil commitment recommendations of psychologists and psychiatrists separately and as a whole were investigated using an experimental design. One hundred and seventy-six psychologists and psychiatrists made recommendations for or against commitment for a series of clinical vignettes wherein the five facets of commitment criterion, legal committability, clinical treatability, alternative resources and presence of psychosis were systematically varied. Results revealed that all facets contributed independently and in combination to the commitment decisions of participants as a whole. It was concluded that mental health professionals may utilize a variety of types of information, beyond the relevant legal criteria, in making actual decisions to initiate civil commitments.     

Measurement of activity in small animals using a microcomputer-controlled system

A computer-controlled system that detects spontaneous activity (locomotion and rearing) and diurnal activity rhythms in small animals is described. Automatic recording of subtotals during test periods provides data about habituation (nonassociative learning). The system is relatively inexpensive to construct. Fabricated from highly reliable circuit components, it provides replicable measures that enable comparisons between different experimental treatments to be made using parametric statistics.     

Effects of observing competitive and violent versions of a sport

Males were randomly assigned to view either (1) a film clip featuring hockey fights or (2) a film of nonaggressive hockey action or (3) a no-film control condition after having first been angered or treated politely by an experimental confederate. The dependent variable was represented by a measure of aggressive mood and a behavioral measure of retaliatory aggression. Analyses revealed that both angered and nonangered subjects exhibited an increase in aggressive mood following exposure to the fight film. However, the analysis involving retaliatory aggression against the confederate yielded an anger x film interaction. While angered subjects were more aggressive than nonangered, only angered subjects retaliated against the confederate after viewing the fight film. The results were discussed in terms of Berkowitz’s (1974) aggressive cue theory. A version of this paper was presented at the meeting of the North American Society for the Sociology of Sport, Edmonton, Canada, November 1987.