Logic as Marr's Computational Level: Four Case Studies.

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.

Reasoning, logic, and psychology.

We argue that reasoning has been conceptualized so narrowly in what is known as 'psychology of reasoning' that reasoning's relevance to cognitive science has become well-nigh invisible. Reasoning is identified with determining whether a conclusion follows validly from given premises, where 'valid' is taken to mean 'valid according to classical logic'. We show that there are other ways to conceptualize reasoning, more in line with current logical theorizing, which give it a role in psychological processes ranging from (verbal) discourse comprehension to (nonverbal) planning. En route we show that formal logic, at present marginalized in cognitive science, can be an extremely valuable modeling tool. In particular, there are cases in which probabilistic modeling must fail, whereas logical models do well. WIREs Cogni Sci 2011 2 555-567 DOI: 10.1002/wcs.134 For further resources related to this article, please visit the WIREs website.

Reasoning with exceptions: an event-related brain potentials study.

Defeasible inferences are inferences that can be revised in the light of new information. Although defeasible inferences are pervasive in everyday communication, little is known about how and when they are processed by the brain. This study examined the electrophysiological signature of defeasible reasoning using a modified version of the suppression task. Participants were presented with conditional inferences (of the type "if p, then q; p, therefore q") that were preceded by a congruent or a disabling context. The disabling context contained a possible exception or precondition that prevented people from drawing the conclusion. Acceptability of the conclusion was indeed lower in the disabling condition compared to the congruent condition. Further, we found a large sustained negativity at the conclusion of the disabling condition relative to the congruent condition, which started around 250 msec and was persistent throughout the entire epoch. Possible accounts for the observed effect are discussed.

Exceptions and anomalies: an ERP study on context sensitivity in autism.

Several studies have demonstrated that people with ASD and intact language skills still have problems processing linguistic information in context. Given this evidence for reduced sensitivity to linguistic context, the question arises how contextual information is actually processed by people with ASD. In this study, we used event-related brain potentials (ERPs) to examine context sensitivity in high-functioning adults with autistic disorder (HFA) and Asperger syndrome at two levels: at the level of sentence processing and at the level of solving reasoning problems. We found that sentence context as well as reasoning context had an immediate ERP effect in adults with Asperger syndrome, as in matched controls. Both groups showed a typical N400 effect and a late positive component for the sentence conditions, and a sustained negativity for the reasoning conditions. In contrast, the HFA group demonstrated neither an N400 effect nor a sustained negativity. However, the HFA group showed a late positive component which was larger for semantically anomalous sentences than congruent sentences. Because sentence context had a modulating effect in a later phase, semantic integration is perhaps less automatic in HFA, and presumably more elaborate processes are needed to arrive at a sentence interpretation.

Coercion and compositionality.

Research in psycholinguistics and in the cognitive neuroscience of language has suggested that semantic and syntactic processing are associated with different neurophysiologic correlates, such as the N400 and the P600 in the ERPs. However, only a handful of studies have investigated the neural basis of the syntax-semantics interface, and even fewer experiments have dealt with the cases in which semantic composition can proceed independently of the syntax. Here we looked into one such case-complement coercion--using ERPs. We compared sentences such as, "The journalist wrote the article" with "The journalist began the article." The second sentence seems to involve a silent semantic element, which is expressed in the first sentence by the head of the verb phrase (VP) "wrote the article." The second type of construction may therefore require the reader to infer or recover from memory a richer event sense of the VP "began the article," such as began writing the article, and to integrate that into a semantic representation of the sentence. This operation is referred to as "complement coercion." Consistently with earlier reading time, eye tracking, and MEG studies, we found traces of such additional computations in the ERPs: Coercion gives rise to a long-lasting negative shift, which differs at least in duration from a standard N400 effect. Issues regarding the nature of the computation involved are discussed in the light of a neurocognitive model of language processing and a formal semantic analysis of coercion.

Defeasible reasoning in high-functioning adults with autism: evidence for impaired exception-handling.

While autism is one of the most intensively researched psychiatric disorders, little is known about reasoning skills of people with autism. The focus of this study was on defeasible inferences, that is inferences that can be revised in the light of new information. We used a behavioral task to investigate (a) conditional reasoning and (b) the suppression of conditional inferences in high-functioning adults with autism. In the suppression task a possible exception was made salient which could prevent a conclusion from being drawn. We predicted that the autism group would have difficulties dealing with such exceptions because they require mental flexibility to adjust to the context, which is often impaired in autism. The findings confirm our hypothesis that high-functioning adults with autism have a specific difficulty with exception-handling during reasoning. It is suggested that defeasible reasoning is also involved in other cognitive domains. Implications for neural underpinnings of reasoning and autism are discussed.

The Bayesian Alcoholism Test had better diagnostic properties for confirming diagnosis of hazardous and harmful alcohol use.

OBJECTIVE: Conventional tests for alcoholism fail to confirm hazardous and harmful alcohol use (HHAU) accurately and objectively. We validated a Bayesian Alcoholism Test (BAT) for confirming the diagnosis of HHAU. STUDY DESIGN AND SETTING: BAT is based on studies on the prevalence of HHAU and other diseases causing similar abnormalities, and on conditional probabilities of these disorders and associated biochemical markers and clinical signs. BAT was compared to carbohydrate-deficient transferrin (CDT) and gamma-glutamyltransferase (GGT) in treatment-seeking alcoholics, non-treatment-seeking heavy drinkers, and controls. Main outcome measures were test sensitivity and specificity, likelihood ratios, and receiver-operating characteristic (ROC) curves. RESULTS: Comparing alcoholics and controls, sensitivity of BAT (94%) was significantly higher than CDT (63%) and GGT (73%). The area under the ROC curve for BAT (.989) was significantly higher than the area under the curve for CDT (.909) and area under the curve for GGT (.902). Using pooled data of all 182 subjects included in the study, the amount of drinking had a significant better correlation coefficient with BAT (.795) than with CDT (.657), and GGT (.604). CONCLUSION: BAT has better diagnostic properties than CDT and GGT for confirming HHAU.