There are no classes which contain objects of more than one type. Accordingly there is a universal class and a null-class proper to each type of object. But these symbols need not be distinguished, since it will be found that there is no possibility of confusion. Similar remarks apply to relations.
Descriptions. By a "description" we mean a phrase of the form "the so-and-so" or of some equivalent form. For the present, we confine our attention to the in the singular. We shall use this word strictly, so as to imply uniqueness; e.g. we should not say " is the son of " if had other sons besides . Thus a description of the form "the so-and-so" will only have an application in the event of there being one so-and-so and no more. Hence a description requires some propositional function which is satisfied by one value of and by no other values; then "the which satisfies " is a description which definitely describes a certain object, though we may not know what object it describes. For example, if is a man, " is the father of " must be true for one, and only one, value of . Hence "the father of " is a description of a certain man, though we may not know what man it describes. A phrase containing "the" always presupposes some initial propositional function not containing "the"; thus instead of " is the father of " we ought to take as our initial function " begot "; then "the father of " means the one value of which satisfies this propositional function.
If is a propositional function, the symbol "℩" is used in our symbolism in such a way that it can always be read as "the which satisfies ." But we do not define "℩" as standing for "the which satisfies ," thus treating this last phrase as embodying a primitive idea. Every use of "℩," where it apparently occurs as a constituent of a proposition in the place of an object, is defined in terms of the primitive ideas already on hand. An example of this definition in use is given by the proposition "℩" which is considered immediately. The whole subject is treated more fully in Chapter III.
The symbol should be compared and contrasted with "" which in use can always be read as "the 's which satisfy ." Both symbols are incomplete symbols defined only in use, and as such are discussed in Chapter III. The symbol "" always has an application, namely to the class determined by ; but "℩"" only has an application when is only satisfied by one value of , neither more nor less. It should also be observed that the meaning given to the symbol by the definition, given immediately below, of ℩ does not presuppose that we know the meaning of "one." This is also characteristic of the definition of any other use of "℩.
