We come now to the question whether the things in space and time are to be conceived as composed of elements without extension or duration, i.e. of elements which only occupy a point and an instant. Physics, formally, assumes in its differential equations that things consist of elements which occupy only a point at each instant, but persist throughout time. For reasons explained in [Lecture IV.], the persistence of things through time is to be regarded as the formal result of a logical construction, not as necessarily implying any actual persistence. The same motives, in fact, which lead to the division of things into point-particles, ought presumably to lead to their division into instant-particles, so that the ultimate formal constituent of the matter in physics will be a point-instant-particle. But such objects, as well as the particles of physics, are not data. The same economy of hypothesis, which dictates the practical adoption of a relative rather than an absolute space and time, also dictates the practical adoption of material elements which have a finite extension and duration. Since, as we saw in [Lecture IV.], points and instants can be constructed as logical functions of such elements, the mathematical account of motion, in which a particle passes continuously through a continuous series of points, can be interpreted in a form which assumes only elements which agree with our actual data in having a finite extension and duration. Thus, so far as the use of points and instants is concerned, the mathematical account of motion can be freed from the charge of employing fictions.
(d) But we must now face the question: Is there, in actual empirical fact, any sufficient reason to believe the world of sense continuous? The answer here must, I think, be in the negative. We may say that the hypothesis of continuity is perfectly consistent with the facts and with logic, and that it is technically simpler than any other tenable hypothesis. But since our powers of discrimination among very similar sensible objects are not infinitely precise, it is quite impossible to decide between different theories which only differ in regard to what is below the margin of discrimination. If, for example, a coloured surface which we see consists of a finite number of very small surfaces, and if a motion which we see consists, like a cinematograph, of a large finite number of successive positions, there will be nothing empirically discoverable to show that objects of sense are not continuous. In what is called experienced continuity, such as is said to be given in sense, there is a large negative element: absence of perception of difference occurs in cases which are thought to give perception of absence of difference. When, for example, we cannot distinguish a colour A from a colour B, nor a colour B from a colour C, but can distinguish A from C, the indistinguishability is a purely negative fact, namely, that we do not perceive a difference. Even in regard to immediate data, this is no reason for denying that there is a difference. Thus, if we see a coloured surface whose colour changes gradually, its sensible appearance if the change is continuous will be indistinguishable from what it would be if the change were by small finite jumps. If this is true, as it seems to be, it follows that there can never be any empirical evidence to demonstrate that the sensible world is continuous, and not a collection of a very large finite number of elements of which each differs from its neighbour in a finite though very small degree. The continuity of space and time, the infinite number of different shades in the spectrum, and so on, are all in the nature of unverifiable hypotheses—perfectly possible logically, perfectly consistent with the known facts, and simpler technically than any other tenable hypotheses, but not the sole hypotheses which are logically and empirically adequate.
If a relational theory of instants is constructed, in which an “instant” is defined as a group of events simultaneous with each other and not all simultaneous with any event outside the group, then if our resulting series of instants is to be compact, it must be possible, if x wholly precedes y, to find an event z, simultaneous with part of x, which wholly precedes some event which wholly precedes y. Now this requires that the number of events concerned should be infinite in any finite period of time. If this is to be the case in the world of one man's sense-data, and if each sense-datum is to have not less than a certain finite temporal extension, it will be necessary to assume that we always have an infinite number of sense-data simultaneous with any given sense-datum. Applying similar considerations to space, and assuming that sense-data are to have not less than a certain spatial extension, it will be necessary to suppose that an infinite number of sense-data overlap spatially with any given sense-datum. This hypothesis is possible, if we suppose a single sense-datum, e.g. in sight, to be a finite surface, enclosing other surfaces which are also single sense-data. But there are difficulties in such a hypothesis, and I do not know whether these difficulties could be successfully met. If they cannot, we must do one of two things: either declare that the world of one man's sense-data is not continuous, or else refuse to admit that there is any lower limit to the duration and extension of a single sense-datum. I do not know what is the right course to adopt as regards these alternatives. The logical analysis we have been considering provides the apparatus for dealing with the various hypotheses, and the empirical decision between them is a problem for the psychologist.
(3) We have now to consider the logical answer to the alleged difficulties of the mathematical theory of motion, or rather to the positive theory which is urged on the other side. The view urged explicitly by Bergson, and implied in the doctrines of many philosophers, is, that a motion is something indivisible, not validly analysable into a series of states. This is part of a much more general doctrine, which holds that analysis always falsifies, because the parts of a complex whole are different, as combined in that whole, from what they would otherwise be. It is very difficult to state this doctrine in any form which has a precise meaning. Often arguments are used which have no bearing whatever upon the question. It is urged, for example, that when a man becomes a father, his nature is altered by the new relation in which he finds himself, so that he is not strictly identical with the man who was previously not a father. This may be true, but it is a causal psychological fact, not a logical fact. The doctrine would require that a man who is a father cannot be strictly identical with a man who is a son, because he is modified in one way by the relation of fatherhood and in another by that of sonship. In fact, we may give a precise statement of the doctrine we are combating in the form: There can never be two facts concerning the same thing. A fact concerning a thing always is or involves a relation to one or more entities; thus two facts concerning the same thing would involve two relations of the same thing. But the doctrine in question holds that a thing is so modified by its relations that it cannot be the same in one relation as in another. Hence, if this doctrine is true, there can never be more than one fact concerning any one thing. I do not think the philosophers in question have realised that this is the precise statement of the view they advocate, because in this form the view is so contrary to plain truth that its falsehood is evident as soon as it is stated. The discussion of this question, however, involves so many logical subtleties, and is so beset with difficulties, that I shall not pursue it further at present.
When once the above general doctrine is rejected, it is obvious that, where there is change, there must be a succession of states. There cannot be change—and motion is only a particular case of change—unless there is something different at one time from what there is at some other time. Change, therefore, must involve relations and complexity, and must demand analysis. So long as our analysis has only gone as far as other smaller changes, it is not complete; if it is to be complete, it must end with terms that are not changes, but are related by a relation of earlier and later. In the case of changes which appear continuous, such as motions, it seems to be impossible to find anything other than change so long as we deal with finite periods of time, however short. We are thus driven back, by the logical necessities of the case, to the conception of instants without duration, or at any rate without any duration which even the most delicate instruments can reveal. This conception, though it can be made to seem difficult, is really easier than any other that the facts allow. It is a kind of logical framework into which any tenable theory must fit—not necessarily itself the statement of the crude facts, but a form in which statements which are true of the crude facts can be made by a suitable interpretation. The direct consideration of the crude facts of the physical world has been undertaken in earlier lectures; in the present lecture, we have only been concerned to show that nothing in the crude facts is inconsistent with the mathematical doctrine of continuity, or demands a continuity of a radically different kind from that of mathematical motion.
LECTURE VI
THE PROBLEM OF INFINITY CONSIDERED HISTORICALLY
[LECTURE VI]
THE PROBLEM OF INFINITY CONSIDERED HISTORICALLY
It will be remembered that, when we enumerated the grounds upon which the reality of the sensible world has been questioned, one of those mentioned was the supposed impossibility of infinity and continuity. In view of our earlier discussion of physics, it would seem that no conclusive empirical evidence exists in favour of infinity or continuity in objects of sense or in matter. Nevertheless, the explanation which assumes infinity and continuity remains incomparably easier and more natural, from a scientific point of view, than any other, and since Georg Cantor has shown that the supposed contradictions are illusory, there is no longer any reason to struggle after a finitist explanation of the world.
The supposed difficulties of continuity all have their source in the fact that a continuous series must have an infinite number of terms, and are in fact difficulties concerning infinity. Hence, in freeing the infinite from contradiction, we are at the same time showing the logical possibility of continuity as assumed in science.
The kind of way in which infinity has been used to discredit the world of sense may be illustrated by Kant's first two antinomies. In the first, the thesis states: “The world has a beginning in time, and as regards space is enclosed within limits”; the antithesis states: “The world has no beginning and no limits in space, but is infinite in respect of both time and space.” Kant professes to prove both these propositions, whereas, if what we have said on modern logic has any truth, it must be impossible to prove either. In order, however, to rescue the world of sense, it is enough to destroy the proof of one of the two. For our present purpose, it is the proof that the world is finite that interests us. Kant's argument as regards space here rests upon his argument as regards time. We need therefore only examine the argument as regards time. What he says is as follows: