reference
English “reference” derives from Middle French référence, from Medieval Latin referentia, formed on Latin referre: re- (‘back, again’) + ferre (‘to carry, bear’). The core image is of ‘carrying back’ one thing to another—linking, relating, or pointing something back to its source or object. The modern technical sense in philosophy emerges mainly in 19th–20th century logic and semantics, narrowing a broad older sense of ‘relation’ or ‘appeal’ to the more precise idea of the object designated or picked out by an expression or mental state.
At a Glance
- Origin
- Latin → Middle French → Early Modern English (philosophically developed in modern analytic traditions)
- Semantic Field
- Latin: referre, referentia, relatio; English: refer, relation, denotation, designation, aboutness, meaning, signification; German: Bezug, Bezeichnung, Referenz; French: référence, désignation; closely related technical contrasts: sense (Sinn), Bedeutung, intension, extension, sign, signifiant/signifié.
“Reference” sits at the intersection of ordinary and technical usage. In many languages, the same word can mean citation, appeal, or deference (e.g., legal ‘reference’) as well as semantic ‘picking out’ of an object; context must clarify. Philosophical traditions also draw different boundaries between ‘reference’, ‘meaning’, ‘denotation’, and ‘aboutness’. German ‘Bedeutung’ in Frege, for example, is often translated ‘reference’ but is more literally ‘meaning’, while ‘Sinn’ is ‘sense’; French ‘référence’ competes with ‘désignation’ and ‘référentialité’. Some frameworks treat reference as a dyadic relation (expression–object), others as triadic (sign–object–user), and still others as a role within inferential or pragmatic practices rather than a metaphysical relation. These cross-cutting distinctions mean that no single equivalent term always preserves the analytic nuances of ‘reference’ across languages and schools.
Before its technical semantic use, ‘reference’ in English primarily meant an act of referring or alluding to something—an indication, consultation, or appeal (‘in reference to your letter…’)—and secondarily, the person or document consulted for authority (as in a ‘reference book’). In legal, bureaucratic, and ecclesiastical contexts it could denote the act of submitting a matter to a higher authority or source. The idea is broad relationality: sending something back for judgment, support, or clarification, rather than a specifically semantic tie between words and objects.
In 19th–20th century logic and philosophy of language, especially with Frege, Peirce, and Russell, the relational core of ‘reference’ is sharpened into a technical concept: a word, sign, or thought’s directedness toward an object, individual, or truth-value. Frege’s sense/reference distinction, Russell’s theory of descriptions, and Peirce’s triadic account of sign–object–interpretant together shape the contours of reference as a central topic in semantics and metaphysics. Analytic philosophy subsequently treats reference as a key to understanding meaning, truth, modality, and ontology, spawning direct-reference theories, causal-historical accounts, descriptivist and anti-descriptivist debates, and questions about empty names, fictional discourse, and indexicals.
Today ‘reference’ is a central term in analytic philosophy of language, logic, and cognitive science, typically signifying the object, value, or entity that a linguistic expression, mental representation, or symbol is about or picks out in a context. It appears in debates over internalism vs. externalism, theories of consciousness (intentionality as aboutness), formal semantics (extensions, models), artificial intelligence (symbol grounding, reference in large language models), and social theory (reference in discourse and identity politics). Outside philosophy, it retains everyday senses of citation and consultation, but in technical work its meaning is finely stratified: direct vs. mediated reference, rigid vs. non-rigid designation, de re vs. de dicto reference, and first-person, indexical, or demonstrative forms of self- and world-reference.
1. Introduction
Philosophers use the term reference to describe how words, symbols, or mental states are directed toward, or “pick out,” objects, individuals, properties, or truth-values. It marks a relation—however understood—between something that represents and something that is represented. Disputes about reference concern whether this relation is psychological, social, causal, conventional, inferential, or something else.
Within philosophy of language, reference is often contrasted with sense, meaning, or intension. Many theories distinguish:
| Aspect | Typical Question | Paradigm Terms |
|---|---|---|
| Reference / denotation | What object (if any) does this expression apply to? | ‘Aristotle’, ‘Paris’, ‘this table’ |
| Sense / intension | By what mode or rule is that object given? | ‘the teacher of Alexander’, ‘capital of France’ |
Reference plays a central role in accounts of:
- Truth and logic: how sentences connect to truth-values and to states of affairs.
- Mind and intentionality: how thoughts, perceptions, and beliefs are “about” things.
- Metaphysics and ontology: what kinds of entities (numbers, possible worlds, fictional characters) can be referred to.
- Linguistics and semiotics: how signs relate to objects and to interpreters.
- Cognitive science and AI: how representations in brains or machines might latch onto the world.
There is no consensus on whether reference is a basic, unanalyzable relation or a derivative role in broader linguistic and social practices. Some approaches treat reference as the cornerstone of semantics; others downplay or replace it with structural, inferential, or use-based notions.
Historically, the modern technical notion emerges in late 19th- and early 20th-century logic (Frege, Russell, Peirce), then branches into direct-reference and causal-historical theories (Kripke, Donnellan, Kaplan), externalist semantics (Putnam, Burge), and more pragmatic or inferential alternatives. Across these developments, the core question remains: in virtue of what, if anything, do our words and thoughts manage to be about the world?
2. Etymology and Linguistic Origins
The word “reference” traces back to Latin referre (“to bring back, carry back, relate”) via Medieval Latin referentia and Middle French référence. The etymological image is one of “carrying back” something—such as a claim or question—to another item for clarification, authority, or connection.
Historical linguistic trajectory
| Stage | Form | Core Sense |
|---|---|---|
| Classical Latin | referre | bring back, report, relate one thing to another |
| Medieval Latin | referentia | act of referring, relation to a source or authority |
| Middle French | référence | appeal to an authority; connection or relation |
| Early Modern English | “reference” | act of referring, deference to authority, relational link |
In English, early uses typically expressed:
- An act of referring (“in reference to your letter”).
- An appeal or submission to an authority (“to make a reference to committee”).
- The source consulted (“a reference book,” “to give a reference”).
The modern philosophical and semantic sense narrows this broad relational idea to the specific relation between expressions or thoughts and the entities they are “about.” This technical development occurs mainly in 19th–20th-century logic and analytic philosophy.
Related terms and cross-linguistic roots
The semantic field intersects with:
| Language | Related Terms | Notes |
|---|---|---|
| Latin | relatio | generic “relation,” ancestral to later semantic relations |
| German | Bezug, Bezeichnung, Referenz | used for semantic relation of expressions to objects |
| French | référence, désignation | latter often stresses picking out an object |
| English | denotation, designation, aboutness | partially overlapping but not identical |
In German philosophical usage, Bedeutung (literally “meaning”) comes to be translated as “reference” or “denotation” in Frege scholarship, even though its ordinary sense is broader. This contributes to later debates about how best to render and interpret Frege’s distinctions.
Overall, the etymology supports a conception of reference as a relational “back-link” rather than an intrinsic property of words, leaving open diverse theoretical elaborations of what that relation involves.
3. Pre-Philosophical and Ordinary Usage
Before its technical semantic role, “reference” functioned in English as a general term for relational orientation, especially in bureaucratic, legal, and everyday contexts.
Ordinary senses
Common uses include:
- Allusion or mention: “The author’s reference to the war” means an act of mentioning or alluding to an event or text, without implying a technical semantic theory.
- Consultation or source: “Look it up in a reference book” or “for further reference” denotes a work or point consulted for information.
- Recommendation or testimonial: A “job reference” or “character reference” is a person or document that speaks to someone’s reliability.
- Administrative submission: In legal or ecclesiastical contexts, “reference” can mean sending a matter “upward” for adjudication or advice.
These uses preserve the original sense of “referring back”—to a document, authority, or person—rather than to an abstract semantic relation.
Ordinary-language “reference” and aboutness
In everyday discourse, people may say:
- “What is that word a reference to?”
- “This painting is a reference to classical mythology.”
Here, reference informally suggests that one item points toward, evokes, or concerns another. The meaning is looser than the technical philosopher’s notion:
- It may involve metaphor, association, or thematic resonance rather than strict denotation.
- It often allows multiple or vague targets (“the song is a reference to his childhood and to social change”).
Pre-technical conceptual background
Although not framed in modern semantic terms, pre-philosophical uses presuppose:
| Feature | Pre-Philosophical Manifestation |
|---|---|
| Relationality | Linking documents, people, or decisions to other items |
| Directionality | A movement “back to” an authority, precedent, or topic |
| Mediation | Use of an intermediary (reference book, referee, official) |
These diffuse, practical senses provided a linguistic reservoir from which the more focused philosophical concept could later be drawn. When logicians and philosophers of language began to talk about what names and sentences “refer” to, they adapted an existing relational term and gave it a sharply defined semantic profile.
4. Crystallization in Logic and Early Analytic Philosophy
The modern technical notion of reference crystallizes in late 19th- and early 20th-century work on logic and language. Several figures independently sharpen the idea that expressions stand in a determinate relation to objects or values.
Frege, Russell, and Peirce
| Thinker | Core Idea About Reference | Key Work (for this development) |
|---|---|---|
| Gottlob Frege | Distinguishes sense (Sinn) from reference (Bedeutung); reference is the object or truth-value associated with an expression. | “Über Sinn und Bedeutung” (1892) |
| Bertrand Russell | Treats many apparent referring expressions (definite descriptions) as quantificational; genuine reference requires acquaintance. | “On Denoting” (1905) |
| Charles S. Peirce | Proposes a triadic relation: sign–object–interpretant; develops notions of index, icon, and symbol with different modes of object-directedness. | Collected papers, late 19th c. |
Frege’s work situates reference within a compositional logical semantics: the reference of a sentence is its truth-value, determined by the references of its parts. Russell employs logical analysis to show that some expressions only appear to refer; underlying logical form reveals quantifiers and bound variables instead.
Peirce, operating in an American pragmatist context, emphasizes that reference (as relation to an object) is inseparable from how a sign is interpreted by a user. His notion of indexicality (e.g., pointing, pronouns) foreshadows later discussions of context-dependent reference.
From ordinary language to logical form
Early analytic philosophers link reference to:
- Formal logical systems: expressions gain their referents via assignments in models (later developed systematically in model theory).
- Resolution of paradoxes: refined notions of reference are used to tackle puzzles about empty names, negative existentials, and self-reference.
- Epistemic conditions: especially in Russell, reference is constrained by what objects we are “acquainted” with.
Emerging contrasts
This period establishes enduring contrasts:
| Contrast | Early Analytic Formulation |
|---|---|
| Sense vs. reference | Frege’s two-level meaning structure |
| Name vs. description | Russell’s analysis of definite descriptions |
| Direct vs. mediated reference | Russell’s “acquaintance” vs. descriptive content; Peirce’s index vs. symbol |
These developments collectively transform “reference” from a loose everyday notion into a central, theoretically regimented concept for semantic and logical analysis.
5. Frege’s Sense–Reference Distinction
Gottlob Frege’s distinction between Sinn (sense) and Bedeutung (usually translated “reference” or “denotation”) is foundational for modern theorizing about reference.
Sense and reference defined
Frege proposes that a linguistic expression contributes two different aspects:
| Aspect | Fregean Term | Function |
|---|---|---|
| Reference | Bedeutung | The object (for names) or truth-value (for sentences) to which the expression is tied |
| Sense | Sinn | The “mode of presentation” under which the referent is given to thought |
“To every sign there corresponds a definite sense and to that in turn a definite Bedeutung.”
— Frege, “Über Sinn und Bedeutung”
For example, “the morning star” and “the evening star” have the same reference (the planet Venus) but different senses (different modes of presentation).
Explanatory roles
Frege introduces the distinction to address:
- Informative identity statements (e.g., “Hesperus is Phosphorus”). If they shared both sense and reference, such identities would be trivial; differing senses explain how they can be cognitively informative despite coreferentiality.
- Substitution in propositional attitude contexts: In “Alice believes that the morning star is bright,” substitution of “the evening star” may change truth-value, suggesting that belief is sensitive to sense rather than reference.
- Compositionality of truth-conditions: The reference of a complex expression (e.g., a sentence) depends systematically on the references of its parts, mediated by their senses.
Reference of sentences
Distinctively, Frege holds that the reference of a complete declarative sentence is its truth-value (True or False). The sense of a sentence is the thought (proposition) expressed. This view integrates reference into a general theory of logic and truth.
Influence and interpretations
Frege’s framework underpins:
- Later description theories of names, which treat names as abbreviations for identifying descriptions (based on their senses).
- Distinctions between intension (akin to sense) and extension (akin to reference) in formal semantics.
- Ongoing debates about whether Bedeutung is best translated as “reference,” “denotation,” or “meaning,” with some scholars stressing that Frege’s term may not align perfectly with any single modern label.
Critics contend that Frege’s reliance on abstract senses raises questions about their ontological status and about how speakers grasp them, but the sense–reference distinction remains a standard tool in discussions of linguistic and mental content.
6. Russell, Descriptions, and Acquaintance
Bertrand Russell reshapes the notion of reference by combining a logic of descriptions with an epistemological doctrine of acquaintance.
Theory of descriptions
In “On Denoting” (1905), Russell argues that many expressions that look like referring terms—especially definite descriptions such as “the present King of France”—do not function as singular terms in logical form. Instead, they are analyzed as quantified expressions.
Example analysis:
- “The present King of France is bald” becomes roughly:
- “There is exactly one person who is now King of France, and that person is bald.”
On this view:
| Expression Type | Logical Status | Reference? |
|---|---|---|
| Proper names (in ordinary language) | Often disguised descriptions | Do not strictly refer, on Russell’s analysis |
| Definite descriptions | Quantificational phrases | Do not themselves denote an object |
| Logically proper names | Genuine singular terms | Do refer directly |
Russell uses this analysis to handle problematic cases like empty descriptions without positing non-existent referents. A sentence containing “the present King of France” can turn out false because the embedded existential claim fails, rather than because a non-existent king is bald or not bald.
Acquaintance and genuine reference
In The Problems of Philosophy (1912) and related work, Russell links genuine reference to acquaintance:
“Every proposition which we can understand must be composed wholly of constituents with which we are acquainted.”
— Russell, The Problems of Philosophy
According to this view:
- We are acquainted only with immediate data (sense-data, perhaps ourselves, universals).
- Logically proper names (e.g., “this,” “that,” “I” for one’s own sense-data) refer directly to such objects of acquaintance.
- Most ordinary proper names (e.g., “Aristotle”) are, strictly speaking, shorthand for descriptions and thus lack direct reference.
Significance for reference
Russell’s contributions shape later debates by:
- Restricting strict reference to a small class of terms tied to immediate awareness.
- Treating many ordinary “referring expressions” as logically complex, thereby separating surface grammar from logical form.
- Providing a way to discuss empty and non-referring terms (e.g., “the golden mountain”) without assuming mysterious referents.
Critics and successors, including later direct-reference theorists, question Russell’s descriptivism about ordinary names and the epistemic requirement of acquaintance, but his distinction between apparent and genuine reference remains a major reference point in the field.
7. Wittgenstein and the Varieties of Reference
Ludwig Wittgenstein’s treatment of reference changes markedly between his early and later work, influencing how philosophers think about the diversity of referential practices.
Early Wittgenstein: the picture theory
In the Tractatus Logico-Philosophicus (1921), Wittgenstein advances a picture theory of language:
- Names stand for simple objects.
- Propositions are logical structures (“pictures”) of possible states of affairs.
- The relation of naming underpins the capacity of propositions to be true or false.
“A name means an object. The object is its meaning.”
— Wittgenstein, Tractatus, 3.203
Here, reference appears as a primitive relation between simple names and objects; complex reference is built compositionally from these basic naming relations.
Later Wittgenstein: language-games and use
In the Philosophical Investigations (1953), Wittgenstein criticizes the idea that naming captures the essence of all linguistic meaning. He examines various language-games—orders, reports, questions, exclamations, jokes—to show that:
- The role of a word in a practice determines what it counts as “referring to,” if anything.
- Ostensive definition (“This is called…”) works only within a background of shared practices.
“For a large class of cases—though not for all—in which we employ the word ‘meaning’ it can be defined thus: the meaning of a word is its use in the language.”
— Wittgenstein, Philosophical Investigations, §43
Reference, on this later view, is not a single uniform relation but a family of related phenomena embedded in social activities.
Varieties and limits of reference
Wittgenstein draws attention to:
- Different referential roles: names for people, numerals, color words, mathematical signs, and indexicals all function differently.
- Rule-following: the capacity to use a word referentially depends on mastery of public rules, not on a private mental link to an object.
- Skepticism about hidden mechanisms: attempts to posit a metaphysical “referential relation” behind use are treated as philosophical temptations arising from misleading pictures.
His later work thus shifts emphasis from reference as a foundational semantic relation to reference as a pattern within broader practices of language use, influencing later pragmatic, ordinary-language, and anti-referentialist approaches.
8. Causal-Historical and Direct Reference Theories
From the 1960s onward, many philosophers challenge descriptivist accounts of reference (inspired by Frege and Russell) and develop causal-historical and direct reference theories, especially for proper names and certain other expressions.
Critique of descriptivism
Descriptivist views hold that a name like “Aristotle” refers to whoever uniquely satisfies some associated description (e.g., “the teacher of Alexander, author of the Metaphysics”). Critics argue:
- Speakers often have incomplete or mistaken beliefs about bearers of names.
- Reference can remain stable even when widely associated descriptions change.
- Modal intuitions suggest that names are rigid designators, unlike most descriptions.
Kripke and causal-historical chains
Saul Kripke’s Naming and Necessity (1980) is central. He proposes that:
- An initial “baptism” fixes a name’s reference to an individual (possibly via description or ostension).
- Subsequent uses of the name inherit this reference through a causal-historical chain of communication.
- A typical speaker need only intend to use the name as used by others in their linguistic community.
“Someone, let us say, a baby, is born; his parents call him by a certain name. People around him talk about him… The name is passed from link to link as if by a chain.”
— Kripke, Naming and Necessity
On this view, the descriptive content in a speaker’s mind does not fully determine reference. Reference is partly external and socially anchored.
Direct reference
Direct reference theorists (including Kripke, David Kaplan, and others) hold that for some expressions, especially:
- Proper names (e.g., “Aristotle”),
- Indexicals and demonstratives (“I,” “here,” “that”),
- Some natural kind terms (“water,” “gold,” in some accounts),
the semantic content is either simply the object itself or includes no descriptive “mode of presentation” that mediates reference in Frege’s sense.
| Theory Type | Mediating Sense/Description? | Reference Mechanism |
|---|---|---|
| Descriptivism | Yes | Object uniquely fits associated description |
| Causal-historical / Direct | No, or minimal | Baptism + causal chain; context for indexicals |
Variants and debates
Subsequent work refines and critiques causal-historical theories by:
- Adding social and epistemic elements (e.g., Lewis, Evans).
- Addressing issues of reference change and error in causal chains.
- Extending or restricting direct reference beyond names to other categories.
Supporters see these theories as capturing the stability and rigidity of reference across possible worlds and across communities; detractors argue they underplay cognitive significance and the role of descriptive content in understanding and communication.
9. Intension, Extension, and Model-Theoretic Semantics
In formal semantics and logic, reference is often framed through the contrast between intension and extension, and within the machinery of model-theoretic interpretation.
Extension and reference
In extensional semantics:
- The extension of a singular term is its referent.
- The extension of a predicate is the set of entities it applies to.
- The extension of a sentence is its truth-value.
Here, reference is effectively identified with extension for singular terms.
| Expression Type | Extension |
|---|---|
| Singular term (“Aristotle”) | The individual Aristotle (if any) |
| Predicate (“is red”) | Set of red things in the domain |
| Sentence (“Snow is white”) | True or False (given an interpretation) |
Intension
An intension is commonly defined as a function from possible worlds (or circumstances) to extensions. It captures conditions under which an expression would have a given extension.
- For a predicate, the intension is a rule assigning a set of objects to each world.
- For a sentence, it is a rule assigning a truth-value to each world.
Intension plays a role similar to Fregean sense, though the theories are not identical. It allows formal treatment of modality, counterfactuals, and context-shifting.
Model-theoretic semantics
In model theory (Tarski, later Montague and others):
- A model or structure assigns objects to individual constants, sets to predicates, and truth-values to sentences.
- An interpretation function maps expressions to their semantic values relative to a model and possibly a world and context.
“We shall now define truth and satisfaction for the sentences of our language with respect to a given model.”
— Tarski, paraphrased from “The Concept of Truth in Formalized Languages”
Within this framework, reference is:
- A mapping from terms to elements of a domain of discourse.
- Governed by compositionality: the reference of complex expressions depends on the references (or extensions) of their components and their syntactic combination.
Relation to philosophical notions of reference
Some philosophers view model-theoretic reference as a formal counterpart to natural-language reference. Others caution that:
- It is relative to a model, not directly to the real world.
- It abstracts away from psychological, social, and causal aspects that many theories treat as central.
Nevertheless, the intension/extension distinction and model-theoretic machinery have become standard tools for analyzing reference in logic, linguistics, and formal philosophy of language.
10. Indexicals, Demonstratives, and Context-Dependence
Indexicals and demonstratives are expressions whose reference crucially depends on features of the context of utterance, such as speaker, time, and place. They play a central role in showing that reference cannot always be fixed by descriptive content alone.
Types of context-sensitive expressions
| Category | Examples | Contextual Parameter |
|---|---|---|
| Personal indexicals | “I,” “you,” “we” | Speaker, addressee |
| Temporal indexicals | “now,” “today,” “yesterday” | Time of utterance |
| Spatial indexicals | “here,” “there” | Location of speaker |
| Demonstratives | “this,” “that,” “these,” “those” | Accompanied by gestures or intentions |
The reference of “I” changes with the speaker; “now” changes with the time; “this” typically relies on a pointing gesture or shared focus of attention.
Kaplan’s character and content
David Kaplan’s influential framework (1970s) distinguishes:
- Character: a rule associating each context with a content (e.g., “I” → the speaker of the context).
- Content: what is said in that context, often modeled as an intension or a proposition (e.g., “I am hungry” uttered by Alice now expresses that Alice is hungry now).
| Level | Role in Reference |
|---|---|
| Character | Determines reference as a function of context |
| Content | Determines truth-conditions across possible worlds |
Kaplan treats many indexicals and demonstratives as directly referential: their content just is their referent (in a given context), with no mediating Fregean sense.
Intentions and demonstrations
For demonstratives like “that,” some theorists emphasize:
- Speaker intentions: what the speaker means to indicate can settle reference even if gestures are ambiguous.
- Perceptual and joint attention: successful reference often presupposes shared perceptual access to the object.
Others worry that intention-based accounts risk indeterminacy or over-intellectualization of everyday uses.
Philosophical implications
Indexicals and demonstratives have been used to argue that:
- Meaning cannot be reduced to context-invariant descriptive content.
- Some aspects of reference are systematically context-sensitive and rule-governed.
- There may be limits to Fregean sense: certain indexicals resist paraphrase by non-indexical descriptions preserving all aspects of their meaning (e.g., the “essential indexical” discussed by John Perry).
These expressions thus highlight a dimension of reference that is inherently tied to the situatedness of speakers and hearers.
11. Mental Reference and Intentionality
Beyond language, philosophers investigate mental reference: how thoughts, perceptions, and other mental states are about objects and states of affairs. This is often framed in terms of intentionality, the “aboutness” or directedness of mental phenomena.
Intentionality and aboutness
Following Brentano and many successors, intentionality is taken to be a hallmark of the mental:
“Every mental phenomenon includes something as object within itself.”
— Brentano, Psychology from an Empirical Standpoint (paraphrase)
Mental states such as:
- Beliefs (“I believe that snow is white”),
- Perceptions (“I see a tree”),
- Desires (“I want coffee”),
are thought to be about things, whether or not those things exist.
Theories of mental content and reference
Several approaches attempt to explain mental reference:
| Approach | Core Idea | Representative Themes |
|---|---|---|
| Internalist / conceptual role | Reference determined by an idea’s place in a network of inferences and mental states. | “Narrow content,” cognitive role semantics |
| Causal / informational | A mental representation refers to what reliably causes or carries information about it. | Tracking, covariation, indicator semantics |
| Teleosemantic | Reference explained via evolutionary or functional roles of representations. | Proper function, “misrepresentation” handling |
| Externalist (social/environmental) | Reference depends partly on environment and social practices. | Twin-Earth style cases, division of linguistic labor |
These theories differ on whether mental reference is primarily a brain-internal phenomenon or essentially depends on the subject’s environment and community.
Relation to linguistic reference
Debates concern how mental and linguistic reference interact:
- Some accounts treat linguistic reference as derived from prior mental content (words express thoughts).
- Others emphasize that individual mental reference may itself be partially constituted by public language practices.
There are also questions about:
- Non-conceptual content in perception (whether perceptual states refer in ways not reducible to conceptual or linguistic content).
- Empty and mistaken mental reference, paralleling issues of empty names in language.
Across these discussions, intentionality provides a broader framework in which reference is one central aspect of how minds engage with the world.
12. Reference, Externalism, and the Environment
Semantic externalism holds that reference is not determined solely by what is “in the head” of an individual speaker or thinker; it also depends on features of the external environment and social practices.
Putnam and Twin Earth
Hilary Putnam’s famous Twin Earth thought experiment (1975) illustrates environmental dependence. On Earth, “water” refers to H₂O; on a hypothetical Twin Earth, the clear, potable liquid in lakes and rivers has a different chemical structure, XYZ. Twin Earth speakers, who are molecule-for-molecule duplicates of Earth speakers, use “water” to refer to XYZ.
“Cut the pie any way you like, ‘meanings’ just ain’t in the head.”
— Putnam, “The Meaning of ‘Meaning’”
The conclusion is that identical internal states can accompany different referents, so reference must depend partly on the world.
Social division of linguistic labor
Putnam and others argue that many terms—especially natural kind and scientific terms (“elm,” “arthritis”)—have reference partly fixed by:
- The practices and expertise of specialists.
- The role of a term in community-wide classification.
Ordinary speakers can successfully refer even with imperfect or mistaken beliefs, by deferring to experts in their linguistic community.
Other externalist lines
| Proponent | Focus | Main Claim About Reference |
|---|---|---|
| Tyler Burge | Social externalism | A subject’s mental content partly depends on community linguistic norms. |
| Kripke / causal-historical | Naming practices | Reference fixed and preserved by causal-historical chains in a community. |
| Natural-kind theorists | Environment | Reference of kind terms depends on underlying structure of substances. |
These views suggest that what our words and thoughts refer to is partly constituted by broader social and environmental factors, not solely by internal representations.
Challenges and responses
Critics of externalism raise concerns about:
- First-person authority: how individuals can authoritatively know their own thoughts if content depends on external factors they might misrepresent.
- Explanation: whether externalist reference can adequately capture the cognitive significance and reasoning patterns of individuals.
Externalists respond by developing notions of narrow content, two-dimensional semantics, or by reinterpreting the nature of self-knowledge, while maintaining that reference remains in important respects world-involving.
13. Fiction, Empty Names, and Non-Existents
Expressions that seem to refer but lack real-world bearers—such as “Sherlock Holmes,” “Pegasus,” or “the golden mountain”—pose challenges for theories of reference. These cases raise questions about how we can make true or meaningful statements involving apparent non-existents.
The problem of empty names
Sentences like:
- “Sherlock Holmes is a detective,”
- “Pegasus does not exist,”
appear meaningful and sometimes true, yet there is no obvious object for the name to refer to. Theories diverge on how to treat such cases.
Major approaches
| Approach | Core Idea | Treatment of Empty Names |
|---|---|---|
| Russellian (descriptivist) | Names analyzed as descriptions; reference via quantification. | No genuine referent; sentences analyzed to avoid commitment to non-existents. |
| Meinongian | Some objects “subsist” or have being without existing. | Empty names refer to non-existent objects with properties. |
| Fictionalist / pretense | Statements in fictional discourse operate within a pretense or story-internal context. | Names refer only “in the story” or within a game of make-believe. |
| Negative free logic | Logic allows terms without denotations; some atomic statements can be neither true nor false or always false. | Empty names are permitted formally without implied existence. |
| Artifactualist | Fictional characters are abstract artifacts created by authors. | Names refer to real abstracta (e.g., the character Sherlock Holmes). |
Fiction and truth
Philosophers distinguish between:
- Internal fictional truths: “In Conan Doyle’s stories, Holmes lives at Baker Street.”
- External truths about fiction: “Holmes is more famous than any real Victorian detective.”
Some theories assign truth-values relative to narrative worlds or story operators (“According to the Holmes stories, …”), while others treat such claims via pretense or institutional facts about literary practices.
Non-existents beyond fiction
Discussions extend to:
- Mythical entities (e.g., “Zeus,” “unicorns”).
- Impossible objects (e.g., “the round square”).
- Historical mistakes (e.g., “Phlogiston” in outdated scientific theories).
These cases test whether a theory of reference can:
- Preserve intuitive valid inferences involving empty names.
- Avoid proliferating controversial entities.
- Account for the cognitive role of such terms in reasoning and communication.
There is no agreement on a single best treatment, and debates about empty names continue to inform broader views about ontology, semantics, and the relation between language and reality.
14. Reference in Semiotics and Structural Linguistics
In semiotics and structural linguistics, reference is situated within broader theories of signs and sign-systems, often with a different emphasis than in analytic philosophy of language.
Peircean semiotics
Charles S. Peirce conceives of the sign relation as triadic:
| Element | Role |
|---|---|
| Sign (representamen) | The form that stands for something (word, image, gesture) |
| Object | That which the sign is about |
| Interpretant | The understanding or further sign produced in an interpreter |
Peirce distinguishes:
- Icons: signs that resemble their objects (e.g., portraits).
- Indices: signs physically or causally linked to their objects (e.g., smoke as a sign of fire; demonstratives).
- Symbols: signs whose relation to objects is conventional (e.g., words).
Peirce’s object dimension roughly corresponds to reference, but is always embedded within interpretive processes.
Saussurean structuralism
Ferdinand de Saussure’s model focuses on the signifiant (signifier) and signifié (signified):
“The linguistic sign unites, not a thing and a name, but a concept and a sound-image.”
— Saussure, Course in General Linguistics
| Component | Description |
|---|---|
| Signifier (signifiant) | Acoustic or graphic form of the word |
| Signified (signifié) | Concept associated with the form |
Saussure emphasizes the arbitrariness of the sign and the relational structure of language: meanings arise from differences within the system rather than direct links to external objects. As a result, reference to external things is downplayed or treated as derivative.
Later structural and post-structural currents
Subsequent structuralist and post-structuralist thinkers (e.g., Jakobson, Barthes, Derrida) explore:
- How codes and conventions mediate any referential link.
- Polysemy and the slippage of signification, challenging stable reference.
- The possibility that what appears as reference is better seen as intertextual or intra-systemic relations among signs.
Tensions with analytic conceptions
Comparisons reveal different emphases:
| Tradition | Focus | View of Reference |
|---|---|---|
| Analytic philosophy of language | Truth-conditions, logical form, object-directedness | Reference as key semantic relation to objects or values |
| Semiotics / structural linguistics | Sign-systems, relations among signs, social codes | Reference often subsumed under signification and structural difference |
While there are points of overlap (particularly in treatment of indexicals and icons), semiotic and structural approaches often treat reference as one aspect of a broader theory of signification, rather than as the primary target of analysis.
15. Reference in Logic, Mathematics, and Formal Systems
In logic and the foundations of mathematics, reference is treated with formal precision, often abstracted from natural-language complexities. Questions arise about how symbols in formal systems relate to mathematical objects, sets, and structures.
Formal languages and interpretation
In formal logic:
-
A formal language consists of symbols and formation rules.
-
A structure or model provides a domain of objects and an interpretation function assigning:
- Objects to constant symbols,
- Sets or relations to predicate symbols,
- Functions to function symbols.
Within this framework, reference is modeled as:
| Item | Semantic Value (Reference) |
|---|---|
Constant symbol c | An element of the domain |
Predicate P | A set or relation over the domain |
Term t | The object denoted by t relative to a variable assignment |
Truth in a model is then defined compositionally, following Tarski.
Set theory and mathematical objects
In set theory and arithmetic, symbols like “0,” “∈,” or numerals are taken to refer to:
- Specific sets (e.g., in von Neumann construction, 0 = ∅, 1 = {∅}, etc.).
- Abstract numbers or structures, depending on philosophical stance.
Debates include:
- Whether reference to numbers is direct (to abstract objects) or structural (to positions in a structure).
- How different but isomorphic models can appear to support the same mathematical discourse, prompting questions about what symbols ultimately refer to.
Self-reference and paradox
Formal systems also study self-reference:
- Sentences that in a sense refer to themselves (e.g., “This sentence is not provable in system S” in Gödel’s incompleteness proof).
- The liar paradox (“This sentence is false”) and related semantic paradoxes.
Technical devices such as Gödel numbering encode syntactic items as numbers, enabling statements about “this very formula,” raising subtle issues about what is being referred to at the meta-level vs. object-level.
Structuralism and reference
Mathematical structuralism (e.g., in work by Benacerraf, Shapiro) questions whether reference in mathematics is best understood as:
- Referring to particular objects (such as specific sets), or
- Referring only to positions in abstract structures (e.g., the natural number sequence up to isomorphism).
These discussions show that even in rigorously formal contexts, what symbols refer to is philosophically non-trivial and may admit multiple legitimate interpretations depending on one’s ontology of mathematical entities.
16. Reference, AI, and the Symbol-Grounding Problem
In artificial intelligence and cognitive science, debates about reference focus on how internal symbols in computational systems connect to the external world—the symbol-grounding problem.
The symbol-grounding problem
Proposed by Stevan Harnad (1990), the problem asks: how can a system that manipulates symbols purely based on their formal properties (syntax) acquire symbols that are meaningful or referential?
- A dictionary defines words in terms of other words; similarly, a purely symbolic AI system might define internal tokens solely by other tokens.
- Without some connection to sensory input, action, or environment, it is unclear what those symbols are about.
Grounding strategies
Different approaches attempt to ground reference:
| Approach | Strategy | Emphasis |
|---|---|---|
| Sensorimotor / embodied | Link symbols to perceptual and motor states. | Robots, embodied agents |
| Connectionist | Represent content in patterns of activation related to input statistics. | Neural networks |
| Hybrid | Combine symbolic reasoning with sub-symbolic, grounded layers. | Cognitive architectures |
These approaches often invoke causal or information-theoretic relations (symbols track environmental regularities) and use (symbols guide successful action) to explain reference.
AI language models and reference
Large language models (LLMs) process text without direct perception or action. Discussions about whether and how their internal states refer raise issues echoing philosophical debates:
- Some argue that LLMs exhibit only derivative or as-if reference, dependent on human interpretation.
- Others maintain that patterns in text corpora encode indirect information about the world, possibly supporting a limited form of reference or grounding through socially mediated data.
Questions include:
- Whether statistical associations suffice for reference, or whether causal interaction with the environment is required.
- How to evaluate reference to novel or counterfactual entities generated by AI.
Relation to philosophical theories
AI work intersects with:
- Causal/informational semantics (symbols refer to what they reliably track).
- Teleosemantics (functions in control and prediction tasks determine content).
- Pragmatic accounts (reference emerges from patterns of successful use in tasks and communication).
The symbol-grounding problem thus provides a contemporary, technical arena in which classical questions about reference, meaning, and aboutness are re-examined in the context of artificial systems.
17. Translation Challenges and Cross-Linguistic Nuances
The term “reference” and its associated distinctions do not map straightforwardly across languages and philosophical traditions. Translational choices can shape how theories are interpreted.
Frege’s Bedeutung and Sinn
A central issue concerns Frege’s terms:
| German | Common English Rendering | Issues |
|---|---|---|
| Bedeutung | “reference,” “denotation,” sometimes “meaning” | In ordinary German, means “meaning”; in Frege, often treated as referent or extension. |
| Sinn | “sense” | Understood as mode of presentation, but may invite psychological readings Frege resisted. |
Some scholars argue that translating Bedeutung as “reference” underplays its broader resonance with “meaning,” while translating it as “meaning” risks conflating it with everyday meaning.
Other key terms
Cross-linguistic comparisons show additional nuances:
| Language | Term | Nuance Related to Reference |
|---|---|---|
| German | Bezug | Generic “relation” or “orientation toward,” used for semantic reference as well as broader relationality. |
| French | référence, désignation | “Désignation” often stresses the act of picking out; “référence” overlaps with Anglophone semantic usage but also legal/administrative senses. |
| Latin | relatio | Ancestral to relational notions; not specialized for semantic reference. |
| Structural linguistics (French) | signifiant/signifié | Focus on signifier–signified relation rather than direct sign–object reference. |
Dyadic vs. triadic frameworks
Some traditions conceptualize reference as:
- Dyadic: expression–object (common in analytic philosophy).
- Triadic: sign–object–interpretant or user (Peircean semiotics and related approaches).
Translating both as “reference” can obscure structural differences in underlying theories.
Ordinary vs. technical language
In many languages, the same word covers:
- Ordinary citation or allusion (“in reference to your report”).
- Semantic designation (which object a term refers to).
Context is required to disambiguate, leading translators and commentators to supply clarifications that may themselves reflect theoretical commitments.
Impact on comparative philosophy
Because different languages carve up the semantic field differently:
- Some traditions emphasize meaning as internal sense (e.g., certain Continental or phenomenological strands).
- Others foreground external denotation and truth-conditions.
These divergences complicate direct comparison of theories. Careful attention to terminological history and conceptual roles is often required to avoid attributing to an author a view that emerges from translational choices rather than from their own distinctions.
18. Critiques and Alternatives to Referentialism
Referentialism—the view that explaining how expressions refer to objects is central or fundamental to semantics—faces various critiques. Alternative approaches often downplay or reconceive reference’s role.
Pragmatic and use-theoretic critiques
Following later Wittgenstein and ordinary-language philosophy, some argue that:
- Meaning is fundamentally a matter of use in practices, not a mysterious relation to objects.
- There is no single, underlying “referential relation”; instead, there are many language-games with different norms.
On such views, reference is:
- A derivative notion, applicable in some practices (e.g., naming, pointing) but not essential to understanding all types of discourse.
- Potentially misleading if treated as the core of meaning.
Verificationist and inferentialist alternatives
Logical positivists and later inferentialists emphasize:
- Verification conditions or inferential roles as primary bearers of meaning.
- Reference as at best a convenient reconstruction of how statements are tested or inferred from one another.
Inferential role semantics (in various contemporary forms) defines content by a term’s place in a network of material inferences and commitments, rather than by a referential link to an external object.
Structuralist and semiotic perspectives
Structuralist linguistics and some semiotic theories contend that:
- Meanings arise from relations among signs within a system, not from sign–object links.
- What appears as reference is often a projection from a fundamentally differential structure.
Post-structuralist currents further stress the instability of signification, questioning the idea of fixed referents.
Deflationary and minimalist views
Some philosophers adopt deflationary stances:
- Regarding truth (e.g., disquotational theories) and sometimes about reference.
- Treating reference-talk as a useful but thin device in our discourse (e.g., for generalization), without positing a robust relation in nature.
On these views, asking “What is reference?” may be akin to asking “What is denotation?”: answerable in terms of the rules of our language rather than substantive metaphysics.
Anti-realist and fictionalist strategies
In areas like mathematics or moral discourse, some adopt fictionalist or anti-realist positions:
- Talk of numbers or moral properties is treated as useful fiction, make-believe, or a convenient representational device.
- Reference to such entities is reinterpreted or denied, while preserving much of ordinary practice.
These approaches challenge the idea that successful discourse always requires robust reference to independently existing entities.
Collectively, such critiques and alternatives show that while reference remains a central tool in many semantic theories, its status as the foundation of meaning is widely contested.
19. Contemporary Debates and Interdisciplinary Connections
Current discussions of reference span multiple disciplines and integrate insights from philosophy, linguistics, cognitive science, AI, and social theory.
Ongoing philosophical debates
Contemporary philosophers continue to examine:
- Hybrid theories of names: combining causal-historical chains with descriptive or cognitive elements.
- Two-dimensional semantics: distinguishing “primary” intensions (epistemic or cognitive) from “secondary” intensions (metaphysical reference across worlds), aiming to reconcile Fregean and Kripkean insights.
- Essential indexicals and self-reference: exploring how first-person and perspectival terms (e.g., “I,” “now,” “here”) have content not capturable by non-indexical paraphrase.
Questions persist about whether a single notion of reference can cover:
- Ordinary proper names,
- Natural kind terms,
- Theoretical entities in science,
- Abstract and mathematical objects,
- Fictional and mythical entities.
Linguistics and psycholinguistics
Empirical work examines:
- How children acquire reference to objects, including proper names and pronouns.
- The role of joint attention, gestures, and discourse context in establishing reference.
- Cross-linguistic variation in anaphora, definiteness, and topic-focus structure, and its impact on referential interpretation.
Psycholinguistic experiments explore how listeners track and resolve referential ambiguity in real time.
Cognitive science and neuroscience
Research investigates:
- Neural correlates of object recognition and concept use, and their relation to reference.
- Computational models of reference resolution and coreference in discourse.
- Whether mental representations are better modeled as language-like symbols, maps, models, or embodied patterns, each with different implications for reference.
Social and political dimensions
In social theory, reference intersects with:
- Reference to social categories (e.g., race, gender) and debates over whether such categories pick out natural kinds, social constructs, or something else.
- The politics of self-identification and naming, where who controls reference becomes a site of contestation.
- Discourse analysis of how media and institutional language constructs and stabilizes referents.
AI, technology, and digital communication
As discussed elsewhere in this entry, AI and digital environments raise new questions about:
- Reference in virtual worlds and augmented reality.
- How online identifiers, avatars, and handles refer to persons or profiles.
- Automated systems that perform reference resolution (e.g., in natural language understanding) without human-like perception.
Across these domains, reference functions as a shared problem space connecting formal theory, empirical research, and practical concerns about how language and thought engage with an increasingly complex world.
20. Legacy and Historical Significance
The concept of reference has had a far-reaching impact on philosophy and related disciplines, shaping how thinkers approach language, mind, and reality.
Centrality in analytic philosophy
In the 20th century, reference became a focal point of analytic philosophy:
- Frege, Russell, and early Wittgenstein established it as a key tool for logical analysis and for clarifying philosophical problems.
- Mid- and late-20th-century debates over descriptivism, direct reference, and externalism helped define the agenda of philosophy of language.
This “referential turn” influenced:
- Approaches to metaphysics (e.g., discussions of existence, modality, and identity).
- Theories of mind and content (intentionality, mental representation).
- Methodologies for dissolving or reformulating traditional philosophical puzzles.
Influence beyond philosophy
The notion of reference has left its mark on:
| Field | Impact of Reference |
|---|---|
| Linguistics | Development of formal semantics, pragmatic theories of anaphora and definiteness. |
| Logic and mathematics | Model theory, formal semantics of languages, discussions of mathematical objects and structures. |
| Semiotics and media studies | Analyses of sign–object relations, representations in visual and digital media. |
| Cognitive science and AI | Theories of mental and artificial representations, symbol grounding, and information processing. |
Shifts in emphasis
Over time, the status of reference has evolved:
- From a foundational explanatory concept in early analytic philosophy,
- To one among several tools (alongside use, inference, structure, and practice) in contemporary pluralistic approaches.
Some traditions have questioned its primacy, while others continue to regard reference as indispensable for understanding truth, objectivity, and communication across contexts.
Enduring questions
Historical work on reference has left a set of enduring questions:
- How do words and thoughts latch onto particular objects or kinds?
- To what extent is this relation cognitive, social, causal, or conventional?
- Can we make sense of reference to abstract, fictional, or non-existent items?
- Is reference the backbone of meaning, or just one aspect of broader linguistic and cognitive practices?
The legacy of debates about reference is thus not a settled doctrine but an ongoing set of problems and distinctions that continue to structure inquiry across disciplines.
How to Cite This Entry
Use these citation formats to reference this term entry in your academic work. Click the copy button to copy the citation to your clipboard.
Philopedia. (2025). reference. Philopedia. https://philopedia.com/terms/reference/
"reference." Philopedia, 2025, https://philopedia.com/terms/reference/.
Philopedia. "reference." Philopedia. Accessed December 10, 2025. https://philopedia.com/terms/reference/.
@online{philopedia_reference,
title = {reference},
author = {Philopedia},
year = {2025},
url = {https://philopedia.com/terms/reference/},
urldate = {December 10, 2025}
}Study Guide
Reference (denotation, aboutness)
The relation (however theorized) by which words, symbols, or mental states are directed toward, or pick out, objects, individuals, properties, or truth-values.
Sinn and Bedeutung
Frege’s distinction between Sinn (sense), the mode of presentation of a referent, and Bedeutung (often translated as reference or denotation), the object or truth-value associated with an expression.
Intension and Extension
Extension is what an expression applies to (e.g., the object for a name, set of objects for a predicate, truth-value for a sentence). Intension is the rule or function that assigns an extension to each possible world or circumstance.
Description Theory of Names
The view that proper names refer to their bearers by being associated with identifying descriptive content (e.g., ‘Aristotle’ = ‘the teacher of Alexander, author of the Metaphysics’).
Rigid Designator
Kripke’s term for an expression that designates the same object in every possible world in which that object exists, such as many proper names and some natural kind terms.
Causal-Historical Theory of Reference
A family of theories according to which a name’s reference is fixed in an initial ‘baptism’ and preserved through causal-historical chains of communicative use in a linguistic community.
Indexical
An expression whose reference systematically varies with contextual parameters like speaker, time, and place (e.g., ‘I’, ‘here’, ‘now’, ‘this’).
Symbol Grounding
The problem of explaining how purely formal or computational symbols (e.g., in AI systems) come to be genuinely about things in the world rather than merely manipulated syntactically.
How does Frege’s sense–reference distinction help explain why identity statements like ‘Hesperus is Phosphorus’ can be informative, and how do later direct-reference theories challenge or reinterpret Frege’s explanation?
Compare Russell’s theory of descriptions with Kripke’s causal-historical theory of names. In what sense do they disagree about how ordinary proper names refer, and what problem cases motivate Kripke’s rejection of descriptivism?
Why are indexicals and demonstratives often viewed as evidence that not all aspects of meaning can be captured by context-insensitive descriptive content?
To what extent can model-theoretic semantics be taken as a realistic account of natural-language reference, given that models are abstract structures rather than the world itself?
Do externalist arguments like Putnam’s Twin Earth show that ‘meanings are not in the head’, or only that some aspects of reference are socially and environmentally constrained?
How should we understand apparently true and meaningful statements about fictional characters, such as ‘Sherlock Holmes is more famous than any real Victorian detective’?
Can a purely text-trained AI language model genuinely refer to things in the world, or does it only simulate reference? How do symbol-grounding considerations bear on this question?