A topic in the Open Knowledge Graph — a free, open map of 15,290 topics and the order to learn them in.

Reference Failure and Empty Names

College Depth 74 in the knowledge graph ☐ I know this ☆ Set as goal
47topics build on this
343prerequisites beneath it
See this on the map →
Russell's Theory of Definite DescriptionsCompositionality and Semantic Values+1 more→→Direct Reference TheoryKripke's Causal Theory of Reference for Proper Names
reference names truth-values empty-terms

Core Idea

When a name lacks a referent (like "Vulcan" or "the current king of France"), how do statements containing it have truth conditions? Frege proposed a truth-value gap; Russell proposed that descriptions are logically analyzable into quantified formulas that entail existence; direct reference theorists must explain what happens when reference fails. This problem reveals deep issues about semantic content and compositionality.

How It's Best Learned

Compare solutions: Russell's analysis of "The current king of France is wise" shows it's false rather than truth-valueless by parsing it as "There exists a unique current king of France who is wise." Study how direct reference theorists handle empty names, and consider whether fictional names ("Sherlock Holmes") require special treatment. Examine whether presupposition failure is the right model.

Common Misconceptions

Explainer

From your work on Russell's theory of definite descriptions and Frege's sense/reference distinction, you're equipped to see why empty names create a genuine crisis for theories of meaning. Both Frege and Russell built their semantic theories around reference: expressions contribute their referents to the propositions they help express. But what happens when a name has no referent? The question is not merely abstract — it arises for names of myths ("Zeus"), fictional characters ("Sherlock Holmes"), failed scientific posits ("Vulcan," the planet once hypothesized to orbit inside Mercury), and ordinary speakers' mistaken beliefs.

Frege's response was the truth-value gap: a sentence like "Vulcan is larger than Mercury" is neither true nor false because "Vulcan" lacks a referent and thus the sentence fails to express a complete proposition. Frege softened this by distinguishing the literary and scientific contexts: in fiction, names have sense (a mode of presentation) without ordinary reference, referring instead to fictional objects or ideas. His theory can thus acknowledge that we understand and communicate successfully about fictional characters without committing to their literal existence. The cost is that compositionality becomes complicated — the semantic value of a complex expression depends on the semantic values of its parts, but what is the semantic value of a part with no referent?

Russell's strategy was more radical: deny that proper names (in the logical sense) can fail to refer. He distinguished between ordinary proper names ("Hamlet," "Vulcan"), which are disguised definite descriptions, and logically proper names, which are guaranteed to refer. "Vulcan" abbreviates something like "the planet between Mercury and the Sun." Russell's analysis of definite descriptions then handles the failure: "The planet between Mercury and the Sun is larger than Mercury" is analyzed as "There exists a unique planet between Mercury and the Sun that is larger than Mercury" — which is simply false, not truth-valueless, because the existential claim fails. This preserves bivalence (every proposition is either true or false) at the cost of denying that ordinary names are genuine referring expressions.

Direct reference theorists (Kripke, Kaplan) face the sharpest challenge. If a name's sole semantic contribution is its referent — no descriptive backing, no Fregean sense — then an empty name contributes nothing, and the sentence containing it fails to express a proposition at all. This makes it hard to explain how "Sherlock Holmes is a detective" seems to communicate something, how we can make true negative existential claims ("Vulcan does not exist"), and how fiction is intelligible. Responses include Meinongianism (names refer to non-existent objects that have properties), pretense theory (we are engaged in a game of make-believe), abstract artifact theories (fictional characters exist as abstract objects created by authors), and various hybrid theories. Each choice reflects deeper commitments about the metaphysics of existence, the semantics of reference, and the purpose of names in natural language.

What did you take from this?

Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.

Quiz me anyway →

Prerequisite Chain

Understanding Zero → The Number Zero → Counting to Five → Counting to 10 → Counting to 20 → Counting a Set of Objects Up to 20 → Cardinality: The Last Number Counted → Matching Numerals to Quantities → Subitizing Small Quantities → Addition Within 10 → Number Bonds to 10 → Addition Within 20 → Doubles and Near Doubles → Doubles Facts Within 10 → Near Doubles Facts Within 20 → Mental Math Strategies for Addition → Mental Math: Adding and Subtracting Tens → Addition Within 100 → Repeated Addition as Multiplication → Multiplication as Equal Groups → Multiplication: Arrays → Basic Multiplication Facts (0s, 1s, 2s, 5s, 10s) → Multiplication Facts Within 100 → Division as Equal Sharing → Division as Grouping (Measurement Division) → Division: Grouping (Repeated Subtraction) Model → Division: Fair Sharing Model → Division as Equal Sharing → Division as Grouping → Basic Division Facts → Division Facts Within 100 → Multiplication and Division Fact Families → Relationship Between Multiplication and Division → Division Facts as Inverse of Multiplication → Remainders and Quotients in Division → Division Word Problems → Multi-Step Word Problems → Solving Multi-Step Word Problems → Multiplication Word Problems → Division Word Problems → Introduction to Long Division → Factors and Multiples → Prime and Composite Numbers → Equivalent Fractions → Relating Fractions and Decimals → Decimal Place Value → Integers and the Number Line → Comparing and Ordering Integers → Absolute Value → Adding Integers → Subtracting Integers → Multiplying Integers → Introduction to Exponents → Order of Operations → Integer Order of Operations → Variable Expressions → The Distributive Property → Variables and Expressions Review → Introduction to Polynomials → Adding and Subtracting Polynomials → Multiplying Polynomials → Factorial → Permutations → Combinations → Counting Principles: Addition and Multiplication Rules → Introduction to Graph Theory → Propositional Logic Foundations → Logical Equivalences → Boolean Algebra → Introduction to Propositional Logic → Introduction to Predicate Logic (First-Order Logic) → First-Order Logic Syntax → Russell's Theory of Definite Descriptions → Compositionality and Semantic Values → Reference Failure and Empty Names

Longest path: 75 steps · 343 total prerequisite topics

Prerequisites (3)

Leads To (2)