Abstract Objects and Existence

Core Idea

Do abstract objects like numbers, properties, and propositions genuinely exist? Platonists affirm abstract objects' existence; nominalists deny it. This debate has profound implications for metaphysics: what objects must our theory acknowledge, and how do abstract objects relate to the physical world?

Explainer

From your study of Platonism about abstract objects, you already know the core Platonic picture: numbers, geometric forms, and properties exist independently of minds and matter, in a non-spatiotemporal realm that we access through reason rather than perception. Now the question deepens: what kind of existence do these objects have, and is that existence compatible with what we know about the physical world? The debate between Platonism and nominalism is at its heart a debate about the ontological commitments we must accept to make sense of mathematics, language, and thought.

The standard argument for abstract objects comes from mathematics and logic. When we say "the number seven is prime," we appear to be saying something true — and true in a way that doesn't depend on anyone's beliefs, on any physical object, or on any linguistic convention. The number seven would be prime even if no one had ever thought about it. This suggests that mathematical objects have mind-independent existence. The indispensability argument (Quine and Putnam) sharpens this: our best scientific theories quantify over mathematical objects, and if we believe our best theories are true, we must believe in the entities they quantify over. Abstract objects come in with mathematics.

The nominalist pushes back on multiple fronts. First, she questions whether we need to take mathematical quantification literally — perhaps "the number seven is prime" is true in a way that doesn't require an entity called "seven" to exist in any robust sense. Fictionalism treats mathematical statements as true within a fiction, like statements about Sherlock Holmes. Modal structuralism rephrases mathematical claims as claims about what structures would exist if certain axioms held. Nominalism via tropes replaces abstract universal properties with concrete particular property-instances, eliminating one class of abstract objects. Each strategy tries to preserve the utility of mathematical and logical vocabulary without the ontological overhead.

The most pointed challenge for Platonism is the epistemological problem: if abstract objects are non-spatial, non-temporal, and causally inert, how do we come to know anything about them? Our cognitive faculties evolved to track physical environments — perception, memory, and inference are all causally mediated. But causal mediation requires causal contact, which abstract objects by definition cannot provide. The Platonist must either posit a special faculty of rational intuition, explain mathematical knowledge as non-perceptual but still reliable, or revise the standard causal theory of knowledge. Each option has costs.

From your optional prerequisite on ZFC set theory, you can see this debate playing out in foundations of mathematics: ZFC's axioms assert the existence of sets that are paradigmatically abstract — yet every working mathematician relies on them. Whether those sets are real objects, useful fictions, or structural posits is a question your foundations training makes precise. The abstract objects debate is not mere wordplay; it determines what kind of things our best theories are actually claiming the world contains, and whether that picture is coherent.