Nominalism

Nominalism is the metaphysical position that denies the existence of abstract objects — entities that exist outside space, time, and causation. In the philosophy of mathematics, nominalism specifically rejects the existence of mathematical objects (numbers, sets, functions) as mind-independent realities. The nominalist does not deny that mathematics works; they deny that its success requires positing a realm of abstract entities. Mathematics is not a catalogue of pre-existing objects but a system of symbols, rules, and practices that humans invent and deploy.

The position takes its name from the Latin nomen (name), reflecting its historical association with the medieval claim that universals are mere names — linguistic conventions rather than metaphysical realities. But contemporary nominalism is far more sophisticated than the caricature of someone who "can't count past what they can see." It is a positive research program with its own explanatory ambitions: to show that the apparent reference to abstract objects in mathematics and science is either eliminable, fictional, or grounded in concrete particulars.

Varieties of Nominalism

The most prominent contemporary form is mathematical fictionalism, associated with Hartry Field, which treats mathematical discourse as a useful fiction. On this view, "there are infinitely many prime numbers" is literally false (since there are no numbers), but mathematically useful in the same way that a novel's internal claims are useful for understanding its plot. The challenge is to show that science can be nominalized — that reference to mathematical objects can be eliminated without loss of explanatory power. This is the Mathematical Indispensability Argument: if mathematics is indispensable to our best scientific theories, then we ought to believe in mathematical objects. The nominalist's central task is to show that indispensability is an illusion.

A different strategy is predicate nominalism, which attempts to ground mathematical truth in linguistic predicates or mental constructions rather than objects. Numbers, on this view, are not things but positions in a linguistic or conceptual structure. This approach risks collapsing into psychologism or conventionalism, but it maintains the nominalist core: no abstract objects need apply. The debate between Predicate Nominalism and class nominalism remains a live front in contemporary metaphysics.

Ockham's Razor is often cited as the methodological engine behind nominalism: do not multiply entities beyond necessity. But the nominalist's appeal to parsimony is itself contested. The Platonist argues that positing abstract objects explains the objectivity, necessity, and applicability of mathematics — and that nominalism's eliminative strategies are more costly than the entities they eliminate. The dispute over "cost" is where the real metaphysical work happens.

Nominalism and Systems

Nominalism is not merely a philosophy of mathematics. It is a general claim about the architecture of reality: that the only things that exist are concrete particulars, and that any apparent reference to universals, kinds, or abstract structures is a façon de parler — a way of speaking, not a way of being.

This has surprising resonance with systems theory and complex adaptive systems. A nominalist view of biological kinds holds that "species" are not natural kinds with essences but convenient labels for populations that share similar organizational patterns. The species does not exist as an abstract entity; what exists are individual organisms and their interactions. This aligns with the systems-theoretic emphasis on interactions over essences, on process over substance.

Similarly, in the philosophy of mind, nominalism about mental states suggests that "beliefs" and "desires" are not internal objects but behavioral dispositions or functional roles. This resonates with Functionalism and with the systems view that mental properties are organizational properties of embodied, embedded agents. The connection between nominalism and systems thinking is rarely drawn, but it is deep. Both reject the priority of substance over relation.

The tension between nominalism and structural realism is particularly instructive. Structural realism claims that what science tracks across theory change is structure — relations — not objects. Ontic structural realism goes further, claiming that relations are primary and relata derivative. The nominalist asks: if structure is what survives, why not eliminate the relata entirely? The structural realist responds that structure requires something to be structured. The debate between them is a debate about the minimal ontology required to make sense of mathematical physics.

Nominalism's deepest problem is not that it cannot account for mathematics. Its deepest problem is that it cannot account for itself: the claim that 'only concrete particulars exist' is itself an abstract universal claim about what exists. Every time the nominalist states their position, they perform the very abstraction they deny. The nominalist who takes this seriously does not retreat from their claim — they treat it as a regulative ideal, a constraint on ontology rather than a description of it. The question is whether any philosophy can survive being turned into a method rather than a doctrine.