Frege's Puzzles¶

The paired semantic challenge that co-referring expressions can differ in cognitive value and can fail to substitute truth-preservingly inside propositional-attitude reports.

Version: v2 · 2026-09-06 · History
Domain-specific #: 1887
Origin domain: philosophy of language
Subdomain: theories of reference and propositional attitudes
Aliases: Frege's puzzle, Fregean puzzles, Frege's identity puzzle, Frege's puzzle about belief

Core Idea¶

Frege's Puzzles name a paired explanatory challenge for theories of linguistic meaning and reference. Two expressions can designate the same object, yet replacing one presentation with the other can change what an identity statement teaches or whether a propositional-attitude report is true. A semantics that assigns only the ordinary referent to each name appears to predict more equivalence than competent speakers actually display.^[1]^[2]

The identity form contrasts a reflexive statement such as “Hesperus is Hesperus” with an informative co-reference statement such as “Hesperus is Phosphorus.” Both are true because the names designate Venus. Yet the first can be recognized without astronomical discovery, whereas the second can enlarge a speaker's knowledge. Truth and referential equality therefore do not by themselves explain the difference in cognitive value.

The attitude-report form begins with the ordinary principle that co-designating terms may be substituted without changing truth. The principle works in a transparent sentence: if Hesperus is bright, then Phosphorus is bright, because Hesperus is Phosphorus. It can fail under “believes,” “knows,” “hopes,” or another propositional-attitude verb. A person may believe that Hesperus is visible in the evening while not believing that Phosphorus is visible in the evening, because the person does not know that the two names co-refer.^[3]

The abstraction is the problem architecture, not Frege's solution. Frege introduces sense (Sinn) in addition to reference (Bedeutung) and treats embedded expressions in indirect contexts differently. Russellian, direct-reference, pragmatic, metalinguistic, guise, and contextualist accounts accept much of the evidence while relocating its explanation. A case instantiates Frege's Puzzles when it presents referential sameness together with a principled cognitive-value or attitude-report divergence that a semantic theory must explain.

Structural Signature¶

The recurring structure contains eight roles:

co-designating expressions, a and b — distinct names or singular terms with the same ordinary referent;
referential identity — the established condition [[a]] = [[b]] at the level of designation;
a reference-preserving baseline — a theory or inference rule predicting that exchanging a and b should preserve content, truth, or information;
the transparent environment — an ordinary extensional context in which substitution normally preserves truth;
the cognitive contrast — a difference in informativeness, recognition, knowledge, or rational acceptance between a=a and a=b;
the attitude-bearing subject — an agent whose epistemic state can discriminate between presentations of the same object;
the opaque environment — an attitude report or related intensional context in which substitution can change truth-value;
the explanatory burden — an account of which semantic, cognitive, pragmatic, or contextual factor licenses the divergence without denying the established co-reference.

The two diagnostic schemata are:

\[ [[a]]=[[b]],\qquad CV(a=a)\neq CV(a=b), \]

and

\[ [[a]]=[[b]],\quad \text{Believes}(S,F(a))\not\Rightarrow \text{Believes}(S,F(b)). \]

Here [[x]] marks ordinary designation and CV marks cognitive value; the notation does not presuppose Frege's own theory of sense. The recognition invariant is: sameness at the ordinary-reference level fails to guarantee sameness at a presentation-sensitive cognitive or attitude-report level. Either canonical form can be discussed alone, but the plural node records their shared pressure on a referent-only account.

What It Is Not¶

Frege's Puzzles are not the false claim that co-referring terms are never substitutable. In transparent extensional contexts, substituting one for the other normally preserves truth. The puzzle depends on the contrast between that baseline and the exceptional cognitive or intensional behavior.

They are not identical to Sense and Reference. Sense/reference is Frege's proposed semantic architecture: expressions express modes of presentation as well as designate objects, and indirect contexts trigger a shift in semantic reference. The puzzles are the explananda. A direct-reference theorist can reject Frege's solution while still owing an answer to the puzzles.^[4]^[5]

They are not a generic issue about synonyms. Co-reference relates expressions to one object; synonymy concerns sameness or similarity of linguistic meaning. Frege's examples are important precisely because two expressions can co-refer without being cognitively interchangeable.

They are not every substitution failure. Replacing a word with a non-synonym, changing quotation, crossing a modal operator, violating grammar, or shifting an indexical's context can alter truth for other reasons. The canonical structure requires co-designating singular expressions and a declared cognitive-significance or attitude-ascription contrast.

They are not Kripke's puzzle about belief. Kripke constructs translation and disquotation cases intended to reproduce trouble without relying only on two co-referring names, thereby challenging diagnoses that blame direct reference. His puzzles are historically and structurally related but should not be silently folded into the Fregean cases.^[6]

Finally, they are not Hesperus, Phosphorus, Clark Kent, or Superman as cultural facts. Those pairs are test fixtures. Any verified co-reference pair can realize the structure.

Scope of Application¶

The home domain is philosophy of language, especially the semantics of names, identity statements, propositional attitudes, and indirect discourse. The puzzles function as adequacy tests for theories of reference and content. Fregean sense theories, Russellian propositions, descriptivism, direct-reference theories, two-dimensional semantics, pragmatic enrichment, hidden-indexical views, and mental-file or guise approaches differ partly in where they place the presentation-sensitive information.^[5]^[3]

The identity form applies when a true a=b statement has a different route to knowledge or cognitive value from a=a. It is not limited to empirical astronomy. Arithmetic presentations, pseudonyms, titles, and independently introduced names can supply the contrast, provided co-reference is established and the claimed difference is genuinely cognitive rather than a mere typography preference.

The attitude form applies to reports of belief, knowledge, desire, intention, discovery, and related attitudes whose truth can depend on how an object is presented to a subject. The report must not be confused with a claim about the object's properties. “Superman flies” and “Clark Kent flies” concern one object in a transparent setting; “Lois believes that …” introduces the presentation-sensitive environment.

The puzzles also inform formal semantics, philosophy of mind, and epistemology where theories connect sentence content with rational belief and action. Their use remains domain-specific. Database aliases and user-interface labels may exhibit a loose access-path analogy, but without linguistic content, cognitive significance, an attitude subject, and a semantic explanatory burden they do not instantiate the Fregean node.

Clarity¶

A candidate case passes a six-question test:

Are a and b distinct expressions?
Is their ordinary co-reference established rather than merely suspected?
What baseline semantic or substitution prediction follows from that co-reference?
Is the divergence cognitive value in an identity statement, truth in an attitude report, or both?
What subject, informational state, or mode of presentation makes the divergence possible?
Is the analysis presenting the puzzle neutrally, or has it already assumed one contested solution?

For the identity form, “a=b is surprising” is insufficient. Surprise may result from ignorance, bad evidence, or conversational novelty. The load-bearing point is that a referent-only semantic assignment appears unable to represent a systematic difference between a=a and informative a=b.

For the attitude form, the subject's epistemic state must be held fixed while the reporter substitutes co-designating terms. If the substitution changes the object, predicate, tense, world, or speaker, it does not isolate the puzzle. Conversely, the report need not show that substitution is logically impossible in every reading. De re/de dicto scope, quotation, and contextual enrichment may generate readings on which truth is preserved. Those distinctions are possible answers or qualifications, not reasons to erase the diagnostic.

Manages Complexity¶

The node compresses a large literature into a common stress test. Without it, debates about names can become catalogs of rival positions whose disagreements are difficult to compare. Frege's Puzzles provide a shared input: ordinary co-reference, a predicted equivalence, and a presentation-sensitive divergence. Competing theories can then be compared by what they preserve, what additional structure they posit, and where they locate the explanatory work.

The problem architecture also separates three levels often conflated. Metaphysical identity asks whether there is one object. Semantic contribution asks what a name contributes to sentence content or truth conditions. Cognitive significance asks what information a competent subject grasps or can rationally fail to connect. The puzzles arise because equality at the first level seems not to collapse differences at the latter levels.

In attitude reports, a fourth level matters: the reporter's linguistic choice. A theory may locate the difference in the believer's mode of presentation, in the semantic content of the embedded clause, in a covert variable, or in pragmatically conveyed information. Naming the puzzle without prejudging the level makes those proposals commensurable.

The compression has limits. The identity and attitude forms are not formally identical, and some theories solve them differently. The node preserves two manifestations rather than pretending they are one sentence schema.

Abstract Reasoning¶

Several inferences follow from the structure.

Reference is not yet an explanation of cognitive value. From [[a]]=[[b]] one may infer that the two expressions pick out one object. One may not infer that a=a and a=b are equally informative without an additional theory of content and cognition.

Transparent substitution does not automatically export into attitude scope. A valid substitution in F(a) does not by itself license substitution inside “S believes that F(a).” First determine whether the attitude environment is opaque on the intended reading.

A solution incurs a location cost. If a theory denies name-level sense, it must place the observed difference elsewhere—structured propositions, modes of presentation, belief relations, pragmatics, metalinguistic content, mental files, or context. Merely repeating that the names co-refer leaves the puzzle unanswered.

Solving one form need not solve the other. A pragmatic story about why a=b is informative may not explain why an attitude ascription changes truth-value. A semantic treatment of embedded clauses may not explain the epistemic contrast between a=a and a=b.

Counterexamples require controlled substitutions. If a purported counterexample alters the referent or the relevant scope, it does not test the invariant. If the subject already knows and treats the names as co-referring, the classic divergence may disappear in that case without disproving the general problem.

The puzzle does not entail Fregeanism. The evidence imposes an adequacy condition. It does not uniquely select sense/reference, as the sustained post-Frege literature demonstrates.^[4]^[3]

Knowledge Transfer¶

Within philosophy, the complete pattern transfers from proper names to definite descriptions and sometimes indexicals, provided the expressions co-designate and the presentation-sensitive contrast remains. Translation and quotation require extra care because they can change linguistic objects or context rather than hold reference fixed.

The node supplies a reusable review procedure for semantic theories: identify the theory's ordinary semantic value for a and b; derive its substitution prediction; test informative identity and attitude contexts; then locate any additional information invoked by the repair. This procedure travels across Fregean, Russellian, direct-reference, pragmatic, and contextualist accounts without adopting their conclusions.

Outside philosophy of language, weaker analogies occur whenever multiple identifiers access one authority while users recognize only some mappings. An engineer may know one database key but not another; a clinician may recognize a generic drug name but not a brand. These examples mirror presentation-sensitive access, but they instantiate Frege's Puzzles only when embedded in an explicit theory of linguistic content, knowledge, and substitution. Otherwise they belong under identity resolution, alias mapping, or record reconciliation.

This boundary prevents an attractive but damaging overgeneralization: not every difference between two labels for one object is a philosophical counterexample to referential semantics. The Fregean transfer retains the explanatory burden about sentence content or attitude truth.

Examples¶

Hesperus and Phosphorus. Hesperus, the evening star, and Phosphorus, the morning star, are Venus. “Hesperus is Hesperus” is reflexive; “Hesperus is Phosphorus” historically expresses an astronomical identification. A referent-only assignment gives the same planet twice in each true statement but does not by itself represent their different cognitive value.^[1]^[2]

Mark Twain and Samuel Clemens. A reader may competently use both names yet learn that they designate the same author. The pair removes accidental dependence on astronomy and shows that the test concerns independently introduced presentations.

Clark Kent and Superman. Suppose Lois knows Clark as a reporter and Superman as a hero but does not know they are one person. “Lois believes that Clark Kent is a reporter” can be true while “Lois believes that Superman is a reporter” is false on the intended reading. Ordinary co-reference does not secure substitution in the belief report.^[3]

Arithmetic presentation. “117+136=117+136” and “117+136=253” are both true, but the latter can require calculation. This illustrates cognitive value without a proper-name discovery, although arithmetic knowledge complicates the simple empirical/a-priori contrast.^[2]

Non-example: quotation. From “‘Hesperus’ has eight letters” one cannot substitute “Phosphorus” while preserving truth. The sentence mentions different word forms rather than using both expressions to designate Venus; the failure is therefore not the canonical attitude puzzle.

Non-example: mistaken co-reference. If two investigators merely hypothesize that a and b name the same person, different reports about them do not yet establish Frege's structure. Referential identity is a premise, not the conclusion under dispute.

Structural Tensions¶

Extensional economy versus cognitive adequacy. Assigning only referents yields simple composition and substitution. Explaining informativeness and belief behavior appears to require richer semantic, cognitive, or pragmatic structure.

Unified puzzle versus paired manifestations. Both forms expose presentation sensitivity under co-reference. Identity statements test cognitive value; attitude reports test truth under embedding. Excessive unification hides their differences, while treating them as unrelated loses the common pressure.

Semantic explanation versus pragmatic explanation. Encoding presentation in semantic content handles the contrast directly but complicates theories of names. Locating it in pragmatics preserves sparse semantics but must explain systematic attitude-report truth judgments.

Public content versus subject-relative access. Language supports shareable content, while individual subjects can fail to recognize a co-reference. A successful account must connect public designation to asymmetric epistemic access.

Substitution law versus opacity. Substitution of identicals is a powerful inferential norm. Restricting it inside attitudes protects ordinary judgments but demands a principled account of scope, content, or reference shift.

Historical attribution versus later formulation. Frege's 1892 text motivates both issues, but later authors systematize the attitude-report puzzle in contemporary terms. Reference-grade use must distinguish Frege's claims from the subsequent label and literature.

Structural–Framed Character¶

Frege's Puzzles are predominantly structural, with an approximate framed-character score of 0.25.

Vocabulary travels: 0.25. Reference, identity, substitution, and cognitive value are technical but precisely operationalized.
Evaluative loading: 0.00. The structure identifies an explanatory burden without morally ranking solutions.
Institutional constitution: 0.00. Philosophical practice stabilizes the name; no authority creates an instance by decree.
Human-practice dependence: 0.50. Linguistic competence, belief, and knowledge are constitutive of the observed contrast.
Import versus recognition: 0.50. The pattern is recognizable from co-reference and controlled substitution, but classifying cognitive significance requires theoretical interpretation.

The node remains domain-specific because the load-bearing observations concern names, sentences, attitude verbs, semantic values, and rational subjects. Its portable residue is already captured by broader identity and substitution abstractions.

Structural Core vs. Domain Accent¶

The portable core is: two representations preserve a target while failing to preserve some downstream response. That skeleton occurs in aliases, interfaces, records, and models. At that level it belongs to Substitutability, Identity Test, or Near-equivalence Mapping.

The domain accent creates Frege's Puzzles: expressions with an ordinary referent; true identity statements; cognitive value; a subject's knowledge; compositional semantic predictions; propositional-attitude verbs; opacity; and the demand that a theory of linguistic content explain the divergence. Remove those roles and the case no longer tests a theory of names.

This boundary also explains why the node is not prime. Its cross-substrate transfer requires stripping out the very phenomena that make it a recognized philosophical puzzle, leaving only a generic failure of interchangeability. The Encyclopedia already has a prime for that broader relation.

Substitutability is the minimal proposed live parent. The puzzle presupposes a baseline question: may one expression replace another without degradation of the relevant result? Referential identity supports substitution in transparent contexts; cognitive value and attitude scope reveal dimensions on which degradation can occur. The relation is composition/presupposes, not subsumption, because Frege's Puzzles are not a subtype of every replacement relation.

Identity Test supplies the prior verdict that a and b designate the same entity. It is explanatory but not separately proposed as a parent because the one-edge Substitutability placement already captures the operative test and keeps the DAG minimal.

Near-equivalence Mapping is the strongest frozen embedding neighbor. It governs explicit mappings between controlled vocabularies with typed loss risk. Frege's Puzzles do not construct or manage a vocabulary bridge; they challenge theories of semantic content using naturally occurring co-reference and cognition.

Problem–solution cross-link: domain_specific:sense_and_reference is the closest domain-specific companion and Frege's canonical solution architecture. Frege's Puzzles state the explanatory problem; Sense and Reference supplies one solution family. Neither is an alias or parent of the other.

Relationships to Other Abstractions¶

Current abstraction Frege's Puzzles Domain-specific

Parents (1) — more general patterns this builds on

Frege's Puzzles presupposes Substitutability Prime

Substitutability is the minimal proposed live parent.

Neighborhood in Abstraction Space¶

Frege's Puzzles sits in a sparse region of the domain-specific corpus (80^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Sense and Reference — Frege's proposed two-level solution, not the explanatory burden itself.
Substitutability — the general replacement relation; Frege's Puzzles are a philosophy-of-language stress test built from it.
Identity Test — a rule for deciding sameness of entity, not an account of cognitive difference after sameness is fixed.
Near-equivalence Mapping — a managed cross-vocabulary correspondence with declared loss, not a semantic puzzle about names.
Propositional attitudes — belief, desire, knowledge, and related relations generally; only a particular substitution problem is at issue.
Opacity — the wider property of contexts that block co-designator substitution; the attitude form is a canonical motivation, while the identity form need not embed an opaque operator.
Direct reference — a theory family that makes the puzzles especially pressing, not the puzzles themselves.
Kripke's puzzle about belief — a related later argument using translation/disquotation to question a standard diagnosis.^[6]
Pierre puzzle — a canonical realization of Kripke's later puzzle, not another name for Hesperus/Phosphorus.
use–mention distinction — explains quotation substitution failures without invoking the Fregean attitude problem.
Hesperus–Phosphorus identity — one canonical example, not the abstraction's full extension.

References¶

[1] Frege, Gottlob. “Über Sinn und Bedeutung.” Zeitschrift für Philosophie und philosophische Kritik 100 (1892): 25–50. English translation by Max Black, “On Sense and Reference,” The Philosophical Review 57, no. 3 (1948): 209–230. Translation copy. registry ↩a ↩b

[2] Zalta, Edward N., and Uri Nodelman. “Gottlob Frege.” Stanford Encyclopedia of Philosophy, substantive revision August 1, 2026, especially §§3.1–3.2. Article. registry ↩a ↩b ↩c

[3] Nelson, Michael. “Propositional Attitude Reports.” Stanford Encyclopedia of Philosophy, Spring 2026 archive, especially §§1–3. Article. registry ↩a ↩b ↩c ↩d

[4] Salmon, Nathan. Frege's Puzzle. Cambridge, MA: MIT Press, 1986. Bibliographic record. registry ↩a ↩b

[5] Cumming, Sam. “Names.” Stanford Encyclopedia of Philosophy, Spring 2026 archive, especially §2.2 on cognitive significance and opaque contexts. Article. registry ↩a ↩b

[6] Kripke, Saul A. “A Puzzle about Belief.” In Meaning and Use, edited by Avishai Margalit, 239–283. Dordrecht: Reidel, 1979. DOI. registry ↩a ↩b

[7] Heck, Richard G., and Robert May. “Frege's Contribution to Philosophy of Language.” In The Oxford Handbook of Philosophy of Language, 3–39. Oxford University Press, 2009. DOI. registry