The Analysis of Mind

by Bertrand Russell

Just as a word has meaning, so a proposition has an objective reference. The objective reference of a proposition is a function (in the mathematical sense) of the meanings of its component words. But the objective reference differs from the meaning of a word through the duality of truth and falsehood. You may believe the proposition "to-day is Tuesday" both when, in fact, to-day is Tuesday, and when to-day is not Tuesday. If to-day is not Tuesday, this fact is the objective of your belief that to-day is Tuesday. But obviously the relation of your belief to the fact is different in this case from what it is in the case when to-day is Tuesday. We may say, metaphorically, that when to-day is Tuesday, your belief that it is Tuesday points TOWARDS the fact, whereas when to-day is not Tuesday your belief points AWAY FROM the fact. Thus the objective reference of a belief is not determined by the fact alone, but by the direction of the belief towards or away from the fact.* If, on a Tuesday, one man believes that it is Tuesday while another believes that it is not Tuesday, their beliefs have the same objective, namely the fact that it is Tuesday but the true belief points towards the fact while the false one points away from it. Thus, in order to define the reference of a proposition we have to take account not only of the objective, but also of the direction of pointing, towards the objective in the case of a true proposition and away from it in the case of a false one.

* I owe this way of looking at the matter to my friend
Ludwig Wittgenstein.

This mode of stating the nature of the objective reference of a proposition is necessitated by the circumstance that there are true and false propositions, but not true and false facts. If to-day is Tuesday, there is not a false objective "to-day is not Tuesday," which could be the objective of the false belief "to-day is not Tuesday." This is the reason why two beliefs which are each other's contradictories have the same objective. There is, however, a practical inconvenience, namely that we cannot determine the objective reference of a proposition, according to this definition, unless we know whether the proposition is true or false. To avoid this inconvenience, it is better to adopt a slightly different phraseology, and say: The "meaning" of the proposition "to-day is Tuesday" consists in pointing to the fact "to-day is Tuesday" if that is a fact, or away from the fact "to-day is not Tuesday" if that is a fact. The "meaning" of the proposition "to-day is not Tuesday" will be exactly the opposite. By this hypothetical form we are able to speak of the meaning of a proposition without knowing whether it is true or false. According to this definition, we know the meaning of a proposition when we know what would make it true and what would make it false, even if we do not know whether it is in fact true or false.

The meaning of a proposition is derivative from the meanings of its constituent words. Propositions occur in pairs, distinguished (in simple cases) by the absence or presence of the word "not." Two such propositions have the same objective, but opposite meanings: when one is true, the other is false, and when one is false, the other is true.

The purely formal definition of truth and falsehood offers little difficulty. What is required is a formal expression of the fact that a proposition is true when it points towards its objective, and false when it points away from it, In very simple cases we can give a very simple account of this: we can say that true propositions actually resemble their objectives in a way in which false propositions do not. But for this purpose it is necessary to revert to image-propositions instead of word-propositions. Let us take again the illustration of a memory-image of a familiar room, and let us suppose that in the image the window is to the left of the door. If in fact the window is to the left of the door, there is a correspondence between the image and the objective; there is the same relation between the window and the door as between the images of them. The image-memory consists of the image of the window to the left of the image of the door. When this is true, the very same relation relates the terms of the objective (namely the window and the door) as relates the images which mean them. In this case the correspondence which constitutes truth is very simple.

In the case we have just been considering the objective consists of two parts with a certain relation (that of left-to-right), and the proposition consists of images of these parts with the very same relation. The same proposition, if it were false, would have a less simple formal relation to its objective. If the image-proposition consists of an image of the window to the left of an image of the door, while in fact the window is not to the left of the door, the proposition does not result from the objective by the mere substitution of images for their prototypes. Thus in this unusually simple case we can say that a true proposition "corresponds" to its objective in a formal sense in which a false proposition does not. Perhaps it may be possible to modify this notion of formal correspondence in such a way as to be more widely applicable, but if so, the modifications required will be by no means slight. The reasons for this must now be considered.

To begin with, the simple type of correspondence we have been exhibiting can hardly occur when words are substituted for images, because, in word-propositions, relations are usually expressed by words, which are not themselves relations. Take such a proposition as "Socrates precedes Plato." Here the word "precedes" is just as solid as the words "Socrates" and "Plato"; it MEANS a relation, but is not a relation. Thus the objective which makes our proposition true consists of TWO terms with a relation between them, whereas our proposition consists of THREE terms with a relation of order between them. Of course, it would be perfectly possible, theoretically, to indicate a few chosen relations, not by words, but by relations between the other words. "Socrates-Plato" might be used to mean "Socrates precedes Plato"; "Plato-Socrates" might be used to mean "Plato was born before Socrates and died after him"; and so on. But the possibilities of such a method would be very limited. For aught I know, there may be languages that use it, but they are not among the languages with which I am acquainted. And in any case, in view of the multiplicity of relations that we wish to express, no language could advance far without words for relations. But as soon as we have words for relations, word-propositions have necessarily more terms than the facts to which they refer, and cannot therefore correspond so simply with their objectives as some image-propositions can.

The consideration of negative propositions and negative facts introduces further complications. An image-proposition is necessarily positive: we can image the window to the left of the door, or to the right of the door, but we can form no image of the bare negative "the window not to the left of the door." We can DISBELIEVE the image-proposition expressed by "the window to the left of the door," and our disbelief will be true if the window is not to the left of the door. But we can form no image of the fact that the window is not to the left of the door. Attempts have often been made to deny such negative facts, but, for reasons which I have given elsewhere,* I believe these attempts to be mistaken, and I shall assume that there are negative facts.

* "Monist," January, 1919, p. 42 ff.

Word-propositions, like image-propositions, are always positive facts. The fact that Socrates precedes Plato is symbolized in English by the fact that the word "precedes" occurs between the words "Socrates" and "Plato." But we cannot symbolize the fact that Plato does not precede Socrates by not putting the word "precedes" between "Plato" and "Socrates." A negative fact is not sensible, and language, being intended for communication, has to be sensible. Therefore we symbolize the fact that Plato does not precede Socrates by putting the words "does not precede" between "Plato" and "Socrates." We thus obtain a series of words which is just as positive a fact as the series "Socrates precedes Plato." The propositions asserting negative facts are themselves positive facts; they are merely different positive facts from those asserting positive facts.