Premium
Logic as Marr's Computational Level: Four Case Studies
Author(s) -
Baggio Giosuè,
Lambalgen Michiel,
Hagoort Peter
Publication year - 2015
Publication title -
topics in cognitive science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.191
H-Index - 56
eISSN - 1756-8765
pISSN - 1756-8757
DOI - 10.1111/tops.12125
Subject(s) - computer science , cognitive science , artificial intelligence , computational model , sketch , deductive reasoning , semantics (computer science) , logical reasoning , cognition , natural language processing , psychology , programming language , neuroscience , algorithm
We sketch four applications of Marr's levels‐of‐analysis methodology to the relations between logic and experimental data in the cognitive neuroscience of language and reasoning. The first part of the paper illustrates the explanatory power of computational level theories based on logic. We show that a Bayesian treatment of the suppression task in reasoning with conditionals is ruled out by EEG data, supporting instead an analysis based on defeasible logic. Further, we describe how results from an EEG study on temporal prepositions can be reanalyzed using formal semantics, addressing a potential confound. The second part of the article demonstrates the predictive power of logical theories drawing on EEG data on processing progressive constructions and on behavioral data on conditional reasoning in people with autism. Logical theories can constrain processing hypotheses all the way down to neurophysiology, and conversely neuroscience data can guide the selection of alternative computational level models of cognition.