Mysticism and Logic and Other Essays
Chapter 10
(2) The physical problem of space is both more interesting and more difficult than the logical problem. The physical problem may be stated as follows: to find in the physical world, or to construct from physical materials, a space of one of the kinds enumerated by the logical treatment of geometry. This problem derives its difficulty from the attempt to accommodate to the roughness and vagueness of the real world some system possessing the logical clearness and exactitude of pure mathematics. That this can be done with a certain degree of approximation is fairly evident If I see three people _A_, _B_, and _C_ sitting in a row, I become aware of the fact which may be expressed by saying that _B_ is between _A_ and _C_ rather than that _A_ is between _B_ and _C_, or _C_ is between _A_ and _B_. This relation of "between" which is thus perceived to hold has some of the abstract logical properties of those three-term relations which, we saw, give rise to a geometry, but its properties fail to be exact, and are not, as empirically given, amenable to the kind of treatment at which geometry aims. In abstract geometry we deal with points, straight lines, and planes; but the three people _A_, _B_, and _C_ whom I see sitting in a row are not exactly points, nor is the row exactly a straight line. Nevertheless physics, which formally assumes a space containing points, straight lines, and planes, is found empirically to give results applicable to the sensible world. It must therefore be possible to find an interpretation of the points, straight lines, and planes of physics in terms of physical data, or at any rate in terms of data together with such hypothetical additions as seem least open to question. Since all data suffer from a lack of mathematical precision through being of a certain size and somewhat vague in outline, it is plain that if such a notion as that of a point is to find any application to empirical material, the point must be neither a datum nor a hypothetical addition to data, but a _construction_ by means of data with their hypothetical additions. It is obvious that any hypothetical filling out of data is less dubious and unsatisfactory when the additions are closely analogous to data than when they are of a radically different sort. To assume, for example, that objects which we see continue, after we have turned away our eyes, to be more or less analogous to what they were while we were looking, is a less violent assumption than to assume that such objects are composed of an infinite number of mathematical points. Hence in the physical study of the geometry of physical space, points must not be assumed _ab initio_ as they are in the logical treatment of geometry, but must be constructed as systems composed of data and hypothetical analogues of data. We are thus led naturally to define a physical point as a certain class of those objects which are the ultimate constituents of the physical world. It will be the class of all those objects which, as one would naturally say, _contain_ the point. To secure a definition giving this result, without previously assuming that physical objects are composed of points, is an agreeable problem in mathematical logic. The solution of this problem and the perception of its importance are due to my friend Dr. Whitehead. The oddity of regarding a point as a class of physical entities wears off with familiarity, and ought in any case not to be felt by those who maintain, as practically every one does, that points are mathematical fictions. The word "fiction" is used glibly in such connexions by many men who seem not to feel the necessity of explaining how it can come about that a fiction can be so useful in the study of the actual world as the points of mathematical physics have been found to be. By our definition, which regards a point as a class of physical objects, it is explained both how the use of points can lead to important physical results, and how we can nevertheless avoid the assumption that points are themselves entities in the physical world.
Many of the mathematically convenient properties of abstract logical spaces cannot be either known to belong or known not to belong to the space of physics. Such are all the properties connected with continuity. For to know that actual space has these properties would require an infinite exactness of sense-perception. If actual space is continuous, there are nevertheless many possible non-continuous spaces which will be empirically indistinguishable from it; and, conversely, actual space may be non-continuous and yet empirically indistinguishable from a possible continuous space. Continuity, therefore, though obtainable in the _a priori_ region of arithmetic, is not with certainty obtainable in the space or time of the physical world: whether these are continuous or not would seem to be a question not only unanswered but for ever unanswerable. From the point of view of philosophy, however, the discovery that a question is unanswerable is as complete an answer as any that could possibly be obtained. And from the point of view of physics, where no empirical means of distinction can be found, there can be no empirical objection to the mathematically simplest assumption, which is that of continuity.
The subject of the physical theory of space is a very large one, hitherto little explored. It is associated with a similar theory of time, and both have been forced upon the attention of philosophically minded physicists by the discussions which have raged concerning the theory of relativity.
(3) The problem with which Kant is concerned in the Transcendental Æsthetic is primarily the epistemological problem: "How do we come to have knowledge of geometry _a priori_?" By the distinction between the logical and physical problems of geometry, the bearing and scope of this question are greatly altered. Our knowledge of pure geometry is _a priori_ but is wholly logical. Our knowledge of physical geometry is synthetic, but is not _a priori_. Our knowledge of pure geometry is hypothetical, and does not enable us to assert, for example, that the axiom of parallels is true in the physical world. Our knowledge of physical geometry, while it does enable us to assert that this axiom is approximately verified, does not, owing to the inevitable inexactitude of observation, enable us to assert that it is verified _exactly_. Thus, with the separation which we have made between pure geometry and the geometry of physics, the Kantian problem collapses. To the question, "How is synthetic _a priori_ knowledge possible?" we can now reply, at any rate so far as geometry is concerned, "It is not possible," if "synthetic" means "not deducible from logic alone." Our knowledge of geometry, like the rest of our knowledge, is derived partly from logic, partly from sense, and the peculiar position which in Kant's day geometry appeared to occupy is seen now to be a delusion. There are still some philosophers, it is true, who maintain that our knowledge that the axiom of parallels, for example, is true of actual space, is not to be accounted for empirically, but is as Kant maintained derived from an _a priori_ intuition. This position is not logically refutable, but I think it loses all plausibility as soon as we realise how complicated and derivative is the notion of physical space. As we have seen, the application of geometry to the physical world in no way demands that there should really be points and straight lines among physical entities. The principle of economy, therefore, demands that we should abstain from assuming the existence of points and straight lines. As soon, however, as we accept the view that points and straight lines are complicated constructions by means of classes of physical entities, the hypothesis that we have an _a priori_ intuition enabling us to know what happens to straight lines when they are produced indefinitely becomes extremely strained and harsh; nor do I think that such an hypothesis would ever have arisen in the mind of a philosopher who had grasped the nature of physical space. Kant, under the influence of Newton, adopted, though with some vacillation, the hypothesis of absolute space, and this hypothesis, though logically unobjectionable, is removed by Occam's razor, since absolute space is an unnecessary entity in the explanation of the physical world. Although, therefore, we cannot refute the Kantian theory of an _a priori_ intuition, we can remove its grounds one by one through an analysis of the problem. Thus, here as in many other philosophical questions, the analytic method, while not capable of arriving at a demonstrative result, is nevertheless capable of showing that all the positive grounds in favour of a certain theory are fallacious and that a less unnatural theory is capable of accounting for the facts.
Another question by which the capacity of the analytic method can be shown is the question of realism. Both those who advocate and those who combat realism seem to me to be far from clear as to the nature of the problem which they are discussing. If we ask: "Are our objects of perception _real_ and are they _independent_ of the percipient?" it must be supposed that we attach some meaning to the words "real" and "independent," and yet, if either side in the controversy of realism is asked to define these two words, their answer is pretty sure to embody confusions such as logical analysis will reveal.
Let us begin with the word "real." There certainly are objects of perception, and therefore, if the question whether these objects are real is to be a substantial question, there must be in the world two sorts of objects, namely, the real and the unreal, and yet the unreal is supposed to be essentially what there is not. The question what properties must belong to an object in order to make it real is one to which an adequate answer is seldom if ever forthcoming. There is of course the Hegelian answer, that the real is the self-consistent and that nothing is self-consistent except the Whole; but this answer, true or false, is not relevant in our present discussion, which moves on a lower plane and is concerned with the status of objects of perception among other objects of equal fragmentariness. Objects of perception are contrasted, in the discussions concerning realism, rather with psychical states on the one hand and matter on the other hand than with the all-inclusive whole of things. The question we have therefore to consider is the question as to what can be meant by assigning "reality" to some but not all of the entities that make up the world. Two elements, I think, make up what is felt rather than thought when the word "reality" is used in this sense. A thing is real if it persists at times when it is not perceived; or again, a thing is real when it is correlated with other things in a way which experience has led us to expect. It will be seen that reality in either of these senses is by no means necessary to a thing, and that in fact there might be a whole world in which nothing was real in either of these senses. It might turn out that the objects of perception failed of reality in one or both of these respects, without its being in any way deducible that they are not parts of the external world with which physics deals. Similar remarks will apply to the word "independent." Most of the associations of this word are bound up with ideas as to causation which it is not now possible to maintain. _A_ is independent of _B_ when _B_ is not an indispensable part of the _cause_ of _A_. But when it is recognised that causation is nothing more than correlation, and that there are correlations of simultaneity as well as of succession, it becomes evident that there is no uniqueness in a series of casual antecedents of a given event, but that, at any point where there is a correlation of simultaneity, we can pass from one line of antecedents to another in order to obtain a new series of causal antecedents. It will be necessary to specify the causal law according to which the antecedents are to be considered. I received a letter the other day from a correspondent who had been puzzled by various philosophical questions. After enumerating them he says: "These questions led me from Bonn to Strassburg, where I found Professor Simmel." Now, it would be absurd to deny that these questions caused his body to move from Bonn to Strassburg, and yet it must be supposed that a set of purely mechanical antecedents could also be found which would account for this transfer of matter from one place to another. Owing to this plurality of causal series antecedent to a given event, the notion of _the_ cause becomes indefinite, and the question of independence becomes correspondingly ambiguous. Thus, instead of asking simply whether _A_ is independent of _B_, we ought to ask whether there is a series determined by such and such causal laws leading from _B_ to _A_. This point is important in connexion with the particular question of objects of perception. It may be that no objects quite like those which we perceive ever exist unperceived; in this case there will be a causal law according to which objects of perception are not independent of being perceived. But even if this be the case, it may nevertheless also happen that there are purely physical causal laws determining the occurrence of objects which are perceived by means of other objects which perhaps are not perceived. In that case, in regard to such causal laws objects of perception will be independent of being perceived. Thus the question whether objects of perception are independent of being perceived is, as it stands, indeterminate, and the answer will be yes or no according to the method adopted of making it determinate. I believe that this confusion has borne a very large part in prolonging the controversies on this subject, which might well have seemed capable of remaining for ever undecided. The view which I should wish to advocate is that objects of perception do not persist unchanged at times when they are not perceived, although probably objects more or less resembling them do exist at such times; that objects of perception are part, and the only empirically knowable part, of the actual subject-matter of physics, and are themselves properly to be called physical; that purely physical laws exist determining the character and duration of objects of perception without any reference to the fact that they are perceived; and that in the establishment of such laws the propositions of physics do not presuppose any propositions of psychology or even the existence of mind. I do not know whether realists would recognise such a view as realism. All that I should claim for it is, that it avoids difficulties which seem to me to beset both realism and idealism as hitherto advocated, and that it avoids the appeal which they have made to ideas which logical analysis shows to be ambiguous. A further defence and elaboration of the positions which I advocate, but for which time is lacking now, will be found indicated in my book on _Our Knowledge of the External World_.[22]
The adoption of scientific method in philosophy, if I am not mistaken, compels us to abandon the hope of solving many of the more ambitious and humanly interesting problems of traditional philosophy. Some of these it relegates, though with little expectation of a successful solution, to special sciences, others it shows to be such as our capacities are essentially incapable of solving. But there remain a large number of the recognised problems of philosophy in regard to which the method advocated gives all those advantages of division into distinct questions, of tentative, partial, and progressive advance, and of appeal to principles with which, independently of temperament, all competent students must agree. The failure of philosophy hitherto has been due in the main to haste and ambition: patience and modesty, here as in other sciences, will open the road to solid and durable progress.
FOOTNOTES:
[19] Bosanquet, _Logic_, ii, p. 211.
[20] _Some Problems of Philosophy_, p 124.
[21] _First Principles_ (1862), Part II, beginning of chap. viii.
[22] Open Court Company, 1914.
VII
THE ULTIMATE CONSTITUENTS OF MATTER[23]
I wish to discuss in this article no less a question than the ancient metaphysical query, "What is matter?" The question, "What is matter?" in so far as it concerns philosophy, is, I think, already capable of an answer which in principle will be as complete as an answer can hope to be; that is to say, we can separate the problem into an essentially soluble and an essentially insoluble portion, and we can now see how to solve the essentially soluble portion, at least as regards its main outlines. It is these outlines which I wish to suggest in the present article. My main position, which is realistic, is, I hope and believe, not remote from that of Professor Alexander, by whose writings on this subject I have profited greatly.[24] It is also in close accord with that of Dr. Nunn.[25]
Common sense is accustomed to the division of the world into mind and matter. It is supposed by all who have never studied philosophy that the distinction between mind and matter is perfectly clear and easy, that the two do not at any point overlap, and that only a fool or a philosopher could be in doubt as to whether any given entity is mental or material. This simple faith survives in Descartes and in a somewhat modified form in Spinoza, but with Leibniz it begins to disappear, and from his day to our own almost every philosopher of note has criticised and rejected the dualism of common sense. It is my intention in this article to defend this dualism; but before defending it we must spend a few moments on the reasons which have prompted its rejection.
Our knowledge of the material world is obtained by means of the senses, of sight and touch and so on. At first it is supposed that things are just as they seem, but two opposite sophistications soon destroy this naïve belief. On the one hand the physicists cut up matter into molecules, atoms, corpuscles, and as many more such subdivisions as their future needs may make them postulate, and the units at which they arrive are uncommonly different from the visible, tangible objects of daily life. A unit of matter tends more and more to be something like an electromagnetic field filling all space, though having its greatest intensity in a small region. Matter consisting of such elements is as remote from daily life as any metaphysical theory. It differs from the theories of metaphysicians only in the fact that its practical efficacy proves that it contains some measure of truth and induces business men to invest money on the strength of it; but, in spite of its connection with the money market, it remains a metaphysical theory none the less.
The second kind of sophistication to which the world of common sense has been subjected is derived from the psychologists and physiologists. The physiologists point out that what we see depends upon the eye, that what we hear depends upon the ear, and that all our senses are liable to be affected by anything which affects the brain, like alcohol or hasheesh. Psychologists point out how much of what we think we see is supplied by association or unconscious inference, how much is mental interpretation, and how doubtful is the residuum which can be regarded as crude datum. From these facts it is argued by the psychologists that the notion of a datum passively received by the mind is a delusion, and it is argued by the physiologists that even if a pure datum of sense could be obtained by the analysis of experience, still this datum could not belong, as common sense supposes, to the outer world, since its whole nature is conditioned by our nerves and sense organs, changing as they change in ways which it is thought impossible to connect with any change in the matter supposed to be perceived. This physiologist's argument is exposed to the rejoinder, more specious than solid, that our knowledge of the existence of the sense organs and nerves is obtained by that very process which the physiologist has been engaged in discrediting, since the existence of the nerves and sense organs is only known through the evidence of the senses themselves. This argument may prove that some reinterpretation of the results of physiology is necessary before they can acquire metaphysical validity. But it does not upset the physiological argument in so far as this constitutes merely a _reductio ad absurdum_ of naïve realism.
These various lines of argument prove, I think, that some part of the beliefs of common sense must be abandoned. They prove that, if we take these beliefs as a whole, we are forced into conclusions which are in part self-contradictory; but such arguments cannot of themselves decide what portion of our common-sense beliefs is in need of correction. Common sense believes that what we see is physical, outside the mind, and continuing to exist if we shut our eyes or turn them in another direction. I believe that common sense is right in regarding what we see as physical and (in one of several possible senses) outside the mind, but is probably wrong in supposing that it continues to exist when we are no longer looking at it. It seems to me that the whole discussion of matter has been obscured by two errors which support each other. The first of these is the error that what we see, or perceive through any of our other senses, is subjective: the second is the belief that what is physical must be persistent. Whatever physics may regard as the ultimate constituents of matter, it always supposes these constituents to be indestructible. Since the immediate data of sense are not indestructible but in a state of perpetual flux, it is argued that these data themselves cannot be among the ultimate constituents of matter. I believe this to be a sheer mistake. The persistent particles of mathematical physics I regard as logical constructions, symbolic fictions enabling us to express compendiously very complicated assemblages of facts; and, on the other hand, I believe that the actual data in sensation, the immediate objects of sight or touch or hearing, are extra-mental, purely physical, and among the ultimate constituents of matter.