Mathematical Structuralism

Mathematical structuralism is the position that mathematics is the science of structure — that mathematical objects have no intrinsic nature beyond their place in a system of relations. The number 2 is not a thing with independent existence; it is whatever plays the role of "successor of 1" in a system satisfying the Peano axioms. The content of a mathematical claim is exhausted by the structural relations it describes.

Structuralism sidesteps the epistemological problem facing Mathematical Platonism: if there are no independently existing mathematical objects, there is no mystery about how we come to know them. What we know when we do mathematics is not a realm of abstract objects but a pattern — a structure that can be instantiated in multiple ways, including physically. The objection structuralism has not convincingly answered is the Benacerraf problem: what makes two structures "the same structure"? The answer requires either abstract structure-types (which reintroduces Platonism) or a deflationary account of identity that many find too weak.

The structural approach connects naturally to category theory, which studies mathematical objects entirely through their morphisms — the structure-preserving maps between them — rather than their internal composition. Whether category theory vindicates structuralism or merely shifts the ontological question one level up is contested in philosophy of mathematics.