publication . Preprint . 2013

Hybrid-Logical Reasoning in False-Belief Tasks

Brauner, Torben;
Open Access English
  • Published: 23 Oct 2013
The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called falsebelief 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 somewhat more complicated logical structure, presupposing a "principle of inertia" saying...
free text keywords: Computer Science - Computer Science and Game Theory, Computer Science - Logic in Computer Science
Download from
34 references, page 1 of 3

[1] C. Areces and B. ten Cate. Hybrid logics. In P. Blackburn, J. van Benthem, and F. Wolter, editors, Handbook of Modal Logic, pages 821-868. Elsevier, 2007. [OpenAIRE]

[2] M. Baaz and A. Leitsch. Methods of Cut-Elimination, volume 34 of Trends in Logic Series. Springer, 2011.

[3] S. Baron-Cohen. Mindblindness: An Essay on Autism and Theory of Mind. MIT Press, 1995.

[4] S. Baron-Cohen, A. Leslie, and U. Frith. Does the autistic child have a 'theory of mind' ? Cognition, 21:37-46, 1985.

[5] G. Bierman and V. de Paiva. On an intuitionistic modal logic. Studia Logica, 65:383-416, 2000.

[6] G. Boolos. Don't eliminate cut. Journal of Philosophical Logic, 13:373-378, 1984.

[7] T. Brau¨ner. Two natural deduction systems for hybrid logic: A comparison. Journal of Logic, Language and Information, 13:1-23, 2004.

[8] T. Brau¨ner. Hybrid Logic and its Proof-Theory, volume 37 of Applied Logic Series. Springer, 2011.

[9] M. D'Agostino and M. Mondadori. The taming of the cut. Classical refutations with analytical cut. Journal of Logic and Computation, 4:285-319, 1994. [OpenAIRE]

[10] L. Flobbe, R. Verbrugge, P. Hendriks, and I. Kra¨mer. Children's application of theory of mind in reasoning and language. Journal of Logic, Language and Information, 17:417-442, 2008. [OpenAIRE]

[11] G. Gentzen. Investigations into logical deduction. In M. Szabo, editor, The Collected Papers of Gerhard Gentzen, pages 68-131. North-Holland Publishing Company, 1969.

[12] N. Gierasimczuk, H. van der Maas, and M. Raijmakers. Logical and psychological analysis of Deductive Mastermind. In Proceedings of the Logic & Cognition Workshop at ESSLLI 2012, Opole, Poland, 13-17 August, 2012, volume 883 of CEUR Workshop Proceedings, pages 21-39., 2012.

[13] W. Goldfarb. Deductive Logic. Hackett Pub. Co., 2003.

[14] A. Gopnik and J. Astington. Children's understanding of representational change and its relation to the understanding of false belief and the appearance-reality distinction. Child Development, 59:26-37, 1988. [OpenAIRE]

[15] J. Pijnacker, B. Geurts, M. van Lambalgen, C. Kan, J. Buitelaar, and P. Hagoort. Defeasible reasoning in high-functioning adults with autism: Evidence for impaired exception-handling. Neuropsychologia, 47:644-651, 2009.

34 references, page 1 of 3
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue