In the
philosophy of language
Philosophy of language refers to the philosophical study of the nature of language. It investigates the relationship between language, language users, and the world. Investigations may include inquiry into the nature of Meaning (philosophy), me ...
, the distinction between sense and reference was an idea of the German philosopher and mathematician
Gottlob Frege
Friedrich Ludwig Gottlob Frege (; ; 8 November 1848 – 26 July 1925) was a German philosopher, logician, and mathematician. He was a mathematics professor at the University of Jena, and is understood by many to be the father of analytic philos ...
in 1892 (in his paper "On Sense and Reference"; German: "Über Sinn und Bedeutung"),
[ reflecting the two ways he believed a singular term may have meaning.
The ]reference
A reference is a relationship between objects in which one object designates, or acts as a means by which to connect to or link to, another object. The first object in this relation is said to ''refer to'' the second object. It is called a ''nam ...
(or "referent
A referent ( ) is a person or thing to which a name – a linguistic expression or other symbol – refers. For example, in the sentence ''Mary saw me'', the referent of the word ''Mary'' is the particular person called Mary who is being spoken o ...
"; ''Bedeutung'') of a ''proper name'' is the object it means or indicates (''bedeuten''), whereas its sense
A sense is a biological system used by an organism for sensation, the process of gathering information about the surroundings through the detection of Stimulus (physiology), stimuli. Although, in some cultures, five human senses were traditio ...
(''Sinn'') is what the name expresses. The reference of a ''sentence'' is its truth value
In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth, which in classical logic has only two possible values ('' true'' or '' false''). Truth values are used in ...
, whereas its sense is the thought that it expresses.["On Sense and Reference" Über Sinn und Bedeutung" '' Zeitschrift für Philosophie und philosophische Kritik'', vol. 100 (1892), pp. 25–50, esp. p. 31.] Frege justified the distinction in a number of ways.
#Sense is something possessed by a name, whether or not it has a reference. For example, the name "Odysseus
In Greek mythology, Greek and Roman mythology, Odysseus ( ; , ), also known by the Latin variant Ulysses ( , ; ), is a legendary Greeks, Greek king of Homeric Ithaca, Ithaca and the hero of Homer's Epic poetry, epic poem, the ''Odyssey''. Od ...
" is intelligible, and therefore has a sense, even though there is no individual object (its reference) to which the name corresponds.
#The sense of different names is different, even when their reference is the same. Frege argued that if an identity statement such as " Hesperus is the same planet as Phosphorus
Phosphorus is a chemical element; it has Chemical symbol, symbol P and atomic number 15. All elemental forms of phosphorus are highly Reactivity (chemistry), reactive and are therefore never found in nature. They can nevertheless be prepared ar ...
" is to be informative, the proper names flanking the identity sign must have a different meaning or sense. But clearly, if the statement is true, they must have the same reference. The sense is a 'mode of presentation', which serves to illuminate only a single aspect of the referent.
Much of analytic philosophy
Analytic philosophy is a broad movement within Western philosophy, especially English-speaking world, anglophone philosophy, focused on analysis as a philosophical method; clarity of prose; rigor in arguments; and making use of formal logic, mat ...
is traceable to Frege's philosophy of language.[Jeff Speaks]
"Frege's theory of reference"
(2011) Frege's views on logic (i.e., his idea that some parts of speech are complete by themselves, and are analogous to the arguments
An argument is a series of sentences, statements, or propositions some of which are called premises and one is the conclusion. The purpose of an argument is to give reasons for one's conclusion via justification, explanation, and/or persua ...
of a mathematical function
In mathematics, a function from a set (mathematics), set to a set assigns to each element of exactly one element of .; the words ''map'', ''mapping'', ''transformation'', ''correspondence'', and ''operator'' are sometimes used synonymously. ...
) led to his views on a theory of reference.[
]
Background
Frege developed his original theory of meaning in early works like ''Begriffsschrift
''Begriffsschrift'' (German for, roughly, "concept-writing") is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book.
''Begriffsschrift'' is usually translated as ''concept writing'' or ''concept notati ...
'' (concept paper) of 1879 and '' Grundlagen'' (Foundations of Arithmetic) of 1884. On this theory, the meaning of a complete sentence consists in its being true or false, and the meaning of each significant expression in the sentence is an extralinguistic entity which Frege called its ''Bedeutung'', literally meaning or significance, but rendered by Frege's translators as reference, referent, 'Meaning', nominatum, etc. Frege supposed that some parts of speech are complete by themselves, and are analogous to the arguments
An argument is a series of sentences, statements, or propositions some of which are called premises and one is the conclusion. The purpose of an argument is to give reasons for one's conclusion via justification, explanation, and/or persua ...
of a mathematical function
In mathematics, a function from a set (mathematics), set to a set assigns to each element of exactly one element of .; the words ''map'', ''mapping'', ''transformation'', ''correspondence'', and ''operator'' are sometimes used synonymously. ...
, but that other parts are incomplete, and contain an empty place, by analogy with the function itself. Thus "Caesar conquered Gaul" divides into the complete term "Caesar", whose reference is Caesar himself, and the incomplete term "—conquered Gaul", whose reference is a concept. Only when the empty place is filled by a proper name does the reference of the completed sentence – its truth value – appear. This early theory of meaning explains how the significance or reference of a sentence (its truth value) depends on the significance or reference of its parts.
Sense
Frege introduced the notion of "sense" (German: ''Sinn'') to accommodate difficulties in his early theory of meaning.
First, if the entire significance of a sentence consists of its truth value, it follows that the sentence will have the same significance if we replace a word of the sentence with one having an identical reference, as this will not change its truth value.["On Sense and Reference", p. 32.] The reference of the whole is determined by the reference of the parts. If ''the evening star'' has the same reference as ''the morning star'', it follows that ''the evening star is a body illuminated by the Sun'' has the same truth value as ''the morning star is a body illuminated by the Sun''. But it is possible for someone to think that the first sentence is true while also thinking that the second is false. Therefore, the thought corresponding to each sentence cannot be its reference, but something else, which Frege called its ''sense''.
Second, sentences that contain proper names with no reference cannot have a truth value at all. Yet the sentence 'Odysseus was set ashore at Ithaca while sound asleep' obviously has a sense, even though 'Odysseus' has no reference. The thought remains the same whether or not 'Odysseus' has a reference. Furthermore, a thought cannot contain the objects that it is about. For example, Mont Blanc
Mont Blanc (, ) is a mountain in the Alps, rising above sea level, located right at the Franco-Italian border. It is the highest mountain in Europe outside the Caucasus Mountains, the second-most prominent mountain in Europe (after Mount E ...
, 'with its snowfields', cannot be a component of the thought that Mont Blanc is more than 4,000 metres high. Nor can a thought about Etna contain lumps of solidified lava.
Frege's notion of sense is somewhat obscure, and neo-Fregeans have come up with different candidates for its role. Accounts based on the work of Carnap and Church treat sense as an intension, or a function from possible worlds to extensions. For example, the intension of ‘number of planets’ is a function that maps any possible world to the number of planets in that world. John McDowell
John Henry McDowell (born 7 March 1942) is a South African philosopher, formerly a fellow of University College, Oxford, and now university professor at the University of Pittsburgh. Although he has written on metaphysics, epistemology, anci ...
supplies cognitive and reference-determining roles. Michael Devitt treats senses as causal-historical chains connecting names to referents, allowing that repeated "groundings" in an object account for reference change.
Sense and description
In his theory of descriptions
The theory of descriptions is the philosopher Bertrand Russell's most significant contribution to the philosophy of language. It is also known as Russell's theory of descriptions (commonly abbreviated as RTD). In short, Russell argued that the ...
, Bertrand Russell
Bertrand Arthur William Russell, 3rd Earl Russell, (18 May 1872 – 2 February 1970) was a British philosopher, logician, mathematician, and public intellectual. He had influence on mathematics, logic, set theory, and various areas of analytic ...
held the view that most proper names in ordinary language are in fact disguised definite description
In formal semantics and philosophy of language, a definite description is a denoting phrase in the form of "the X" where X is a noun-phrase or a singular common noun. The definite description is ''proper'' if X applies to a unique individual or ...
s. For example, 'Aristotle' can be understood as "The pupil of Plato and teacher of Alexander", or by some other uniquely applying description. This is known as the descriptivist theory of names. Because Frege used definite descriptions in many of his examples, he is often taken to have endorsed the descriptivist theory. Thus Russell's theory of descriptions was conflated with Frege's theory of sense, and for most of the twentieth century this "Frege–Russell" view was the orthodox view of proper name semantics. Saul Kripke
Saul Aaron Kripke (; November 13, 1940 – September 15, 2022) was an American analytic philosophy, analytic philosopher and logician. He was Distinguished Professor of Philosophy at the Graduate Center of the City University of New York and emer ...
argued influentially against the descriptivist theory, asserting that proper names are rigid designators which designate the same object in every possible world. Descriptions, however, such as "the President of the U.S. in 1969" do not designate the same entity in every possible world. For example, someone other than Richard Nixon
Richard Milhous Nixon (January 9, 1913April 22, 1994) was the 37th president of the United States, serving from 1969 until Resignation of Richard Nixon, his resignation in 1974. A member of the Republican Party (United States), Republican ...
, e.g. Hubert H. Humphrey, might have been the President in 1969. Hence a description (or cluster of descriptions) cannot be a rigid designator, and thus a proper name cannot ''mean'' the same as a description.
However, the Russellian descriptivist reading of Frege has been rejected by many scholars, in particular by Gareth Evans in ''The Varieties of Reference'' and by John McDowell
John Henry McDowell (born 7 March 1942) is a South African philosopher, formerly a fellow of University College, Oxford, and now university professor at the University of Pittsburgh. Although he has written on metaphysics, epistemology, anci ...
in "The Sense and Reference of a Proper Name", following Michael Dummett, who argued that Frege's notion of sense should not be equated with a description. Evans further developed this line, arguing that a sense without a referent was not possible. He and McDowell both take the line that Frege's discussion of empty names, and of the idea of sense without reference, are inconsistent, and that his apparent endorsement of descriptivism rests only on a small number of imprecise and perhaps offhand remarks. And both point to the power that the sense-reference distinction ''does'' have (i.e., to solve at least the first two problems), even if it is not given a descriptivist reading.
Translation of ''Bedeutung''
As noted above, translators of Frege have rendered the German ''Bedeutung'' in various ways. The term 'reference' has been the most widely adopted, but this fails to capture the meaning of the original German ('meaning' or 'significance'), and does not reflect the decision to standardise key terms across different editions of Frege's works published by Blackwell. The decision was based on the principle of exegetical neutrality: that "if at any point in a text there is a passage that raises for the native speaker legitimate questions of exegesis
Exegesis ( ; from the Ancient Greek, Greek , from , "to lead out") is a critical explanation or interpretation (philosophy), interpretation of a text. The term is traditionally applied to the interpretation of Bible, Biblical works. In modern us ...
, then, if at all possible, a translator should strive to confront the reader of his version with the same questions of exegesis and not produce a version which in his mind resolves those questions". The term 'meaning' best captures the standard German meaning of ''Bedeutung''. However, while Frege's own use of the term can sound as odd in German for modern readers as when translated into English, the related term ''deuten'' does mean 'to point towards'. Though ''Bedeutung'' is not usually used with this etymological proximity in mind in German, German speakers can well make sense of ''Bedeutung'' as signifying 'reference', in the sense of it being what ''Bedeutung'' points, i.e. refers to. Moreover, 'meaning' captures Frege's early use of ''Bedeutung'' well, and it would be problematic to translate Frege's early use as 'meaning' and his later use as 'reference', suggesting a change in terminology not evident in the original German.
Precursors
Antisthenes
The Greek philosopher Antisthenes, a pupil of Socrates
Socrates (; ; – 399 BC) was a Ancient Greek philosophy, Greek philosopher from Classical Athens, Athens who is credited as the founder of Western philosophy and as among the first moral philosophers of the Ethics, ethical tradition ...
, apparently distinguished "a general object that can be aligned with the meaning of the utterance” from “a particular object of extensional reference". According to Susan Prince, this "suggests that he makes a distinction between sense and reference". The principal basis of Prince's claim is a passage in Alexander of Aphrodisias' “Comments on Aristotle
Aristotle (; 384–322 BC) was an Ancient Greek philosophy, Ancient Greek philosopher and polymath. His writings cover a broad range of subjects spanning the natural sciences, philosophy, linguistics, economics, politics, psychology, a ...
's 'Topics'” with a three-way distinction:
# the semantic medium, δι' ὧν λέγουσι
# an object external to the semantic medium, περὶ οὗ λέγουσιν
# the direct indication of a thing, σημαίνειν ... τὸ ...
Stoicism
The Stoic doctrine of refers to a correspondence between speech and the object referred to in speech, as distinct from the speech itself. British classicist R. W. Sharples cites ''lekta'' as an anticipation of the distinction between sense and reference.
John Stuart Mill
The sense-reference distinction is commonly confused with that between connotation and denotation
In linguistics and philosophy, the denotation of a word or expression is its strictly literal meaning. For instance, the English word "warm" denotes the property of having high temperature. Denotation is contrasted with other aspects of meaning in ...
, which originates with John Stuart Mill
John Stuart Mill (20 May 1806 – 7 May 1873) was an English philosopher, political economist, politician and civil servant. One of the most influential thinkers in the history of liberalism and social liberalism, he contributed widely to s ...
. According to Mill, a common term like 'white' ''denotes'' all white things, as snow, paper. But according to Frege, a common term does not refer to any individual white thing, but rather to an abstract concept ( ''Begriff''). We must distinguish between the relation of reference, which holds between a proper name and the object it refers to, such as between the name 'Earth' and the planet Earth
Earth is the third planet from the Sun and the only astronomical object known to Planetary habitability, harbor life. This is enabled by Earth being an ocean world, the only one in the Solar System sustaining liquid surface water. Almost all ...
, and the relation of 'falling under', such as when the Earth falls under the concept ''planet''. The relation of a proper name to the object it designates is direct, whereas a word like 'planet' does not have such a direct relation to the Earth; instead, it refers to a concept under which the Earth falls. Moreover, judging of anything that it falls under this concept is not in any way part of our knowledge of what the word 'planet' means.[Frege, A Critical Elucidation of Some Points in E. Schroeder']
''Vorlesungen Ueber Die Algebra der Logik''
''Archiv für systematische Philosophie'' 1895, pp. 433-456, transl. P. T. Geach, in Geach & Black
Black is a color that results from the absence or complete absorption of visible light. It is an achromatic color, without chroma, like white and grey. It is often used symbolically or figuratively to represent darkness.Eva Heller, ''P ...
pp. 86-106. The distinction between connotation and denotation is closer to that between concept and object than to that between 'sense' and 'reference'.
See also
* Descriptivist theory of names
* Definite description
In formal semantics and philosophy of language, a definite description is a denoting phrase in the form of "the X" where X is a noun-phrase or a singular common noun. The definite description is ''proper'' if X applies to a unique individual or ...
* Direct and indirect realism
* Frege's puzzles
* Intensional logic
* Mediated reference theory
* Temperature paradox
* Theories of language
* Use–mention distinction
In analytic philosophy, a fundamental distinction is made between the use of a term and the mere mention of it.Devitt and Sterelny (1999) pp. 40–1. W. V. O. Quine (1940) p. 24. Many philosophical works have been "vitiated by a failure ...
Footnotes
{{DEFAULTSORT:Sense And Reference
Philosophy of language
Philosophical logic
Conceptual distinctions
Meaning (philosophy of language)
Works by Gottlob Frege