The Analysis of Matter

that this is the characteristic merit of analysis as practised in science: it enables us to arrive at a structure[Pg 286] such that the properties of the complex can be inferred from those of the parts.[58] And it enables us to arrive at laws which are permanent, not merely temporary and approximate. This is an ideal, only partially verified as yet; but the degree of verification is abundantly sufficient to justify science in constructing the world out of minute units. From what has been said about substance, I draw the conclusion that science is concerned with groups of "events," rather than with "things" that have changing "states." This is also the natural conclusion to draw from the substitution of space-time for space and time. The old notion of substance had a certain appropriateness so long as we could believe in one cosmic time and one cosmic space; but it does not fit in so easily when we adopt the four-dimensional space-time framework. I shall therefore assume henceforth that the physical world is to be constructed out of "events," by; which I mean practically, as already explained, entities or structures occupying a region of space-time which is small in all four dimensions. "Events" may have a structure, but it is convenient to use the word "event," in the strict sense, to mean something which, if it has a structure, has no space-time structure, i.e. it does not have parts which are external to each other in space-time. I do not assume that an event can ever occupy only a point of space-time; the construction of "points" out of finitely extended events will form the subject of the next chapter. Nor do I assign a maximum to the duration of an event, though I hold that any event, in the broad sense, which lasts for more[Pg 287] than about a second can, if it is a percept, be analyzed into a structure of events. But this is a merely empirical fact. There are certain purely logical principles which are useful in regard to structure. When we are dealing with inferred entities, as to which, as explained in Part II., we know nothing beyond structure, we may be said to know the equations, but not what they mean: so long as they lead to the same results as regards percepts, all interpretations are equally legitimate. Let us take an example. Suppose we have a set of propositions about an electron which we will call . According to the subject-predicate logic, and according to the view that matter is a substance, there is a certain entity which is mentioned in all statements about this electron. According to the view which resolves an electron into a series of events, the propositions in question will be differently analyzed. Assuming a certain schematic simplicity, we might set the matter out as follows: there is a certain relation which sometimes holds between events, and when it holds between and , and are said to be events in the biography of the same electron. If belongs to the field of , "the electron to which belongs" will mean the relation with its field limited to terms belonging to the -family of ; and the -family of consists of together with the terms which have the relation to and the terms to which has the relation . "This electron" will mean "the electron to which this belongs." "An electron" will mean "a series such that there is an such that the series is the electron to which belongs." In order to mention some particular electron, we must be able to mention some event connected with it, e.g. the scintillation when it hits a certain screen. Thus, instead of saying "the event happened to the electron " we shall say "the event happened to the electron to which happened," or, more simply, " belongs to the -family of ." The formal properties of the propositional function " belongs to the -family[Pg 288] of " ( being constant) are the same as those of " belongs to the electron ." If we want any two electrons to be mutually exclusive, in the sense that no event can happen to both, we can insure it by assuming that if has the relation (or the converse relation) to both and , then belongs to the -family of . If we do not want this, we do not make this assumption about . It is because of the identity in formal properties that the one propositional function can be substituted for the other. Whenever we suggest a new view as to structure, we have to make sure that it does not falsify any of the old formulæ, though it may give them a new interpretation. Another illustration, more purely logical, may be useful. It seems natural to say that any given shade of colour is a quality, i.e. that when we say "this is red," we are saying that "this" has a characteristic which we cannot express otherwise than by a predicate—assuming, for the moment, that "red" stands for just one shade of colour. But although this may be the right view, there is no logical necessity for supposing that it is. We might define one shade of colour as "all the coloured surfaces which have exact colour-similarity to a given surface." Thus "this has the colour " is replaced by "this is one of the class of entities that have exact colour-similarity with "; and " is a colour" will be replaced by " is the class of all entities having exact colour-similarity with a given entity." In this case, no facts can be conceived which would give reason for preferring one form of statement to the other, since any ascertainable fact can be interpreted equally well on either theory. We have, in fact, something more or less analogous to the arbitrariness of co-ordinates in the general theory of relativity. Provided our symbols have the same interpretation when they apply to percepts, their interpretation elsewhere is arbitrary, since, so long as the formulæ remain the same, the structure[Pg 289] asserted is the same whatever interpretation we give. Structure, and nothing else, is just what is asserted by formulæ in which the meaning of the terms is unknown, but the purely, logical symbols have definite meanings (see Chapter XVII.). Even the purely logical symbols are arbitrary to a certain limited extent, as we saw in the above example of colours. But often, when facts from different regions have to be brought into connection, one interpretation is much simpler than another. Often, also, one interpretation involves less inference than another, and is therefore less likely to be wrong. These are the main motives governing any suggested interpretation of the symbols which occur in mathematical physics. FOOTNOTES: [58] Dr C. D. Broad, in The Mind and its Place in Nature, lays stress upon what he calls "emergent" properties of complexes—i.e. such as cannot be inferred from the properties and relations of the parts. I believe that "emergent" properties represent merely scientific incompleteness, which would not exist in the ideal physics. It is difficult to advance any conclusive argument on either side as to the ultimate character of apparently "emergent" properties, but I think my view is supported by such examples as the explanation of chemistry in terms of physics by means of the Rutherford-Bohr theory of atomic structure. [Pg 290] CHAPTER XXVIII THE CONSTRUCTION OF POINTS[59] THE subject of this chapter is one which has been treated with wonderful ingenuity by Dr Whitehead, to whom is due the whole conception of a method which arrives at "points" as systems of finitely-extended events. In advocating this method, it is not necessary to maintain that mathematical points are impossible as simple entities (or "particulars"); all that it is necessary to maintain is that we have no good ground for regarding them as such. What we know about points is that they are useful technically—so useful that we must seek an interpretation of the propositions in which, symbolically, they occur. But there is no ground for denying structure to a point; on the contrary, there are two grounds for assigning structure to a point. One is the familiar argument of Occam's razor: we can make structures having the mathematical properties of points, and to suppose that there are points in any other sense is an inference which is useless to science and not warranted by any principle, logical or scientific. The other argument is much more difficult to state, but the more one studies logical construction the more weight one feels inclined to attach to it. It rests upon a maxim which might be enunciated as a supplement to Occam's razor: "What is logically convenient is likely to be artificial." To me personally, the first example of this maxim was the definition of real numbers. Mathematicians found it convenient to suppose that all series of rationals have limits, while nevertheless[Pg 291] some do not have rational limits. They therefore postulated irrational limits, supposed to be homogeneous with the rationals. Although the method of Dedekind cuts was familiar, nobody thought of saying: An irrational is a Dedekind cut, or at least its inferior portion. Yet this definition solves all difficulties. We have now first ratios (which cannot be irrational), then segments of the series of ratios. Segments which have a limit are rational, segments which have no limit are irrational. The square root of 2 is the class of ratios whose square is less than 2. Segments of the series of ratios are real numbers the series of real numbers has both Dedekindian and Cantorian continuity. Thus it is mathematically convenient; but its logical structure is more complex than that of the series of ratios. The logical analysis of mathematics affords many examples of this procedure, such as the construction of "ideal" points, lines, and planes alluded to in Chapter XX. It will be seen that the phrase "what is logically convenient is artificial" does not express what is meant with as much precision as is to be desired. What we mean is this: Given a set of terms having properties which suggest certain general mathematical (or logical) properties, but are subject to exceptions in regard to these properties, it is a mistake to postulate other terms, logically homogeneous with the original set, and such as to remove the exceptions; the proper procedure is to look for logical structures composed of the original terms, and such that these structures always have the mathematical properties in question. It will be found that, where the assumption of such properties has proved fruitful, this procedure is usually possible. Starting from events, there are many ways of reaching points. One is the method adopted by Dr Whitehead, in which we consider "enclosure-series." Speaking roughly, we may say that this method defines a point as all the volumes[Pg 292] which contain the point. (The niceties of the method are required to prevent this definition from being circular; also to distinguish a set of volumes having only a point in common from such as have a line or surface in common.) As a piece of logic, this method is faultless. But as a method which aims at starting with the actual constituents of the world it seems to me to have certain defects. Dr Whitehead assumes that every event encloses and is enclosed by other events. There is, therefore, for him, no lower limit or minimum, and no upper limit or maximum, to the size of events. Each of these assumptions demands consideration. Let us begin with the absence of a lower limit or minimum. Here we are confronted with a question of fact, which might conceivably be decided against Dr Whitehead, but could not conceivably be decided in his favour. The events which we can perceive all have a certain duration, i.e. they are simultaneous with events which are not simultaneous with each other. Not only are they all, in this sense, finite, but they are all above an assignable limit. I do not know what is the shortest perceptible event, but