Free Logics are Cut-Free

Studia Logica - The paper presents a uniform proof-theoretic treatment of several kinds of free logic, including the logics of existence and definedness applied in constructive mathematics and...     

Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking

We investigate a SAT-based bounded model checking (BMC) method for EMTLK (the existential fragment of the metric temporal logic with knowledge) that is interpreted over timed models generated by timed interpreted systems. In particular, we translate the existential model checking problem for EMTLK to the existential model checking problem for a variant of linear temporal logic (called HLTLK), and we provide a SAT-based BMC technique for HLTLK. We evaluated the performance of our BMC by means of a variant of a timed generic pipeline paradigm scenario and a timed train controller system.     

Utopic ideas of cure and joint exploration in psychoanalytic supervision

The idea of the decisive and complete cure is deeply rooted in our unconscious and in the sacral roots of symbolic healing. Double sets of private theories of cure can frequently be found among patients in psychoanalysis and their analysts. The utopian cure involves a profound transformation of the personality by way of deep regression. The idea of an attainable and more limited cure includes new ways of managing old problems. The actual ongoing treatment is then seen as the 'next-best solution'. The utopian fantasy of creating 'the new person' by means of 'proper' psychoanalysis or analytic training has far-reaching consequences for psychoanalytic education and supervision. Our awareness of the inevitable temptation in the 'utopian state of mind' can help us to trace and focus on utopic elements in the supervisory process. Exploration of utopic ideas of all the three parties involved can itself be a fruitful and stimulating way of working in supervision. An important aim of psychoanalytic supervision is to promote a distinct state of mind that can counterbalance utopic ideas and counteract the phenomenon of a 'false analytic self'.     

A Longitudinal Perspective on Differentiation of Self,Interpersonal and Psychological Well-Being in Young Adulthood

The over-time relationship between differentiation of self and interpersonal and psychological well-being was examined in a sample of young adults in order to test the hypothesis that greater differentiation of self—that is, lower emotional reactivity, better capacity to take an “I” position in relationships, less emotional cutoff, and lower fusion with others—predicted greater interpersonal and psychological health. Results of hierarchical regression analyses confirmed that greater Time 1 differentiation of self predicted lower Time 2 psychological and interpersonal distress after controlling for Time 1 distress levels. Further, canonical correlation analyses revealed several significant patterned associations between aspects of differentiation of self and specific interpersonal problems. Implications for family interventions are discussed.     

Selective stereotype activation: The joint impact of interpersonal goals and task context

In complex social interactions, such as co‐operation or competition with another person on an ability test, people tend to activate stereotypes strategically in order to achieve their self‐enhancement goals. If multiple ways of categorizing the target person are available, the selected stereotypical traits that serve their motives might also depend on the specific task context in which the interaction is situated. We assumed that people selectively process trait information in order to increase their perceived chances to win in a currently performed task. We tested this hypothesis in a study in which participants were told to perform an analytical or emotional skills task having as a co‐operator or rival, a multiple categorizable target person (female computer science student). In the analytical task context, we found stronger inhibition of stereotypically female traits in the co‐operation than in the competition condition. In the emotional skills task context, we found stronger inhibition of computer scientist traits in the co‐operation than competition condition. The interactive nature of goals and context influences on stereotype activation is discussed and some theoretical implications about the dynamics of stereotype activation processes are drawn. Copyright © 2008 John Wiley & Sons, Ltd.     

作为一种新人文主义的后现代自由主义

在欧洲,理性信念曾经走过一段辉煌的历程。最重要的因素存在于开端,存在于伟大的希腊哲学家们对所有各种无法控制的东西,以及对所有各种威胁人、使人堕落到内心的混沌或者外在的混沌之中去的东西所具有的憎恶之中。这种东西既可能是肉体方面的各种感情,也可能是对群氓的非理性意志的服从。必须用某种由于始终保持不变、因而能够抵制永远变化的逻辑的东西,来祛除这个世界所具有的不稳定性和脆弱性。这种作为古代哲学的典型特征而存在的态度,导致了对理性和真理的热爱,也导致了对绝对确定性的希冀、导致了有关发现存在于所有各种事物背后的原…     

Differentiation of Self,Personal Adjustment,Problem Solving,and Ethnic Group Belonging Among Persons of Color

This study focused on examining the cross‐cultural validity of Bowen family systems theory (M. Bowen, 1978), namely differentiation of self for individuals of color. Ethnic minority men and women completed measures of differentiation of self, ethnic group belonging, and 3 indices of personal adjustment. Initial support for the cross‐cultural utility of Bowen family systems theory was observed. Higher levels of differentiation of self predicted better psychological adjustment, social problem‐solving skills, and greater ethnic group belonging among persons of color. Limitations regarding the cross‐cultural utility of differentiation of self, directions for further research, and implications for counseling are discussed.     

The Role of Differentiation of Self and Dyadic Adjustment in Predicting Codependency

Working within the framework of the Bowen’s Family Systems Theory and using data from 318 non-clinical participants, the present study assessed a model in which codependent behaviors were predicted by dyadic adjustment in couple relationships and differentiation of self. Results indicated that the dimensions of differentiation of self (I-position, emotional reactivity, emotional cutoff, fusion with others) were more important in explaining the codependent behavior compared to the dimensions of dyadic adjustment (dyadic satisfaction, cohesion, consensus, affective expression). These results suggest the importance of considering the dynamics and outcomes of the process of differentiation of self both in research and in counselling and clinical practice with individuals, couples, and families.     

Klasyczne,relatywistyczne i konstruktywistyczne sposoby uznawania twierdzeń

Allatum est die 5 Novembris 1969