Effects of deterrence on intensity of group identification and efforts to protect group identity

Group identification serves important functions such as motivating group members to work towards group goals and sustaining their efforts to maintain a positive group identity. Thus increasing or decreasing group identification has implications for group members’ commitment to achieving group goals. We propose that group identification and group-level efforts to protect group identity can be reduced or enhanced by deterrents to feeling identified with the ingroup. To test this idea, we exposed participants to different types of deterrents to group identification: a reason for not liking the ingroup (Study 1), difficulty of achieving an ingroup goal (Study 2), and a threat to ingroup positive identity (Study 3). Group identification and strength of efforts to achieve a group goal increased with the strength of deterrence, to the point where it decreased in the strong deterrent condition. Implications for intergroup motivation and social identity are discussed.     

Progression and Verification of Situation Calculus Agents with Bounded Beliefs

We investigate agents that have incomplete information and make decisions based on their beliefs expressed as situation calculus bounded action theories. Such theories have an infinite object domain, but the number of objects that belong to fluents at each time point is bounded by a given constant. Recently, it has been shown that verifying temporal properties over such theories is decidable. We take a first-person view and use the theory to capture what the agent believes about the domain of interest and the actions affecting it. In this paper, we study verification of temporal properties over online executions. These are executions resulting from agents performing only actions that are feasible according to their beliefs. To do so, we first examine progression, which captures belief state update resulting from actions in the situation calculus. We show that, for bounded action theories, progression, and hence belief states, can always be represented as a bounded first-order logic theory. Then, based on this result, we prove decidability of temporal verification over online executions for bounded action theories.     

Spatial cognition: evidence from visual neglect

Recent work on human attention and representational systems has benefited from a growing interplay between research on normal attention and neuropsychological disorders such as visual neglect. Research over the past 30 years has convincingly shown that, far from being a unitary condition, neglect is a protean disorder whose symptoms can selectively affect different sensory modalities, cognitive processes, spatial domains and coordinate systems. These clinical findings, together with those of functional neuroimaging, have increased knowledge about the anatomical and functional architecture of normal subsystems involved in spatial cognition. We provide a selective overview of how recent investigations of visual neglect are beginning to elucidate the underlying structure of spatial processes and mental representations.     

The Bears Family Projective Test: evaluating stories of children with emotional difficulties

The aim of this study was to describe and analyze the storytelling of children with emotional difficulties. Forty children with emotional and relational difficulties (inhibited and impulsive), ages between 5.5 and 9.4 years old, were assessed by a multiaxial procedure and the bears family projective test. The bears family test is a constructive-thematic-projective method based on an anthropomorphic family of bears that children can manipulate to tell a story. The stories of 40 children without emotional difficulties (matched by IQ, socio-economic status, and gender) and 322 typically developing children, aged between four and 10 years old, were used as a reference for comparisons. Results indicated that the stories of children with emotional difficulties showed many unsolved problematic events, unclear characters, negative relationships, and negative behaviors. Unlike the stories of children without emotional difficulties, positive contents didn't prevail over negative, and there wasn't a positive compensation for negative elements.     

The Identity of Living Beings, Epigenetics, and the Modesty of Philosophy

Two problems related to the biological identity of living beings are faced: the who-problem (which are the biological properties making that living being unique and different from the others?); the persistence-problem (what does it take for a living being to persist from a time to another?). They are discussed inside a molecular biology framework, which shows how epigenetics can be a good ground to provide plausible answers. That is, we propose an empirical solution to the who-problem and to the persistence-problem on the basis of the new perspectives opened by a molecular understanding of epigenetic processes. In particular, concerning the former, we argue that any living being is the result of the epigenetic processes that have regulated the expression of its genome; concerning the latter, we defend the idea that the criterion for the persistence of its identity is to be indicated in the continuity of those epigenetic processes. We also counteract possible objections, in particular (1) whether our approach has something to say at a metaphysical level; (2) how it could account for the passage from the two phenotypes of the parental gametes to the single phenotype of the zygote; (3) how it could account for the identity of derivatives of one living being that continue to live disjoined from that original living being; (4) how it could account for higher mental functions.     

A modal type theory for formalizing trusted communications

This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads to a multi-modal non-homogeneous version of a type theory, in which we show the embedding of the modal operators into standard group knowledge operators.