The Brain Encodes Pure Logic Beyond Natural Language And At The Boundaries With Mathematics

You are not not reading this sentence. True, because you are. It's the law of double negation, a logical rule that states that a statement that is not not true is itself true. The development of pure logic - the study of the properties of formal systems, irrespective of their content - represents one of the most abstract intellectual achievements of human culture. Yet its neural correlates remain vastly unexplored. Is pure logic represented in a linguistic format like natural language, in an abstract symbolic format like other formal systems such as mathematics, or as a fully distinct domain of knowledge? To address this question, we monitored the brain activity of professional logicians and matched controls while they evaluated the truth of spoken statements of pure logic, and compared these activations to those elicited by language and mental arithmetic. We show that pure logic recruits left-lateralized brain circuits that are completely distinct from those involved in language processing. Those circuits only partially overlap with those involved in mathematics. These findings highlight an independent neural pathway for abstract thought and indicate that the brain's capacity to process structured rules of formal systems is implemented beyond language and at the boundaries with mathematics.