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

Research output: Contribution to journalJournal articleResearchpeer-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.
Original languageEnglish
JournalJournal of Logic, Language and Information
Volume23
Issue number4
Pages (from-to)415-439
ISSN0925-8531
DOIs
Publication statusPublished - 2014

Cite this

@article{7cc94bcfd50a4ad3ae97b9e865df113e,
title = "Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks",
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.",
author = "Torben Bra{\"u}ner",
year = "2014",
doi = "10.1007/s10849-014-9206-z",
language = "English",
volume = "23",
pages = "415--439",
journal = "Journal of Logic, Language and Information",
issn = "0925-8531",
publisher = "Springer Netherlands",
number = "4",

}

Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks. / Braüner, Torben.

In: Journal of Logic, Language and Information, Vol. 23, No. 4, 2014, p. 415-439.

Research output: Contribution to journalJournal articleResearchpeer-review

TY - JOUR

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

AU - Braüner, Torben

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

U2 - 10.1007/s10849-014-9206-z

DO - 10.1007/s10849-014-9206-z

M3 - Journal article

VL - 23

SP - 415

EP - 439

JO - Journal of Logic, Language and Information

JF - Journal of Logic, Language and Information

SN - 0925-8531

IS - 4

ER -