When we are considering the actual data of sensation in this connection, it is important to realise that two sense-data may be, and must sometimes be, really different when we cannot perceive any difference between them. An old but conclusive reason for believing this was emphasised by Poincaré.[21] In all cases of sense-data capable of gradual change, we may find one sense-datum indistinguishable from another, and that other indistinguishable from a third, while yet the first and third are quite easily distinguishable. Suppose, for example, a person with his eyes shut is holding a weight in his hand, and someone noiselessly adds a small extra weight. If the extra weight is small enough, no difference will be perceived in the sensation. After a time, another small extra weight may be added, and still no change will be perceived; but if both extra weights had been added at once, it may be that the change would be quite easily perceptible. Or, again, take shades of colour. It would be easy to find three stuffs of such closely similar shades that no difference could be perceived between the first and second, nor yet between the second and third, while yet the first and third would be distinguishable. In such a case, the second shade cannot be the same as the first, or it would be distinguishable from the third; nor the same as the third, or it would be distinguishable from the first. It must, therefore, though indistinguishable from both, be really intermediate between them.
Such considerations as the above show that, although we cannot distinguish sense-data unless they differ by more than a certain amount, it is perfectly reasonable to suppose that sense-data of a given kind, such as weights or colours, really form a compact series. The objections which may be brought from a psychological point of view against the mathematical theory of motion are not, therefore, objections to this theory properly understood, but only to a quite unnecessary assumption of simplicity in the momentary object of sense. Of the immediate object of sense, in the case of a visible motion, we may say that at each instant it is in all the positions which remain sensible at that instant; but this set of positions changes continuously from moment to moment, and is amenable to exactly the same mathematical treatment as if it were a mere point. When we assert that some mathematical account of phenomena is correct, all that we primarily assert is that something definable in terms of the crude phenomena satisfies our formulæ; and in this sense the mathematical theory of motion is applicable to the data of sensation as well as to the supposed particles of abstract physics.
There are a number of distinct questions which are apt to be confused when the mathematical continuum is said to be inadequate to the facts of sense. We may state these, in order of diminishing generality, as follows:—
(a) Are series possessing mathematical continuity logically possible?
(b) Assuming that they are possible logically, are they not impossible as applied to actual sense-data, because, among actual sense-data, there are no such fixed mutually external terms as are to be found, e.g., in the series of fractions?
(c) Does not the assumption of points and instants make the whole mathematical account fictitious?
(d) Finally, assuming that all these objections have been answered, is there, in actual empirical fact, any sufficient reason to believe the world of sense continuous?
Let us consider these questions in succession.
(a) The question of the logical possibility of the mathematical continuum turns partly on the elementary misunderstandings we considered at the beginning of the present lecture, partly on the possibility of the mathematical infinite, which will occupy our next two lectures, and partly on the logical form of the answer to the Bergsonian objection which we stated a few minutes ago. I shall say no more on this topic at present, since it is desirable first to complete the psychological answer.
(b) The question whether sense-data are composed of mutually external units is not one which can be decided by empirical evidence. It is often urged that, as a matter of immediate experience, the sensible flux is devoid of divisions, and is falsified by the dissections of the intellect. Now I have no wish to argue that this view is contrary to immediate experience: I wish only to maintain that it is essentially incapable of being proved by immediate experience. As we saw, there must be among sense-data differences so slight as to be imperceptible: the fact that sense-data are immediately given does not mean that their differences also must be immediately given (though they may be). Suppose, for example, a coloured surface on which the colour changes gradually—so gradually that the difference of colour in two very neighbouring portions is imperceptible, while the difference between more widely separated portions is quite noticeable. The effect produced, in such a case, will be precisely that of “interpenetration,” of transition which is not a matter of discrete units. And since it tends to be supposed that the colours, being immediate data, must appear different if they are different, it seems easily to follow that “interpenetration” must be the ultimately right account. But this does not follow. It is unconsciously assumed, as a premiss for a reductio ad absurdum of the analytic view, that, if A and B are immediate data, and A differs from B, then the fact that they differ must also be an immediate datum. It is difficult to say how this assumption arose, but I think it is to be connected with the confusion between “acquaintance” and “knowledge about.” Acquaintance, which is what we derive from sense, does not, theoretically at least, imply even the smallest “knowledge about,” i.e. it does not imply knowledge of any proposition concerning the object with which we are acquainted. It is a mistake to speak as if acquaintance had degrees: there is merely acquaintance and non-acquaintance. When we speak of becoming “better acquainted,” as for instance with a person, what we must mean is, becoming acquainted with more parts of a certain whole; but the acquaintance with each part is either complete or nonexistent. Thus it is a mistake to say that if we were perfectly acquainted with an object we should know all about it. “Knowledge about” is knowledge of propositions, which is not involved necessarily in acquaintance with the constituents of the propositions. To know that two shades of colour are different is knowledge about them; hence acquaintance with the two shades does not in any way necessitate the knowledge that they are different.
From what has just been said it follows that the nature of sense-data cannot be validly used to prove that they are not composed of mutually external units. It may be admitted, on the other hand, that nothing in their empirical character specially necessitates the view that they are composed of mutually external units. This view, if it is held, must be held on logical, not on empirical, grounds. I believe that the logical grounds are adequate to the conclusion. They rest, at bottom, upon the impossibility of explaining complexity without assuming constituents. It is undeniable that the visual field, for example, is complex; and so far as I can see, there is always self-contradiction in the theories which, while admitting this complexity, attempt to deny that it results from a combination of mutually external units. But to pursue this topic would lead us too far from our theme, and I shall therefore say no more about it at present.
(c) It is sometimes urged that the mathematical account of motion is rendered fictitious by its assumption of points and instants. Now there are here two different questions to be distinguished. There is the question of absolute or relative space and time, and there is the question whether what occupies space and time must be composed of elements which have no extension or duration. And each of these questions in turn may take two forms, namely: (α) is the hypothesis consistent with the facts and with logic? (β) is it necessitated by the facts or by logic? I wish to answer, in each case, yes to the first form of the question, and no to the second. But in any case the mathematical account of motion will not be fictitious, provided a right interpretation is given to the words “point” and “instant.” A few words on each alternative will serve to make this clear.
Formally, mathematics adopts an absolute theory of space and time, i.e. it assumes that, besides the things which are in space and time, there are also entities, called “points” and “instants,” which are occupied by things. This view, however, though advocated by Newton, has long been regarded by mathematicians as merely a convenient fiction. There is, so far as I can see, no conceivable evidence either for or against it. It is logically possible, and it is consistent with the facts. But the facts are also consistent with the denial of spatial and temporal entities over and above things with spatial and temporal relations. Hence, in accordance with Occam's razor, we shall do well to abstain from either assuming or denying points and instants. This means, so far as practical working out is concerned, that we adopt the relational theory; for in practice the refusal to assume points and instants has the same effect as the denial of them. But in strict theory the two are quite different, since the denial introduces an element of unverifiable dogma which is wholly absent when we merely refrain from the assertion. Thus, although we shall derive points and instants from things, we shall leave the bare possibility open that they may also have an independent existence as simple entities.