We may now define the denotation of a phrase. If we know that the proposition "a is the so-and-so" is true, i.e. that a is so-and-so and nothing else is, we call a the denotation of the phrase "the so-and-so." A very great many of the propositions we naturally make about "the so-and-so" will remain true or remain false if we substitute a for "the so-and-so," where a is the denotation of "the so-and-so." Such propositions will also remain true or remain false if we substitute for "the so-and-so" any other phrase having the same denotation. Hence, as practical men, we become interested in the denotation more than in the description, since the denotation decides as to the truth or falsehood of so many statements in which the description occurs. Moreover, as we saw earlier in considering the relations of description and acquaintance, we often wish to reach the denotation, and are only hindered by lack of acquaintance: in such cases the description is merely the means we employ to get as near as possible to the denotation. Hence it naturally comes to be supposed that the denotation is part of the proposition in which the description occurs. But we have seen, both on logical and on epistemological grounds, that this is an error. The actual object (if any) which is the denotation is not (unless it is explicitly mentioned) a constituent of propositions in which descriptions occur; and this is the reason why, in order to understand such propositions, we need acquaintance with the constituents of the description, but do not need acquaintance with its denotation. The first result of analysis, when applied to propositions whose grammatical subject is "the so-and-so," is to substitute a variable as subject; i.e. we obtain a proposition of the form: "There is something which alone is so-and-so, and that something is such-and-such." The further analysis of propositions concerning "the so-and-so" is thus merged in the problem of the nature of the variable, i.e. of the meanings of some, any, and all. This is a difficult problem, concerning which I do not intend to say anything at present.
To sum up our whole discussion. We began by distinguishing two sorts of knowledge of objects, namely, knowledge by acquaintance and knowledge by description. Of these it is only the former that brings the object itself before the mind. We have acquaintance with sense-data, with many universals, and possibly with ourselves, but not with physical objects or other minds. We have descriptive knowledge of an object when we know that it is the object having some property or properties with which we are acquainted; that is to say, when we know that the property or properties in question belong to one object and no more, we are said to have knowledge of that one object by description, whether or not we are acquainted with the object. Our knowledge of physical objects and of other minds is only knowledge by description, the descriptions involved being usually such as involve sense-data. All propositions intelligible to us, whether or not they primarily concern things only known to us by description, are composed wholly of constituents with which we are acquainted, for a constituent with which we are not acquainted is unintelligible to us. A judgment, we found, is not composed of mental constituents called "ideas," but consists of an occurrence whose constituents are a mind[49] and certain objects, particulars or universals. (One at least must be a universal.) When a judgment is rightly analysed, the objects which are constituents of it must all be objects with which the mind which is a constituent of it is acquainted. This conclusion forces us to analyse descriptive phrases occurring in propositions, and to say that the objects denoted by such phrases are not constituents of judgments in which such phrases occur (unless these objects are explicitly mentioned). This leads us to the view (recommended also on purely logical grounds) that when we say "the author of Marmion was the author of Waverley," Scott himself is not a constituent of our judgment, and that the judgment cannot be explained by saying that it affirms identity of denotation with diversity of meaning. It also, plainly, does not assert identity of meaning. Such judgments, therefore, can only be analysed by breaking up the descriptive phrases, introducing a variable, and making propositional functions the ultimate subjects. In fact, "the so-and-so is such-and-such" will mean that "x is so-and-so and nothing else is, and x is such-and-such" is capable of truth. The analysis of such judgments involves many fresh problems, but the discussion of these problems is not undertaken in the present paper.
FOOTNOTES:
[40] See references later.
[41] Philosophical Essays, "The Nature of Truth." I have been persuaded by Mr. Wittgenstein that this theory is somewhat unduly simple, but the modification which I believe it to require does not affect the above argument [1917].
[42] Cf. Meinong, Ueber Annahmen, passim. I formerly supposed, contrary to Meinong's view, that the relationship of supposing might be merely that of presentation. In this view I now think I was mistaken, and Meinong is right. But my present view depends upon the theory that both in judgment and in assumption there is no single Objective, but the several constituents of the judgment or assumption are in a many-term relation to the mind.
[43] This view has been recently advocated by Miss E.E.C. Jones. "A New Law of Thought and its Implications," Mind, January, 1911.
[44] I should now exclude "I" from proper names in the strict sense, and retain only "this" [1917].
[45] Meinong, Ueber Annahmen, 2nd ed., Leipzig, 1910, p. 141.