The Philosophy of Logical Atomism (1918)
8. EXCURSUS INTO METAPHYSICS: WHAT THERE IS I come now to the last lecture of this course, and I propose
briefly to point to a few of the morals that are to be gathered from what has gone before, in the way of suggesting the bearing of the doctrines that I have been advocating upon various prob-lems of metaphysics. I have dwelt hitherto upon what one may call philosophical grammar, and I am afraid I have had to take you through a good many very dry and dusty regions in the course of that investigation, but I think the importance of philosophical grammar is very much greater than it is generally thought to be. I think that practically all traditional metaphysics is filled with mistakes due to bad grammar, and that almost all the traditional problems of metaphysics and traditional results—
supposed results—of metaphysics are due to a failure to make the kind of distinctions in what we may call philosophical grammar with which we have been concerned in these previous lectures.
Take, as a very simple example, the philosophy of arithmetic.
If you think that 1, 2, 3, and 4, and the rest of the numbers, are in any sense entities, if you think that there are objects, having those names, in the realm of being, you have at once a very considerable apparatus for your metaphysics to deal with, and
you have offered to you a certain kind of analysis of arithmetical propositions. When you say, e.g., that 2 and 2 are 4, you suppose in that case that you are making a proposition of which the number 2 and the number 4 are constituents, and that has all sorts of consequences, all sorts of bearings upon your general metaphysical outlook. If there has been any truth in the doc-trines that we have been considering, all numbers are what I call logical fictions. Numbers are classes of classes, and classes are logical fictions, so that numbers are, as it were, fictions at two removes, fictions of fictions. Therefore you do not have, as part of the ultimate constituents of your world, these queer entities that you are inclined to call numbers. The same applies in many other directions.
One purpose that has run through all that I have said, has been the justification of analysis, i.e. the justification of logical atomism, of the view that you can get down in theory, if not in practice, to ultimate simples, out of which the world is built, and that those simples have a kind of reality not belonging to any-thing else. Simples, as I tried to explain, are of an infinite number of sorts. There are particulars and qualities and relations of various orders, a whole hierarchy of different sorts of simples, but all of them, if we were right, have in their various ways some kind of reality that does not belong to anything else. The only other sort of object you come across in the world is what we call facts, and facts are the sort of things that are asserted or denied by propositions, and are not properly entities at all in the same sense in which their constituents are. That is shown in the fact that you cannot name them. You can only deny, or assert, or consider them, but you cannot name them because they are not there to be named, although in another sense it is true that you cannot know the world unless you know the facts that make up the truths of the world; but the knowing of facts is a different sort of thing from the knowing of simples.
Another purpose which runs through all that I have been
saying is the purpose embodied in the maxim called Occam’s Razor. That maxim comes in, in practice, in this way: take some science, say physics. You have there a given body of doctrine, a set of propositions expressed in symbols—I am including words among symbols—and you think that you have reason to believe that on the whole those propositions, rightly interpreted, are fairly true, but you do not know what is the actual meaning of the symbols that you are using. The meaning they have in use would have to be explained in some pragmatic way: they have a certain kind of practical or emotional significance to you which is a datum, but the logical significance is not a datum, but a thing to be sought, and you go through, if you are analysing a science like physics, these propositions with a view to finding out what is the smallest empirical apparatus—or the smallest apparatus, not necessarily wholly empirical—out of which you can build up these propositions. What is the smallest number of simple undefined things at the start, and the smallest number of undemonstrated premisses, out of which you can define the things that need to be defined and prove the things that need to be proved? That problem, in any case that you like to take, is by no means a simple one, but on the contrary an extremely difficult one. It is one which requires a very great amount of logical technique; and the sort of thing that I have been talking about in these lectures is the preliminaries and first steps in that logical technique. You cannot possibly get at the solution of such a problem as I am talking about if you go at it in a straight-forward fashion with just the ordinary acumen that one accumu-lates in the course of reading or in the study of traditional philosophy. You do need this apparatus of symbolical logic that I have been talking about. (The description of the subject as symbolical logic is an inadequate one. I should like to describe it simply as logic, on the ground that nothing else really is logic, but that would sound so arrogant that I hesitate to do so.)
Let us consider further the example of physics for a moment.
You find, if you read the words of physicists, that they reduce matter down to certain elements—atoms, ions, corpuscles, or what not. But in any case the sort of thing that you are aiming at in the physical analysis of matter is to get down to very little bits of matter that still are just like matter in the fact that they persist through time, and that they travel about in space. They have in fact all the ordinary everyday properties of physical matter, not the matter that one has in ordinary life—they do not taste or smell or appear to the naked eye—but they have the properties that you very soon get to when you travel towards physics from ordinary life. Things of that sort, I say, are not the ultimate constituents of matter in any metaphysical sense. Those things are all of them, as I think a very little reflection shows, logical fictions in the sense that I was speaking of. At least, when I say they are, I speak somewhat too dogmatically. It is possible that there may be all these things that the physicist talks about in actual reality, but it is impossible that we should ever have any reason whatsoever for supposing that there are. That is the situ-ation that you arrive at generally in such analyses. You find that a certain thing which has been set up as a metaphysical entity can either be assumed dogmatically to be real, and then you will have no possible argument either for its reality or against its reality; or, instead of doing that, you can construct a logical fiction having the same formal properties, or rather having formally analogous formal properties to those of the supposed metaphysical entity and itself composed of empirically given things, and that logical fiction can be substituted for your supposed metaphysical entity and will fulfil all the scientific purposes that anybody can desire. With atoms and the rest it is so, with all the metaphysical entities whether of science or of metaphysics. By metaphysical entities I mean those things which are supposed to be part of the ultimate constituents of the world, but not to be the kind of thing that is ever empirically given—I do not say merely not being itself empirically given, but not
being the kind of thing that is empirically given. In the case of matter, you can start from what is empirically given, what one sees and hears and smells and so forth, all the ordinary data of sense, or you can start with some definite ordinary object, say this desk, and you can ask yourselves, “What do I mean by saying that this desk that I am looking at now is the same as the one I was looking at a week ago?” The first simple ordinary answer would be that it is the same desk, it is actually identical, there is a perfect identity of substance, or whatever you like to call it. But when that apparently simple answer is suggested, it is important to observe that you cannot have an empirical reason for such a view as that, and if you hold it, you hold it simply because you like it and for no other reason whatever. All that you really know is such facts as that what you see now, when you look at the desk, bears a very close similarity to what you saw a week ago when you looked at it. Rather more than that one fact of similarity I admit you know, or you may know. You might have paid someone to watch the desk continuously throughout the week, and might then have discovered that it was presenting appearances of the same sort all through that period, assuming that the light was kept on all through the night. In that way you could have established continuity. You have not in fact done so.
You do not in fact know that that desk has gone on looking the same all the time, but we will assume that. Now the essential point is this: What is the empirical reason that makes you call a number of appearances, appearances of the same desk? What makes you say on successive occasions, I am seeing the same desk? The first thing to notice is this, that it does not matter what is the answer, so long as you have realized that the answer con-sists in something empirical and not in a recognized meta-physical identity of substance. There is something given in experience which makes you call it the same desk, and having once grasped that fact, you can go on and say, it is that some-thing (whatever it is) that makes you call it the same desk which
shall be defined as constituting it the same desk, and there shall be no assumption of a metaphysical substance which is identical throughout. It is a little easier to the untrained mind to conceive of an identity than it is to conceive of a system of correlated particulars, hung one to another by relations of similarity and continuous change and so on. That idea is apparently more complicated, but that is what is empirically given in the real world, and substance, in the sense of something which is continuously identical in the same desk, is not given to you.
Therefore in all cases where you seem to have a continuous entity persisting through changes, what you have to do is to ask yourself what makes you consider the successive appearances as belonging to one thing. When you have found out what makes you take the view that they belong to the same thing, you will then see that that which has made you say so, is all that is certainly there in the way of unity. Anything that there may be over and above that, I shall recognize as something I cannot know. What I can know is that there are a certain series of appearances linked together, and the series of those appearances I shall define as being a desk. In that way the desk is reduced to being a logical fiction, because a series is a logical fiction. In that way all the ordinary objects of daily life are extruded from the world of what there is, and in their place as what there is you find a number of passing particulars of the kind that one is immediately conscious of in sense. I want to make clear that I am not denying the existence of anything; I am only refusing to affirm it. I refuse to affirm the existence of anything for which there is no evidence, but I equally refuse to deny the existence of any-thing against which there is no evidence. Therefore I neither affirm nor deny it, but merely say, that is not in the realm of the knowable and is certainly not a part of physics; and physics, if it is to be interpreted, must be interpreted in terms of the sort of thing that can be empirical. If your atom is going to serve purposes in physics, as it undoubtedly does, your atom has got
to turn out to be a construction, and your atom will in fact turn out to be a series of classes of particulars. The same process which one applies to physics, one will also apply elsewhere. The application to physics I explained briefly in my book on the External World, Chapters III and IV.
I have talked so far about the unreality of the things we think real. I want to speak with equal emphasis about the reality of things we think unreal such as phantoms and hallucinations.
Phantoms and hallucinations, considered in themselves, are, as I explained in the preceding lectures, on exactly the same level as ordinary sense-data. They differ from ordinary sense-data only in the fact that they do not have the usual correlations with other things. In themselves they have the same reality as ordinary sense-data. They have the most complete and absolute and per-fect reality that anything can have. They are part of the ultimate constituents of the world, just as the fleeting sense-data are.
Speaking of the fleeting sense-data, I think it is very important to remove out of one’s instincts any disposition to believe that the real is the permanent. There had been a metaphysical prejudice always that if a thing is really real, it has to last either forever or for a fairly decent length of time. That is to my mind an entire mistake. The things that are really real last a very short time.
Again I am not denying that there may be things that last forever, or for thousands of years; I only say that those are not within our experience, and that the real things that we know by experience last for a very short time, one tenth or half a second, or whatever it may be. Phantoms and hallucinations are among those, among the ultimate constituents of the world. The things that we call real, like tables and chairs, are systems, series of classes of par-ticulars, and the particulars are the real things, the particulars being sense-data when they happen to be given to you. A table or chair will be a series of classes of particulars, and therefore a logical fiction. Those particulars will be on the same level of reality as a hallucination or a phantom. I ought to explain in
what sense a chair is a series of classes. A chair presents at each moment a number of different appearances. All the appearances that it is presenting at a given moment make up a certain class.
All those sets of appearances vary from time to time. If I take a chair and smash it, it will present a whole set of different appearances from what it did before, and without going as far as that, it will always be changing as the light changes, and so on.
So you get a series in time of different sets of appearances, and that is what I mean by saying that a chair is a series of classes.
That explanation is too crude, but I leave out the niceties, as that is not the actual topic I am dealing with. Now each single particular which is part of this whole system is linked up with the others in the system. Supposing, e.g., I take as my particular the appearance which that chair is presenting to me at this moment. That is linked up first of all with the appearance which the same chair is presenting to any one of you at the same moment, and with the appearance which it is going to present to me at later moments. There you get at once two journeys that you can take away from that particular, and that particular will be correlated in certain definite ways with the other particulars which also belong to that chair. That is what you mean by saying—or what you ought to mean by saying—that what I see before me is a real thing as opposed to a phantom. It means that it has a whole set of correlations of different kinds. It means that that particular, which is the appearance of the chair to me at this moment, is not isolated but is connected in a certain well-known familiar fashion with others, in the sort of way that makes it answer one’s expectations. And so, when you go and buy a chair, you buy not only the appearance which it presents to you at that moment, but also those other appearances that it is going to present when it gets home. If it were a phantom chair, it would not present any appearances when it got home, and would not be the sort of thing you would want to buy. The sort one calls real is one of a whole correlated system, whereas the
sort you call hallucinations are not. The respectable particulars in the world are all of them linked up with other particulars in respectable, conventional ways. Then sometimes you get a wild particular, like a merely visual chair that you cannot sit on, and say it is a phantom, a hallucination, you exhaust all the vocabu-lary of abuse upon it. That is what one means by calling it unreal, because “unreal” applied in that way is a term of abuse and never would be applied to a thing that was unreal because you would not be so angry with it.
I will pass on to some other illustrations. Take a person. What is it that makes you say when you meet your friend Jones, “Why,
I will pass on to some other illustrations. Take a person. What is it that makes you say when you meet your friend Jones, “Why,