The Fregean analysis of definite descriptions, implicit in the work of Frege and later defended by Strawson among others, represents the primary alternative to the Russellian theory. On the Fregean analysis, definite descriptions are construed as referring expressions rather than quantificational expressions. Existence and uniqueness are understood as a presupposition of a sentence containing a definite description, rather than part of the content asserted by such a sentence. The sentence 'The present King of France is bald', for example, is not used to claim that there exists a unique present King of France who is bald; instead, that there is a unique present King of France is part of what this sentence presupposes, and what it says is that this individual is bald. If the presupposition fails, the definite description fails to refer, and the sentence as a whole fails to express a proposition.
