Defining Risk,Motivating Responsibility and Rethinking Global Warming

This paper breaks with the sociological notion of ‘risk society’ and argues in favour of a philosophical view that sees the two planetary threats of late modernity, nuclear weapons and global warming, as ultimate challenges to morality and politics rather than risks that we can take and manage. The paper also raises the question of why we should feel responsible for the effects of these two global challenges on future generations and in this sense elaborates on the transgenerational chain of parenthood rather than on considerations of justice.     

A Pilot Study Implementing Coping Power in Italian Community Hospitals: Effect of Therapist Attachment Style on Outcomes in Children

The study presented the initial report of a project regarding the implementation of the Coping Power Program in Italian community hospitals, and the program’s ability to reduce externalizing behavioral problems in children with a Disruptive Behavior Disorder diagnosis. Usually, interventions for children are implemented by a number of therapists with different personal characteristics, which therefore influence the implementation quality of an intervention. That said, the present study aimed to establish whether the insecure attachment styles of therapists predict unfavorable outcomes for children treated with the Coping Power Program. The sample included 80 children with a Disruptive Behavior Disorder diagnosis and 16 therapists. The results showed that the change in children’s aggressive behavioral problems was significantly related to the levels of the therapist’s preoccupation with relationships. Higher levels of change in aggression (where a higher value means that the aggression at the end of the treatment is higher than aggression at the baseline evaluation) are associated with higher levels of therapist’s preoccupied attachment style (anxious attachment style). This study provided some preliminary evidence that therapists need to be sensitive to their own attachment experiences when delivering therapy for children.     

Encoding Modal Logics in Logical Frameworks

We present and discuss various formalizations of Modal Logics in Logical Frameworks based on Type Theories. We consider both Hilbert- and Natural Deduction-style proof systems for representing both truth (local) and validity (global) consequence relations for various Modal Logics. We introduce several techniques for encoding the structural peculiarities of necessitation rules, in the typed -calculus metalanguage of the Logical Frameworks. These formalizations yield readily proof-editors for Modal Logics when implemented in Proof Development Environments, such as Coq or LEGO.