Do Numbers Exist?

According to your disposition, you might have an immediate gut reaction to this question. My initial reaction (oh so long ago) was: “Of course numbers don’t exist. You can’t pick up the number 3 and throw it through a window.” That is, my intuition was that the only things that exist are the kinds of things that can be physically manipulated, and numbers, by almost every account, just aren’t this kind of thing.

To be clear about our terms, you can pick up numerals — that is, you can pick up concrete instances of numbers, like the plastic number signs at the gas station telling you how much gas costs, or the printed numerals in a book, denoting page numbers. But you don’t, by virtue of tearing out page three of a book and tossing it out a window, throw the number 3 out the window, any more than you throw me out of a window by drawing a picture of me and throwing that out the window.

Numbers, if they exist, are generally what philosophers call abstract objects, and those who maintain that such things exist claim that they exist outside of space and time. If you’re like me, you shake your head at such talk. “Outside of space and time? What does that even mean? Gibberish!” If you are similarly disposed, you might be a nominalist (in case you’re accumulating self-descriptive philosophical terms), and you are part of a long, proud philosophical tradition that thinks that existence is the exclusive domain of the physical.

However, your nominalism begins to run into problems pretty quickly. Never mind numbers. What about things like, say, novels? What exactly is the novel The Catcher in the Rye? It’s not any of the particular instantiations of it — it’s not the copy on your bookshelf; it’s not the copy on mine. All of the print copies on the planet could be eradicated and still the novel could be able to be said to exist. Is the novel the original manuscript sitting in a safe somewhere? But that could be burned and you could still argue that the novel exists. But if the novel itself is not identified with any of its particular instantiations, then the nominalist is in a bit of a quandary. On this perspective, the copies of the novel are instantiations of the novel itself, and the novel itself is seeming to be something abstract — something non-physical.

So the idea of something somehow existing outside space and time is suddenly not as absurd as it may have seemed. What about numbers, then? Of course there are disanalogies between numbers and novels. Novels are invented by humans, while, on most views of the subject, numbers exist whether or not humans ever happened to discover them. But, putting such differences aside for the moment, perhaps the existence of novels as abstract objects gives us some traction to say that numbers exist as abstract objects.

Abstract objects

What other sorts of things could be included in the category of abstract objects? The funny thing is that in many seminal texts on the subject, one has to plumb deep to find mention of what would count as an abstract object. Mathematical objects generally top the list (numbers, points, lines, triangles, etc.), followed by things like chess moves, games in general, pieces of music, and propositions. How are these things abstract? We generally think of a chess move, for instance, as something that exists by virtue of a concrete chess player actually moving a concrete chess piece in accordance with the rules of the game (which could themselves be considered abstract, but never mind this for the moment). But that seemingly concrete move can be instantiated in so many concrete ways — you could be replicating someone else’s game on your own chess board, you could make the move on a hundred different boards all at (nearly) the same time, you could make the move in your head before you make it on the board,… and all of these concrete possibilities point to the metaphysical problem here: If you believe there is only one move, and it’s concrete, then which move is the one move? And then what are the other moves? Copies of the move? Or instantiations of the same move? If you believe in abstract objects, you have, on some takes, an easier time of it. The move itself is an abstract object, and every physical version of that move is a concrete instantiation of that move. That is, none of the concrete, physical moves are actually the move — there is only one move and it is abstract, and any physical move is a copy, like a sculpture of a real person. (You can have a thousand sculptures of a person, but there’s only one person. The sculptures are imitations or instantiations of the person.)

This perspective is (loosely) called platonism, named after Plato’s idea that there are ideal “forms” — perfect archetypes of which objects in the real world are imperfect copies.

Why would these ideal forms not exist in space-time? I.e., why would they have to be abstract? Well, objects in space-time (the real world) are all imperfect copies of something. So if an ideal form existed in, say, your living room, then it would be non-ideal by virtue of existing in your living room. To put it perhaps less question-beggingly, if, say a chess move were instantiated in a thousand ways, how would you pick out the ideal version from which all others were copied? All of the instantiations would have similar properties, and so no one instantiation would stand out as different enough to count as the move, the platonic form of that move. Therefore, it makes sense to posit an abstract version of the move — something perfect, and outside of space-time, from which all the worldly versions are copied.

Thinking about geometric objects is perhaps the clearest way to think about abstract objects. A line segment (a true, geometric line segment) is a perfectly straight, one-dimensional object with a determinate length. There are no such objects in space-time. Every object you could possibly interact with is three-dimensional — no matter how thin a piece of, say, plastic you create, it always has a height and a thickness, giving it three dimensions. Nothing, therefore, in the concrete world, is a real geometric line segment. We have things that approximate line segments — very straight, very thin objects. But none of those things will ever be perfectly straight and with zero thickness. So if there does, somehow, exist a true line segment, it certainly isn’t in the concrete world, and therefore it must be in some sort of abstract realm.

Knowledge of abstract objects

One of the most damning aspects of platonism is its failure to come to terms with how we learn things about abstract objects. The general picture of how we acquire knowledge goes something like this: We perceive an object in the physical world, via physical means (e.g., light bounces off the physical object and hits our eyes), and eventually we process such perceptions in our brains and work with mental representations — i.e., brain states — of the object in question. But an abstract object can’t be processed like this. It is non-physical, and so, e.g., light can’t reflect off of it. So our usual causal theory of knowledge acquisition fails for things like numbers.

Well, then, how is it that we come across any knowledge of abstract objects, if they indeed exist? Some mathematical platonists, like the venerable logician Kurt Gödel, resorted to the idea that we just know truths about mathematical abstracta. As he wrote:

But, despite their remoteness from sense experience, we do have a perception also of the objects of set theory, as is seen from the fact that the axioms force themselves upon us as being true. I don’t see why we should have less confidence in this kind of perception, i.e., in mathematical intuition, than in sense perception…

But this is clearly an unacceptable answer to the problem of knowledge of abstract objects. How exactly do the axioms of set theory force themselves upon us? Waving your hands and saying “they just do” isn’t an account of the process, and leaves us in the dark as to how they just do, which is precisely what we need before we can take the platonist seriously as an epistemologist. (One need merely look at the history of geometry to see one serious problem with seeing the “obvious” truth of axioms. Until Lobachevsky and Riemann came along with consistent non-Euclidean geometries, nearly everyone though that Euclid’s fifth postulate “forced itself upon us”.) How does some feature of a non-spatiotemporal object force itself upon our spatiotemporal brains? The only way would be somewhat magical, and you could look to Descartes to see the folly of such a plan. Descartes posited that minds are distinct substances from brains, and indeed were non-spatiotemporally located. Of course, this leaves the problem of how the mind somehow slips into the brain and affects it. Descartes’ answer was that it crept in through the pineal gland. But this is no answer; it merely delays the answer for a moment. How does the non-spatiotemporal mind creep in through the pineal gland, and then into the brain? Descartes had no answer for this, of course, because the whole thing would be terribly mysterious, explaining how the non-physical interacts with the physical.

Worries like this keep nominalists well-motivated to stay on their side of the debate.

The argument from indispensability

Even if you’re dead-set against granting the existence of numbers, you think platonism is absurd, you have challenged platonism’s picture of knowledge, and you somehow have all of your nominalist ducks in a row, there is still one very influential argument to contend with as regards numbers’ existence: The argument from indispensability. Hardcore nominalists are often quite scientifically-minded, scientifically-motivated philosophers. And it is this love of science that gets them into trouble with denying the existence of numbers. The argument runs, in broad strokes, like this:

  1. Science is the best arbiter of what exists.
  2. Therefore, if science says something exists, we should accept it.
  3. Science relies (heavily and intractably) on mathematics.
  4. Therefore, science says that numbers exist.
  5. Therefore, numbers exist.

If you’re a good nominalist, you’re more than likely feeling obliged to accept this argument as sound. But if you accept its conclusion, then you’re right back to the issue of explaining what numbers are. They can’t be physical objects, therefore they must be abstract. But, as a nominalist you claim that there are no abstract objects! And you are caught in an intractable dilemma.

Many nominalists give up at this point. Hilary Putnam wrote resignedly:

Quantification over mathematical entities is indispensable for science…; but this commits us to accepting the existence of the mathematical entities in question. This type of argument stems, of course, from Quine, who has for years stressed both the indispensability of quantification over mathematical entities and the intellectual dishonesty of denying the existence of what one daily presupposes.

The talk of “quantification” is a bit of logic talk, but we can paraphrase it into regular English: “If science uses numbers, then science is committed to the existence of numbers.” You might see a glimmer of nominalist hope here. Science also uses frictionless planes, for example, and yet no scientist feels committed to the existence of those. Perhaps there is a way out of our commitment to numbers in the same way. Or perhaps, one might argue, frictionless planes actually do exist as platonic, abstract objects.

But there are two more “obvious” ways to be a nominalist about mathematics.

First, you could argue that numbers exist, and are actually physical objects. Penelope Maddy argues something close to this in her early work, Realism in Mathematics. She actually is here arguing for a version of naturalized platonism — the idea being that what is usually thought of as abstract objects are actually somehow existent in the physical world. But, platonist labels aside, the gain for nominalism on this take would be obvious: numbers, if they are physical objects, would be just another part of the down-to-earth nominalist physical world, like cats, trees, and quarks. This brave strategy, however, ultimately fails. It would take us into some metaphysical thickets to explain why, so I have relegated this to a paragraph at the very end of this post.

Second, you could argue that numbers aren’t actually indispensable to science. Hartry Field famously tried this strategy, claiming that science in fact only seems to rely on mathematics. On Field’s view, this seeming reliance is really just a fiction. In order to prove this Field attempted to nominalize a chunk of physics, by removing all reference to numbers within it. This complicated, counterintuitive project has met with equal parts awe and criticism. The consensus is that his project is untenable in the long term.

So do numbers exist or not?

Well, if you’re a platonist, you would answer “yes, numbers exist”. And further you would claim that they possess a sort of existence that is abstract — different from the sort of existence that stones, trees, and quarks enjoy. Of course, this means you are in the unenviable position of explaining the coherence of this sort of existence, along with the herculean task of explaining how we know about anything in this abstract, non-physical realm.

If you’re a nominalist, you’d probably answer “no, numbers do not exist”. However, now you have the unenviable job of explaining why mathematics seems so indispensable to science, while science is perhaps our best tool for saying which things exist. The two best nominalist answers to this conundrum seem untenable.

Probably, as is usually the case in philosophy, dogmatically sticking to one side of a two-sided debate will be inadequate. Maddy’s attempt at naturalizing platonism was a brave bridge across the nominalist-platonist divide, but clearly isn’t the right bridge. We’ll examine some other options in a future post.


References and Further Reading

Balaguer, Mark. (1998) Platonism and Anti-platonism in Mathematics. Oxford: Oxford University Press.

Benacerraf, Paul. (1973) “Mathematical Truth”, Journal of Philosophy 70.

Colyvan, Mark. (2001) The Indispensability of Mathematics. Oxford: Oxford University Press.

Irvine, A.D. (1990) Editor. Physicalism in Mathematics. Dordrecht: Kluwer.

Lowe, E. & Zalta, E. (1995) ā€œNaturalized Platonism Versus Platonized Naturalism,ā€ Journal of Philosophy 92.

Maddy, Penelope. (1992) Realism in Mathematics. Oxford: Clarendon Press. Revised paperback edition.


A note on Maddy’s naturalized platonism

Maddy actually thinks that we perceive sets. Number theory, as many logicians are proud to point out, can be reduced to set theory — i.e., numbers can be reduced to sets, which are, of course, generally seen as just another sort of abstract object. Maddy’s move is to bring those sets into the natural world. So that when we see an egg, we are perceiving that egg, but are also perceiving the set containing that egg. (A set containing an object is different from the object itself, you may recall from your math studies.) And that set containing the egg is a natural object, different from the egg itself. But now we run into trouble. Certainly there must be something different between an egg and a set containing that egg; otherwise ‘set containing that egg’ is just a proper name denoting the egg in question, and nothing metaphysical hangs on the distinction. (If you call me “Alec” or “author of this post”, you are not positing the existence of two people — these are just two different names for the same person.) Well, the usual distinguishing feature of abstracta is that they are not spatiotemporally located; but on Maddy’s scheme sets are spatial objects. The problem: Our egg and the set containing it necessarily co-exist in the same exact region of space-time, and yet they are supposed to be different things. In what does this difference consist? Well, certainly nothing physical, otherwise they wouldn’t co-exist in the exact same region of space-time. But then the difference must be something non-physical — i.e., something about the set must be abstract. And if this is the case, then we’re right back to all of the problems inherent in platonism, particularly the problem of how we can have any knowledge of such abstracta.

The Mostly German Philosophers Love Song

Identity and the Ship of Theseus

The Ship of Theseus is a great example of identity, though it does not work for everyone when it comes to personal identity, or the identity of people. Here is the basic idea. A guy named Theseus has a phenomenal ship that everyone wants, but he is not selling for any amount. However, one day, a merchant from a distant land offers Theseus an enormous sum to build an identical ship. The merchant wants the exact same sort of timbers from the same forest, the same nails from, uh, wherever the hell nails come from, the same sail material from the same cotton plants, and so on. If there is a plank of wood that has a knothole in it, the merchant wants an identical knothole in the same place on the duplicate ship. Sounds crazy, right? Well, most rich people are crazy. Theseus agrees and loads his ship with everything he needs to build a duplicate ship and then sets sail. He is only out of port for a couple of hours when one of the planks on his ship warps slightly and allows water into the ship. Theseus could return home and patch it, but he would just as soon get to the merchant, build the duplicate ship and then roll around on his big pile of money. With that in mind, he takes the corresponding piece, its identical counterpart, from the supplies and swaps the two planks out. (If you like, he makes a note of this switch, but his honesty does not matter for how the example works). As the journey continues, he needs to swap out more pieces: sail is torn, carpet is frayed, he needs a new wi-fi router, and so on. For ease of talking points, let’s make the following supposition: Once Theseus is 1/4 through his journey, he has 75% original parts and 25% new parts; at the 1/2 part, he has 50% original parts and 50% new parts; at the 3/4 mark, he has 25% original parts and 75% new parts; and finally, at the end of the journey, he has 0% original parts and 100% new parts.

Here’s the question: is the ship at the end of the voyage the same as the ship at the beginning of the journey? There are only two answers: yes, and no. A bunch of you are going to, somehow, try to wriggle more than that out of the situation, and your insane hearts are in the right place, but that will not make the insanity any less prevalent. Most of you are going to think the ship is not the same, so let’s talk about that first.

If the ship is different (and why wouldn’t be, you are collectively screaming), then when did it become different? At one point on the journey can we point at and say, “There! Did you see that? A different ship!” Here the answers are not so clear, but are not too difficult to lump together. Most people are in one of three categories: a) the very first change; b) right at or after the 50% mark; and c) the final change or replacement of parts. My question to all three groups is basically the same: why there? Why did you pick the percentage mark or the piece that you did?

The ship becomes a different ship at the very first change. This makes sense, I think, until you think about it and whether it makes sense. Suppose the very first change is a nail and not a piece of wood, does that matter? It shouldn’t. The percentage difference between a nail and a plank when the ship is taken as a whole is virtually negligible. What if a bird crapped on the ship? That is a change, but does it make for a different ship?

Of course, not. Bird crap is an extraneous feature of the ship, but is not integral to the identity of the ship itself “Integral”? Very impressive term! So if the ship loses a nail (one pops free), and that nail is not replaced, does that make for a different ship, Mr. Integral? Perhaps the nail was not an integral part, but then what is? If the sail is replaced, does that matter? What if only the hull is replaced? See, the problem is trying to figure out which parts are integral.

We often think of integral parts as though which cannot be taken away and the object still be whatever the hell it is. That can be due to reasons of either identity or function. If we take away the sail of the ship, it still floats and can haul freight (though it takes much longer), and I suspect none of us would have any issue with calling it the same ship. Is the same true if we took away only the hull? Not only would it look the same, but it is not going to float or hold any freight. So far, all of that is fairly intuitive. Let’s take away just the nails. The ship would probably fall apart very quickly, but until it does, is it the same ship? It looks that way and, at least for the moment, it functions in the same way.

Function As Identity
An issue with identity as function is this: Suppose we identify one another by function. First, how the hell do we ever figure out what our function is? If we are using it to fix identity, it cannot be something general like ‘reproduction’ or ‘making money’, because then how would we differentiate between individuals who are doing both or either? Let’s say that we resolve that issue, though, and fix your identity as ‘runner’ because that is what you do when you get any free time, or you are a competing runner or whatever. Dammit, just accept this as your function. Now, suppose you are hurt and can no longer use your legs, and so can no longer run. You can no longer perform the running function — what does that do to your identity? Is it gone? Is it changed?

More than half of the ship must change for the ship to be different: If one little change, even an little integral one, does not make for a different object, then what about a change of 51%? Again, the same questions can be asked: does it matter at all what that extra 1% change is?

Every single piece must change for the ship to be different: I won’t be petty and go rehash the above paragraph again (though I could, because it works). Let’s instead agree that the identity does not change until the last piece is swapped out. Does that make the last piece integral then? What if it is a nail instead of a plank? What if it is a stitch in the sail instead of a nail? Suppose we take that last piece out but do not replace it? 99% of the ship has been changed and the last one percent is just taken away, what does that mean for its identity? Yeah. I know.

Fine, then — the ship does not change. It is the same at the beginning as it is at the end. I can see, now, why you might think that. And everyone who originally thought it are now crowing to the moon about their daringly correct choice. Let’s suppose we now take all of the original parts and put them back together. It would be a fairly crappy ship, but why would that not be the original ship? Yeah. I know.

What you think about the Ship of Theseus might indicate what you think about identity for people. We will see as we continue on this topic in later (though soon upcoming) posts.