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: Wide: ¬∃x(Fx ∧ ∀y(Fy → y=x) ∧ Gx) Narrow: ∃x(Fx ∧ ∀y(Fy → y=x) ∧ ¬Gx) "The King of France is not bald."

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
ιx	U+03B9	Iota	The unique x
∃!	—	Unique exists	Exactly one
E!	—	Exists	Existence predicate

Metatheory. Eliminable in first-order logic. Scope determines meaning. Complete theory exists. Decision procedures.

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

Limitations. Strawson's objections. Donnellan's referential/attributive. Context sensitivity. Scope complexity.