Our Knowledge of the External World as a Field for Scientific Method in Philosophy

the first B and the first C in passing all the A's. This is the argument: but it presupposes the aforesaid fallacious assumption.” First Position. Second Position. B· B′· B″· B· B′· B″· A· A′· A″· A· A′· A″· C· C′· C″· C· C′· C″· This argument is not quite easy to follow, and it is only valid as against the assumption that a finite time consists of a finite number of instants. We may re-state it in different language. Let us suppose three drill-sergeants, A, A′, and A″, standing in a row, while the two files of soldiers march past them in opposite directions. At the first moment which we consider, the three men B, B′, B″ in one row, and the three men C, C′, C″ in the other row, are respectively opposite to A, A′, and A″. At the very next moment, each row has moved on, and now B and C″ are opposite A′. Thus B and C″ are opposite each other. When, then, did B pass C′? It must have been somewhere between the two moments which we supposed consecutive, and therefore the two moments cannot really have been consecutive. It follows that there must be other moments between any two given moments, and therefore that there must be an infinite number of moments in any given interval of time. The above difficulty, that B must have passed C′ at some time between two consecutive moments, is a genuine one, but is not precisely the difficulty raised by Zeno. What Zeno professes to prove is that “half of a given time is equal to double that time.” The most intelligible explanation of the argument known to me is that of Gaye.[48] Since, however, his explanation is not easy to set forth shortly, I will re-state what seems to me to be the logical essence of Zeno's contention. If we suppose that time consists of a series of consecutive instants, and that motion consists in passing through a series of consecutive points, then the fastest possible motion is one which, at each instant, is at a point consecutive to that at which it was at the previous instant. Any slower motion must be one which has intervals of rest interspersed, and any faster motion must wholly omit some points. All this is evident from the fact that we cannot have more than one event for each instant. But now, in the case of our A's and B's and C's, B is opposite a fresh A every instant, and therefore the number of A's passed gives the number of instants since the beginning of the motion. But during the motion B has passed twice as many C's, and yet cannot have passed more than one each instant. Hence the number of instants since the motion began is twice the number of A's passed, though we previously found it was equal to this number. From this result, Zeno's conclusion follows. Zeno's arguments, in some form, have afforded grounds for almost all the theories of space and time and infinity which have been constructed from his day to our own. We have seen that all his arguments are valid (with certain reasonable hypotheses) on the assumption that finite spaces and times consist of a finite number of points and instants, and that the third and fourth almost certainly in fact proceeded on this assumption, while the first and second, which were perhaps intended to refute the opposite assumption, were in that case fallacious. We may therefore escape from his paradoxes either by maintaining that, though space and time do consist of points and instants, the number of them in any finite interval is infinite; or by denying that space and time consist of points and instants at all; or lastly, by denying the reality of space and time altogether. It would seem that Zeno himself, as a supporter of Parmenides, drew the last of these three possible deductions, at any rate in regard to time. In this a very large number of philosophers have followed him. Many others, like M. Bergson, have preferred to deny that space and time consist of points and instants. Either of these solutions will meet the difficulties in the form in which Zeno raised them. But, as we saw, the difficulties can also be met if infinite numbers are admissible. And on grounds which are independent of space and time, infinite numbers, and series in which no two terms are consecutive, must in any case be admitted. Consider, for example, all the fractions less than 1, arranged in order of magnitude. Between any two of them, there are others, for example, the arithmetical mean of the two. Thus no two fractions are consecutive, and the total number of them is infinite. It will be found that much of what Zeno says as regards the series of points on a line can be equally well applied to the series of fractions. And we cannot deny that there are fractions, so that two of the above ways of escape are closed to us. It follows that, if we are to solve the whole class of difficulties derivable from Zeno's by analogy, we must discover some tenable theory of infinite numbers. What, then, are the difficulties which, until the last thirty years, led philosophers to the belief that infinite numbers are impossible? The difficulties of infinity are of two kinds, of which the first may be called sham, while the others involve, for their solution, a certain amount of new and not altogether easy thinking. The sham difficulties are those suggested by the etymology, and those suggested by confusion of the mathematical infinite with what philosophers impertinently call the “true” infinite. Etymologically, “infinite” should mean “having no end.” But in fact some infinite series have ends, some have not; while some collections are infinite without being serial, and can therefore not properly be regarded as either endless or having ends. The series of instants from any earlier one to any later one (both included) is infinite, but has two ends; the series of instants from the beginning of time to the present moment has one end, but is infinite. Kant, in his first antinomy, seems to hold that it is harder for the past to be infinite than for the future to be so, on the ground that the past is now completed, and that nothing infinite can be completed. It is very difficult to see how he can have imagined that there was any sense in this remark; but it seems most probable that he was thinking of the infinite as the “unended.” It is odd that he did not see that the future too has one end at the present, and is precisely on a level with the past. His regarding the two as different in this respect illustrates just that kind of slavery to time which, as we agreed in speaking of Parmenides, the true philosopher must learn to leave behind him. The confusions introduced into the notions of philosophers by the so-called “true” infinite are curious. They see that this notion is not the same as the mathematical infinite, but they choose to believe that it is the notion which the mathematicians are vainly trying to reach. They therefore inform the mathematicians, kindly but firmly, that they are mistaken in adhering to the “false” infinite, since plainly the “true” infinite is something quite different. The reply to this is that what they call the “true” infinite is a notion totally irrelevant to the problem of the mathematical infinite, to which it has only a fanciful and verbal analogy. So remote is it that I do not propose to confuse the issue by even mentioning what the “true” infinite is. It is the “false” infinite that concerns us, and we have to show that the epithet “false” is undeserved. There are, however, certain genuine difficulties in understanding the infinite, certain habits of mind derived from the consideration of finite numbers, and easily extended to infinite numbers under the mistaken notion that they represent logical necessities. For example, every number that we are accustomed to, except 0, has another number immediately before it, from which it results by adding 1; but the first infinite number does not have this property. The numbers before it form an infinite series, containing all the ordinary finite numbers, having no maximum, no last finite number, after which one little step would plunge us into the infinite. If it is assumed that the first infinite number is reached by a succession of small steps, it is easy to show that it is self-contradictory. The first infinite number is, in fact, beyond the whole unending series of finite numbers. “But,” it will be said, “there cannot be anything beyond the whole of an unending series.” This, we may point out, is the very principle upon which Zeno relies in the arguments of the race-course and the Achilles. Take the race-course: there is the moment when the runner still has half his distance to run, then the moment when he still has a quarter, then when he still has an eighth, and so on in a strictly unending series. Beyond the whole of this series is the moment when he reaches the goal. Thus there certainly can be something beyond the whole of an unending series. But it remains to show that this fact is only what might have been expected. The difficulty, like most of the vaguer difficulties besetting the mathematical infinite, is derived, I think, from the more or less unconscious operation of the idea of counting. If you set to work to count the terms in an infinite collection, you will never have completed your task. Thus, in the case of the runner, if half, three-quarters, seven-eighths, and so on of the course were marked, and the runner was not allowed to pass any of the marks until the umpire said “Now,” then Zeno's conclusion would be true in practice, and he would never reach the goal. But it is not essential to the existence of a collection, or even to knowledge and reasoning concerning it, that we should be able to pass its terms in review one by one. This may be seen in the case of finite collections; we can speak of “mankind” or “the human race,” though many of the individuals in this collection are not personally known to us. We can do this because we know of various characteristics which every individual has if he belongs to the collection, and not if he does not. And exactly the same happens in the case of infinite collections: they may be known by their characteristics although their terms cannot be enumerated. In this sense, an unending series may nevertheless form a whole, and there may be new terms beyond the whole of it. Some purely arithmetical peculiarities of infinite numbers have also caused perplexity. For instance, an infinite number is not increased by adding one to it, or by doubling it. Such peculiarities have seemed to many to contradict logic, but in fact they only contradict confirmed mental habits. The whole difficulty of the subject lies in the necessity of thinking in an unfamiliar way, and in realising that many properties which we have thought inherent in number are in fact peculiar to finite numbers. If this is remembered, the positive theory of infinity, which will occupy the next lecture, will not be found so difficult as it is to those who cling obstinately to the prejudices instilled by the arithmetic which is learnt in childhood. LECTURE VII THE POSITIVE THEORY OF INFINITY