Definite Descriptions

Origin. Russell (1905). "The present King of France" problem. Contextual definition. Scope distinctions. Foundation for reference theory.

Models. "The F is G" analyzed as: exactly one F exists and it is G. No genuine singular terms. Scope affects truth conditions. Strawson's presupposition alternative.

Formalism.

Russell's analysis: The F is G ≡ ∃x(Fx ∧ ∀y(Fy → y=x) ∧ Gx) Existence + uniqueness + predication.

Iota notation: (ιx.Fx): the x such that Fx G(ιx.Fx) ≡ ∃x(Fx ∧ ∀y(Fy → y=x) ∧ Gx)

Scope distinctions — "The King of France is not bald": Wide (primary occurrence; the description outscopes ¬): ∃x(Fx ∧ ∀y(Fy → y=x) ∧ ¬Gx) — false, since no such x exists. Narrow (secondary occurrence; ¬ outscopes the description): ¬∃x(Fx ∧ ∀y(Fy → y=x) ∧ Gx) — true, vacuously. Russell's point: the sentence is ambiguous, and only the narrow reading is true.

Empty descriptions: No F exists: "The F is G" false. Not truth-value gap (vs Strawson).

Improper descriptions: Multiple Fs exist: false. Uniqueness fails.

Free logic alternative: Terms may not denote. E!(ιx.Fx): description exists. Different truth conditions.

Strawson's presupposition: Existence presupposed, not asserted. Failure → neither true nor false. Three-valued logic connection.

Symbols.

Symbol	Unicode	Name	Meaning
ι	U+03B9	Iota	Description operator; ιx.Fx is "the x such that Fx"
∃	U+2203	Existential quantifier	Existence clause of the analysis
∀	U+2200	Universal quantifier	Uniqueness clause of the analysis
∧	U+2227	Conjunction	Joins existence, uniqueness and predication
→	U+2192	Conditional	Inside the uniqueness clause
¬	U+00AC	Negation	The connective whose scope disambiguates
=	U+003D	Identity	Uniqueness is stated with it
≡	U+2261	Definitional equivalence	The contextual definition
∃!	—	Unique exists	Exactly one
E!	—	Exists	Existence predicate of free logic

Metatheory. Russell's analysis is a contextual definition, and its metatheoretic content is an eliminability theorem: every formula in which ιx.Fx occurs is provably equivalent to one in which it does not, so first-order logic with identity extended by the description operator is a conservative extension of first-order logic with identity and proves no new description-free theorems. Hilbert and Bernays (1934) gave the corresponding axiomatic treatment, admitting ι-terms under the uniqueness condition ∃!x.Fx and proving the same eliminability result. What is not eliminable is scope: the translation of a sentence containing a description depends on where the description is taken to occur, so Principia's scope brackets do semantic work that ordinary singular terms never require, and such a sentence is structurally ambiguous rather than merely unclear. Because an improper description makes its containing sentence false rather than truth-valueless, the analysis preserves bivalence and the surrounding logic remains classical, with validity undecidable and recursively enumerable exactly as before. Strawson's presuppositional alternative does not preserve bivalence: it yields truth-value gaps and requires a partial, three-valued or supervaluational semantics, and while supervaluation retains all classical tautologies it invalidates the very equivalence Russell's analysis asserts.

Applies to. Philosophy of language. Natural language semantics. Reference theory. Knowledge representation.

Limitations. Descriptions are not terms on Russell's treatment: ιx.Fx is defined only in context, cannot be substituted for a variable, cannot be bound, and has no compositional semantic value, so the ordinary term rules of first-order logic do not apply to it. Every occurrence must be assigned a scope before it has truth conditions at all, and the resulting ambiguity is structural, not resolvable inside the logic. Preserving bivalence has a consequence: on the wide-scope reading "the F is G" and "the F is not G" are both false when nothing is F, so the pair are contraries rather than contradictories. Uniqueness is written into the analysis while ordinary uses rarely satisfy it, and the theory supplies no mechanism of domain restriction to repair this. Donnellan's referential uses come out false whenever the description misdescribes its intended referent, since the analysis delivers attributive truth conditions only. Descriptions are non-rigid, so their behaviour in modal and attitude contexts is settled by scope, which the analysis identifies without determining. And plural and generic descriptions fall outside the schema entirely.