Fact-checked by Grok 2 weeks ago

Sense and reference

Sense and reference is a foundational distinction in and semantics, introduced by the German philosopher and mathematician in his 1892 paper "Über Sinn und Bedeutung" (translated as "On Sense and Reference"). In this framework, the sense (Sinn) of a linguistic expression refers to its mode of presentation or the cognitive content associated with it, which determines how the expression is understood, while the reference (Bedeutung) is the actual object, entity, or truth-value that the expression denotes in the world. For instance, the phrases "" and "" share the same reference— the planet —but differ in sense because they present it in distinct ways (as visible in the morning versus the evening). Frege developed this distinction to resolve puzzles about the cognitive significance of identity statements, such as why " is " (where both names refer to ) conveys new information, unlike the tautological " is ," even though both have the same . He argued that s are objective, abstract entities in a "third realm" beyond the physical and mental, graspable by different speakers and determining the reference without being identical to it; for example, two descriptions like "the inventor of " and "the first " can have different s but the same (). This theory extends to sentences, where the is a "thought" (Gedanke)—the expressed—and the is its truth-value (true or false). The sense-reference framework has profoundly influenced modern semantics, logic, and , providing tools to analyze phenomena like attributions (e.g., one can believe "Mark Twain wrote " without believing "Samuel Clemens wrote ," despite co-reference) and the behavior of expressions in opaque contexts such as or . It also addresses issues with non-referring terms, like fictional names ("" has a sense but no reference, rendering certain sentences as lacking a truth-value rather than meaningless). Frege's ideas, originally published in the Zeitschrift für Philosophie und philosophische Kritik, remain central to debates on meaning, , and the nature of linguistic understanding.

Historical Context

Precursors in Ancient Philosophy

In , (c. 445–365 BCE), a disciple of and founder of the school, developed a that emphasized the uniqueness of verbal expressions in relation to . According to , every enunciation () refers to a singular, existent, capturing an incommunicable tied to rather than abstract universals. This view posits that words designate unique things through their "proper statement" (oikeios ), such that predication beyond identity statements like "A is A" is impossible, as it would imply shared general properties that do not exist in . Thus, operates through direct, singular reference, creating a proto-distinction between the verbal expression, governed by convention (), and the underlying, natural of individual essences that resist generalization or contradiction. The Stoics, building on earlier Socratic influences in the (from around 300 BCE onward), advanced a more structured through their tripartite model of the . In this framework, a consists of the signifier (a spoken or written word, which is corporeal), the signified (the lekton or "sayable," an incorporeal concept or meaning), and the (the external object, also corporeal). The lekton serves as an , representing the semantic content expressed by the signifier without being identical to the physical it points toward. A key example of lekta is the predicate "walks," which denotes an incorporeal sayable distinct from the actual corporeal of someone walking or the body performing the action. Lekta encompass complete propositions, such as "Dion walks," where the (e.g., "Dion") combines with the to form a meaningful structure that subsists independently of material instantiation. This separation highlights lekta as non-physical entities that mediate between linguistic signs and empirical objects, allowing for the articulation of truth or falsity without conflating expression with the thing itself. These ancient ideas have been interpreted by some scholars as prefiguring later distinctions in by decoupling linguistic meaning from direct empirical reference: through the insistence on unique, ineffable essences beyond verbal generalization, and the Stoics via the incorporeal lekta as a layer of signification intervening between words and . Recent , such as Susanne Bobzien's 2021 analysis, argues that Frege drew significant elements of his from Stoic sources (via Carl Prantl's ) without attribution, suggesting stronger historical connections for the Stoics, though direct influence remains debated and ' link is more interpretive. Although not fully formalized as a of cognitive modes of , this separation anticipates the recognition that expressions can convey structured meanings apart from their denotative targets, influencing subsequent semantic inquiries without empirical or psychological elaboration.

Influences from Modern Philosophy

In the 19th century, introduced a foundational distinction in the between and in his seminal work (1843), which laid groundwork for later analyses of meaning by separating a term's referential role from its descriptive content. Denotation refers to the objects or class of objects that a term applies to, while connotation encompasses the attributes or qualities implied by the term that define its applicability. This framework marked a shift toward empirical and logical examination of linguistic meaning within , influencing subsequent thinkers by highlighting how words function beyond mere pointing to entities. Mill illustrated this distinction with examples such as the term "white," which denotes all objects possessing that property—such as , paper, or the summit of —while connoting the attribute of whiteness itself. Similarly, "man" denotes individual humans like or but connotes essential attributes including corporeity, animal life, and rationality, demonstrating that general names carry informative content that shapes their use in propositions. These examples underscore how enriches a term's role in reasoning, allowing it to convey more than just a referential and enabling precise definitions through specified attributes. Mill's approach provided a psychological basis for meaning, viewing as rooted in mental associations of attributes with objects, which contrasted with later objective conceptions of linguistic content. This empiricist perspective, emphasizing how speakers' cognitive processes determine a term's implications, positioned as the primary precursor to Gottlob Frege's developments in the late , though Frege sought to refine it by prioritizing intersubjective objectivity over subjective . Broader British analytic traditions, including empiricist logics from figures like and , offered supplementary context through their focus on clear ideas and empirical verification, but Mill's explicit denotation-connotation binary remained the most direct antecedent to distinctions in meaning.

Core Concepts

Sense

In Gottlob Frege's , the (German: Sinn) of a is defined as the objective mode of presentation through which its is given to the mind, distinct from both the referent itself and any subjective psychological associations. This intersubjective aspect of meaning ensures that senses are sharable across individuals who understand the language, providing a determinate way in which an object or concept is conceived without depending on personal mental images. For instance, the expressions "the " and "the " both refer to the planet but possess different senses because they present the same object under contrasting modes—one as visible in the morning sky and the other in the evening. Frege introduces this concept in his 1892 essay "Über Sinn und Bedeutung," using examples from proper names and definite descriptions to illustrate how senses capture the conceptual content conveyed by linguistic expressions. Frege regarded senses as objective abstract entities, separate from of objects and the subjective realm of individual ideas or . He later posited, in his 1918 essay "The Thought," that they inhabit a "third realm" of objective thought contents. This third realm comprises timeless, mind-independent entities that form a shared repository of human , accessible through and not reducible to private psychological states; for example, while two people might have varying of , the sense associated with his name remains uniformly objective. Unlike subjective ideas, which vary idiosyncratically (such as a historian's detailed versus a child's vague one), senses are public and determinate, ensuring consistent understanding within a linguistic community. The role of sense is crucial in determining the cognitive value and informativeness of propositions, particularly in identity statements. A tautological identity like "" holds trivially because the sense on both sides is identical, offering no new information, whereas "" (such as " is ") is informative precisely because the differing senses provide distinct modes of of the same , revealing a previously unrecognized equivalence. This explains why such statements can expand knowledge despite expressing the same truth-value. Frege's notion of thus underpins the informational content of , enabling recognition of novel insights. Frege's sense differs fundamentally from John Stuart Mill's earlier concept of , which Mill treated as a subjective attribute tied to the psychological associations of general terms, lacking the objective status Frege assigns to . While Mill viewed proper names as non-connotative—mere labels without inherent conceptual content—Frege's provides an objective, intersubjective layer of meaning even for such names, refining 's framework by elevating it beyond to a shared logical structure.

Reference

In Gottlob Frege's , the (German: Bedeutung) of a linguistic expression is the actual entity or object it denotes, distinct from the mode of through which that entity is grasped. For proper names or singular terms, the is the individual object itself designated by the name. For instance, the proper name "" refers to the historical philosopher who was the pupil of and teacher of , regardless of varying descriptions used to identify him. Predicates, as incomplete or unsaturated expressions, have as their reference a concept or, more precisely, a function that maps objects to truth-values. This functional character ensures the predicative role in forming propositions, where the reference of a predicate like "is a philosopher" denotes the concept of being a philosopher, applicable to arguments such as proper names. In contrast to proper names, which saturate to complete the reference, predicates require supplementation by other expressions to yield a full denotation. For complete sentences or assertoric expressions, the reference is the truth-value of the sentence—either the True or the False—independent of how the thought is articulated. Thus, while the sense of a sentence conveys the thought it expresses, its reference hinges solely on whether that thought corresponds to . A key governing reference is that the reference of a complex expression is determined by the references of its parts, such that substituting co-referential components preserves the overall reference. Frege articulates this as: "The Reference of a word [forms] part of the Reference of the sentence," ensuring that the truth-value of a compound sentence depends on the denotations of its constituents rather than their senses. This distinction from sense allows multiple expressions to share the same reference despite differing cognitive contents; for example, "the Evening Star" and "the Morning Star" both refer to Venus but present it differently, resolving issues in logical identity statements. Such utility underscores reference's role in formal semantics and inference.

Interrelations and Applications

Sense and Descriptive Content

In Gottlob Frege's philosophy of language, definite descriptions such as "the author of 'Hamlet'" express a sense through the unique identification of an object via its descriptive attributes. The sense here is the mode of presentation of the referent, which conveys how the object is given to the mind, rather than merely denoting the object itself. For instance, the phrase "the author of 'Hamlet'" presents William Shakespeare not as a bare name but through the attribute of authorship, contributing to the cognitive content without equating directly to the sense. This linkage of to descriptive content underscores that descriptions provide a structured way of identifying referents, emphasizing as a condition for successful . Frege's approach prioritizes the 's role in ensuring that the description picks out a single object, predating and influencing later theories. In contrast to Bertrand Russell's subsequent , which analyzes them quantificationaly with explicit and conditions, Frege integrates into the itself as an feature of the expression. The of a remains objective, shared across speakers who understand the , even if incomplete without sufficient contextual to fully grasp the mode of presentation. This objectivity ensures that the sense determines the determinately when a referent exists, independent of individual subjective associations. A classic illustration is the description "the King of ," which expresses a —the of the unique ruler of —but lacks a since no such individual currently exists. This separation allows for meaningful discourse about non-referring descriptions, though it raises issues like the implications for sentences attributing properties to them, as in the baldness paradox. Unlike pure proper names, which may appear to designate directly without evident descriptive load, definite descriptions unpack the sense into explicit attributes, enriching the mode of presentation with conceptual structure. Frege's development of sense for such descriptions extends John Stuart Mill's earlier notion of connotation—the descriptive meaning of general terms—by applying it to singular expressions.

Sense-Reference Distinction in Propositions

In Frege's theory, the sense of a complete declarative sentence constitutes a thought (Gedanke), which is an objective, abstract entity that captures the cognitive content shared by speakers who understand the sentence, independent of their individual mental states. This thought is composed of the senses of the sentence's constituent parts, such as the senses of singular terms and predicates, forming a structured whole that determines how the world must be for the sentence to be true. Unlike subjective ideas, thoughts belong to a "third realm" of objective contents, graspable by multiple minds and serving as the bearers of truth. The reference of a sentence, by contrast, is its truth-value: either the True or the False, which remains constant regardless of the particular mode of presentation of the thought. This identification ensures that sentences differing only in how they express the same thought—such as synonyms or reformulations—share the same reference, as the truth-value depends solely on whether the thought corresponds to , not on its linguistic or conceptual formulation. For instance, the sentences " is " and " is the " express different thoughts due to the distinct senses of "" (evening star) and "" (), yet both have the same truth-value, the True, explaining why the identity statement can be informative despite its apparent triviality. In contexts involving propositional attitudes, such as belief reports (e.g., "A believes that Hesperus is Phosphorus"), the reference of the embedded clause shifts from its customary truth-value to its customary sense—the thought itself—allowing the distinction to account for failures of substitutivity. Here, replacing co-referential terms with different senses can alter the truth-value of the attitude ascription, as the object of belief is the thought, not the truth-value. This mechanism of indirect reference preserves the cognitive differences between thoughts while enabling precise semantic analysis. The sense-reference distinction for propositions underpins Frege's logical framework by permitting inferences and validity to be evaluated based on truth-values (references), while senses maintain the informational and cognitive nuances essential for understanding assertion, proof, and reasoning. It thus reconciles the objective structure of logic with the subjective grasp of meaning, ensuring that logical relations hold across equivalent expressions without conflating their epistemic import.

Linguistic and Philosophical Implications

Translation Challenges for "Bedeutung"

The German term Bedeutung, as employed by , literally translates to "meaning" or "significance" in English, but its everyday connotations in German—encompassing both semantic content and —have sparked ongoing debates among regarding how best to convey Frege's intent without introducing . This linguistic breadth of Bedeutung complicates its rendering, as it must distinguish Frege's post-1892 usage from ordinary language, where it does not strictly denote an object but also implies value or relevance. Early English translations of Frege's works often rendered Bedeutung as "meaning," which blurred the boundary with Sinn (sense), leading to interpretive confusion; for instance, Philip Jourdain's 1912 translation of used "denotation" for Bedeutung while reserving "meaning" for Sinn, but Ludwig Wittgenstein's notes from 1913–1914 simply adopted "meaning" for both. Max Black's 1948 translation of "" standardized "reference" (initially "referent" in some contexts), a choice influenced by Peter Geach's advocacy for its alignment with Frege's logical emphasis on , which became the philosophical norm despite alternatives like Carnap's "nominatum" (1947) or "denotation" proposed by (1905). Later editions, such as Geach and Black's 1979 Translations from the Philosophical Writings of , reverted to "meaning" for consistency with Frege's pre-1892 usage, though this shift highlighted the term's evolution and risked conflating distinct concepts. The preference for "reference" underscores its success in emphasizing Bedeutung as the denotative object in Frege's —such as the truth-value of a or the bearer of a proper name—aligning with his logical semantics, yet it sacrifices the term's broader nuances of "" or "," potentially narrowing interpretations of Frege's holistic view of . For example, in discussing proper names, Frege states that "the of a proper name is the object itself that we designate by its means," where translating Bedeutung as "meaning" could imply subjective rather than objective designation, thus obscuring the distinction from sense and affecting analyses of identity statements like " is ." Similarly, in , Bedeutung as the truth-value (true or false) loses clarity if rendered as "meaning," as seen in critiques where equating the Bedeutung of "No men are mortal" and "" to "meaning" misleadingly suggests semantic equivalence despite differing . These translation choices have shaped scholarly reception, with proponents like David Bell (1980) defending "reference" for its precision in capturing Bedeutung's role in truth-valuation, while others, such as Michael Beaney, opt to leave the term untranslated to preserve contextual across Frege's oeuvre. Ultimately, the debates reveal how Bedeutung's influences the sense-reference distinction, prompting translators like Timothy Ebert and Curtis Rossberg (2013) to prioritize "" for its entrenchment in Anglophone , ensuring fidelity to Frege's logical innovations over literal equivalence.

Criticisms and Developments

One prominent critique of Frege's sense-reference distinction came from Saul Kripke, who argued in his lectures compiled as Naming and Necessity that proper names function as rigid designators, referring to the same object in every possible world where that object exists, without relying on a descriptive sense or mode of presentation as Frege proposed. Kripke challenged the Fregean view by contending that names like "Aristotle" are not synonymous with clusters of definite descriptions (e.g., "the pupil of Plato and teacher of Alexander"), as such descriptions fail to rigidly designate across modal contexts, such as counterfactual scenarios where Aristotle might not have been a philosopher. This rigid designator theory undermines Frege's account of sense as providing cognitive content for proper names, suggesting instead that reference is fixed by a causal-historical chain originating from an initial baptism, rather than descriptive senses. Ludwig Wittgenstein's later philosophy, particularly in , offered another critique through his , which rejected Frege's conception of senses as objective entities in a timeless "third realm" independent of human practices. Wittgenstein argued that meanings, including senses, are not or platonically fixed but emerge from public games and communal use, rendering Frege's third realm untenable as it posits incommunicable, ideal contents that cannot be verified or shared without rule-following paradoxes. This shift emphasized that senses lack the objective status Frege attributed to them, as any attempt to ground meaning in mental presentations leads to indeterminacy, thereby dissolving the distinction's reliance on abstract, realm-bound entities. Further developments arose from W.V.O. Quine's skepticism toward analyticity in "Two Dogmas of Empiricism," which indirectly eroded Frege's sense by questioning the boundary between analytic truths (tied to sense or meaning) and synthetic ones (tied to reference or empirical fact). Quine contended that no clear criterion exists to demarcate analytic statements as true by virtue of meanings alone, as synonymy and analyticity form a blurred web of belief holistically confirmed or infirmed by experience, thus challenging Frege's view of sense as a stable determinant of necessary truths. Similarly, Donald Davidson's truth-conditional semantics, outlined in "Truth and Meaning," prioritized reference via Tarski-style truth conditions over Frege's sense, proposing that a theory of meaning for a language consists in specifying truth conditions for its sentences without invoking intermediary senses. Davidson argued that understanding a sentence involves grasping under what conditions it is true, sidelining Frege's sense as unnecessary for semantic explanation and reducing meaning to referential truth values, much like Frege's own assignment of truth-values to propositions but without the cognitive layer of sense. Frege's original framework also revealed limitations in addressing indexicals such as "I" and "now," which he treated in "The Thought" as having context-dependent senses that shift with the speaker or time, yet without a fully systematic account of how such variability integrates into the composition of thoughts. For instance, Frege acknowledged that "I" expresses a sense that varies per utterer, preventing direct communication of the same thought across contexts, but his theory inadequately explained the mechanism of sense determination beyond ad hoc supplementation. Likewise, Frege viewed vagueness in sense composition as a flaw of natural language rather than a feature to theorize, dismissing borderline cases in predicates like "heap" as defects that ideal logical languages should avoid, without developing tools for handling indeterminate senses. In modern formal semantics, Frege's ideas evolved into the intension-extension framework, where sense corresponds to an —a function from possible worlds (or ) to extensions—and reference to the extension in the actual world, as formalized in works like Rudolf Carnap's Meaning and Necessity. This approach, influential in , treats expressions' meanings as intensional structures that compose to yield truth-conditional extensions, extending Frege's distinction to handle and while addressing some of his gaps in indexicals and compositionality.

References

  1. [1]
    [PDF] Frege: ON SENSE AND REFERENCE
    Jun 20, 2012 · From Translations from the Philosophical Writings of Gottlob Frege. ed. Peter Geach and Max Black (this piece translated by Max Black) ...
  2. [2]
    [PDF] Frege's Theory of Sense and Reference
    Frege claimed that proper names also express senses. The sense of a proper name, like the sense of a definite description, presents an object, which is the ...
  3. [3]
    [PDF] Frege's theory of sense
    Aug 25, 2011 · In “On sense and reference”, Frege tries to explain the nature of sense by analogy: “The reference of a proper name is the object itself which ...
  4. [4]
    [PDF] Antisthenes' Theory of Unique Enunciation: Similarities, Differences ...
    Mar 24, 2006 · Introduction. In this paper I will focus on Antisthenes' theory of unique enunciation, and will then discuss its similarities and ...Missing: incommunicable | Show results with:incommunicable
  5. [5]
    8The lekton - Stoicism - Routledge Encyclopedia of Philosophy
    The fourth incorporeal on the list, the lekton (plural lekta), 'sayable', is a key term in Stoicism. Plato in the Sophist (261–2) distinguishes two linguistic ...
  6. [6]
    Gottlob Frege - Stanford Encyclopedia of Philosophy
    Sep 14, 1995 · He published three of his most well-known papers, 'Function and Concept' (1891), 'On Sense and Reference' (1892a), and 'On Concept and ...Frege's Theorem · Frege's Logic · 1. Kreiser 1984 reproduces the...
  7. [7]
    John Stuart Mill - Stanford Encyclopedia of Philosophy
    Aug 25, 2016 · Mill's account of language turns upon a distinction between the denotation and connotation of a word.Moral and political philosophy · James Mill · Harriet Taylor Mill
  8. [8]
    John Stuart Mill (1806—1873) - Internet Encyclopedia of Philosophy
    As Mill says in his Autobiography when discussing his important treatise of 1843, A System of Logic: The notion that truths external to the mind may be ...<|separator|>
  9. [9]
    Psychologism - Stanford Encyclopedia of Philosophy
    Mar 21, 2007 · A central theme of the Grundlagen is a detailed criticism of Mill's philosophy of mathematics. Frege argues that mathematical truths are not ...
  10. [10]
    On Sense and Reference - Wikisource, the free online library
    Oct 13, 2023 · by Gottlob Frege, translated by Max Black. →. sister projects: Wikipedia article, Wikidata item. 1892 paper Über Sinn und Bedeutung.
  11. [11]
    [PDF] Gottlob Frege ON SENSE AND REFERENCE (excerpt) - UB
    The part translated corresponds to pages 25–36 of the original article as well as the last paragraph. The translation is by Max Kölbel and may be used unchanged ...Missing: Geach | Show results with:Geach
  12. [12]
    Gottlob Frege (1848—1925) - Internet Encyclopedia of Philosophy
    ... On Sense and Reference”, 1892) and “Über Begriff und Gegenstand” (“On ... First published in Semantics of Natural Languages. Edited by Donald Davidson ...
  13. [13]
    Frege's theory of sense
    Jan 16, 2005 · 1 Sense determines reference. Sense determines reference: any two expressions with the same sense/meaning will also have the same reference.
  14. [14]
    Intensional Logic - Stanford Encyclopedia of Philosophy
    Jul 6, 2006 · John Stuart Mill used “connotation” and “denotation.” Frege ... sense and denotation are said by Frege to be not dependent in this way.
  15. [15]
    Frege's theory of reference (Bedeutung)
    Jan 11, 2005 · Frege characterizes his project as explaining the Bedeutung of various linguistic constructions. Though 'Bedeutung' is most naturally translated as 'meaning' ...
  16. [16]
    Descriptions - Stanford Encyclopedia of Philosophy
    Mar 2, 2004 · The analysis of descriptions has played an important role in debates about metaphysics, epistemology, semantics, psychology, logic and linguisticsMotivations for Russell's... · Extensions of the Theory of... · Dissolving Descriptions
  17. [17]
  18. [18]
  19. [19]
    Propositions - Stanford Encyclopedia of Philosophy
    Dec 19, 2005 · Sentences, too, had both referents and senses, according to Frege. The referent of a sentence is its truth-value. Its sense is a thought (Beaney ...
  20. [20]
    Frege's Logic - Stanford Encyclopedia of Philosophy
    Feb 7, 2023 · Friedrich Ludwig Gottlob Frege (b. 1848, d. 1925) is often credited with inventing modern quantificational logic in his Begriffsschrift.
  21. [21]
    [PDF] Translating 'Bedeutung' in Frege's Writings - King's Research Portal
    Aug 30, 2016 · Of all the words used by Frege in his writings, it is 'Bedeutung' that has proved most controversial to translate. It is an everyday German word ...Missing: challenges | Show results with:challenges
  22. [22]
  23. [23]
    [PDF] Translators' Introduction - PhilArchive
    It would seem awkward to have Frege use 'meaning', or whatever alternative translation may be used for 'Bedeutung', in these passages. Moreover, it would ...
  24. [24]
    [PDF] Frege's Views on Vagueness
    Frege looks at vagueness as a typically linguistic phenomenon, i.e., as a defect of ordinary language, along with other defects.Missing: indexicals | Show results with:indexicals