Hybrid-Logical Proofs at Work in Cognitive Psychology

Projekter: ProjektForskning

Projektdetaljer

Beskrivelse

The overall aim of this project is to use logic to investigate psychological reasoning tests, in particular what are called false-belief tests. Children with Autism Spectrum Disorder (ASD) have a limited capacity to give correct answers to false-belief tests, corroborating a widespread psychological theory linking autism to a lack of Theory of Mind, which is a capacity to ascribe mental states to other people, for example beliefs. Logical proofs built according to the rules of proof-systems can be used to represent---describe the structure of---mathematical arguments as well as arguments in everyday human practice, and the goal of the project is to analyze and give logical formalizations of psychological tests using a range of modal-logical and hybrid-logical proof-systems, and moreover, investigate empirical consequences of such logical analyses.

Our empirical line of work centers around the notion of recursion, a standard notion from logic (and widely applied in computer science, mathematics, and other fields). Recursion plays a decisive role in second-order false belief tests; a standard measure of second-order Theory of Mind. In these tests, recursion crops up in the form of nested beliefs: Anne believes that Sally thinks that the marble is in the basket. We have carried out a correlation and training study of second-order social reasoning competency in high-functioning children with ASD, the hypothesis being that training in linguistic recursion will improve their social cognition skills, as measured by second-order false-belief tasks. More precisely, we measure the second-order reasoning capacity using a composite score involving four reasoning patterns singled out by our logical analysis. Our study involves 62 Danish-speaking children with ASD. Results are published in Irina Polyanskaya's PhD dissertation.

A number of researchers around the world are attempting to apply logical modeling to problems from cognitive psychology. The project will help this important and exciting interdisciplinary field take root in Denmark. The project is interdisciplinary and combines competences from philosophy, psychology, and logic.
StatusAfsluttet
Effektiv start/slut dato01/01/201430/04/2019

Finansiering

  • VELUX FONDEN

Publikationer

  • 5 Konferencebidrag i proceedings
  • 3 Tidsskriftartikel
  • 2 Bidrag til bog/antologi
  • 2 Konferenceabstrakt til konference

Being Deceived: Information Asymmetry in Second-Order False Belief Tasks

Braüner, T., Blackburn, P. R. & Polyanskaya, I., 2020, I : Topics in Cognitive Science. 12, s. 504-534

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization

Braüner, T., 2019, (Accepteret/In press) I : Logic and Logical Philosophy.

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Linguistic Recursion and Danish Discourse Particles: Language in Children with Autism Spectrum Disorder

Blackburn, P. R., Braüner, T. & Polyanskaya, I., 2019, (Accepteret/In press) Discourse coherence: From psychology to linguistics and back again. Amblard, M., Musiol, M. & Rebuschi, M. (red.). Springer VS, (Language, Cognition, and Mind).

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

A logical investigation of false-belief tasks

Braüner, T., Polyanskaya, I. & Blackburn, P. R., 2018, Proceedings of the 40th Annual Conference of the Cognitive Science Society. Rogers, T. T., Rau, M., Zhu, X. & Kalish, C. W. (red.). Cognitive Science Society, s. 45-46

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

Åben adgang
Fil

Aktiviteter

  • 7 Foredrag og mundtlige bidrag
  • 4 Organisation og deltagelse i konference
  • 1 Deltagelse i workshop, seminar og kursus

Logic and Cognition Pre-Conference Workshop

Torben Braüner (Arrangør), & Sujata Ghosh (Arrangør)

2 mar. 2019

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Logic in progress talk

Torben Braüner (Oplægsholder)

23 maj 2018

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Keynote talk: Hybrid-Logical Proof-Theory: With an Application to False-Belief Tests

Torben Braüner (Oplægsholder)

8 maj 201712 maj 2017

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

BOSTON UNIVERSITY CONFERENCE ON LANGUAGE DEVELOPMENT

Patrick Rowan Blackburn (Deltager)

3 nov. 20175 nov. 2017

Aktivitet: Deltagelse i eller arrangering af en begivenhedDeltagelse i workshop, seminar og kursus