Projekter pr. år
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.
Originalsprog | Engelsk |
---|---|
Titel | Logic, Language, Information, and Computation : 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings |
Redaktører | Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz |
Antal sider | 20 |
Udgivelsessted | Berlin |
Forlag | Springer |
Publikationsdato | 2016 |
Sider | 125-144 |
ISBN (Trykt) | 978-3-662-52920-1 |
ISBN (Elektronisk) | 978-3-662-52921-8 |
DOI | |
Status | Udgivet - 2016 |
Begivenhed | 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016) - Complejo Cultural Universitario of BUAP, Puebla, Mexico Varighed: 16 aug. 2016 → 19 aug. 2016 http://www.wollic.cs.buap.mx/ |
Workshop
Workshop | 23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016) |
---|---|
Lokation | Complejo Cultural Universitario of BUAP |
Land/Område | Mexico |
By | Puebla |
Periode | 16/08/2016 → 19/08/2016 |
Internetadresse |
Navn | Lecture Notes in Computer Science |
---|---|
Vol/bind | 9803 |
ISSN | 0302-9743 |
Projekter
- 1 Afsluttet
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T. (Projektdeltager), Blackburn, P. R. (Projektdeltager) & Polyanskaya, I. (Projektdeltager)
01/01/2014 → 30/04/2019
Projekter: Projekt › Forskning