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).     

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.     

Hostile aggression and type A behavior

Type A and Type B male college students were given the opportunity to display hostile aggression against an insulting confederate on a bogus ESP task, using either aversive noise or a monetary penalty. Preliminary correlational analyses confirmed that Ss' aggressive responding covaried directly with their reported desire to hurt the confederate but was, in contrast, unrelated to their reported desire to help the confederate. Thus, Ss' aggressive behavior was motivated by hostile intentions. Subsequent analyses revealed that Type As were more aggressive and reported a greater desire to hurt the confederate than Type Bs, regardless of the mode of aggression. These data support the results of a recent study which questioned the intuitively appealing assumption that Type As should only display aggressive behavior when motivated by some external achievement goal.     

Social and solipsistic observer training: Effects on agreement with a criterion

The need to train accurate, not necessarily agreeing, observers is discussed. Intraobserver consistency as an intermediate criterion in such training is proposed and contrasted with the more familiar criterion of interobserver agreement. Videotaped observations of social interactions between handicapped and nonhandicapped preschoolers provided the medium for examining the criterion agreement of four observers trained against each type of standard. Observers generally failed to show high levels of criterion agreement whether trained to a within- or to a between-observer agreement standard. The results varied somewhat with the frequency of behaviors, however. Correlations between interobserver agreement and intraobserver consistency were variable but somewhat higher when interobserver agreement was the training criterion than when intraobserver consistency was the criterion. Correlations between interobserver agreement and criterion agreement ranged from — .16 to .89 during interobserver agreement training. Correlations between intraobserver consistency and criterion agreement ranged from — .23 to .99 during intraobserver consistency training.     

Factors Perceived as Helpful by the Members of Self-Help Groups: An Exploratory Study

The factors perceived as helpful by members of three different types of self-help groups are examined, using the 12 factors identified by Yalom as operative in group psychotherapy. Questionnaires were given to 45 members of self-help groups, asking for their views of the most and least helpful aspects of their experiences of their group, and for their judgement of its effectiveness. Results indicated that members of a group concerned with social and personal support in the face of a socially problematic situation (widowhood) found the experience of Universality to be the most helpful factor, while Self-Disclosure was least helpful. Members from a group for the physically sick (asthma sufferers) also reported the least helpful factor to be Self-Disclosure, but said that the most helpful factor was Guidance. By contrast, the group concerned with providing 'therapy' for depressives reported Cohesiveness to be most helpful, and Guidance to be least helpful. Comparison with other studies using similar methodologies with different group populations suggests that the factors likely to be effective in self-help groups for the socially unsupported and physically sick on the one hand, and for the psychologically disturbed on the other, may differ.     

Observer bias in scoring boys' and girls' aggression

In order to examine the possibility that the attribution of more aggression to boys may be in part a function of observer bias, 40 adults were asked in Study 1 to record the degree of aggression in a series of line drawings that showed children interacting. It was found that a significant subset of both males and females recorded more aggression for boys than for girls when they scanned scenes that showed numerous children interacting. When they rated a series of drawings of two children interacting, males rated boys as significantly more aggressive than girls. Study 2 examined 48 adults' responses under one of three instruction conditions. The findings of Study 1 were replicated. Additionally, it was found that some forms of instruction eliminate sex-typed biases while others yield significant biases among both male and female untrained observers. These results are interpreted in light of the literature on schematic processing. Implications pertaining to the socialization of aggression and to research on sex differences in aggression are discussed.     

Safety locus of control as a predictor of industrial accidents and injuries

This article describes the underlying theory, development, and initial validation of the Safety Locus of Control Scale. This paper-and-pencil inventory assesses levels of safety consciousness among employees. Initial research suggests that the inventory is a reliable predictor of employees' accidents, injuries, and driving safety. Potential uses for the inventory are discussed, and future research is suggested.This article is from a paper presented at the Annual Conference of Human Resource Management and Organizational Behavior, Boston, Massachusetts, November 18–20, 1985.     

Infants’ identification of three-dimensional form from transformations of linear perspective

The ability of infants to perceive three-dimensional structure from transformations of linear perspective was investigated in two studies. Infants were habituated to the pattern of linear perspective transformations corresponding to a particular three-dimensional object, and their relative preference for that object as compared with a different three-dimensional object was assessed both before and after habituation. The habituation displays showed the distorting shadow cast by a rotating object and therefore provided only transformations of linear perspective as information specifying three-dimensional form. The pre- and posttest displays involved the actual three-dimensional objects and provided binocular, shading, and texture information specifying three-dimensional form, but did not provide informative transformations of linear perspective. In Study 1, 6-month-olds showed changes in preference from pre- to posttest that were related to the identity of the object whose shadow they had seen during habituation; 4-month-olds, however, did not show preference changes related to the habituation object. In Study 2, rhythm information that may have served as a basis for responding in Study 1 was eliminated from the test displays. Six-month-olds again showed changes in preference that were dependent on their habituation experience. It is concluded that, by 6 months of age, infants are able to perceive object structure from the isolated cue of transformations of linear perspective. The findings are discussed with reference to infants’ three-dimensional form perception based on other cues and also with reference to the emergence of certain spatially related moter activities.     

On the relationship between stimulus intensity and duration of visible persistence

Stimulus intensity and duration of visible persistence have been found to vary directly in some studies but inversely in others. Hawkins and Shulman (1979) have proposed that this inconsistency can be resolved by separating the studies that employed a decrement-threshold measure of persistence (Type I measure) from those that measured the total duration of persistence (Type II measure). They suggested that Type I measures yield an inverse relationship, whereas Type II measures yield a direct relationship between intensity and persistence. Hawkins and Shulman's model is incomplete in ways that are easily remedied. However, the model is totally contradicted by the experimental evidence. A new resolution of the inconsistent results is proposed in terms of retinal afterimages.