The aim of this article is to strengthen links between cognitive brain research and formal logic. The work covers three fundamental sorts of logical inferences: reasoning in the propositional calculus, i.e. inferences with the conditional “if...then”, reasoning in the predicate calculus, i.e. inferences based on quantifiers such as “all”, “some”, “none”, and reasoning with n-place relations. Studies with brain-damaged patients and neuroimaging experiments indicate that such logical inferences are implemented in overlapping but different bilateral cortical networks, including parts of the (...) fronto-temporal cortex, the posterior parietal cortex, and the visual cortices. I argue that these findings show that we do not use a single deterministic strategy for solving logical reasoning problems. This account resolves many disputes about how humans reason logically and why we sometimes deviate from the norms of formal logic. (shrink)

There is an important hemispheric distinction in the functional organization of prefrontal cortex (PFC) that has not been fully recognized and explored. Research with split-brain patients provides considerable evidence for a left hemisphere (LH) “interpreter” that abhors indeterminacy and automatically draws inferences to complete patterns (real or imaginary). It is suggested that this “interpreter” function may be a byproduct of the linguistic capabilities of the LH. This same literature initially limited the role of the right hemisphere (RH) to little more (...) than visual organization. Recent reviews have garnered evidence for several different roles for the right PFC in reasoning, problem solving, and decision-making. We here focus on the beneficial but neglected role of indeterminacy in real-world problem solving and argue that the right PFC complements the left PFC “interpreter” by maintaining, and even enhancing indeterminacy. Successful real-world functioning is a delicate balancing act between these two systems. (shrink)