Validity and quantification in intuitionism

We distinguish three different readings of the intuitionistic notions of validity, soundness, and completeness with respect to the quantification occurring in the notion of validity, and we establish certain relations between the different readings. For each of the meta-logical notions considered we suggest that the most natural reading (which is not the same for all cases) is precisely the one which is required by the recent intuitionistic completeness theorems for IPC.This paper was partly written while the first author, H. C. M. de Swart, was a Visiting Fellow at Princeton University for the academic year 1976–1977. This opportunity was given to him by the Niels Stensen Stichting in Amsterdam, the department of philosophy of the Catholic University in Nijmegen and by Princeton University. He is happy to express his appreciation for that opportunity.     

Assertive training for agoraphobics

Twenty-one unassertive agoraphobic patients were assigned to one of three treatments: (1) prolonged exposure in vivo, (2) assertive training and (3) a combination of assertive training and prolonged exposure in vivo. Each treatment was conducted in groups which were led by two therapists. Assessments involved both phobic targets and assertiveness, and were made before and after treatment, and at 1-month follow-up. Exposure in vivo was found to be superior to assertive training on phobic targets. Assertive training produced greater gains in assertiveness than exposure in vivo. The combination of treatments produced results comparable to exposure in viro. Results indicated that the type of change produced by the treatments is a rather specific one and is related to the specific target of treatment.     

Group psychotherapy in chronic psychiatric outpatients: a Toronto model.

Seventy to 80 chronic psychiatric patients are treated in an aftercare clinic with a goal of tertiary preventive care. The major component of the treatment approach is reality-oriented group psychotherapy with an emphasis on interpersonal relationships. Attention to three factors in group psychotherapy with this population of patients has facilitated our work and outcome. These are the concept of the core group, diagnostic heterogeneity, and staff structure.     

The enhancement of retention induced by vasopressin in mice may be mediated by an activation of central nicotinic cholinergic mechanisms.

Immediate post-training subcutaneous administration of lysine vasopressin (LVP, 0.003-1.00 microgram/kg) enhanced retention, whereas the vasopressin antagonist AAVP (0.01-0.30 microgram/kg) impaired it, in male Swiss mice tested 48 h after training in an inhibitory avoidance task. Both effects were dose-dependent. Neither LVP nor AAVP affected response latencies in mice not given the footshock on the training trial. The simultaneous administration of AAVP at a dose (0.01 microgram/kg) which had no effect on retention shifted the dose-response curve of LVP to the right. Nicotine (1.0-30.0 micrograms/kg, sc), a central nicotinic cholinergic agonist, also facilitated retention in a dose-related manner without affecting the retention performance of unshocked mice. The effect of nicotine was prevented by the central acting nicotinic cholinergic receptor antagonist mecamylamine (5 mg/kg, sc.). In contrast, neither hexamethonium (5 mg/kg, sc), a peripheral acting nicotinic receptor blocker, nor atropine (0.5 mg/kg, sc) or methylatropine (0.5 mg/kg, sc), two anticholinergic drugs which are known to act on muscarinic cholinergic receptors, prevented the effect of post-training nicotine. The effects of LVP and nicotine were time-dependent, suggesting that both treatments enhanced retention by influencing post-training processes involved in memory storage. Low doses of nicotine (1.50 microgram/kg, sc) or the central anticholinesterase physostigmine (35 micrograms/kg, sc) and LVP (0.003 microgram/kg, sc), which had no effect on retention when administered alone, produced a synergistic interaction when given together following training. The influence of LVP (0.03 microgram/kg, sc) on retention was prevented not only by AAVP (0.01 microgram/kg, sc) but also by mecamylamine (5 mg/kg, sc), whereas the effects of nicotine (10.0 micrograms/kg, sc) were prevented only by mecamylamine. These results suggest that the enhancement of retention induced by vasopressin is probably due to an activation of central nicotinic cholinergic mechanisms which are critical for memory formation.     

A note on partitioned determinants

A formula for the determinant of a partitioned matrix, possibly with singular submatrices, is derived and applied to some psychometric and numerical problems.     

Generalized eigenvalue problems with positive semi-definite matrices

In a recent paper in this journal McDonald, Torii, and Nishisato show that generalized eigenvalue problems in which both matrices are singular can sometimes be solved by reducing them to similar problems of smaller order. In this paper a more extensive analysis of such problems is used to sharpen and clarify the results of McDonald, Torii, and Nishisato. Possible extensions are also indicated. The relevant mathematical literature is reviewed briefly.     

Associative facilitation of word recognition as measured from a neutral prime

It is shown that lexical decision times to strong associates with an associative strength of approximately 40% are facilitated relative to targets following a neutral prime, “blank,” whereas very weak associates with an associative strength of less then 3% are neither facilitated nor inhibited. It is also shown that relative to the “blank” baseline time, a row of crosses inhibits processing of the following target. The latter finding has implications for earlier studies that have used crosses as a neutral prime. In these studies, facilitation effects have been overestimated and inhibition effects have been underestimated. Neely 1976 has proposed a predict-and-match strategy according to which subjects are assumed to predict one or more targets from the prime and to match the actual target onto the predicted targets. A part of this theory is not supported by the present data. The results are discussed in terms of the two-process theory of expectancy (Posner & Snyder, 1975). They are also considered in the light of a recent theory by Becker (1980). As an alternative interpretation of part of the reported data, a coherence assumption by the subjects about all reading materials is introduced.     

Drawing inferences from semantically positive and negative implicative predicates

Subjects were timed while they drew inferences from syntactically affirmative and negative sentences containing the semantically positive and negative implicative predicates remember/forget and bother/neglect, under different linguistic contexts that met the presuppositions of the sentences at varying levels of generality. Different patterns of inference latencies were obtained for the two implicative predicates studied, suggesting that there are important differences among semantically negative implicative predicates that influence their representation and processing. Regardless of these differences, inference latencies for all sentences decreased when they were presented in contexts that met some of their presuppositions, indicating that context can facilitate inferential processing.     

Evidence that a factor besides progesterone, prolactin, or plasma-estradiol-binding protein inhibits estrogen-induced sexual receptivity in pregnant rats.

Daily administration of estradiol benzoate stimulated significantly less lordotic behavior in rats during the second half of pregnancy than in ovariectomized females that received subcutaneous progesterone implants, pituitary grafts that raised plasma prolactin, or both treatments combined. Following an initial facilitation of receptivity, females with progesterone implants showed only moderate reductions in lordosis quotients over 3 test days. The capacity of plasma from pregnant rats to bind estradiol was found to increase significantly during the second half of pregnancy. However, daily administration to pregnant rats of a synthetic estrogen, R 2858, which is not bound by plasma protein, was no more effective than estradiol benzoate in stimulating receptive behavior. Administration of estradiol benzoate also stimulated significantly lower levels of sexual behavior in pregnant females than in females in which pseudopregnancy had been prolonged by previous hysterectomy or induction of uterine decidualization. These findings suggest that some endocrine factor other than progesterone, prolactin, or estradiol-binding protein is primarily responsible for the potent suppression of behavioral responsiveness to estrogen which occurs in pregnant rats. It is suggested that 5 alpha-reduced androgens may cause these behavioral effects.     

Demonstration of an aftereffect occurring in the tactile-kinesthetic domain

Summary The aim of this work is the demonstration of a tactile-kinesthetic aftereffect. A sequence of stimuli was offered to adult subjects whose task was to compare two weights presented simultaneously to both hands by means of a Piéron gravimeter. In Experiment 1 the inspection stimuli consisted of two successive presentations of unequal weights for a period of 2 × 10 s. The test stimuli consisted of two equal weights rapidly following an inspection stimulus. Control stimuli consisting of two equal weights not preceded by an inspection stimulus were interspersed in the sequence. The results obtained confirm the existence of a contrast effect after presentation of an inspection stimulus. In Experiment 2 the inspection stimuli consisted of a single presentation of two unequal weights for a period of 20 s. The results confirm those of the first experiment and provide data enabling the contrast effect obtained to be interpreted as a Köhler-type aftereffect. In order to avoid confusion with the kinesthetic-figural aftereffect, we propose to call the effect demonstrated here the Gravimetric Aftereffect.