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.     

Closed-class words as first syllables do interfere with lexical decisions for nonwords: implications for theories of agrammatism

It has been proposed that a principal cause of the agrammatism of some Broca's aphasics is that such patients, unlike normal subjects, are unable to make use of a special retrieval mechanism for closed-class ("function") words (D. C. Bradley, 1978, Computational distinctions of vocabulary type, Unpublished Ph.D. thesis; D. C. Bradley, M. F. Garrett, & E. B. Zurif, 1980. In D. Caplan (Ed.), Biological studies of mental processes). The main evidence for the existence of such a mechanism consisted of two observations: (1) the recognition of open-class words was observed to be frequency-sensitive, but that of closed-class words was not; and (2) lexical decisions for nonwords which began with open-class words were delayed, whereas there was no such interference for nonwords which began with closed-class words. However, the first of these observations has proved nonreplicable (e.g., B. Gordon & A. Caramazza, 1982, Brain and Language, 15, 143-160, 1983, Brain and Language, 19, 335-345; J. Segui, J. Mehler, W. Frauenfelder, & J. Morton, 1982, Neuropsychologia, 20, 615-627), and in the present paper, three lexical decision experiments are reported in which it is found that, when certain confounding variables are controlled, nonwords which begin with closed-class words are subject to interference. Moreover, contrary to a suggestion of Kolk and Blomert (1985, Brain and Language, 26, 94-105) the interference is independent of the presence of closed-class items in the lexical decision word list. It seems, then, that closed-class words are not qualitatively different from open-class words with respect either to frequency sensitivity or to nonword interference, and in consequence, the above proposed explanation of agrammatism is left without major empirical support.     

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.     

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.     

Learned helplessness in the cockroach (Periplaneta americana)

For 3 consecutive days cockroaches (Periplaneta americana) were exposed to either escapable, inescapable, or no shock in an escape task. Twenty-four hours later they were tested in a shuttlebox escape task. There were reliable differences between escapable and inescapable animals and between inescapable and control animals in both escape latencies and the number of failures to escape.     

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.     

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.     

Interactions between area and numerosity

Summary The concept of filled area, i.e. the impressionistic ensemble of parts of a stimulus field occupied by dots, is used to account for various kinds of numerosity illusions due to perceptual interaction between a number of dots and their spatial arrangement. A measure of filled area is derived from a model for the perceptual clustering of dots on the basis of relative proximity. It is shown that the quantified concept of filled area successfully predicts illusion data from earlier studies. Subsequently, a two-alternatives forced-choice numerosity experiment is reported, the data of which gave further evidence of the predictive power of the filled-area hypothesis. Our approach is discussed with respect to spatial features of dot stimuli that might be in rivalry with the filled-area factor in numerosity-estimation tasks.     

Effects of facial attractiveness and gender on causal attributions of managerial performance

The present study examined the effect of facial attractiveness and gender on raters' evaluations of and explanations for managerial performance. Results showed attractiveness to be a potential liability for both males and females. Good performance of attractive females was more likely than that of others to be attributed to luck or bias, while that of attractive males was viewed as occurring with little effort. In addition, the poor performance of attractive individuals was blamed on lack of effort (females) or lack of ability (males). Implications of these findings are discussed.An earlier version of this paper was published in the 1986 Proceedings of the Southern Management Association.     

Marriage Guidance Training and the Trainee's Own Marriage: A Prospective Study

Twenty trainees and 18 partners took part in a study of the effects of a marriage guidance training programme on their own marriage. Changes were assessed in two ways: retrospectively ('perceived' changes as assessed following training) and prospectively (changes calculated by comparing scores obtained before training and those obtained after training). For most dimensions there was little correspondence between 'perceived' change and 'calculated' change. This has important methodological implications, which are discussed. The 'calculated' change indicated poorer marital adjustment following training. The trainees' scores suggested that they had become less 'abasing' and less 'nurturant' towards their partners; also that they had more disagreements about 'philosophy of life' and 'dealing with in-laws'. Their comments suggested that a number of the trainees had become more analytical of their own marriages, and that training had heightened their awareness of their own needs and individuality.