is
,' (2)
is true."
This is the definition of propositions in which descriptions occur.
It is possible to have much knowledge concerning a term described, i.e. to know many propositions concerning "the so-and-so," without actually knowing what the so-and-so is, i.e. without knowing any proposition of the form "
is the so-and-so," where "