Temporal and atemporal truth in intuitionistic mathematics

In section 1 we argue that the adoption of a tenseless notion of truth entails a realistic view of propositions and provability. This view, in turn, opens the way to the intelligibility of theclassical meaning of the logical constants, and consequently is incompatible with the antirealism of orthodox intuitionism. In section 2 we show how what we call the potential intuitionistic meaning of the logical constants can be defined, on the one hand, by means of the notion of atemporal provability and, on the other, by means of the operator K of epistemic logic. Intuitionistic logic, as reconstructed within this perspective, turns out to be a part of epistemic logic, so that it loses its traditional foundational role, antithetic to that of classical logic. In section 3 we uphold the view that certain consequences of the adoption of atemporal notion of truth, despite their apparent oddity, are quite acceptable from an antirealist point of view.     

Sex differences in verbal fluency: a short note

Adult male and female subjects performed two fluency tasks from the ‘Kit of Reference Tests for Cognitive Factors’. Although both word fluency and ideational fluency are said to show female superiority, a significant difference in favour of females could be found only in the task which primarily requires lexical access and not in the task requiring mental access to colour and form of objects.     

The Contribution of Metacognitions and Attentional Control to Decisional Procrastination

Earlier research has implicated metacognitions and attentional control in procrastination and self-regulatory failure. This study tested several hypotheses: (1) that metacognitions would be positively correlated with decisional procrastination; (2) that attentional control would be negatively correlated with decisional procrastination; (3) that metacognitions would be negatively correlated with attentional control; and (4) that metacognitions and attentional control would predict decisional procrastination when controlling for negative affect. One hundred and twenty-nine participants completed the Depression Anxiety Stress Scale 21, the Meta-Cognitions Questionnaire 30, the Attentional Control Scale, and the Decisional Procrastination Scale. Significant relationships were found between all three attentional control factors (focusing, shifting, and flexible control of thought) and two metacognitions factors (negative beliefs concerning thoughts about uncontrollability and danger, and cognitive confidence). Results also revealed that decisional procrastination was significantly associated with negative affect, all measured metacognitions factors, and all attentional control factors. In the final step of a hierarchical regression analysis only stress, cognitive confidence, and attention shifting were independent predictors of decisional procrastination. Overall these findings support the hypotheses and are consistent with the Self-Regulatory Executive Function model of psychological dysfunction. The implications of these findings are discussed.     

Inference and Epistemic Transparency

Topoi - In his paper “Explaining Deductive Inference” Prawitz states what he calls «a fundamental problem of logic and the philosophy of logic»: the problem of explaining...     

Practicing REBT in Italy: Cultural Aspects

This paper attempts to explore the cultural background for the adoption and practice of REBT by cognitive therapists in Italy since the 1980s. It is not an attempt to capture the history of Italian culture and philosophy from antiquity. Italian therapists tend to prefer the assessment phase of the ABC framework and not fully adopt REBT disputing interventions. They also attempt to link the ABC not only to the here and now but also to clients’ personal development. In our experience, they have combined REBT with constructivism and metacognition. These current features parallel the historical lack of confidence shown by many Italian philosophical thinkers—from Machiavelli to Gianni Vattimo—in the possibility of reducing reality to verification as well as the reproducible rules of logical rationality. The foregoing highlights the interest in exploring the emotional roots of politics, history, and concrete reality in the time frame following the 1980s. Some typical features of Italian social life, such as individualism, hierarchy, remote social distance, and competition can also be thought of as corresponding with the historical features of the way REBT has been adopted and functions in Italy.     

The appeal of the devil’s eye: social evaluation affects social attention

Humans typically exhibit a tendency to follow the gaze of conspecifics, a social attention behaviour known as gaze cueing. Here, we addressed whether episodically learned social knowledge about the behaviours performed by the individual bearing the gaze can influence this phenomenon. In a learning phase, different faces were systematically associated with either positive or negative behaviours. The same faces were then used as stimuli in a gaze-cueing task. The results showed that faces associated with antisocial norm-violating behaviours triggered stronger gaze-cueing effects as compared to faces associated with sociable behaviours. Importantly, this was especially evident for participants who perceived the presented norm-violating behaviours as far more negative as compared to positive behaviours. These findings suggest that reflexive attentional responses can be affected by our appraisal of the valence of the behaviours of individuals around us.     

Reading the tea leaves in an intelligent Coffee Corner: Challenges for understanding behavior

This article discusses the challenges for methodological innovation on the basis of experiences in an experimental Living Lab setting: a context-aware Coffee Corner in a research institute. A context-aware infrastructure collects sensory information on users while they move and interact. People getting coffee can use a variety of services offered in the intelligent environment at the Coffee Corner’s site; for example, a colleague-radar application allows users to see the current positions of their colleagues in the building. At the same time, it identifies and authenticates users using proximity-aware and context-aware security features. Apart from proximity and context awareness, the analysis of contextual data allows the construction of a behavioral model of users that can be used to customize the services offered at the Coffee Corner. We explain how the Living Lab allows us to measure behavior in context in an unobtrusive and trustworthy way (e.g., by respecting a user’s right to privacy).     

Lymphocyte subsets, cardiovascular measures and anxiety state before and after a professional examination

Controversies exist regarding the impact of psychological stress on the functioning of the immune system in humans. The aim of the present study, therefore, was to evaluate whether the condition of a pre-exam stress may or not modify resting lymphocyte subsets, as well as blood pressure and heart rate. About 22 medical residents of both sexes not suffering from any medical or psychiatric disorder were included in the study. Anxiety levels were measured by means of the Hamilton rating scale for anxiety (HRSA) and anxiety traits by means of the panic-agoraphobic spectrum self-report (PAS-SR) version and the obsessive-compulsive spectrum self-report (OBS-SR) version. The results showed that systolic blood pressure and heart rate increased significantly just before sitting an examination (t(1)) in all subjects, as compared with a calm situation (t(2)), in parallel with the increase in the HRSA total score, while no significant difference was observed in lymphocyte subsets at the two assessment times. However, men had a higher number of CD4+ cells than women at t(1) and t(2), while women showed a higher heart rate at t(1). In addition, significant correlations between CD4+ lymphocyte count and heart rate at t(1) or HRSA at t(2) were detected. These findings indicate that the acute stress determined by sitting for examination provokes changes in autonomic nervous system parameters, such as blood pressure and heart rate, as well as in the subjective feeling of anxiety, as shown by the increased HRSA total scores, which were not paralleled by modifications of lymphocyte subsets. However, individual differences, related to both sex and personality traits yet to be identified, seem to have an impact in shaping the stress response.     

Innerdeutsche Migration und psychisches Befinden

In a representative study German migrants within Germany were assigned to two different groups depending on their answers to the following two questions (?Where did you mainly grow up – Eastern Germany or Western Germany?“ and ?Where do you live now?“). The migrants (54 West-East and 68 East-West migrants) were compared with non-migrants (1,136 Western and 294 Eastern Germans) concerning different variables of their psychic condition. Migrants suffered from higher stress, less bodily well-being and more somatic symptoms than non-migrants. Probands migrating from Western to Eastern Germany reported the lowest levels of quality of life.     

Evaluation of a cognitive behavioral group intervention program for spouses of stroke patients

This study investigated the effectiveness of a cognitive behavioral group program for spouses of stroke patients. The program consists of 15 bi-monthly 112h sessions. The goal of the intervention is to reduce the prevalence of mental disorders and burnout among care-giving spouses of stroke patients. The sample (stroke patients and their spouses) consisted of one intervention group (n=38 couples) and two different control conditions, those receiving informational support (n=35 couples) and those receiving standard care (n=51 couples). We used the following instruments to measure spouses' mental health and quality of life: Beck Anxiety Inventory (BAI), Beck Depression Inventory (BDI), WHO Quality of Life Questionnaire. Measurements were taken before the intervention (Time 1), directly following the intervention (Time 2) and 6 months after Time 2 (Time 3). Several regression analyses allowed for examination of the short-term and long-term effects of the intervention. The spouses' participation in the intervention program was associated with significant short-term changes in care-giving spouses' quality of life and with long-term changes in their quality of life and depression. The presented multi-component intervention appears to have an immediate effect on care-giving spouses' quality of life. In contrast, the intervention-related changes in more resistant mental-health-related variables did not appear until after a latent stage in the later post-intervention phase.