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.     

2. GKV-Neuordnungsgesetz und EBM-Reform

Ohne Zusammenfassung     

Understanding Attributions of Blame in Stranger Rape and Date Rape Situations: An Examination of Gender,Race, Identification,and Students' Social Perceptions of Rape Victims1

This study examined factors that may influence attributions of rape victims. Three hundred and three university students completed a questionnaire, which included a measure of dispositional empathy and a vignette depicted either a date rape or a stranger rape situation. Subjects rated the extent that they blamed the rape victim as well as the degree to which they identified with the victim and perpetrator. Results indicated that male students blamed the victim to a greater extent than did female students; students consistently attributed more blame to the victim in date rape situations than they did in stranger rape situations; and, while empathy was not associated with students' attributions, perceptions of similarity to the rape victim and perpetrator were both related to attributions of blame. These findings are consistent with the notion of “judgmental leniency” presented in Shaver's defensive attribution theory (1970). Implications for rape prevention efforts and future research are also discussed.     

Evaluation of two test-anxiety reduction treatments in a secondary prevention program

The study evaluated the effectiveness of both a new anxiety management training program and a cognitive modification procedure as part of a secondary prevention effort to identify and treat test anxiety early in the academic career of college students. Subjects were 40 college freshmen who had been identified as high test-anxious in an initial mail-out survey of the Test Anxiety scale. Subjects were randomly assigned to three experimental conditions: anxiety management training, a cognitive modification procedure, and a no-treatment control group. Results indicated that both the cognitive modification and anxiety management training treatments were effective in reducing test anxiety on a posttreatment administration of the Test Anxiety scale. Especially interesting, a significant difference in academic performance emerged between treatment and control groups three semesters after treatment, underscoring the preventive value of the program.     

A jackknife test of homogeneity of variance with paired replicates data

A nonparametric test of dispersion with paired replicates data is described which involves jackknifing logarithmic transformations of the ratio of variance estimates for the pre- and post-treatment populations. Results from a Monte Carlo simulation show that the test performs well underH _o and has good power properties. Examples are given of applying the procedure on psychiatric data.A referee called our attention to valuable references which related to our work, and he suggested the inclusion of competing jackknife procedures into our studies.     

Sartre, dialectic, and the problem of overcoming bad faith

InBeing and Nothingness, Jean-Paul Sartre affirms a circle of relations between oneself and another. This circle moves between the relations of love and desire and results from the fact that both love and desire are attempts to capture the other who always remains out of reach. Sartre denies that there can be a dialectic of such relations with others: never can there be a motivated movement beyond the frustrations and failures of each of these attempts to relate to the other. The only way out of this circle is, therefore, according to Sartre, a radical conversion.Like the master in Hegel'sPhenomenology of Mind, each individual caught in this circle wants what cannot be attained: the assimilation or the negation of the freedom of the other. He is thus, like Hegel's master, impervious to any reasons that could count against what he is seeking; his failures cannot in any way motivate him to want what can be. From the point of view of such desires, any negative evaluation of these desires must seem arbitrary. Therefore, to the extent that Sartre's earlier writings indicate no other possibilities of human existence except those premised on such impossible demands, Sartre's negative evaluations concerning the bad faith of these individuals must seem arbitrary.My conclusion is not, however, simply negative since I argue that inSaint Genet Sartre presents Genet's life as a dialectical movement beyond failure to triumph. This is not a dialectic of bad faith. Rather it is a dialectic based on a very different desire from the desire for what cannot be. If Sartre thus develops another level, another fundamental desire, from which the level of bad faith can be judged to be wrong, then at least from this level the judgment is not a merely arbitrary one.For their many perceptive and helpful comments and suggestions, I am especially indebted and grateful to Dieter Turck and John Beverslius. A version of this paper is scheduled to be read at a workshop on Sartre during the 1975 meeting of the Society for Phenomenology and Existential Philosophy.     

Developmental theories of parental contributors to antisocial behavior

In view of the increased interest in a developmental approach to psychopathology, and mounting evidence of the importance of parent-child interactions in the etiology of early antisocial behavior, the following questions were posed for this review. What theories of parent-child relationships and family management techniques are available? How developmental are they, how specific and transactional are they relative to parent and child behaviors involved? And how well do they cover the period in which antisocial behavior develops? Six theories have some developmental features but the attachment theories (by L. A. Sroufe, B. Egeland, and M. T. Greenberg) and two social learning theories (by G. R. Patterson and J. Martin) are most clearly developmental. They postulate reciprocal interactions of parent and child, and transformations in the form of normative changes in the child or changes in family processes. The social learning theories of Patterson and Martin are most specific, microanalytic in fact, as to the interaction processes involved, and the attachment theories at least specify kinds of behavior involved and also do not rely on traits or types of influence as their units of analysis. Conceptualization is most weak and overly general between late infancy and the preschool years. This gap makes it difficult to link attachment and social learning theories, both of which have driven a large number of studies. A bridging theory is offered to link the two sets of theories in the critical period involved.     

The computerized Tower of Hanoi: a new form of administration and suggestions for interpretation

A computerized version of the Tower of Hanoi with a new form of administration was administered to two different groups, 15 men and 22 women, who were university students reporting normal psychological histories, and 24 traumatically brain-injured patients (20 men and 4 women). Scores on this test for both groups can be interpreted as an index of ability to solve problems and of learning strategies. Men and women scored differently on the task, i.e., women used different strategies than men to solve problems.     

Experienced closeness and distance among family members

This study looks at experienced emotional closeness among family members using a projective measure, the Family Paper Sculpture. Results support the hypothesis that, in a non-clinical population, experiences of extreme closeness and extreme distance may be different manifestations of the same underlying process. Some support is found for the hypothesis that families in which relationships are experienced as very close or very distant at one point in time may experience those same relationships as extreme in the opposite direction at another point in time. Global coding of taped family interactions supports the hypothesis that extremes of experienced closeness are associated with more conflict, less ability to resolve differences, and less warmth and support among family members. It is suggested that the experience of being very close, varying through time with the experience of being very distant, may be associated with disappointed attempts to achieve closeness with autonomy.worked on this research while a graduate student in psychology at the University of Houston-Clear Lake.David C. Bell, PhD, completed work on this report while at Texas A & M University. He is presently working on a book about connection and dependency.The studies reported here were supported by grants from the National Institute for Mental Health and the Hogg Foundation for Mental Health. The authors would like to thank David Gutterman, Sheila Jones, Judy Nunn, and Theresa Rourke for coding the global scales.