Intuitionistic Autoepistemic Logic

In this paper we address the problem of combining a logic with nonmonotonic modal logic. In particular we study the intuitionistic case. We start from a formal analysis of the notion of intuitionistic consistency via the sequent calculus. The epistemic operator M is interpreted as the consistency operator of intuitionistic logic by introducing intuitionistic stable sets. On the basis of a bimodal structure we also provide a semantics for intuitionistic stable sets.     

Reclaiming the feeling of shame

The author resorts to Bleger's conception of regression to ambiguity in order to achieve an understanding of patients who have suffered from extreme situations such as torture, disappearance, concentration camp. The regression to ambiguity that helped these patients to survive and that elicits extreme feelings of shame must be gradually diminished so that older intact ego components as well as the original feelings of shame can be reclaimed.     

Modal operators with probabilistic interpretations,I

We present a class of normal modal calculi P_FD, whose syntax is endowed with operators M _r (and their dual ones, L _r), one for each r [0,1]: if a is sentence, M _r is to he read the probability that a is true is strictly greater than r and to he evaluated as true or false in every world of a F-restricted probabilistic kripkean model. Every such a model is a kripkean model, enriched by a family of regular (see below) probability evaluations with range in a fixed finite subset F of [0,1]: there is one such a function for every world w, P _F(w,-), and this allows to evaluate M ^ra as true in the world w iff p _F(w, ) r.For every fixed F as before, suitable axioms and rules are displayed, so that the resulting system P _FD is complete and compact with respect to the class of all the F-restricted probabilistic kripkean models.     

On the emergence of modern humans

The emergence of modern humans with their extraordinary cognitive capacities is ascribed to a novel type of cognitive computational process (sustained non-routine multi-level operations) required for abstract projectuality, held to be the common denominator of the cognitive capacities specific to modern humans. A brain operation (latching) that allows this novel computational process is proposed as well as a physics-inspired mechanism that could explain its rather recent emergence without invoking unlikely genetic or structural changes.     

A uniform tableau method for intuitionistic modal logics I

We present tableau systems and sequent calculi for the intuitionistic analoguesIK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IKD5, IK45, IKD45 andIS5 of the normal classical modal logics. We provide soundness and completeness theorems with respect to the models of intuitionistic logic enriched by a modal accessibility relation, as proposed by G. Fischer Servi. We then show the disjunction property forIK, ID, IT, IKB, IKDB, IB, IK4, IKD4, IS4, IKB4, IK5, IK45 andIS5. We also investigate the relationship of these logics with some other intuitionistic modal logics proposed in the literature.Work carried out in the framework of the agreement between the Italian PT Administration and the Fondazione Ugo Bordoni.Presented byDov Gabbay     

Contemporaneous Statistics for Estimation in Stochastic Actor-Oriented Co-evolution Models

Psychometrika - Stochastic actor-oriented models (SAOMs) can be used to analyse dynamic network data, collected by observing a network and a behaviour in a panel design. The parameters of SAOMs are...     

Internally driven strategy change

The behavioural analysis of normal adults solving a combinatorial game—the subtraction game—that was previously studied by Gneezy, Rustichini, and Vostroknutov (2010 Gneezy, U., Rustichini, A. and Vostroknutov, A. 2010. Experience and insight in the race game. Journal of Economic Behavior and Organization, 75: 144–155.  [Google Scholar]) allows one to identify the transition from one strategy to a novel strategy. Based on protocol analysis and debriefing, two different strategies used by participants in this task are identified and compared with behavioural measurements (reaction times, accuracy, and mouse movements). One is a (forward) exploration strategy and the other is a more complex but efficient backward induction procedure. The clear determination of the transition from the standard forward exploration strategy to a novel internally generated strategy is established by both protocol reports and behavioural measurements. It allows for the potential investigation of the underlying transition to be carried out by cognitive neuroscience methods. A set of characteristics of such transitions to internally generated novel strategies are discussed.