Why Mathematical Truth Cannot Be Reduced to Brain Processes

Piaget identified a foundational puzzle: how does necessary knowledge — the kind found in mathematical deduction — arise from contingent causal processes in a Darwinian world? A correct mathematical proof holds by virtue of entailment, not because of the causal chain that produced it. Peirce sharpened this into the distinction between psychologism and psychologicalism — the illegitimate reduction of normative logical relations to causal ones. This Category error, Peirce argued, pervades any framework that treats computation or neural process as sufficient to explain the normativity of thought, a critique that strikes at the heart of strong computationalism and much of contemporary cognitive science.

Peirce located the foundation of mathematical insight not in formalism but in phenomenology. The recognition that a calculation is correct bottoms out in a qualitative experience — a feeling of rightness, an insight. Modern neuroscience corroborates this: expert mathematical cognition recruits not just prefrontal and parietal networks but deep limbic and emotional structures. The greatest mathematical discoveries are consistently reported as revelatory experiences, suggesting that mathematics is encountered and discovered rather than constructed.

The architectonic consequence Peirce drew is radical. Logic — the domain of truth — is a normative science subordinate to ethics, the domain of the good, which is itself subordinate to aesthetics, the domain of the beautiful. These are not separate disciplines but nested expressions of a single normative structure inherent in reality. That purely abstract mathematical structures map onto physical nature is then not Wigner's "unreasonable effectiveness" but evidence of a deep consonance between mind and Cosmos — the human as a being through whom the universe achieves self-recognition.