A Predicate Logical Extension of a Subintuitionistic Propositional Logic

We develop a predicate logical extension of a subintuitionistic propositional logic. Therefore a Hilbert type calculus and a Kripke type model are given. The propositional logic is formulated to axiomatize the idea of strategic weakening of Kripke's semantic for intuitionistic logic: dropping the semantical condition of heredity or persistence leads to a nonmonotonic model. On the syntactic side this leads to a certain restriction imposed on the deduction theorem. By means of a Henkin argument strong completeness is proved making use of predicate logical principles, which are only classically acceptable.     

Evidence for a gene-environment interaction in predicting behavioral inhibition in middle childhood

Gene-environment interactions are presumed to shape human behavior during early development. However, no human research has demonstrated that such interactions lead to stable individual differences in fear responses. We tested this possibility by focusing on a polymorphism in the promoter region of the gene for the serotonin transporter (5-HTT). This polymorphism has been linked to many indices of serotonin activity. Specifically, we tested the hypothesis that an interaction between children's 5-HTT status and maternal reports of social support predicts inhibited behavior with unfamiliar peers in middle childhood. Results were consistent with this hypothesis: Children with the combination of the short 5-HTT allele and low social support had increased risk for behavioral inhibition in middle childhood.     

Interruption of behavior,inescapable shock,and experimental neurosis: A neurophysiologic analysis

Experiments reported in the literature involving interruption of behavior and leading to symptoms of anxiety in conditioned rats are analyzed from the neurophysiologic point of view and compared with the effects of inescapable electric shocks in dogs. It is suggested that anxiety and neurotic behavior (failure to attempt to escape from shock) are accompanied by a state of high ergotropic excitation which leads to a “spilling over” of ergotropic discharges into the trophotropic system. The resulting simultaneous ergotropic and trophotropic discharges impinging on the cerebral cortex are thought to induce abnormal emotions and behavior. Normal behavior is restored by reducing excessive ergotropic activity and re-establishing reciprocal relations between the ergotropic and trophotropic systems. In 1965 I presented a theory of anxiety based on a physiologic analysis of various forms of experimental and clinical neuroses in terms of the activities of, and the mutual relations existing between, the trophotropic and ergotropic systems (Gellhorn, 1965; Gellhorn and Loofbourrow, 1963). In the meantime the work of Mandleret al. (Mandler, 1964; Mandler and Watson, 1966), who emphasized that anxiety is produced through interruption of behavior, came to my attention. These investigations pose two questions:

1. 1.
   Is the interpretation of anxiety presented in my earlier study applicable to Mandler's experiments and kindred observations?     

The Dutch curve: The introduction and reception of intelligence testing in the Netherlands, 1908–1940

In the Netherlands, intelligence testing has been pragmatic and has not generated the heated controversies found in other cultures. Four historical reasons are presented for this paradoxical development. First, the Binet test was used mainly as a diagnostic instrument for professional judgments about admission to special education. Second, the eugenic use of IQ tests was moderated by the marginal position of eugenics in Dutch society. Third, the process of “pillarization” gave considerable power to denominational groups in Dutch society, and they strongly criticized deterministic ideas about the heredity of intelligence. Fourth, the educational scientist, cognitive psychologist, philosopher, and government adviser, Philip Kohnstamm, was very influential in Dutch science and politics. He rejected intelligence testing and its deterministic connotations in favor of the idea of the educability of cognitive capacities. © 1998 John Wiley & Sons, Inc.     

‘Torturing things until they confess’: Günther Anders' critique of technology

ELSI (Ethical, Legal and Social Implications) initiatives are frequently attached to major science programmes. The expectation is that ELSI research will produce a practical advanced assessment of the impacts of technological development. Williams' overview of the field demonstrates that this encourages a mechanistic understanding of technological development leading to compressed foresight, i.e. the notion that the future is imminent in the present. The development of the ELSI domain in Canada has been characterised by an affinity between the types of knowledge valorised by the field and modes of legal reasoning, suggesting a legal variant of compressed foresight. The concept of juridification and an analysis of two related modes of legal reasoning (analogy and reflective equilibrium) shed light on the connection between legal reasoning and the ELSI field in Canada. The deployment of the aforementioned modes of legal reasoning enables law to define and operationalise difficult questions by drawing on currently existing principles and precedents. Thus, when legal modes of reasoning are brought to bear on ELSI questions, the future is made a calculable and manageable extension of the present, dovetailing with the ELSI field's requirement of pragmatic, advanced assessment.