Proof of an External World
Proof of an External World
Kant famously (and ruefully) remarked that it was a scandal of philosophy that it has been unable to come up with a proof of the external world. He was right: it is a matter of some embarrassment that philosophy should be unable to prove something so obvious, so commonsensical. What good is philosophy if it can’t even prove something that elementary? The proof need not be simple or obvious (that also would be to the detriment of philosophy as an interesting enterprise); it could be intricate and convoluted, with spots of uncertainty. I am going to offer such a proof: it has a Kantian ring, but is not to my knowledge to be found in Kant (or anywhere else). This should remove the scandal and prove the worth of the discipline of philosophy. It should also be personally satisfying (I myself feel a great sense of relief).
Let’s start with a simple thought, which will point us in the right direction. Suppose the skeptic says that our perceived world might be pure projection—a figment of the human imagination, corresponding to no further reality. After all, we already agree that much of it is projection—as with the perception of color and other secondary qualities. Why not all—why shouldn’t primary qualities also be subjective projections? We might think there is an obvious reply to this: projections need a screen onto which to project, which is not itself a projection. Thus, material objects in space provide the screen onto which colors (etc.) are projected; they are the equivalent of the movie screen that pre-exists the pattern of light thrown onto it. So, the perceived world can’t all be projected image; it must include a non-mental background. If so, we have a proof of the external world: it follows from the fact of subjective projection that something other than projection must exist, viz. material objects in space. But, of course, the skeptic will not be deterred by this simple-minded maneuver: he will suggest that the alleged non-mental screen is really just a virtual world, an imaginary world, a fictional world. So-called objects in space are non-existent objects, or may be for all we know. It only seems to us as if such objects exist; they might all be non-existent intentional objects, like objects in dreams or works of fiction or hallucinations. It is that hypothesis that needs to be disproved in order to prove that there is an external world. For example, there is an appearance of a square object in my visual field, but this could be a non-existent square object not one that really inhabits objective space. How can we rule this possibility out? I could be dreaming of a square object in front of me, this object being a mere figment of my imagination.
Here is the problem with this alternative skeptical hypothesis: we normally think there is a definite number of things that fall under a perceived (or conceived) attribute, but this will not be so if its extension consists only of non-existent objects. If lions and square things exist, then there is a definite number of them, known or unknown; but if they don’t exist, then there is no definite number of them. The point is familiar: there is no definite number of moles on Hamlet’s back or unicorns or angels or fairies. Such things are numerically indeterminate. But we normally think that ordinary objects of perception come in definite quantities, so they can’t just be non-existent entities. It follows from the fact of numerical determinacy that the objects of perception are not non-existent. Indeed, it is their existence in space that accounts for their numerical determinacy, since material objects are individuated by their location in space. Since non-existent objects do not exist in space, they can have no spatial principle of individuation that underpins their numerical determinacy. So, the skeptical hypothesis can be ruled out and our normal conception accepted. However, the skeptic is not beaten yet: why not say that there is no definite number of square things or lions since they are non-existent intentional objects? Why not bite the bullet and accept that consequence?
First, we should note that even if we do bite the bullet, we are still accepting that there are non-mental objects, because non-existent square things are not mental entities, any more than existent square things are (same for lions). We can quantify over them and they are not mental, so we have still proved that there are non-mental things (that don’t exist). But second, it is not so easy to give up on the numerical determinacy of attribute extensions: for attributes like these (sortal attributes) provide principles of counting, criteria of individuation, and these will generate assignments of cardinality. It is easy to miss this when an attribute applies to both existent and non-existent objects, but what sense does it make to suppose that an attribute that applies to pluralities of objects applies to no definite plurality of objects? If we claim that the attribute lioncorresponds to no definite number of lions, how can it be said to distinguish one lion from another? Not in virtue of position in space, to be sure, because non-existent lions don’t exist in (real) space. We lose the idea of a totality of individual lions standing in spatial relations to each other and adding up to a specific number of lions. That idea requires existence; it can’t survive in the realm of non-existence. The notion of non-existent lions is parasitic on that of existent lions, but then we are back with the external world as naively conceived. A fictionalist about minds (a mental eliminativist) has a problem about the individuation of minds—how many non-existent fictional minds are there?—and a fictionalist about bodies has the same problem about theirquantity. There really must be a definite number of minds and bodies for those concepts to have any intelligible content, but that idea goes out the window once we give up on existence altogether. Even the concepts of identity and difference begin to wobble when we enter the land of the non-existent (when are non-existent gods identical and when different?).
The attitude of sophisticated common sense is that we perceive a world of objects laid out in space, numerically distinct from each other, and forming totalities of specific cardinality. The skeptic tries to convince us that what we perceive are just non-existent intentional objects, but this involves abandoning the idea that we have concepts with definite cardinalities attached to them; and that is not a possible position, given the nature of our concepts (and associated attributes). Thus, an external world exists. The essential move in this proof is the observation that non-existence can provide no grounds for determining the number of things falling into the extension of a concept; only existence in space (in the case of material objects) can provide a basis for this determination. Things that don’t exist are not really countable in the way we normally (and rightly) take objects to be. Countability implies objectivity.[1]
[1] The proof here offered comes at the problem from a surprising direction. I think this is what we should expect, since no obviousmethod of proof has succeeded in removing the scandal. It would be surprising if the proof were not surprising.
