A variety of logical frameworks have been developed to study rational agents interacting over time. This paper takes a closer look at one particular interface, between two systems that both address the dynamics of knowledge and information flow. The first is Epistemic Temporal Logic (ETL) which uses linear or branching time models with added epistemic structure induced by agents’ different capabilities for observing events. The second framework is Dynamic Epistemic Logic (DEL) that describes interactive processes in terms of epistemic event (...) models which may occur inside modalities of the language. This paper systematically and rigorously relates the DEL framework with the ETL framework. The precise relationship between DEL and ETL is explored via a new representation theorem characterizing the largest class of ETL models corresponding to DEL protocols in terms of notions of Perfect Recall , No Miracles , and Bisimulation Invariance . We then focus on new issues of completeness . One contribution is an axiomatization for the dynamic logic of public announcements constrained by protocols, which has been an open problem for some years, as it does not fit the usual ‘reduction axiom’ format of DEL. Finally, we provide a number of examples that show how DEL suggests an interesting fine-structure inside ETL. (shrink)

We explore the possibilities that dynamic epistemic logic offers to model abductive reasoning. We show that many of the problems with formal approaches to abduction based on classical logic can be solved when considering an epistemic agent that reasons and acts.Exploramos las posibilidades que ofrece la lógica epistémica dinámica para modelar el razonamiento abductivo. Mostramos que muchos de los problemas que encuentran los tratamientos formales de la abducción basados en lógica clásica pueden ser resueltos al considerar un agente epistémico que (...) razona y actúa. (shrink)

This paper reviews computational models of surprise, with a specific focus on the authors’ probabilistic, contrast model. The contrast model casts surprise, and its intensity, as emerging from the difference between the probability of the surprising event and the probability of the highest expected‐event in a given situation. Strong arguments are made for the central role of surprise in creativity and learning by natural and artificial agents.

We develop a conceptual and formal clarification of notion of surprise as a belief-based phenomenon by exploring a rich typology. Each kind of surprise is associated with a particular phase of cognitive processing and involves particular kinds of epistemic representations (representations and expectations under scrutiny, implicit beliefs, presuppositions). We define two main kinds of surprise: mismatch-based surprise and astonishment. In the central part of the paper we suggest how a formal model of surprise can be integrated with a formal model (...) of belief change. We investigate the role of surprise in triggering the process of belief reconsideration. There are a number of models of surprise developed in the psychology of emotion. We provide several comparisons of our approach with those models. (shrink)

‘Incongruity is never superfluous’Thea Arbee (2016) Is the superfluous a (new) modality?11. Even if much has been written about ingredients that trigger laughter, researchers are still far from hav...

The problem of perception is the problem of explaining how perceptual knowledge is possible. The skeptic has a simple solution: it is not possible. I analyze the weaknesses of one type of skeptical reasoning by making explicit a dynamic epistemic principle from dynamic epistemic logic that is implicitly used in debating the problem, with the aim of offering a novel diagnosis to this skeptical argument. I argue that prominent modest foundationalist responses to perceptual skepticism can be understood as rejecting the (...) dynamic assumption made by the skeptic, that there are independent reasons to doubt the truth of such a principle in the context of skeptical reasoning, and that making the dynamic principle explicit allows for a better understanding of at least one objection to modest foundationalism. (shrink)

I will first discuss how social interactions organize, coordinate, and specialize as “artifacts,” tools; how these tools are not only for coordination but for achieving something, for some outcome (goal/function), for a collective work. In particular, I will argue that these artifacts specify (predict and prescribe) the mental contents of the participants, both in terms of beliefs and acceptances and in terms of motives and plans. We have to revise the behavioristic view of “scripts” and “roles”; when we play a (...) role we wear a “mind.” No collective action would be possible without shared and/or ascribed mental contents. This is also very crucial for a central form of automatic mind-reading (mind ascription). Second, I will argue that often what really matters is the ascribed/prescribed, worn, mind not the real, private one. We have to play (like in the symbolic play) “as if” we had those mental contents. This social convention and mutual assumption makes the interaction work. The ascribed beliefs and goals are not necessarily explicitly there; they might be just implicit as inactive (we act just by routine and automatically) or implicit as potential. The coordination and social action works thanks to these “as if” (ascribed and pretended) minds, thanks to those conventional constructs. Our social minds for social interactions are coordination artifacts and social institutions. (shrink)

Controversial view agnosticism is the thesis that we are rationally obligated to withhold judgment about a large portion of our beliefs in controversial subject areas, such as philosophy, religion, morality and politics. Given that one’s social identity is in no small part a function of one’s positive commitments in controversial areas, CVA has unsurprisingly been regarded as objectionably ‘spineless.’ That said, CVA seems like an unavoidable consequence of a prominent view in the epistemology of disagreement—conformism—according to which the rational response (...) to discovering that someone you identify as an epistemic peer or expert about p disagrees with you vis-à-vis p is to withhold judgment. This paper proposes a novel way to maintain the core conciliatory insight without devolving into an agnosticism that is objectionably spineless. The approach offered takes as a starting point the observation that–for reasons that will be made clear—the contemporary debate has bypassed the issue of the reasonableness of maintaining, rather than giving up, representational states weaker than belief in controversial areas. The new position developed and defended here explores this overlooked space; what results is a kind of controversial view. (shrink)

In this paper, we provide a logical formalization of the emotion triggering process and of its relationship with mental attitudes, as described in Ortony, Clore, and Collins’s theory. We argue that modal logics are particularly adapted to represent agents’ mental attitudes and to reason about them, and use a specific modal logic that we call Logic of Emotions in order to provide logical definitions of all but two of their 22 emotions. While these definitions may be subject to debate, we (...) show that they allow to reason about emotions and to draw interesting conclusions from the theory. (shrink)

Philosophers of mind and epistemologists are increasingly making room in their theories for epistemic emotions (E-emotions) and, drawing on metacognition research in psychology, epistemic – or noetic or metacognitive – feelings (E-feelings). Since philoso- phers have only recently begun to draw on empirical research on E-feelings, in particular, we begin by providing a general characterization of E-feelings (section 1) and reviewing some highlights of relevant research (section 2). We then turn to philosophical work on E-feelings and E-emotions, situating the contributions (...) to the focus section (two articles devoted to E-feelings and two devoted to E-emotions) with respect to both the existing literature and each other (section 3). We conclude by brie y describing some promising avenues for further philosophical research on E-feelings and E-emotions (section 4). (shrink)

It is a common experience to be surprised by an artwork. In this paper, I examine how and why this obvious fact matters for philosophical aesthetics. Following recent works in psychology and philosophers such as Davidson or Scheffler, we will see that surprise qualifies as an emotion of a special kind, essentially “cognitive” or “epistemic” in its nature and functioning. After some preliminary considerations, I wish to hold two general claims: the first one will be that surprise is somehow related (...) to aesthetic appreciation, because it is often the ground to judge of a work’s value. The second point will be that a functional analysis of surprise provides support for cognitivist accounts of aesthetics. If this picture is right, surprise would generally play an important part in aesthetic experience and should also be seen as a paradigm to study the cognitive powers of art. (shrink)

Information is a notion of wide use and great intuitive appeal, and hence, not surprisingly, different formal paradigms claim part of it, from Shannon channel theory to Kolmogorov complexity. Information is also a widely used term in logic, but a similar diversity repeats itself: there are several competing logical accounts of this notion, ranging from semantic to syntactic. In this chapter, we will discuss three major logical accounts of information.