Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Abstract

The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called false-belief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formalizations disclose that despite this difference, the two versions of the Smarties task have exactly the same underlying logical structure. We also consider the Sally-Anne task, having a more complicated logical structure, presupposing a “principle of inertia” saying that a belief is preserved over time, unless there is belief to the contrary.
OriginalsprogEngelsk
TidsskriftJournal of Logic, Language and Information
Vol/bind23
Udgave nummer4
Sider (fra-til)415-439
ISSN0925-8531
DOI
StatusUdgivet - 2014

Projekter

Hybrid-Logical Proofs at Work in Cognitive Psychology

Braüner, T., Blackburn, P. R. & Polyanskaya, I.

VELUX FONDEN

01/01/201430/04/2019

Projekter: ProjektForskning

Citer dette