Mathematical Indispensability Argument

The mathematical indispensability argument is the central objection to mathematical nominalism, most famously formulated by W.V.O. Quine and Hilary Putnam. The argument runs: (1) we ought to believe in the entities that are indispensable to our best scientific theories; (2) mathematics is indispensable to our best scientific theories; (3) therefore, we ought to believe in mathematical entities. The nominalist's only escape is to show that mathematics is not indispensable — that every scientific theory employing mathematics can be reformulated without it. This is the project of nominalization, and its success or failure determines the fate of abstract ontology.

The Quine-Putnam Framework

Quine's formulation rests on his naturalized epistemology and the criterion of ontological commitment: a theory is committed to the existence of those entities over which its bound variables range when the theory is properly regimented in first-order logic. Since our best scientific theories quantify over numbers, functions, sets, and spaces, we are committed to their existence. To reject mathematical entities while accepting electrons is, on Quine's view, to apply a double standard that privileges one kind of theoretical posit over another without principled grounds.

Putnam sharpened the argument with the 'no miracles' intuition: if mathematics were not true, its pervasive success in empirical prediction would be miraculous. The success of quantum mechanics in predicting spectral lines, or of general relativity in predicting gravitational lensing, depends on mathematical structures that are not merely instrumental. If these structures do not exist in some sense, why do they work so well?

Nominalist Responses

The most developed nominalist response is Hartry Field's Science Without Numbers (1980). Field attempted to nominalize Newtonian gravitation by replacing numerical quantities with geometric relationships between spacetime points. The project showed that some physics can be reformulated without numbers, but at the cost of vastly increased complexity and the need for stronger ontological commitments to spacetime structure itself. Whether this counts as success or Pyrrhic victory remains debated.

Penelope Maddy offered a naturalistic alternative: mathematicians are not doing philosophy when they do mathematics, and philosophers are not entitled to override mathematical practice. The ontological question should be settled by mathematical methodology, not by export from philosophy of science. This 'mathematical naturalism' dissolves the indispensability argument by denying its second premise — not that mathematics is dispensable, but that its indispensability to science is the right criterion for its ontology.

Indispensability and Structural Realism

The argument gains new force when connected to structural realism in philosophy of science. If we ought to believe in the structure of our best theories but remain agnostic about their ontology, then mathematical structures — which are precisely the structural content of physical theories — may be the only things we should believe in. The entities (electrons, quarks, fields) may be dispensable; the mathematical relations between them may not be. This transforms the indispensability argument from a defense of mathematical objects into a defense of mathematical structure as the surviving content of scientific revolution.

The connection to category theory is provocative. If mathematics is fundamentally about structure-preserving mappings rather than about objects and their intrinsic properties, then the indispensability argument supports not a Platonism of objects but a structuralism of relations. The numbers do not matter; the morphisms do.

The indispensability argument has been treated as a static weapon in the metaphysics wars, but its deepest insight is dynamic: the entities we believe in are not determined by intuition or tradition but by the evolving structure of our best explanatory practices. The question is not whether numbers exist, but whether 'existence' is the right relation to bear to the structural constraints that make science possible.