Projects per year
Abstract
We describe an interdisciplinary research project that uses logic to investigate psychological reasoning tests called false-belief tasks. The goal of the project is to analyze and give logical formalizations of false-belief tasks using a range of modal proof-systems, and moreover, to use such logical analyses as a basis for empirical studies of how children with Autism Spectrum Disorder reason in false-belief tasks.
Original language | English |
---|---|
Title of host publication | Proceedings of the 40th Annual Meeting of the Cognitive Science Society, CogSci 2018 |
Editors | T.T. Rogers, M. Rau, X. Zhu, C.W. Kalish |
Number of pages | 2 |
Publisher | Cognitive Science Society |
Publication date | 2018 |
Pages | 45-46 |
ISBN (Electronic) | 978-0-9911967-8-4 |
Publication status | Published - 2018 |
Event | 40th Annual Meeting of the Cognitive Science Society: Changing/minds - Madison, United States Duration: 25 Jul 2018 → 28 Jul 2018 Conference number: 40 http://www.cognitivesciencesociety.org/conference/cogsci-2018 |
Conference
Conference | 40th Annual Meeting of the Cognitive Science Society |
---|---|
Number | 40 |
Country/Territory | United States |
City | Madison |
Period | 25/07/2018 → 28/07/2018 |
Other | CogSci 2018 is the 40th Annual Meeting of the Cognitive Science Society, to be held in Madison, WI at the Monona Terrace Community and Convention Center on Wednesday July 25th – Saturday July 28th, 2018 (Wednesday, July 25th is the Tutorials and Workshops day).<br/><br/>This year’s conference provides an opportunity to consider the ways cognitive science bears on issues of change, learning, growth, and adaptation, but, as always, the conference will also reflect the full breadth of the discipline and of the society’s membership. |
Internet address |
Keywords
- Autism Spectrum Disorder
- False-belief tasks
- Hybrid modal logic
- Natural deduction
- Recursion
Projects
- 1 Finished
-
Hybrid-Logical Proofs at Work in Cognitive Psychology
Braüner, T. (Project participant), Blackburn, P. R. (Project participant) & Polyanskaya, I. (Project participant)
01/01/2014 → 30/04/2019
Project: Research