Do Numbers Exist in a Heavenly Place, or Only in Our Minds?
What Is 3?
You’re sitting in class. The teacher asks: “Is 3 a prime number?” You know it is. But here’s a stranger puzzle: what exactly is 3? Not the numeral “3” written on the board, but the number itself. Is it a real thing, like the chair you’re sitting on, or just a useful idea inside your head?
According to a view called platonism, the number 3 is a real object — but it’s not made of atoms, it doesn’t exist anywhere in space or time, and it can’t push, pull, or cause anything to happen. Platonists call it an abstract object: something that’s non-physical, non-mental, non-spatial, and non-causal. Platonists say the same about many other things. The property of redness, for example: every red apple and red fire truck shares this one property, but that property itself doesn’t live in any particular place or moment. Even the thought “snow is white” — the idea itself, not just the English or German words for it — can be treated as an abstract object called a proposition.
So platonism is the belief that a whole invisible realm of such things exists, independent of us. But are there good reasons to believe that, or is this realm just a philosopher’s daydream?
The Two Big Camps: Platonists and Nominalists
The central argument isn’t just about numbers — it’s about whether anything non-physical and non-mental can exist. On one side, platonists say yes. On the other, nominalists say no: there are no such things. (Nominalism is also called anti-realism about abstract objects.)
Most philosophers today agree that if numbers exist, they must be abstract. That’s because numbers clearly aren’t physical — no one has ever bumped into a number on the street — and they don’t seem to be private ideas in anyone’s head, because mathematical truths hold even when nobody is thinking about them. So the whole debate comes down to a single question: are there any abstract objects at all?
The philosopher Gottlob Frege (1848–1925) crafted a powerful argument that tries to force us to say yes, simply by looking at the way we speak.
The “Face-Value” Argument: Why Some Think Numbers Must Exist
Frege’s reasoning goes like this. (1) The sentence “3 is prime” is true — you know it is. (2) That sentence is a straightforward claim about an object: it has the same logical shape as “The moon is round,” with “3” acting as a name for a specific thing. (3) If a sentence of the form “a is F” is literally true, then the object named by a must really exist. So (4) the number 3 exists. Since 3 isn’t physical and isn’t a thought in anyone’s mind, (5) it’s an abstract object, and platonism wins.
This face-value argument (or ontological-commitment argument) puts nominalists in a tight spot. They have three main escape routes. One is to become fictionalists: they accept that “3 is prime” pretends to talk about an abstract object, but because no such object exists, the sentence is, strictly speaking, false — just like “Sherlock Holmes lives on Baker Street” is literally false. Yet fictionalists add that such sentences are still “true-in-the-story-of-mathematics,” or useful in daily life. Another escape is to offer paraphrases: we might say that “3 is prime” really just means “If numbers existed, 3 would be prime,” or that it’s a disguised claim about piles of physical things. The third, more radical route is to reject the whole idea that true sentences force us to accept objects, by redefining what “true” means — a move called thin-truth-ism that most thinkers find bewildering.
None of these escapes is obviously comfortable. That’s why the face-value argument feels so strong to many philosophers: it starts with ordinary math that nobody wants to discard, and it seems to drag abstract objects along with it.
The Knowledge Problem: If Numbers Are Invisible, How Do We Know About Them?
Even if platonism looks tempting, it faces a deep challenge. Human beings are physical creatures living inside space and time. If abstract objects exist completely outside space and time — like a “heaven” that has no location — how could we possibly know anything about them? We can look at a rock and learn about it because light bounces off the rock into our eyes. But there’s no causal bridge between us and an object that can’t cause anything. This is called the epistemological argument against platonism, and it was sharpened in modern times by Paul Benacerraf (b. 1931).
Platonists have tried several replies. Some, like Kurt Gödel (1906–1978), suggested the human mind has a special mathematical intuition, almost like a sixth sense that can “see” abstract objects. That idea is widely seen as too mysterious — it just replaces one puzzle with another. Another response says we don’t need contact because mathematical truths are necessary: it’s not a piece of luck that 2+2=4, and perhaps knowing necessary truths works differently from learning about rocks. Yet critics worry that this still doesn’t explain how we gain reliable knowledge. A bolder fix, called plenitudinous platonism, says that any mathematically possible object actually exists. If that’s true, then merely writing down a consistent mathematical story guarantees that it describes a real abstract realm. That would solve the access problem — but only if we can first know that plenitudinous platonism itself is true, which may just shuffle the mystery around.
The knowledge problem remains the sharpest weapon nominalists have. It’s why many philosophers believe that, despite the face-value argument, platonism demands a huge leap of faith.
Why It Still Matters: From Sherlock Holmes to Your Math Test
You don’t need to become a platonist or a nominalist to see why this fight matters. Every time you solve an equation or say “Sherlock Holmes is a detective,” you’re dancing near the same puzzle. When people claim that “Sherlock Holmes exists as a fictional character,” some philosophers treat that character as an abstract object, an entity that we can talk about truthfully even though it has never walked the Earth. If abstract objects are a cheat, then maybe such sentences are false or just a shorthand for “in the stories, Holmes is a detective.” So the platonism debate spills into how seriously we take literature, myth, and even the rules of games.
And even if you never worry about Holmes, the question clings to the back of every math class: when we say that 2+2=4, are we discovering an eternal fact about a real, invisible land, or did we humans simply invent a game with agreed‑upon rules? The answer may not change the numbers on your test paper, but it shapes how you understand what truth, knowledge, and reality itself are made of. For over two thousand years, sharp minds have lined up on both sides. No one has yet found an answer that makes everybody happy — and that’s exactly what makes the problem so alive.
Think about it
- If you decided that numbers don’t really exist but are just a human invention, would you still trust that 2+2=4 works perfectly? Why or why not?
- Could a character like Harry Potter be considered a real abstract object in the same way a platonist thinks the number 3 is real? What similarities or differences matter most?
- If we could never prove whether abstract objects exist, does it make any practical difference whether we believe in them or not?
