The USE–MENTION DISTINCTION is a foundational concept of analytic philosophy , according to which it is necessary to make a distinction between _using_ a word (or phrase) and _mentioning_ it, and many philosophical works have been "vitiated by a failure to distinguish use and mention". The distinction is disputed by non-analytic philosophers.
The distinction between use and mention can be illustrated for the word _cheese_:
* _Use_: Cheese is derived from milk. * _Mention_: 'Cheese' is derived from the Old English word _ċēse_.
The first sentence is a statement about the substance called "cheese"; it _uses_ the word 'cheese' to refer to that substance. The second is a statement about the word 'cheese' as a signifier ; it _mentions_ the word without _using_ it to refer to anything other than itself.
* 1 Grammar
* 2 In philosophy
* 3 See also
* 4 Notes
_ This article NEEDS ADDITIONAL CITATIONS FOR VERIFICATION . Please help improve this article by adding citations to reliable sources . Unsourced material may be challenged and removed. (November 2010)_ _(Learn how and when to remove this template message )_
In written language, MENTIONED words or phrases often appear between
quotation marks (as in "'Chicago' contains three vowels") or in
italics (as in "When I say _honey_, I mean the sweet stuff that bees
make"), and style authorities such as _
Strunk and White
If quotation marks are used, it is sometimes the practice to distinguish between the quotation marks used for speech and those used for mentioned words, with double quotes in one place and single in the other:
* When Larry said, "That has three letters," he was referring to the word 'bee'. * With reference to 'bumbershoot', Peter explained that "The term refers to an umbrella."
A few authorities recommend against such a distinction, and prefer one style of quotation mark to be used for both purposes.
The general phenomenon of a term's having different references in different contexts was called _suppositio _ (substitution) by medieval logicians. It describes how one has to substitute a term in a sentence based on its meaning—that is, based on the term's referent. In general, a term can be used in several ways. For nouns, they are:
* Properly with a _concrete and real referent_: "That is my _cow_" (assuming it exists). (personal supposition) * Properly with a _concrete but unreal referent_: "Santa Claus's cow is very big." (also personal supposition) * Properly with a _generic referent_: "Any _cow_ gives milk." (simple supposition) * Improperly by way of _metaphor_: "Your sister is a _cow_". (improper supposition) * As a _pure term_: "_Cow_ has only three letters". (material supposition)
The last sentence contains a mention example.
The use–mention distinction is especially important in analytic philosophy . Failure to properly distinguish use from mention can produce false, misleading, or meaningless statements or category errors . For example, the following correctly distinguish between use and mention:
* "Copper" contains six letters, and is not a metal. * Copper is a metal, and contains no letters.
The first sentence, a mention example, is a statement about the word "copper" and not the chemical element. Notably, the word is composed of six letters, but not any kind of metal or other tangible thing. The second sentence, a use example, is a statement about the chemical element copper and not the word itself. Notably, the element is composed of 29 electrons and protons and a number of neutrons, but not any letters.
Stanisław Leśniewski was perhaps the first to make widespread use of this distinction and the fallacy that arises from overlooking it, seeing it all around in analytic philosophy of the time, for example in Russell and Whitehead's _ Principia Mathematica _. At the logical level, a use–mention mistake occurs when two heterogeneous levels of meaning or context are confused inadvertently.
Donald Davidson told that in his student years, "quotation was usually introduced as a somewhat shady device, and the introduction was accompanied by a stern sermon on the sin of confusing the use and mention of expressions". He presented a class of sentences like
Quine said that "quotation has a certain anomalous feature."
which both use the meaning of the quoted words to complete the sentence, and mention them as they are attributed to W. V. Quine , to argue against his teachers' hard distinction. His claim was that quotations could not be analyzed as simple expressions that mention their content by means of naming it or describing its parts, as sentences like the above would lose their exact, twofold meaning.
Self-referential statements mention themselves or their components, often producing logical paradoxes , such as Quine\'s paradox . A mathematical analogy of self-referential statements lies at the core of Gödel\'s incompleteness theorem (diagonal lemma ). There are many examples of self-reference and use–mention distinction in the works of Douglas Hofstadter , who makes the distinction thus:
When a word is used to _refer_ to something, it is said to be being _used_. When a word is _quoted_, though, so that someone is examining it for its surface aspects (typographical, phonetic, etc.), it is said to be being _mentioned_.
Although the standard notation for mentioning a term in philosophy and logic is to put the term in quotation marks, issues arise when the mention is itself of a mention. Notating using italics might require a potentially infinite number of typefaces, while putting quotation marks within quotation marks may lead to ambiguity.
Some analytic philosophers have said the distinction "may seem rather pedantic".
* Haddocks\' Eyes
* James while John had had had had had had had had had had had a
better effect on the teacher
Pointer (computer programming)
Sense and reference
* ^ Wheeler (2005) p. 568 * ^ _A_ _B_ _C_ _D_ Devitt and Sterelny (1999) pp. 40-1 * ^ _A_ _B_ W.V. Quine (1940) p. 24 * ^ _A_ _B_ Derrida (1977) p.79 * ^ Wilson, Shomir (2011). "A Computational Theory of the Use-Mention Distinction in Natural Language". Ph.D. Dissertation, University of Maryland. Retrieved 16 February 2013. * ^ For example, _Butcher's Copy-Editing: the Cambridge Handbook for Editors, Copy-editors and Proofreaders._ 4th edition, by Judith Butcher, Caroline Drake and Maureen Leach. Cambridge University Press, 2006. Butcher's recommends against the practice, but _The Chicago Manual of Style_, section 7.58 (15th edition, 2003), indicates that "philosophers" use single quotes for a practice akin to the use/mention distinction, though it is not explained in this way. * ^ See Read, Stephen (2006). Medieval Theories: Properties of Terms. In Stanford Encyclopedia of Philosophy . * ^ "Quotation". _The Stanford Encyclopedia of Philosophy_. 16 July 2005. Retrieved 5 October 2009. * ^ Simons, Peter (2006). "Leśniewski, Stanisław". In Borchert, Donald M. _ Encyclopedia of Philosophy , 2nd edition_ (e-book ed.). Thomson Gale. p. 292. ISBN 0-02-866072-2 . * ^ Davidson, Donald (March 1979). "Quotation". _Theory and Decision_. 11 (1): 27–40. ISSN 0040-5833 . doi :10.1007/BF00126690 . Retrieved 8 December 2010. * ^ Hofstadter, Douglas R. (1985). _Metamagical Themas_. p. 9. * ^ Boolos, George (1999). _Logic, Logic, and Logic_. p. 398. In this 1995 paper, Boolos discussed ambiguities in using quotation marks as part of a formal language , and proposed a way of distinguishing levels of mentioning using a finite number of marks, using "′" to modify the succeeding "°", as in: According to W. Quine , Whose views on quotation are fine, °Boston° names Boston, and ′°°Boston°′° names °Boston°, But 9 doesn't designate 9. line feed character in quote= at position 245 (help )
* Derrida, Jacques (1977) _
Limited Inc abc ..._ in _
Limited Inc _
* A. W. Moore (1986) _How Significant Is the Use/Mention Distinction?_ in _Analysis_ Vol. 46, No. 4 (Oct., 1986), pp. 173-179
* "Robert And The