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.     

Interpersonal dominance and coronary prone behavior

Type A “coronary-prone behavior” is a risk factor for coronary artery and heart disease. Questionnaire research indicates that interpersonal dominance is one of the strongest behavioral correlates of the Type A behavior pattern, although little effort has been made to demonstrate a link between the behavioral manifestations of interpersonal dominance and Pattern A responding. This study was conducted to establish such a link. All possible combinations of extreme As (N = 42) and Bs (N = 42) were matched in dyads that negotiated extreme bipolar opposite positions on a “teacher dismissal” issue. Analysis of process and outcome behaviors suggested that type A individuals are unilaterally more dominant than their Type B counterparts. Possible physiological mechanisms mediating dominance and cardiovascular disease are discussed.     

An investigation of the ability to process inferences in language following right hemisphere brain damage

Twenty-two right hemisphere brain-damaged and 22 non-brain-damaged patients were given a multiple-choice recognition task which contained true statements, statements which were inferentially true but not actually heard before, and false statements. It was hypothesized that if right hemisphere brain damage disturbs the ability to comprehend inferences, these subjects, unlike their normal counterparts, would not falsely recognize true inferences as heard before. This hypothesis was not confirmed. However, the right hemisphere group was poorer than controls at rejecting false statements. This behavior was speculated to be a retrieval difficulty, which was exacerbated if the information contained spatial or semantically similar material.     

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.     

Decision processes in visual discrimination of line orientation

The contribution of decision factors to the meridional variations in line orientation discrimination was determined for two-alternative forced-choice experimental designs. Using Johnson's (1980) formalization of decision processes in discrimination tasks, we identified three decision factors: the decision rule, memory variance, and criterial noise. In a first experiment, we showed the effect of experimental design on orientation discrimination to be similar at horizontal and oblique standard orientations, indicating that the meridional variations in orientation discrimination were not due to a decision rule anisotropy. In a second experiment, the effect of the interstimulus interval was also found to be similar at both standard orientations, suggesting that the memory variance is isotropic in the orientation domain. The results of two other experiments supported the hypothesis that the meridional variations in orientation discrimination are not due to a criterial noise anisotropy. These different results strongly suggested that the oblique effect in line orientation discrimination is due to sensorial factors rather than to decision factors. Therefore, they further support the hypothesis linking the anisotropy of the preferred orientation distribution of Area 17-S cells (a single physiologically defined class of cells in the primary visual cortex) and the meridional variations in line orientation discrimination.