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.     

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.     

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.     

Range effects in successive discrimination

In two sets of experiments we examined pigeons' discrimination performance with a visual flicker-rate continuum, using a conventional successive discrimination procedure. In the first experiment, responses during the intermediate stimulus value were never reinforced, while responses during stimuli on either end of the continuum were reinforced periodically. In the second experiment, responses during stimuli from one end of the continuum were never reinforced, while responses during stimuli from the other end of the continuum were reinforced periodically. Results from both experiments show that discrimination between unchanged positive and negative stimulus values is a function of the range over which the total stimulus set varies. These range effects are comparable to effects found in absolute judgment tasks in human and animal psychophysics. In addition, the range effects reported here are not due to channel capacity, but may depend instead on variability in judgment criteria.     

Perceptual interactions in two-word displays: familiarity and similarity effects

Previous studies have demonstrated the existence of perceptual interactions in the processing of two-word displays such as SAND LANE. When postcued to report one of the two words, subjects often make migration errors, in that the report of the specified word includes a letter of the other word (e.g., LAND or SANE instead of SAND). We find that migrations depend on the abstract, structural similarity of the strings, but not on the physical similarity; on whether the strings are words; and on whether the possible migration responses are words. We also rule out an interpretation of migration errors that attributes them to a guessing strategy. Our findings are interpreted in terms of models in which both strings simultaneously access high-level structural knowledge, that is, knowledge about what sequences of letters fit together to form familiar wholes.     

Anxiety,aspirations, and self-concept in the achievement process: A longitudinal model with latent variables

Recent research suggests that anxiety is not a single, unified reaction to perceived threat, but rather a cluster of interrelated factors whose relationships to performance change as the individual progresses from one test event to another. This study investigated the presumed linkages between traitlike predispositions to perceive threat and achievement performance, as mediated by statelike anxiety arousal on a longitudinal basis (Perceived Threat Anxiety Arousal Impaired Performance). College students were administered self-report questionnaire measures during a preenrollment period, after the first two midterms, and following the last two midterms in a general psychology course. Four performance measures and 26 motivational indicators were fitted to a 10-factor latent model using LISREL model-fitting techniques. Path-analytic interpretations of this structural model provided little evidence for the commonly held view that traitlike threat perceptions mediate performance via statelike anxiety reactions. Far more promising, theoretically, are those influences on test performance stemming from the self-attributional, cognitive domain. Overall, the findings support a recent reinterpretation of achievement anxiety as stemming from the disruptive effects of diminished ability perceptions (and hence, impaired personal worth), rather than from the interfering influence of diffused emotional arousalper se.     

On “Liberating” Theology from Christianity: Religious Values and Political Philosophy

The widely analyzed phenomenon of liberation theology needs to be discussed primarily at the theoretical level of its relation to political philosophy. Essentially, liberation theology serves as a means to co-opt the ideas, institutions, and motivations of religious people into the service of modern ideology, particularly Marxism. To fully comprehend this school of thought, one must understand it as an aspect of modern Gnosticism. That is, liberation theology accepts the reconstruction of human and cosmic purpose through an interpretation of classical religious ideas in the light of Marxist categories, themselves with direct and intelligible roots in political philosophy. Liberation theology proposes a this-wordly salvation as the content of the original revelation, while retaining all of the original religious terminology. The final test of such a proposal lies in its purpose and effect. The avowed justification of liberation theology, that is, the alleviation of the poor, can be best achieved by other means and ideas more in conformity with the tenets and means of classical religion and philosophy, which themselves cannot be reduced to mere politics.