Use–mention distinction

Last updated

In analytic philosophy, [1] a fundamental distinction is made between the use of a term and the mere mention of it. [2] [3] Many philosophical works have been "vitiated by a failure to distinguish use and mention". [2] The distinction can sometimes be pedantic, especially in simple cases where it is obvious. [2] [4]

Contents

The distinction between use and mention can be illustrated with the word "cheese": [2] [3]

  1. Cheese is derived from milk.
  2. "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.

Grammar

In written language, mentioned words or phrases often appear between single or double quotation marks (as in "The name 'Chicago' contains three vowels") or in italics (as in "When I say honey, I mean the sweet stuff that bees make"). In philosophy, single quotation marks are typically used, while in other fields (such as linguistics) italics are much more common. Style authorities such as Strunk and White insist that mentioned words or phrases must always be made visually distinct in this manner. On the other hand, used words or phrases (much more common than mentioned ones) do not bear any typographic markings. In spoken language, or in absence of the use of stylistic cues such as quotation marks or italics in written language, the audience must identify mentioned words or phrases through semantic, pragmatic, and prosodic cues. [5]

If quotation marks are used, it is sometimes customary 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:

A few authorities recommend against using different types of quotation marks for speech and mentioned words and recommend one style of quotation mark to be used for both purposes. [6]

In philosophy

The general phenomenon of a term's having different references in different contexts was called suppositio (substitution) by medieval logicians. [7] 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 the following:

The last sentence contains a mention example.

The use–mention distinction is especially important in analytic philosophy. [8] Failure to properly distinguish use from mention can produce false, misleading, or meaningless statements or category errors. For example, the following sentences correctly distinguish between use and mention:

The first sentence, a mention example, is a statement about the word "copper" and not the chemical element. The word is composed of six letters, but does not contain 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. 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 . [9] At the logical level, a use–mention mistake occurs when two heterogeneous levels of meaning or context are confused inadvertently.[ citation needed ]

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. He said 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. [10]

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. [11]

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. [12]

Criticism

Some analytic philosophers have said the distinction "may seem rather pedantic". [2]

In a 1977 response to analytic philosopher John Searle, Jacques Derrida mentioned the distinction as "rather laborious and problematical". [4]

See also

Notes

  1. Wheeler (2005) p. 568
  2. 1 2 3 4 5 Devitt and Sterelny (1999) pp. 40–1
  3. 1 2 W.V. Quine (1940) p. 24
  4. 1 2 Derrida, Jacques (1977). Limited Inc. Northwestern University Press. p. 79. ISBN   9780810107885.
  5. Wilson, Shomir (2011). "A Computational Theory of the Use-Mention Distinction in Natural Language". PhD Dissertation, University of Maryland. Retrieved 16 February 2013.
  6. 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.
  7. See Read, Stephen (2006). Medieval Theories: Properties of Terms. In Stanford Encyclopedia of Philosophy.
  8. "Quotation". The Stanford Encyclopedia of Philosophy. 16 July 2005. Retrieved 5 October 2009.
  9. Simons, Peter (2006). "Leśniewski, Stanisław". In Borchert, Donald M (ed.). Encyclopedia of Philosophy, 2nd edition (e-book ed.). Thomson Gale. p.  292. ISBN   0-02-866072-2.
  10. Davidson, Donald (March 1979). "Quotation". Theory and Decision. 11 (1): 27–40. doi:10.1007/BF00126690. ISSN   0040-5833. S2CID   261211103.
  11. Hofstadter, Douglas R. (1985). Metamagical Themas . p.  9.
  12. 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.

Related Research Articles

In any of several fields of study that treat the use of signs—for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language—an intension is any property or quality connoted by a word, phrase, or another symbol. In the case of a word, the word's definition often implies an intension. For instance, the intensions of the word plant include properties such as "being composed of cellulose ", "alive", and "organism", among others. A comprehension is the collection of all such intensions.

In the philosophy of language, a proper name – examples include a name of a specific person or place – is a name which ordinarily is taken to uniquely identify its referent in the world. As such it presents particular challenges for theories of meaning, and it has become a central problem in analytic philosophy. The common-sense view was originally formulated by John Stuart Mill in A System of Logic (1843), where he defines it as "a word that answers the purpose of showing what thing it is that we are talking about but not of telling anything about it". This view was criticized when philosophers applied principles of formal logic to linguistic propositions. Gottlob Frege pointed out that proper names may apply to imaginary or nonexistent entities, without becoming meaningless, and he showed that sometimes more than one proper name may identify the same entity without having the same sense, so that the phrase "Homer believed the morning star was the evening star" could be meaningful and not tautological in spite of the fact that the morning star and the evening star identifies the same referent. This example became known as Frege's puzzle and is a central issue in the theory of proper names.

In analytic philosophy and computer science, referential transparency and referential opacity are properties of linguistic constructions, and by extension of languages. A linguistic construction is called referentially transparent when for any expression built from it, replacing a subexpression with another one that denotes the same value does not change the value of the expression. Otherwise, it is called referentially opaque. Each expression built from a referentially opaque linguistic construction states something about a subexpression, whereas each expression built from a referentially transparent linguistic construction states something not about a subexpression, meaning that the subexpressions are ‘transparent’ to the expression, acting merely as ‘references’ to something else. For example, the linguistic construction ‘_ was wise’ is referentially transparent but ‘_ said _’ is referentially opaque.

<span class="mw-page-title-main">Willard Van Orman Quine</span> American philosopher and logician (1908–2000)

Willard Van Orman Quine was an American philosopher and logician in the analytic tradition, recognized as "one of the most influential philosophers of the twentieth century". He served as the Edgar Pierce Chair of Philosophy at Harvard University from 1956 to 1978.

An ontological commitment of a language is one or more objects postulated to exist by that language. The 'existence' referred to need not be 'real', but exist only in a universe of discourse. As an example, legal systems use vocabulary referring to 'legal persons' that are collective entities that have rights. One says the legal doctrine has an ontological commitment to non-singular individuals.

<span class="mw-page-title-main">Sense and reference</span> Distinction in the philosophy of language

In the philosophy of language, the distinction between sense and reference was an idea of the German philosopher and mathematician Gottlob Frege in 1892, reflecting the two ways he believed a singular term may have meaning.

In logic and formal semantics, term logic, also known as traditional logic, syllogistic logic or Aristotelian logic, is a loose name for an approach to formal logic that began with Aristotle and was developed further in ancient history mostly by his followers, the Peripatetics. It was revived after the third century CE by Porphyry's Isagoge.

Metalogic is the study of the metatheory of logic. Whereas logic studies how logical systems can be used to construct valid and sound arguments, metalogic studies the properties of logical systems. Logic concerns the truths that may be derived using a logical system; metalogic concerns the truths that may be derived about the languages and systems that are used to express truths.

Quine's paradox is a paradox concerning truth values, stated by Willard Van Orman Quine. It is related to the liar paradox as a problem, and it purports to show that a sentence can be paradoxical even if it is not self-referring and does not use demonstratives or indexicals. The paradox can be expressed as follows:

"Two Dogmas of Empiricism" is a paper by analytic philosopher Willard Van Orman Quine published in 1951. According to University of Sydney professor of philosophy Peter Godfrey-Smith, this "paper [is] sometimes regarded as the most important in all of twentieth-century philosophy". The paper is an attack on two central aspects of the logical positivists' philosophy: the first being the analytic–synthetic distinction between analytic truths and synthetic truths, explained by Quine as truths grounded only in meanings and independent of facts, and truths grounded in facts; the other being reductionism, the theory that each meaningful statement gets its meaning from some logical construction of terms that refer exclusively to immediate experience.

The indeterminacy of translation is a thesis propounded by 20th-century American analytic philosopher W. V. Quine. The classic statement of this thesis can be found in his 1960 book Word and Object, which gathered together and refined much of Quine's previous work on subjects other than formal logic and set theory. The indeterminacy of translation is also discussed at length in his Ontological Relativity. Crispin Wright suggests that this "has been among the most widely discussed and controversial theses in modern analytical philosophy". This view is endorsed by Hilary Putnam, who states that it is "the most fascinating and the most discussed philosophical argument since Kant's Transcendental Deduction of the Categories".

Quasi-quotation or Quine quotation is a linguistic device in formal languages that facilitates rigorous and terse formulation of general rules about linguistic expressions while properly observing the use–mention distinction. It was introduced by the philosopher and logician Willard Van Orman Quine in his book Mathematical Logic, originally published in 1940. Put simply, quasi-quotation enables one to introduce symbols that stand for a linguistic expression in a given instance and are used as that linguistic expression in a different instance.

In philosophy—more specifically, in its sub-fields semantics, semiotics, philosophy of language, metaphysics, and metasemantics—meaning "is a relationship between two sorts of things: signs and the kinds of things they intend, express, or signify".

A truth-bearer is an entity that is said to be either true or false and nothing else. The thesis that some things are true while others are false has led to different theories about the nature of these entities. Since there is divergence of opinion on the matter, the term truth-bearer is used to be neutral among the various theories. Truth-bearer candidates include propositions, sentences, sentence-tokens, statements, beliefs, thoughts, intuitions, utterances, and judgements but different authors exclude one or more of these, deny their existence, argue that they are true only in a derivative sense, assert or assume that the terms are synonymous, or seek to avoid addressing their distinction or do not clarify it.

The analytic–synthetic distinction is a semantic distinction used primarily in philosophy to distinguish between propositions that are of two types: analytic propositions and synthetic propositions. Analytic propositions are true or not true solely by virtue of their meaning, whereas synthetic propositions' truth, if any, derives from how their meaning relates to the world.

A priori and a posteriori are Latin phrases used in philosophy to distinguish types of knowledge, justification, or argument by their reliance on experience. A priori knowledge is independent from any experience. Examples include mathematics, tautologies and deduction from pure reason. A posteriori knowledge depends on empirical evidence. Examples include most fields of science and aspects of personal knowledge.

In analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of meaning, intentionality, reference, the constitution of sentences, concepts, learning, and thought.

Cognitive synonymy is a type of synonymy in which synonyms are so similar in meaning that they cannot be differentiated either denotatively or connotatively, that is, not even by mental associations, connotations, emotive responses, and poetic value. It is a stricter technical definition of synonymy, specifically for theoretical purposes. In usage employing this definition, synonyms with greater differences are often called near-synonyms rather than synonyms.

<i>Word and Object</i> 1960 book by Willard Van Orman Quine

Word and Object is a 1960 work by the philosopher Willard Van Orman Quine, in which the author expands upon the line of thought of his earlier writings in From a Logical Point of View (1953), and reformulates some of his earlier arguments, such as his attack in "Two Dogmas of Empiricism" on the analytic–synthetic distinction. The thought experiment of radical translation and the accompanying notion of indeterminacy of translation are original to Word and Object, which is Quine's most famous book.

This is an index of Wikipedia articles in philosophy of language

References

Further reading