Mysticism and Logic and Other Essays

else wrote them. Thus the identity is that of a variable, i.e. of an indefinite subject, "some one." This is why we can understand propositions about "the author of Waverley," without knowing who he was. When we say "the author of Waverley was a poet," we mean "one and only one man wrote Waverley, and he was a poet"; when we say "the author of Waverley was Scott" we mean "one and only one man wrote Waverley, and he was Scott." Here the identity is between a variable, i.e. an indeterminate subject ("he"), and Scott; "the author of Waverley" has been analysed away, and no longer appears as a constituent of the proposition.[48] The reason why it is imperative to analyse away the phrase "the author of Waverley" may be stated as follows. It is plain that when we say "the author of Waverley is the author of Marmion," the is expresses [229]identity. We have seen also that the common denotation, namely Scott, is not a constituent of this proposition, while the meanings (if any) of "the author of Waverley" and "the author of Marmion" are not identical. We have seen also that, in any sense in which the meaning of a word is a constituent of a proposition in whose verbal expression the word occurs, "Scott" means the actual man Scott, in the same sense (so far as concerns our present discussion) in which "author" means a certain universal. Thus, if "the author of Waverley" were a subordinate complex in the above proposition, its meaning would have to be what was said to be identical with the meaning of "the author of Marmion." This is plainly not the case; and the only escape is to say that "the author of Waverley" does not, by itself, have a meaning, though phrases of which it is part do have a meaning. That is, in a right analysis of the above proposition, "the author of Waverley" must disappear. This is effected when the above proposition is analysed as meaning: "Some one wrote Waverley and no one else did, and that some one also wrote Marmion and no one else did." This may be more simply expressed by saying that the propositional function "x wrote Waverley and Marmion, and no one else did" is capable of truth, i.e. some value of x makes it true, but no other value does. Thus the true subject of our judgment is a propositional function, i.e. a complex containing an undetermined constituent, and becoming a proposition as soon as this constituent is determined. 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 [230]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 [231]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 [232]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.