Logical proofs: From mathematics to psychology

Braüner, T. (Speaker)

Activity: Talk or presentationLecture and oral contribution


Abstract: Logical proofs, built according to the rules of a precisely defined proof-system, have been used for over a century to represent---describe the structure of---mathematical reasoning; one goal being to distinguish logically correct arguments from incorrect ones. Nowadays there is an increasing interest in using logical proofs to analyze reasoning in everyday human practice, for example investigated in psychological reasoning tests.

In my talk, I will first make some general remarks about the role of logic in contemporary psychology of reasoning, where different psychological schools reflect different branches of mathematical logic, in particular model-theory and proof-theory.

I will then move on and talk about an interdisciplinary research project aimed at analyzing and giving logical formalizations of psychological tests called false-belief tests, and moreover, using such logical analyses as a basis for empirical studies of how children with Autism Spectrum Disorder reason. False belief understanding is a component of theory of mind, underlying social behavior such as idiom understanding and peer coordination.

Finally, if time allows, I will discuss the fact that this research project combines competences from natural science (mathematics and computer science), social science (psychology) and humanities (philosophy), indicating that the borders between these fields are not as tight as some people might think.
See also recent PhD defence:
Period30 Oct 2019
Held atDepartment of Science and Environment