Socratic Proofs and Paraconsistency: A Case Study

This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φ_v. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.     

The Differential Contributions of Conceptual Representation Format and Language Structure to Levels of Semantic Abstraction Capacity

This paper reviews some controversies concerning the original and revised versions of the ‘hub-and-spoke’ model of conceptual representations and their implication for abstraction capacity levels. The ‘hub-and-spoke’ model, which is based on data gathered in patients with semantic dementia (SD), is the most authoritative model of conceptual knowledge. Patterson et al.’s (Nature Reviews Neuroscience, 8(12), 976-987, 2007) classical version of this model maintained that conceptual representations are stored in a unitary ‘amodal’ format in the right and left anterior temporal lobes (ATLs), because in SD the semantic disorder cuts across modalities and categories. Several authors questioned the unitary nature of these representations. They showed that the semantic impairment is ‘multi-modal’only in the advanced stages of SD, when atrophy affects the ATLs bilaterally, but that impariments can be modality-specific in lateralised (early) stages of the disease. In these cases, SD mainly affects lexical-semantic knowledge when atrophy predominates on the left side and pictorial representations when atrophy prevails on the right side. Some aspects of the model (i.e. the importance of spokes, the multimodal format of representations and the graded convergence of modalities within the ATLs), which had already been outlined by Rogers et al. (Psychological Review, 111(1), 205–235, 2004) in a computational model of SD, were strengthened by these results. The relevance of these theoretical problems and of empirical data concerning the neural substrate of concrete and abstract words is discussed critically. The conclusion of the review is that the highest levels of abstraction are due more to the structuring influence of language than to the format of representations.     

The costly burden of an inauthentic self: insecure self-esteem predisposes to emotional exhaustion by increasing reactivity to negative events

Background and objectives: A long research tradition has investigated the impact of stress on university students by assuming that individuals have a limited reservoir of resources, and that negative events and circumstances progressively drain resources thereby producing exhaustion. A recent research tradition, instead, has focused on the detrimental consequences of discrepant levels of implicit (ISE) and explicit (ESE) self-esteem on the development of stress-related symptoms. The present research attempted to merge the aforementioned approaches, with the aim of explaining significant predictors of stress.

Design: Within the framework of a Longitudinal Structural Equation Model, we followed a moderated-mediated approach.

Method: A sample of university students (N?=?209; 66% females) completed a questionnaire battery including measures of ISE, ESE, perceptions of negative events, and emotional exhaustion. Participants were assessed once a week for eight consecutive weeks.

Results: ISE significantly moderated the relationship between ESE and negative events; in turn, the latter significantly predicted emotional exhaustion. Monte Carlo method for assessing mediation showed that negative events significantly mediated the relationship between incongruent self-esteem and emotional exhaustion.

Conclusions: The detrimental role of incongruent self-esteem has been corroborated. Practical implications and suggestions for future research dealing with stress in a university setting were provided.     

Positivity: The Dispositional Basis of Happiness

The present study examined in a stringent developmental model whether positivity, conceptualized as a pervasive mode of appraising, viewing, and perceiving life from a positive stance, predicts chronic positive affectivity across time or vice versa. Participants [263 participants (47 % males)], aged 15.5 at the beginning of the study and 23.5 at the end, reported on measures of positivity and dispositional positive affect four times. Longitudinal findings corroborated the posited paths of relations, with positivity significantly predicting positive affectivity across time rather than vice versa.     

A Meta-model of Access Control in a Fibred Security Language

The issue of representing access control requirements continues to demand significant attention. The focus of researchers has traditionally been on developing particular access control models and policy specification languages for particular applications. However, this approach has resulted in an unnecessary surfeit of models and languages. In contrast, we describe a general access control model and a logic-based specification language from which both existing and novel access control models may be derived as particular cases and from which several approaches can be developed for domain-specific applications. We will argue that our general framework has a number of specific attractions and an implication of our work is to encourage a methodological shift from a study of the particulars of access control to its generalities.     

Fibred Security Language

We study access control policies based on the says operator by introducing a logical framework called Fibred Security Language (FSL) which is able to deal with features like joint responsibility between sets of principals and to identify them by means of first-order formulas. FSL is based on a multimodal logic methodology. We first discuss the main contributions from the expressiveness point of view, we give semantics for the language both for classical and intuitionistic fragment), we then prove that in order to express well-known properties like ‘speaks-for’ or ‘hand-off’, defined in terms of says, we do not need second-order logic (unlike previous approaches) but a decidable fragment of first-order logic suffices. We propose a model-driven study of the says axiomatization by constraining the Kripke models in order to respect desirable security properties, we study how existing access control logics can be translated into FSL and we give completeness for the logic.     

Dynamische Komplexität in der Therapeut-Klient-Interaktion

The importance of client-therapist-relationship in psychotherapy has often been stressed. On the one hand, the quality of this relationship has proved to be an important predictor of therapy outcome, on the other hand the relationship itself is realized as a complex dynamic pattern of interpersonal interaction. It seems appropriate to investigate this dynamics by a microprocess analysis with high resolution. Interactive plans (idiographic self-presentation unities) of client and therapist were coded by a sampling frequency of 10 seconds. The coding system of plan activation follows the idea of synchronous musical score notation of different orchestra instruments. It allows for the representation of contextualized interactive behaviors. The context is introduced by the consideration of synchronous and diachronous plan-activation patterns of the interaction partners. The observed dynamic patterns are fulfilling the prerequisites of usual definitions of “chaos”: irregularity of the process, restricted prediction horizon, and still some global order of the dynamic process. Based on nominal data (on-off-patterns), a method for the identification of order within irregular patterns of plan activations is presented. The frequency distributions of plans realize the shape of 1/f^α-noise, indicating features of self-organized criticality within the dynamic system of client-therapist-interaction.     

Personal values and political activism: A cross‐national study

Using data from 28 countries in four continents, the present research addresses the question of how basic values may account for political activism. Study (N = 35,116) analyses data from representative samples in 20 countries that responded to the 21‐item version of the Portrait Values Questionnaire (PVQ‐21) in the European Social Survey. Study (N = 7,773) analyses data from adult samples in six of the same countries (Finland, Germany, Greece, Israel, Poland, and United Kingdom) and eight other countries (Australia, Brazil, Chile, Italy, Slovakia, Turkey, Ukraine, and United States) that completed the full 40‐item PVQ. Across both studies, political activism relates positively to self‐transcendence and openness to change values, especially to universalism and autonomy of thought, a subtype of self‐direction. Political activism relates negatively to conservation values, especially to conformity and personal security. National differences in the strength of the associations between individual values and political activism are linked to level of democratization.     

The contribution of agreeableness and self‐efficacy beliefs to prosociality

The present study examined how agreeableness and self‐efficacy beliefs about responding empathically to others' needs predict individuals' prosociality across time. Participants were 377 adolescents (66% males) aged 16 at Time 1 and 18 at Time 2 who took part at this study. Measures of agreeableness, empathic self‐efficacy and prosociality were collected at two time points. The findings corroborated the posited paths of relations to assigning agreeableness a major role in predicting the level of individuals' prosociality. Empathic self‐efficacy beliefs partially mediated the relation of agreeableness to prosociality. The posited conceptual model accounted for a significant portion of variance in prosociality and provides guidance with respect to interventions aimed at promoting prosociality. Copyright © 2009 John Wiley & Sons, Ltd.