The Epsilon Calculus and Herbrand Complexity

Hilbert's ε-calculus is based on an extension of the language of predicate logic by a term-forming operator e _x . Two fundamental results about the ε-calculus, the first and second epsilon theorem, play a rôle similar to that which the cut-elimination theorem plays in sequent calculus. In particular, Herbrand's Theorem is a consequence of the epsilon theorems. The paper investigates the epsilon theorems and the complexity of the elimination procedure underlying their proof, as well as the length of Herbrand disjunctions of existential theorems obtained by this elimination procedure.     

A typology of religious attitudes among young people in Germany

Issues like faith and Church, religion and religiousness are not valued particularly highly among the young. At the same time a search for the meaning of life and an orientation in one’s own behaviour still seem to be significant and transcendent focal points are being sought to deal with these issues. This article questions the value that religion, faith and the Church have for young people on the basis of empirical data. Five types of religious orientation of young people are identified: a churchly Christian type, an autonomously Christian type, a conventionally religious type, an autonomously religious type and, finally, a non‐religious type. The empirical data are taken from a study of about 800 pupils in the Grade 11 (age 16–17 years) from grammar schools (Gymnasien) in Germany.     

Conflict Buffers and Marital Satisfaction: On the Effects of Different Forms of Social Support

This paper deals with the deterioration in the subjective quality of life of women as a result of marital conflict. Whereas primary and secondary prevention are generally targeted at maintaining or increasing the current level of marital happiness this paper focuses on the possibilities for buffering the negative impact of conflict on women’s quality of life. In particular, this paper is interested in the conflict buffering effects of various forms of social support such as home visiting by professional social workers or informal contacts with peers. In order to assess and compare the effectiveness of these forms of tertiary prevention, data from interviews with young mothers in the city of Zurich (Switzerland) will be reanalyzed. The data confirm the phenomenon of stress buffering from social support and reveal variation with regard to the effectiveness of different stress buffers. Female peer support e.g. seems to be at least as successful as home visiting by professional nurses and social workers.     

Acceptance and Commitment Therapy for Anxiety Disorders: Three Case Studies Exemplifying a Unified Treatment Protocol

Acceptance and Commitment Therapy (ACT) is an innovative acceptance-based behavior therapy that has been applied broadly and successfully to treat a variety of clinical problems, including the anxiety disorders. Throughout treatment ACT balances acceptance and mindfulness processes with commitment and behavior change processes. As applied to anxiety disorders, ACT seeks to undermine excessive struggle with anxiety and experiential avoidance––attempts to down-regulate and control unwanted private events (thoughts, images, bodily sensations). The goal is to foster more flexible and mindful ways of relating to anxiety so individuals can pursue life goals important to them. This article describes in some detail a unified ACT protocol that can be adapted for use with persons presenting with any of the major anxiety disorders. To exemplify this approach, we present pre- and posttreatment data from three individuals with different anxiety disorders who underwent treatment over a 12-week period. The results showed positive pre- to posttreatment changes in ACT-relevant process measures (e.g., reductions in experiential avoidance, increases in acceptance and mindfulness skills), increases in quality of life, as well as significant reductions in traditional anxiety and distress measures. All three clients reported maintaining or improving on their posttreatment level of functioning.     

Differentiation of existential guilt and compassion in relation to responsibility induction: a film experiment

Feelings of existential guilt are assumed to depend on the perception of a causal relationship between one's own behavior or (privileged) situation and the disadvantages of others. By contrast, pity should not depend on such perceptions. This hypothesis, which has been supported so far only by correlational studies, was tested experimentally. Eighty students were shown a film about a developing country. The film was provided with four different comments, each representing one experimental condition (between-subjects design). Experimental factors were "amount of misery of the people shown" and "subject's responsibility for these peoples' conditions of life". As expected, subjects in the condition "misery and responsibility" reported higher feelings of guilt, though no more pity than subjects in the remaining three treatment conditions (experiment 1, n = 40). This mean difference, however, was statistically significant for men only. Contrary to our theoretical expectations--and to finding from other experiments on vicarious reparation--the induction of guilt had no effect on willingness to help a third party (experiment 2, n = 40). Possible reasons for this unexpected finding are suggested.     

Therapeutic processes in group therapy: Intersections between general change mechanisms and motivational stages of change from patient perspective

Intersections between Grawe’s General Psychotherapy and Prochaska’s Transtheoretical Model were investigated in group therapy in a longitudinal design. It was assumed that general change mechanisms have an impact on patients’ stages of change. Specifically, the main hypotheses were that experiential change mechanisms (ECM; clarification of meaning, problem actuation, emotional bond and group cohesion) should be especially relevant for early stages of change (precontemplation and contemplation), whereas behavioral change mechanisms (BCM; resource activation, mastery/coping and task and goals) should be especially relevant for late stages of change (action and maintenance). Therefore, 140 outpatients attending different types of group therapy, with a typical duration of 8 sessions, were investigated. Patients completed the Form for the Evaluation of Therapeutic Processes in Group Therapy (FEPiG), the University of Rhode Island Change Assessment, short version (URICA-S) and several symptomatology measures (BDI-II, BSCL and IIP-32) at two measuring times. Intersections were analysed through correlational analyses, cross-lagged panels and a path-analytic model, supporting the hypotheses. Specifically, results suggested that experiencing ECM at t1 predicted higher levels of reported contemplation at t2. Patients experiencing higher levels of BCM at t1 reported higher levels of action at t2. Clinical implications of the results are discussed.     

The role of sparsely distributed representations in familiarity recognition of verbal and olfactory materials

We present the generalized signal detection theory (GSDT), where familiarity is described by a sparse binomial distribution of binary node activity rather than by normal distribution of familiarity. Items are presented in a distributed representation, where each node receives either noise only, or signal and noise. An old response (i.e., a “yes” response) is made if at least one node receives signal plus noise that is larger than the activation threshold, and item variability is determined by the distribution of activated nodes as the threshold is varied. A distinct representation leads to better performance and a lower ratio of new to old item variability, than a more distributed and less distinct representations. Here we apply the GSDT to empirical data on verbal and olfactory memory and suggest that verbal memory relies on a distinct neural item representation, whereas olfactory memory has a fuzzy neural representation leading to poorer memory and inducing a larger ratio of new to old item variability.     

A cross‐cultural analysis of German,Chinese and Indian consumers' perception of web site adaptation

• The aim of this study is to provide empirical evidence, using the theory of planned behavior, as to whether local consumers prefer culturally adapted web sites or standardized web sites The study contributes to the existing literature by showing that consumers from Germany, China, and India prefer web sites adapted to their local culture, and that culture influences consumer beliefs, attitudes, and purchase intention on the web.

Copyright © 2006 John Wiley & Sons, Ltd.