Russell's Theory of Definite Descriptions Explained (Philosophy of Language)

Keith Donnellan argues that definite descriptions (phrases beginning with 'the') can be used in two distinct ways: attributively (where the description picks out whoever fits it, and the statement is true only if the description applies to the referent) and referentially (where the speaker intends to pick out a specific individual, even if the description doesn't apply to them, allowing for true statements about non-existent entities). This distinction challenges both Russell's theory (which denies truth in empty descriptions) and Strawson's focus on language in isolation, demonstrating that a complete theory of meaning must consider the intentions and mental states of language users.

Keith Donnellan introduced two crucial distinctions to resolve the debate between Russell and Strawson about definite descriptions: (1) the distinction between 'denoting' (a description actually satisfies properties of an object) and 'referring' (a speaker's communicative intent to point to an object), and (2) the distinction between 'referential use' (using a description to refer to a specific person even when it doesn't denote them, e.g., calling Macron 'the King of France') and 'attributive use' (using a description to attribute properties to whoever satisfies it, e.g., saying 'The King of France needs to be deposed'). These distinctions show that sentences with empty descriptions can be true in referential uses or lack truth value in attributive uses, complicating the original Russell-Strawson debate.

Keith Donnellan, in his 1966 paper 'Reference and Definite Descriptions,' distinguished between two uses of definite descriptions: (1) Referential use - where the speaker intends to refer to a specific individual, regardless of whether the description accurately describes them; (2) Attributive use - where the speaker intends to refer to whoever satisfies the description. Donnellan argued that definite descriptions can function as proper names in referential contexts, where the description may not accurately describe the intended referent.

Keith Donnellan's 1966 paper 'Reference and Definite Descriptions' argues that definite descriptions have two distinct uses: the referential use, where a description is used to directly refer to a specific object (even if the description doesn't fit), and the attributive use, where a description is used to attribute properties to whatever object fits it; Donnellan contends that both Russell's theory (which treats definite descriptions as always attributive and considers statements with empty descriptions as false) and Strawson's theory (which treats them as always attributive and considers such statements as having no truth value) fail to account for the referential use, where reference failure does not occur.

Keith Donnell argues that definite descriptions can be used in two distinct ways: attributively (to say something essential about an individual who satisfies the description) and referentially (to pick out an individual regardless of whether they satisfy the description), challenging Russell's view that definite descriptions only have an attributive use; he demonstrates this through examples like referring to 'Smith's murderer' when no one actually committed the murder and asking about 'the man drinking a martini' when no one is actually drinking alcohol, showing that sentences with empty descriptions can still be true.

Saul Kripke's 1970 lectures at Princeton University, later published as 'Naming and Necessity,' systematically refuted John Searle's descriptivist cluster theory of proper names by demonstrating that names function as rigid designators that directly refer to individuals regardless of whether those individuals possess the associated properties; Kripke used the famous Gödel-Schmidt case to show that even if someone else had discovered the incompleteness of arithmetic, we would still be referring to Gödel, not the actual discoverer, thereby proving that names do not derive their meaning from clusters of descriptions but rather maintain a fixed reference across all possible worlds.

Saul Kripke argues that proper names are rigid designators that pick out the same object across all possible worlds, distinguishing them from definite descriptions which are accidental designators; this leads to the conclusion that objects have essential properties (like being human for Nixon) that cannot be lost without ceasing to be that object, while contingent properties (like being president) can be lost without losing identity.

Kripke argues that ordinary proper names do not have their references fixed by descriptions, but rather through a causal chain of communication that begins with an initial baptism (naming ceremony) and continues as the name passes from speaker to speaker, meaning that even if all associated descriptions turn out to be false, the name still refers to the original object because of this causal connection.

Saul Kripke argues that proper names are rigid designators that pick out the same object in every possible world where that object exists, challenging the traditional view that necessary truths are a priori and a priori truths are necessary. He demonstrates that these concepts can be decoupled by showing that some truths are contingent but known a priori (like 'water is H2O' or 'the atomic number of gold is 79'), while others are necessary but known a posteriori (like 'the Morning Star is the Evening Star'). This challenges the descriptivist theory of names and the traditional philosophical assumptions about modality and knowledge.

Naming and Necessity is a philosophical work by Saul Kripke that examines how proper nouns function in language and their relationship to meaning. The book addresses fundamental questions about reference, identity, and the nature of necessity in linguistic expressions. It challenges traditional views on how names connect to objects and explores whether certain truths are necessary or contingent, significantly influencing contemporary philosophy of language and metaphysics.

The problem of empty names (like 'Sherlock Holmes') creates tension between true descriptions and non-existent entities. Solutions include: (1) Meinongian objects—non-existent entities that still have properties we can truthfully describe; (2) Free logic—distinguishing existential quantifiers that imply existence from those that don't; (3) Descriptivist theory—treating names as disguised descriptions (e.g., 'Santa Claus' means 'the fat guy in the red suit'). Fictionalists treat such statements as elliptical assertions about fiction, avoiding ontological commitment while preserving language utility.

Frege's context principle states that words derive meaning from their context. This explains why substituting co-referential terms in belief reports can fail: 'Luis Lane believes Superman is strong' differs from 'Luis Lane believes Clark Kent is strong' even though Superman = Clark Kent. Belief contexts refer to sense, not reference. Frege held that empty names (like 'unicorn' or 'the largest number') still have sense but no reference, allowing meaningful discourse about non-existent objects.

In standard free logic semantics with two domains (inner domain for quantifiers, outer domain for reference), The F is G is true at a structure if and only if there is exactly one element in the outer domain satisfying F and G. This allows speaking about objects that don't exist (in the inner domain) while still having definite descriptions designate unique objects across possible worlds.

Standard logic presupposes that every singular term denotes an existing object, creating problems for names like Pegasus or fictional entities. Free logics emerged in the 1950s to address this limitation, allowing meaningful discourse about non-existent objects. The philosophical foundation lies in contrasting realism (where objects are fundamental and names must denote them) with idealism (where representations are fundamental and names serve grammatical functions regardless of denotation). Semantic solutions include introducing non-existent objects, supervaluation theory (assigning arbitrary truth values to propositions), and arbitrary denotation semantics (assigning arbitrary denotations to terms). Truth in free logic becomes counterfactual rather than correspondence-based, evaluating statements through hypothetical scenarios about non-existent objects.

Free logics reject the classical assumption that every term must denote an object in the domain. They allow terms to be empty (have no referent). Free logics can be classified as universally free (all terms can be empty), existentially free (some terms can be empty), or negatively free (empty terms have no referent at all). They preserve quantifier import but allow partial functions—functions not defined for all arguments. This allows expressing operations like division by zero without absurd conclusions. Free logics modify rules of inference to accommodate empty terms while recovering classical behavior when terms have referents.