Natural Deduction for Non-Classical Logics

We present a framework for machine implementation of families of non-classical logics with Kripke-style semantics. We decompose a logic into two interacting parts, each a natural deduction system: a base logic of labelled formulae, and a theory of labels characterizing the properties of the Kripke models. By appropriate combinations we capture both partial and complete fragments of large families of non-classical logics such as modal, relevance, and intuitionistic logics. Our approach is modular and supports uniform proofs of soundness, completeness and proof normalization. We have implemented our work in the Isabelle Logical Framework.     

The effects of practice on object-based, location-based, and static-display inhibition of return

We report two experiments that examine the effects of practice on object-based, location-based, and static-display inhibition of return (IOR). The results are clean All three effects get smaller with practice. These findings are at odds with the results of Müller and von Mühlenen (1996), who failed to observe object-based IOR and detected no effect of practice on static-display IOR. However, their subjects were more practiced than ours prior to data collection. We suggest, therefore, that the reducing effect of practice on IOR might have occurred in their unrecorded practice sessions. We also discuss a two-process model in which IOR is seen as the net effect of underlying inhibitory and excitatory processes. In such models (e.g., Solomon & Corbit,1974), practice often results in a reduction of the net effect of the two processes.     

Being human,more or less

Robert G. Woodhouse Memorial Philosophy Lecture, Rockland Community College of the State University of New York, Tuesday, 1 December 1992.     

Effects of chronic ethanol consumption on gestation and lactation in rats

Chronic consumption of ethanol during pregnancy and lactation may lead to abnormalities in the fetus or infant. A group of female Wistar rats was submitted to ethanol treatment over a period of a month. A pair-fed control group received sucrose solution isocaloric to ethanol and the control group received water “ad libitum.” Afterward, the females were mated with males over a period of 20 days. At birth, each litter was maximized to eight pups and the remaining ones were decapitated to remove the fetal blood and brains. No significant difference was observed in fetal body and brain weight at birth. During lactation the ethanol and pair-fed groups gained less weight than the control group. After weaning, their weight became similar. Fetal blood glucose levels were decreased in the ethanol-treated group. One hundred percent of the pair-fed and control females delivered live fetuses at term and all survived; only 40% of the females in the ethanol group delivered, and one pup did not survive. Chronic ethanol treatment pointed to a possible reduction in the fertility. It seems likely that the change in body weight of ethanol-fed dams was caused by undernutrition.     

Compatibility due to the coding of the relative position of the effectors

Response latencies emitted with the hands crossed are slower than those emitted with the hands uncrossed. Two explanations are available for the so-called crossed-hand effect. One attributes it to the non-natural posture of the arms in the crossed position, whereas the other is in terms of a conflict between the code describing the hand and the code describing its position. Experiment 1 disproved the postural hypothesis by showing that crossing the hands has no effect on response latencies in a simple reaction time task. Experiments 2 and 3 replicated the crossed-hand effect in a choice reaction time task and showed that it depends on the relative position of the two hands. In other words, responses are slower when the hand is located in the “wrong” position with respect to the other (e.g., the right hand is located to the left of the left hand), whereas the absolute position, that is the side of the body where the responding hand is located, does not seem to effect the speed of response.     

Fuzzy intuitionistic quantum logics

Fuzzy intuitionistic quantum logics (called also Brouwer-Zadeh logics) represent to non standard version of quantum logic where the connective not is split into two different negation: a fuzzy-like negation that gives rise to a paraconsistent behavior and an intuitionistic-like negation. A completeness theorem for a particular form of Brouwer-Zadeh logic (BZL ³) is proved. A phisical interpretation of these logics can be constructed in the framework of the unsharp approach to quantum theory.     

Event-related brain potentials reflect traces of echoic memory in humans

In sequences of identical auditory stimuli, infrequent deviant stimuli elicit an event-related brain potential component called mismatch negativity (MMN). MMN is presumed to reflect the existence of a memory trace of the frequent stimulus at the moment of presentation of the infrequent stimulus. This hypothesis was tested by applying the recognition-masking paradigm of cognitive psychology. In this paradigm, a masking sound presented shortly before or after a test stimulus diminishes the recognition memory of this stimulus, the more so the shorter the interval between the test and masking stimuli. This interval was varied in the present study. It was found that the MMN amplitude strongly correlated with the subject’s ability to discriminate between frequent and infrequent stimuli. This result strongly suggests that MMN providesa measure for a trace of sensory memory, and further, that with MMN, this memory can be studied without performance-related distortions.