Reasoning about update logic

Logical frameworks for analysing the dynamics of information processing abound [4, 5, 8, 10, 12, 14, 20, 22]. Some of these frameworks focus on the dynamics of the interpretation process, some on the dynamics of the process of drawing inferences, and some do both of these. Formalisms galore, so it is felt that some conceptual streamlining would pay off.This paper is part of a larger scale enterprise to pursue the obvious parallel between information processing and imperative programming. We demonstrate that logical tools from theoretical computer science are relevant for the logic of information flow. More specifically, we show that the perspective of Hoare logic [13, 18] can fruitfully be applied to the conceptual simplification of information flow logics.     

Characteristics of male partners of adult female incest survivors

The interpersonal style of male partners of adult female incest survivors was investigated. Two groups of men (partners of incest survivors, n=30; and a control group, n=30) completed the Narcissistic Personality Inventory and the Depressive Experiences Questionnaire. A multivariate analysis of variance failed to support clinically-based hypotheses (a) that partners of incest survivors would exhibit a greater sense of entitlement in interpersonal relationships and (b) that a larger number of men abused in childhood would be in relationship with incest survivors than those not abused. Results point to a need for further controlled quantitative studies of the characteristics of male partners of female incest survivors. This article is based on the Master's Thesis of the first author submitted to the Graduate School of Texas Woman's University.     

A follow-up study of cognitive bias in generalized anxiety disorder

Patients with generalized anxiety disorder (GAD) without concurrent depression (n = 11) and normal controls (n = 17) were tested twice, about 2 months apart, on a modified Stroop colour-naming task, which presented anxiety-related, depression-related and neutral words in masked and unmasked exposure conditions. GAD patients received cognitive behaviour therapy in the test-retest interval, and were also retested at follow-up, about 20 months after initial testing. GAD patients showed interference in colour-naming negative words across both masked and unmasked conditions before treatment, but not post-treatment, compared with controls. Reduced interference effects of masked threat words over time correlated with reduced ratings of anxious thoughts at post-treatment, and at follow-up, in GAD patients. Thus, the preconscious bias for threat information in GAD appears to vary over time in association with changes in anxious thoughts and worries.     

Social categorization as a function of priming

The present study investigates the effect of priming on the use of social categorizations. Using sex and race as stimulus categorizations, previous studies failed to confirm the hypothesis that priming one of the two available categorizations would enhance the use of the primed categorization relation to the not-primed categorization. As suggested by Stangor, Lynch, Duan and Glass (1992). a momentary increase in accessibility may be insufficient to further enhance the use of highly accessible categorizations like race and sex, but it may be expected that priming will increase the use of categorizations which are less habitually used in daily life. The results of the present experiment support the hypothesis that, when the stimulus categorizations are weakly accessible (university major, university town), the relative use of the previously primed categorizations does indeed increase, compared to the alternative, not-primed, categorization.     

Irrational Beliefs, Interpersonal Perception and Marital Adjustment

To test the hypothesis that the major evaluative beliefs postulated by Rational-Emotive Behaviour Therapy are related to marital adjustment, 50 married couples completed the Dyadic Adjustment Scale (DAS) and the Survey of Personal Beliefs (SPB). Significant correlations were found between DAS scores and three subscales (Other directed shoulds, Low frustration tolerance and Self worth) of the SPB. On the interpersonal dimension of assumed similarity, females in the high dyadic adjustment group were better able to predict their spouses' awfulizing, low frustration tolerance and self-worth beliefs than were females in the low adjustment group. However, the present study offers only limited support for the hypothesis that interpersonal perception of irrational evaluative beliefs is related to marital adjustment.     

Poetry in Existential Psychotherapy with Couples and Families

The use of poetry during the process of existential psychotherapy with couples and families is described and illustrated. In this approach, poems can be utilized to help the couple and/or family notice meaning potentials in the future, actualize and make use of such meaning potentials in the here and now, and re-collect and honor meanings previously actualized and deposited in the past.     

Suppression of emotional and neutral material

Previous studies have indicated that suppression of a thought results in an immediate increase of the frequency of this thought and/or in a rebound effect, i.e. in a heightened frequency of this thought later on. The present study (n = 53) examined the relationship between suppression and emotionality of the to-be-suppressed material. More specifically, it was investigated whether suppression of an emotional story results in stronger immediate enhancement or thought rebounds than suppression of a neutral story. There was a clear initial enhancement effect in the group suppressing a neutral story: subjects who tried to suppress experienced more target thoughts than subjects who did not try to suppress. In the neutral-story conditions, no rebound effect occurred. In the groups exposed to an emotional story, there was neither evidence of initial enhancement nor of a rebound. As most obsessions are related to emotional themes, the present findings cast doubt on the claim that the rebound phenomenon represents a valid laboratory model for clinical obsessions.