Identity Statements and Opaque Contexts
Identity statements and opaque contexts sit at the heart of a key puzzle in semantics: if two expressions pick out the same thing in the world, why can't you always swap one for the other without changing whether a sentence is true? These concepts force us to think carefully about the difference between what a word refers to and how it presents that referent to a speaker's mind.
Identity Statements and Opaque Contexts
An identity statement asserts that two expressions refer to the same entity. Some examples:
- "Mark Twain is Samuel Clemens" (the author's pen name and his birth name)
- "The morning star is the evening star" (both refer to Venus)
- "Clark Kent is Superman" (two names for the same individual)
These might look trivially true once you know the facts, but as you'll see below, they carry real informational weight.
An opaque context is a linguistic environment where substituting one co-referential term for another can change the sentence's truth value. That's surprising, because outside these contexts, substitution works fine. Three common types:
- Belief reports: "Lois Lane believes Superman can fly" is true, but "Lois Lane believes Clark Kent can fly" may be false, because Lois doesn't know they're the same person.
- Modal contexts: "Necessarily, 2 + 2 = 4" is true, but "Necessarily, the number of Beatles = 4" is not, even if there happen to be four Beatles. The number of Beatles could have been different.
- Quotation contexts: "'Cicero' has six letters" is true, but "'Tully' has six letters" is false (it has five), even though Cicero and Tully are the same Roman orator. Here the sentence is about the name itself, not the person.
Challenges in Opaque Contexts
The substitutivity principle (also called Leibniz's Law applied to language) says that co-referential terms should be interchangeable in any sentence without affecting its truth value. Opaque contexts are exactly where this principle appears to break down.
Frege's puzzle makes the problem vivid. Consider two statements:
- "Hesperus is Hesperus" (trivially true, uninformative)
- "Hesperus is Phosphorus" (an astronomical discovery, genuinely informative)
Both names refer to Venus, so by pure reference these sentences say the same thing. Yet the second one clearly tells you something the first doesn't. This shows that co-referential terms can carry different cognitive significance for a speaker, which is exactly what causes substitution to go wrong in belief reports and similar contexts.
Solutions for Identity Puzzles
Several theories attempt to explain why substitution fails in opaque contexts:
Fregean sense theory distinguishes between an expression's reference (Bedeutung, the object it picks out) and its sense (Sinn, the mode of presentation of that object). "Hesperus" and "Phosphorus" share a reference (Venus) but differ in sense (one presents Venus as the evening star, the other as the morning star). In opaque contexts, it's the sense that matters, not just the reference. This accounts for both cognitive significance and substitutivity failure.
Russell's theory of descriptions takes a different approach. It analyzes definite descriptions (like "the morning star") not as referring expressions but as disguised quantified expressions. On this view, certain identity statements aren't genuine identities at all but rather complex claims about what uniquely satisfies a description. This dissolves some versions of Frege's puzzle by reanalyzing the logical form of the sentence.
Kripke's rigid designator theory argues that proper names are rigid designators: they refer to the same entity in every possible world where that entity exists. This helps explain modal contexts specifically. "Hesperus is Phosphorus" is necessarily true (same object in all possible worlds), even though it was discovered a posteriori (through empirical investigation). Kripke's key move is separating the question of necessity from the question of whether something is knowable without experience.
Implications for Meaning Theories
Opaque contexts create real pressure on several foundational ideas in semantics.
The compositionality principle holds that a complex expression's meaning is fully determined by the meanings of its parts and how they're combined. But in opaque contexts, knowing the reference of each part doesn't always tell you the truth value of the whole sentence. The meaning of "believes" or "necessarily" seems to interact with the way a term presents its referent, not just which referent it picks out.
Direct reference theory, which holds that a name's meaning simply is its referent, struggles here. If "Hesperus" and "Phosphorus" mean the same thing (Venus), the theory has difficulty explaining why substituting one for the other in a belief report can flip the truth value.
Two-dimensional semantics tries to reconcile Fregean and Kripkean insights by distinguishing two aspects of meaning:
- Primary intension: captures cognitive significance and a priori content (how the expression determines its referent given how the actual world turns out)
- Secondary intension: captures truth-conditional, metaphysically necessary content (what the expression refers to across possible worlds, given what it actually refers to)
This framework aims to preserve Kripke's insight that names are rigid designators while also accommodating Frege's insight that co-referential names can differ in cognitive significance.