If such objects are to be verified, it must be solely through their relation to sense-data: they must have some kind of correlation with sense-data, and must be verifiable through their correlation alone.
But how is the correlation itself ascertained? A correlation can only be ascertained empirically by the correlated objects being constantly found together. But in our case, only one term of the correlation, namely, the sensible term, is ever found: the other term seems essentially incapable of being found. Therefore, it would seem, the correlation with objects of sense, by which physics was to be verified, is itself utterly and for ever unverifiable.
There are two ways of avoiding this result.
(1) We may say that we know some principle a priori, without the need of empirical verification, e.g. that our sense-data have causes other than themselves, and that something can be known about these causes by inference from their effects. This way has been often adopted by philosophers. It may be necessary to adopt this way to some extent, but in so far as it is adopted physics ceases to be empirical or based upon experiment and observation alone. Therefore this way is to be avoided as much as possible.
(2) We may succeed in actually defining the objects of physics as functions of sense-data. Just in so far as physics leads to expectations, this must be possible, since we can only expect what can be experienced. And in so far as the physical state of affairs is inferred from sense-data, it must be capable of expression as a function of sense-data. The problem of accomplishing this expression leads to much interesting logico-mathematical work.
In physics as commonly set forth, sense-data appear as functions of physical objects: when such-and-such waves impinge upon the eye, we see such-and-such colours, and so on. But the waves are in fact inferred from the colours, not vice versa. Physics cannot be regarded as validly based upon empirical data until the waves have been expressed as functions of the colours and other sense-data.
Thus if physics is to be verifiable we are faced with the following problem: Physics exhibits sense-data as functions of physical objects, but verification is only possible if physical objects can be exhibited as functions of sense-data. We have therefore to solve the equations giving sense-data in terms of physical objects, so as to make them instead give physical objects in terms of sense-data.
II. CHARACTERISTICS OF SENSE-DATA
When I speak of a "sense-datum," I do not mean the whole of what is given in sense at one time. I mean rather such a part of the whole as might be singled out by attention: particular patches of colour, particular noises, and so on. There is some difficulty in deciding what is to be considered one sense-datum: often attention causes divisions to appear where, so far as can be discovered, there were no divisions before. An observed complex fact, such as that this patch of red is to the left of that patch of blue, is also to be regarded as a datum from our present point of view: epistemologically, it does not differ greatly from a simple sense-datum as regards its function in giving knowledge. Its logical structure is very different, however, from that of sense: sense gives acquaintance with particulars, and is thus a two-term relation in which the object can be named but not asserted, and is inherently incapable of truth or falsehood, whereas the observation of a complex fact, which may be suitably called perception, is not a two-term relation, but involves the propositional form on the object-side, and gives knowledge of a truth, not mere acquaintance with a particular. This logical difference, important as it is, is not very relevant to our present problem; and it will be convenient to regard data of perception as included among sense-data for the purposes of this paper. It is to be observed that the particulars which are constituents of a datum of perception are always sense-data in the strict sense.
Concerning sense-data, we know that they are there while they are data, and this is the epistemological basis of all our knowledge of external particulars. (The meaning of the word "external" of course raises problems which will concern us later.) We do not know, except by means of more or less precarious inferences, whether the objects which are at one time sense-data continue to exist at times when they are not data. Sense-data at the times when they are data are all that we directly and primitively know of the external world; hence in epistemology the fact that they are data is all-important. But the fact that they are all that we directly know gives, of course, no presumption that they are all that there is. If we could construct an impersonal metaphysic, independent of the accidents of our knowledge and ignorance, the privileged position of the actual data would probably disappear, and they would probably appear as a rather haphazard selection from a mass of objects more or less like them. In saying this, I assume only that it is probable that there are particulars with which we are not acquainted. Thus the special importance of sense-data is in relation to epistemology, not to metaphysics. In this respect, physics is to be reckoned as metaphysics: it is impersonal, and nominally pays no special attention to sense-data. It is only when we ask how physics can be known that the importance of sense-data re-emerges.