Second-order false-belief tasks: Analysis and formalization

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Abstract

We first give a coarse-grained modal-logical analysis of the four best known second-order false-belief tasks. This preliminary analysis shows that the four tasks share a common logical structure in which a crucial role is played by a “principle of inertia” which says that an agent’s belief is preserved over time unless the agent gets information to the contrary. It also reveals informational symmetries (all four possibilities inherent in the two dimensions of deception versus no-deception and change-in-world versus change-in-belief-only are realized) and reveals a rather puzzling feature common to all four tasks. We then take a closer look at how the principle of inertia is used, which leads to a fine-grained analysis in terms of perspective shifting. We formalize this analysis using a natural deduction system for hybrid logic, and show that the proof modelling the solution to the first-order Sally-Anne task is nested inside the proof modelling the second-order solution.

OriginalsprogEngelsk
TitelLogic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
RedaktørerJouko Väänänen, Åsa Hirvonen, Ruy de Queiroz
Antal sider20
UdgivelsesstedBerlin
ForlagSpringer
Publikationsdato2016
Sider125-144
ISBN (Trykt)978-3-662-52920-1
ISBN (Elektronisk)978-3-662-52921-8
DOI
StatusUdgivet - 2016
Begivenhed23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016) - Complejo Cultural Universitario of BUAP, Puebla, Mexico
Varighed: 16 aug. 201619 aug. 2016
http://www.wollic.cs.buap.mx/

Workshop

Workshop23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016)
LokationComplejo Cultural Universitario of BUAP
Land/OmrådeMexico
ByPuebla
Periode16/08/201619/08/2016
Internetadresse
NavnLecture Notes in Computer Science
Vol/bind9803
ISSN0302-9743

Citer dette