On Denoting

Last updated

"On Denoting" is an essay by Bertrand Russell. It was published in the philosophy journal Mind in 1905. In it, Russell introduces and advocates his theory of denoting phrases, according to which definite descriptions and other "denoting phrases ... never have any meaning in themselves, but every proposition in whose verbal expression they occur has a meaning." [1] This theory later became the basis for Russell's descriptivism with regard to proper names, and his view that proper names are "disguised" or "abbreviated" definite descriptions.

Contents

In the 1920s, Frank P. Ramsey referred to the essay as "that paradigm of philosophy". [2] [3] In the Stanford Encyclopedia of Philosophy entry Descriptions, Peter Ludlow singled the essay out as "the paradigm of philosophy", and called it a work of "tremendous insight"; provoking discussion and debate among philosophers of language and linguists for over a century. [4]

The "denoting phrase"

Russell's concept of a denoting phrase

For Russell, a denoting phrase is a semantically complex expression that can serve as the grammatical subject of a sentence. Paradigmatic examples include both definite descriptions ("the shortest spy") and indefinite descriptions ("some sophomore"). A phrase does not need to have a denotation to be a denoting phrase: "the greatest prime number" is a denoting phrase in Russell's sense even though there is no such thing as the greatest prime number. According to Russell's theory, denoting phrases do not contribute objects as the constituents of the singular propositions in which they occur. Denotation, in other words, is a semantically inert property, in this view. Whereas Frege held that there were two distinct parts (or aspects) of the meaning of every term, phrase, or sentence (its sense and reference: Sinn and Bedeutung), Russell explicitly rejects the notion of sense (Sinn), and gives several arguments against it.

Reference to something that does not exist

However, at the very beginning of the article, Russell distinguishes between cases where "a phrase may be denoting and yet not denote anything (e.g. 'the present King of France')" (there was no king of France at the time of Russell's article) and cases where they may denote "one definite object (such as 'the present King of England')" (Edward VII was the king of England at the time of Russell's article). If this passage is interpreted as saying that descriptions may "refer" to one definite object, then it could be that Russell actually recognised the two distinct uses of definite descriptions (attributive and referential) that Keith Donnellan later proposed.

Epistemology

In any case, after clarifying the sense of the term "denoting phrase" and providing several examples to illustrate the idea, Russell explains the epistemological motivations for his theory. Russell believes at this point that there are essentially two modes of knowing: knowledge by description and knowledge by (direct) acquaintance. Knowledge by acquaintance is limited to the sense data of the phenomenal world and to one's own private inner experiences, while knowledge of everything else (other minds, physical objects, and so on) can be known only by way of general descriptions.

The theory of descriptions

Mathematical description

Russell starts out by defining the "fundamental" notion of a propositional function . This is basically a modified version of Frege's idea of unsaturated concepts. Hence, "C(x) stands for a proposition in which x is a constituent and where x, the variable, is essentially and wholly undetermined." Then everything, nothing and something ("the most primitive of denoting phrases") are to be interpreted as follows:

where E stands for everything, N stands for nothing and S stands for something. All is taken as primitive and indefinable and the others are defined in terms of it. Russell emphasises that denoting phrases can have no meaning apart from that which is assigned to them within the propositions in which they occur, all of which are meaningful. This is the foundation of Russell's theory of descriptions as he proceeds to illustrate.

Illustration

The phrase "the father of Charles II (F) was executed (E)" is interpreted as the following quantificational assertion:

In other words, there is one and only one thing x such that x is the father of Charles II and x was executed.

So, if C represents any statement at all about the father of Charles II, the statement 'C (the father of Charles II)' always implies:

It follows that if there is not one and only one entity that satisfies the above, then every proposition that contains the descriptions in a primary occurrence is false. (If the mother of Charles II was ‘unfaithful’ the statement may be false, because the alleged father may have been executed but the real father hadn't - therefore not satisfying the formula since F(x) and E(x) would not be the same.) In this way, Russell points out, it will turn out that all statements containing non-referring descriptions (e.g. "The present king of France is a great writer") are false. Russell's theory reduces all propositions that contain definite descriptions into forms that do not.

Meinong

He then criticises Alexius Meinong's theory of objects which, according to Russell, is ontologically promiscuous and self-contradictory. Both of these criticisms stem from Meinong's theory that there is an object, whether it exists or subsists, for every set of properties. Therefore, there is an object that is both round and not round, or round and square. Russell argues that Meinong's theory entails conclusions such as "the present King of France" both exists and does not exist. However, Meinong does not attribute existence (or any other sort of being) to non-existent objects . Russell also accuses Meinong of violating the law of non-contradiction by asserting that the "round square" is both round and not round. Meinong, on the other hand, maintains that the laws of logic do not apply to such phenomena as "impossible" objects that have no being. [5]

Resolving the problem of negative existentials

One of the fundamental puzzles that Russell hopes to resolve with the theory of descriptions is the problem of non-referring expressions or, as they are now called, negative existentials. He finally explains how his theory resolves this problem after invoking a distinction between what he calls primary and secondary occurrences of denoting phrases.

Statements about concepts where the object does not exist

Since definite descriptions are just quantificational devices on Russell's view, they can enter into scope relations with other logical operators. In the case of negative existentials, there is an ambiguity between two different (primary and secondary) readings of the quantificational assertion. For example, Russell uses the case of "the present King of France is not bald." Here the two possible readings are:

In the first case, the statement is false because it quantifies over non-existent entities. In the second case, the statement is true because it is not the case that there is a present King of France. "Thus all propositions in which 'the King of France' has a primary occurrence are false: the denials of such propositions are true, but in them 'the King of France' has a secondary occurrence." Contemporarily, it is customary to discuss Russell's primary/secondary distinction in the more logically exact terms of wide and narrow scope. The scope distinction regards the operator that, on one reading, modifies only the subject, and on the other, modifies the entire sentence.

Ambiguity

Russell resolves the problem of ambiguity in propositional attitude reports in a similar manner. He refers to an example similar to Frege's puzzle about identity: "George IV wondered whether Scott is the author of Waverley ." In this case, it is obvious that King George is not wondering whether Scott is identical to Scott. Russell rejects Frege's solution of distinguishing between sense and reference. Quantificational descriptions are sufficient for him to handle the de dicto / de re ambiguities. So, for example, in the general case, the sentence "George IV wondered whether Scott is Sir Walter" can be interpreted as:

George IV wondered whether the x that... is identical to the y that....

where "..." stands for some definite description such as "the clever fellow who wrote Ivanhoe" and ....stands for something like "the elegant gentleman seated next to the Princess". In the de re case, the above sentence can be interpreted as follows instead:

the x that... is such that King George wondered whether x is identical to the y that....

Fictional names

Finally, Russell suggests that fictional names such as "Apollo" can be treated as abbreviated definite descriptions that refer to nothing. All propositions that contain names of such fictional entities are to be treated in the same manner as the negative existentials described above.

Criticisms

In his essay, "On Referring", P. F. Strawson criticised Russell's characterisation of statements where the object does not exist, such as "the present King of France", as being wrong. Such statements, Strawson held, are neither true nor false but, rather, absurd. Strawson believed that, contrary to Russell, use does determine the meaning of a sentence. To give the meaning of an expression is to "give general directions for its use." [6] Because of this, Strawson argued that, were someone to say the King of France was wise, we would not say their statement is true or false, but, rather, decide they must be under a misapprehension since, normally, the question would not arise as there is no King of France. [7]

Strawson also argued that we often need to know the use of a word to understand its meaning, such as in statements of the form, "The table is covered with books." In normal use, the expression would be referring to one particular table. It is false, Strawson believed, to think, as Russell does, that the phrase will have meaning only insofar as there is only one table and no more. The phrase has application in virtue of the fact that one table and no more is what is being referred to, and it is understood that the table is what is being referenced. [8]

Publication data

Related Research Articles

First-order logic—also known as predicate logic, quantificational logic, and first-order predicate calculus—is a collection of formal systems used in mathematics, philosophy, linguistics, and computer science. First-order logic uses quantified variables over non-logical objects, and allows the use of sentences that contain variables, so that rather than propositions such as "Socrates is a man", one can have expressions in the form "there exists x such that x is Socrates and x is a man", where "there exists" is a quantifier, while x is a variable. This distinguishes it from propositional logic, which does not use quantifiers or relations; in this sense, propositional logic is the foundation of first-order logic.

In propositional logic, modus tollens (MT), also known as modus tollendo tollens and denying the consequent, is a deductive argument form and a rule of inference. Modus tollens is a mixed hypothetical syllogism that takes the form of "If P, then Q. Not Q. Therefore, not P." It is an application of the general truth that if a statement is true, then so is its contrapositive. The form shows that inference from P implies Q to the negation of Q implies the negation of P is a valid argument.

In mathematical logic, Russell's paradox is a set-theoretic paradox published by the British philosopher and mathematician Bertrand Russell in 1901. Russell's paradox shows that every set theory that contains an unrestricted comprehension principle leads to contradictions. The paradox had already been discovered independently in 1899 by the German mathematician Ernst Zermelo. However, Zermelo did not publish the idea, which remained known only to David Hilbert, Edmund Husserl, and other academics at the University of Göttingen. At the end of the 1890s, Georg Cantor – considered the founder of modern set theory – had already realized that his theory would lead to a contradiction, as he told Hilbert and Richard Dedekind by letter.

In mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.

A proposition is a central concept in the philosophy of language, semantics, logic, and related fields, often characterized as the primary bearer of truth or falsity. Propositions are also often characterized as being the kind of thing that declarative sentences denote. For instance the sentence "The sky is blue" denotes the proposition that the sky is blue. However, crucially, propositions are not themselves linguistic expressions. For instance, the English sentence "Snow is white" denotes the same proposition as the German sentence "Schnee ist weiß" even though the two sentences are not the same. Similarly, propositions can also be characterized as the objects of belief and other propositional attitudes. For instance if one believes that the sky is blue, what one believes is the proposition that the sky is blue. A proposition can also be thought of as a kind of idea: Collins Dictionary has a definition for proposition as "a statement or an idea that people can consider or discuss whether it is true."

In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some". It is usually denoted by the logical operator symbol ∃, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)" or "(∃x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain. Some sources use the term existentialization to refer to existential quantification.

In set theory, Zermelo–Fraenkel set theory, named after mathematicians Ernst Zermelo and Abraham Fraenkel, is an axiomatic system that was proposed in the early twentieth century in order to formulate a theory of sets free of paradoxes such as Russell's paradox. Today, Zermelo–Fraenkel set theory, with the historically controversial axiom of choice (AC) included, is the standard form of axiomatic set theory and as such is the most common foundation of mathematics. Zermelo–Fraenkel set theory with the axiom of choice included is abbreviated ZFC, where C stands for "choice", and ZF refers to the axioms of Zermelo–Fraenkel set theory with the axiom of choice excluded.

In mathematics, a Heyting algebra (also known as pseudo-Boolean algebra) is a bounded lattice (with join and meet operations written ∨ and ∧ and with least element 0 and greatest element 1) equipped with a binary operation a → b of implication such that (c ∧ a) ≤ b is equivalent to c ≤ (a → b). From a logical standpoint, A → B is by this definition the weakest proposition for which modus ponens, the inference rule A → B, A ⊢ B, is sound. Like Boolean algebras, Heyting algebras form a variety axiomatizable with finitely many equations. Heyting algebras were introduced by Arend Heyting (1930) to formalize intuitionistic logic.

De dicto and de re are two phrases used to mark a distinction in intensional statements, associated with the intensional operators in many such statements. The distinction is used regularly in metaphysics and in philosophy of language.

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 object. For example: "the first person in space" and "the 42nd President of the United States of America", are proper. The definite descriptions "the person in space" and "the Senator from Ohio" are improper because the noun phrase X applies to more than one thing, and the definite descriptions "the first man on Mars" and "the Senator from Washington D.C." are improper because X applies to nothing. Improper descriptions raise some difficult questions about the law of excluded middle, denotation, modality, and mental content.

In philosophy and logic, a deflationary theory of truth is one of a family of theories that all have in common the claim that assertions of predicate truth of a statement do not attribute a property called "truth" to such a statement.

<i>Begriffsschrift</i> 1879 book on logic by Gottlob Frege

Begriffsschrift is a book on logic by Gottlob Frege, published in 1879, and the formal system set out in that book.

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. In short, Russell argued that the syntactic form of descriptions is misleading, as it does not correlate their logical and/or semantic architecture. While descriptions may seem like fairly uncontroversial phrases, Russell argued that providing a satisfactory analysis of the linguistic and logical properties of a description is vital to clarity in important philosophical debates, particularly in semantic arguments, epistemology and metaphysical elements.

Semantic holism is a theory in the philosophy of language to the effect that a certain part of language, be it a term or a complete sentence, can only be understood through its relations to a larger segment of language. There is substantial controversy, however, as to exactly what the larger segment of language in question consists of. In recent years, the debate surrounding semantic holism, which is one among the many forms of holism that are debated and discussed in contemporary philosophy, has tended to centre on the view that the "whole" in question consists of an entire language.

In the philosophy of language, the descriptivist theory of proper names is the view that the meaning or semantic content of a proper name is identical to the descriptions associated with it by speakers, while their referents are determined to be the objects that satisfy these descriptions. Bertrand Russell and Gottlob Frege have both been associated with the descriptivist theory, which is sometimes called the mediated reference theory or Frege–Russell view.

In philosophical logic, a slingshot argument is one of a group of arguments claiming to show that all true sentences stand for the same thing.

In mathematical logic, a tautology is a formula or assertion that is true in every possible interpretation. An example is "x=y or x≠y". Similarly, "either the ball is green, or the ball is not green" is always true, regardless of the colour of the ball.

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.

In logic and mathematics, contraposition refers to the inference of going from a conditional statement into its logically equivalent contrapositive, and an associated proof method known as § Proof by contrapositive. The contrapositive of a statement has its antecedent and consequent inverted and flipped.

In logic, a quantifier is an operator that specifies how many individuals in the domain of discourse satisfy an open formula. For instance, the universal quantifier in the first order formula expresses that everything in the domain satisfies the property denoted by . On the other hand, the existential quantifier in the formula expresses that there exists something in the domain which satisfies that property. A formula where a quantifier takes widest scope is called a quantified formula. A quantified formula must contain a bound variable and a subformula specifying a property of the referent of that variable.

References

  1. ↑ Russell, Bertrand (October 1905). "On Denoting". Mind. 14 (56). Oxford: Oxford University Press on behalf of the Mind Association: 479–493. doi:10.1093/mind/XIV.4.479. ISSN   0026-4423. JSTOR   2248381.
  2. ↑ Frank Plumpton Ramsey, Richard Bevan Braithwaite (2001), Richard Bevan Braithwaite (ed.), The foundations of mathematics and other logical essays, Routledge, p. 263, ISBN   978-0-415-22546-5 , retrieved 28 August 2010
  3. ↑ A. W. Sparkes (1991), Talking philosophy: a wordbook, Taylor & Francis, p. 199, ISBN   978-0-415-04223-9 , retrieved 28 August 2010
  4. ↑ Ludlow, Peter, "Descriptions", The Stanford Encyclopedia of Philosophy (Summer 2005 Edition), Edward N. Zalta (ed.), URL=http://plato.stanford.edu/archives/sum2005/entries/descriptions/
  5. ↑ Grossmann, Reinhardt. "Alexius Meinong". The Oxford Companion to Philosophy (ed.) Ted Honderich. 1995
  6. ↑ Strawson, P. F. (July 1950). "On Referring". Mind. 59 (235). Oxford: Oxford University Press on behalf of the Mind Association: 327. ISSN   0026-4423. JSTOR   2251176.
  7. ↑ Strawson, P. F. (July 1950). "On Referring". Mind. 59 (235). Oxford: Oxford University Press on behalf of the Mind Association: 330. ISSN   0026-4423. JSTOR   2251176.
  8. ↑ Strawson, P. F. (July 1950). "On Referring". Mind. 59 (235). Oxford: Oxford University Press on behalf of the Mind Association: 332. ISSN   0026-4423. JSTOR   2251176.
This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.