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.     

Self-Serving Evaluations of Conflict Behavior and Escalation of the Dispute1

There is good evidence that people generally tend to evaluate behaviors, contributions, and outcomes in terms favorable to the self. The present series of studies expands this finding by showing that professional negotiators (Study 1), governmental decision makers (Study 2), and organizational consultants (Study 3) make self-serving evaluations of conflict behavior: They view their own conflict behaviors as more constructive and as less destructive than those of their opponents. In addition, results revealed that self-serving evaluation of conflict behavior is associated with increased frustration, with reduced problem solving, and with enhanced likelihood of future conflict. It is argued that these findings expand the conflict literature in that they provide better insight into the motivational-cognitive antecedents and consequences of conflict escalation.     

Correspondence analysis and association models constrained by a conditional independence graph

The manner in which the conditional independence graph of a multiway contingency table effects the fitting and interpretation of the Goodman association model (RC) and of correspondence analysis (CA) is considered.Estimation of the row and column scores is presented in this context by developing a unified framework that includes both models. Incorporation of the conditional independence constraints inherent in the graph may lead to equal or additive scores for the corresponding marginal tables, depending on the topology of the graph. An example of doubly additive scores in the analysis of a Burt subtable is given.Thanks are due to anonymous referees who substantially improved the original draft of this paper.     

Gender differences in awareness of courtship initiation tactics

In this study, two phases of the initiation of courtship behavior are distinguished, namely the first move of making the contact, and the self-presentation after the contact has been established. Gender differences with respect to cognitions and expectations of courtship behavior were analyzed through self-report in a Dutch Caucasian student population. Our goal was to assess male and female roles in these two phases, and to relate the findings to hypothesized gender role changes. It appeared that both men and women were apparently unaware of which gender usually initiates courtship. Furthermore, both genders reported eye contact as the most frequently used initiation tactic. However, the genders differed in other tactics, women reporting the use of indirect nonverbal tactics more often than men, and men reporting their engagement in direct verbal ones more often than women. In presenting themselves, men stressed personal characteristics that are traditionally interpreted as female-valued (such as tenderness) more than women did, whereas women stressed characteristics that are traditionally interpreted as male-valued (such as being prestigiously occupied) more than men did. This apparent change in gender role pattern is discussed against the background of the assumed function of courtship behavior and societal developments.     

Some Thoughts on Language Use in Therapy

Drawing on the work of Ludwig Wittgenstein and his own experience as a therapist and educator/trainer, the author describes some of the issues involved in helping therapists to find their way out of various muddles and mazes that are deeply embedded in language.     

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.     

Determinants of Response Recovery in Extinction Following Response Elimination

Elimination of autoshaped responding by random or negatively-contingent response-reductive procedures may leave a previously acquired association intact; however, two previous studies suggest that response elimination by backward conditioning may have more permanent effects. In Experiments 1 and 3, the autoshaped responding of pigeons was eliminated by a backward or negative contingency. Although speed of recovery during a subsequent extinction phase was greater following the backward contingency in Experiment 3, level of recovery did not differ as a function of response elimination procedure in either experiment. A possible basis for the discrepancy between the present and previous findings is the contingency arranged between the conditioned and unconditioned stimuli (CS and US, respectively) during forward conditioning. In Experiments 1 and 2, probability of US presentation following the CS (p(US|CS) = 0.4 or 1.0) was varied within (Experiment 1) or between (Experiment 2) groups of birds. In both cases, level of recovery was higher following training under (p(US|CS) = 0.4). The results are consistent with a memory retrieval theory in which unreinforced trials function as a retrieval cue for not responding.     

A follow-up study on short-term treatment of agoraphobia.

The differential effectiveness of three treatment packages for agoraphobia was tested. Patients received one of three short-term treatments: Breathing Retraining and Cognitive Restructuring, graded Self-Exposure in vivo, or a combination of both. No differential effects were found between the treatment conditions at posttest and at an 18 months follow-up. Improvement at follow-up assessment was associated with whether patients had further treatment during the follow-up period. No relationship was found between further improvement and demographic variables, pre- and posttest scores on psychological questionnaires or the use of medication at follow-up. Implications of these findings are examined.     

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.