Logics of some kripke frames connected with Medvedev notion of informational types

Intermediate prepositional logics we consider here describe the setI() of regular informational types introduced by Yu. T. Medvedev [7]. He showed thatI() is a Heyting algebra. This algebra gives rise to the logic of infinite problems from [13] denoted here asLM ₁. Some other definitions of negation inI() lead to logicsLM _n (n ). We study inclusions between these and other systems, proveLM _n to be non-finitely axiomatizable (n ) and recursively axiomatizable (n < ). We also show that formulas in one variable do not separateLM from Heyting's logicH, andLM _n (n < ) from Scott's logic (H+S).     

On the relation between indistinguishability of identical particles and (anti)symmetry of the wave function in quantum mechanics

Two different concepts of distinguishability are often mixed up in attempts to derive in quantum mechanics the (anti)symmetry of the wave function from indistinguishability of identical particles. Some of these attempts are analyzed and shown to be defective. It is argued that, although identical particles should be considered as observationally indistinguishable in (anti)symmetric states, they may be considered to be conceptually distinguishable. These two notions of (in)distinguishability have quite different physical origins, the former one being related to observations while the latter has to do with the preparation of the system.     

Controversies and existence claims in chemistry: The theory of resonance

Controversies, i.e., multiple theory confrontations, may have a strong impact on the development of science. By an analysis of the so-called “resonance controversy” in chemistry the view that controversies and their resolution differ considerably from the process of theory succession is defended. It is argued that controversies are symptomatic of foundational problems, produce theory-scattering or domain-splitting, and induce ontological shifts. An explication is given of the role of existence claims and the applicability of Ockham's Razor in the resolution of controversies. The requirement of a realistic interpretation of theories at all times, as defended by some philosophers, is criticised.     

Personal identity and brain death: a critical response

The authors contend that there are logical inconsistencies in a theory put forth by Michael Green and Daniel Wikler ("Brain death and personal identity," Philosophy and Public Affairs 1980 Winter; 9(2): 105-133) to justify the brain death concept of death. Green and Wikler had asserted that individuals cease to exist and are dead when the criteria for continuity in their personal identity are not met. Having argued that the theory of personal identity is misguided, Agich and Jones suggest that further research into the ontological foundation of brain death concepts should begin, not by rejecting medical or moral considerations, but by carefully defining the main competing concepts of brain death as brain stem death, cerebral death, death of the brain as a whole, and whole brain death, and then by relating these concepts to the ontological conditions for being a live individual or person.     

Temporal integration and vibrotactile backward masking

Subjects were presented with vibrotactile target patterns to their left index fingertips. The target patterns varied in the number of line segments that they contained and were presented in the presence or absence of a backward-masking stimulus. The stimulus onset asynchrony (SOA) between the target and masker was varied. In an identification task, subjects' errors indicated that the effect of the masker at brief SOAs was to increase the perceived number of line segments in the target. This effect diminished with increasing SOA, and at the longest SOAs subjects confused targets with patterns containing the same number of line segments but varying in how the line segments were related. In an estimation task, the effect of the masker was to increase the number of line segments estimated to be contained in the target pattern. The effect of the masker at brief SOAs is discussed in terms of an integration theory of vibrotactile backward masking. At longer SOAs, the results suggest that the masker may interfere with the extraction of relational information in the target pattern.     

Integration of noxious stimulation across separate somatosensory communications systems: a functional theory of pain

Functional measurement analyses and psychophysical techniques were used to assess how separate, cross-modal, aversive events are integrated in judgements of pain. Subjects made magnitude estimations of noxious stimuli produced by a 6 X 6 factorial design of electric shocks and loud tones. Group data and most of the individual results were consistent with a model of linear pain summation: The estimates of pain approximated the linear sum of the pain estimates of the individual electrocutaneous and auditory components. The relation between painful sensation and current intensity could be described by a mildly expansive power function with an exponent of about 1.1. Auditorily produced painful sensation related to sound pressure level by a mildly compressive power function with an exponent of about 0.90 as a representative figure. Results are interpreted in terms of a functional theory of pain. Noxious events are first transformed to psychological scale values via stimulus-specific psychophysical transfer functions. The outputs of these functions are then combined with other pain-related internal representations of either sensory or cognitive origin, according to simple algebraic models.     

Disruption of reference in aging

A homogeneous sample of normal adults living in a religious order in a study of age effects on reference as a cohesive device in discourse production and comprehension. Narrative and procedural discourse were examined across various levels of complexity and stimulus/response requirements. Results indicate that significant ambiguity of reference emerges in the younger elderly group (age 64-76) in comparison to the middle-aged group (age 27 to 55), and increases markedly in the older elderly group (age 77-92). Related impairments of comprehension and cognition were also observed. These findings are interpreted to be general features of linguistic variation with advancing age. Communicative consequences of ambiguous reference are discussed.     

Visual control of step length during running over irregular terrain

Running over uneven ground requires visually regulating step length to secure proper footing. To examine how this is achieved, we studied subjects running on a treadmill on a series of irregularly spaced targets. The movements of their lower limbs and coccyx relative to the targets were monitored opto-electronically by a Selspot system. The results indicated that step length was adjusted to strike the targets primarily by varying the vertical component of impulse applied to the ground during the stance phase. In contrast, horizontal impulse was not varied significantly, and changing the reach forward of the foot on landing contributed little to variation in step length. Changing the vertical impulse simply altered the step time proportionately. Thus the data are consistent with a time-based model in which vertical impulse is modulated by the optic variable delta tau (Lee, 1976) specifying the time gap that has to be bridged by the runner between two targets.     

Performance of normal and neurological mutant mice on radial arm maze and active avoidance tasks

The objectives of the present study are to assess the import of gene-imposed structural alterations on behavioral performance and obtain performance data preliminary to studies of experimental mouse chimera behavior. Reeler, staggerer, and weaver neurological mutant, and control B6C3 and ichthyosis mice were tested on radial arm maze and active avoidance tasks. Weaver mice had incapacitating seizures while performing the radial arm maze task and were, therefore, removed from further testing. Staggerer mice displayed a significant deficit on both tasks compared to control mice. Homozygous reeler mice (rl/rl) also had a significant deficit on the active avoidance task compared to +/rl control mice but not significantly poorer than ichthyosis mice. However, their performance on the radial arm maze task, while initially poor, improved so that they performed the task similar to wild-type controls. Three of the reeler mice reached criterion for solving the radial arm maze task. None of the staggerer mice reached criterion. These data are discussed in terms of the value of using neurologically mutant mice in dissecting structural-functional relationships. It is suggested that the behavior of these mutants might point toward specific components of cerebellar involvement in behavioral acts.     

Glucose effects on memory: behavioral and pharmacological characteristics

Recent findings indicate that post-training glucose injections can modulate memory storage for inhibitory (passive) avoidance training. Experiment I extended these findings to determine whether glucose, like other memory modulating treatments, enhances memory storage when administered after training with low footshock and impairs memory storage after high footshock training. In Experiment I, male Sprague-Dawley rats were trained in a one-trial inhibitory avoidance task using either a brief footshock (0.5 mA, 0.7 s) or slightly more intense footshock kept on until escape (0.7 mA, mean escape latency = 3.4 s). Immediately after training, each rat received a subcutaneous injection of glucose (100 mg/kg). When tested for retention performance 24 h later, the glucose-injected animals exhibited enhanced retention performance for low footshock training and impaired retention for high footshock training. Experiment II determined whether pretreatment with adrenergic antagonists blocked the effects of glucose on memory. Pretreatment with the alpha- or beta-adrenergic receptor antagonists, phenoxybenzamine, or propranolol, respectively, had no effect on acquisition or retention in animals trained with the brief footshock and did not affect glucose facilitation of that memory. In animals trained to escape footshock, phenoxybenzamine did not attenuate the amnesia produced by glucose. Propranolol-pretreated animals had impaired retention whether or not they received post-training amnestic injections of glucose; glucose had no effect on retention in these amnestic animals. These findings add further support to the view that glucose release after training and treatment may represent a physiological response subsequent to epinephrine release in modulating memory storage processing.