structure for 'Theory of Logic'    |     alphabetical list of themes    |     unexpand these ideas

5. Theory of Logic / F. Referring in Logic / 1. Naming / f. Names eliminated

[we can paraphrase names out of sentences entirely]

6 ideas
The only genuine proper names are 'this' and 'that' [Russell]
     Full Idea: In all knowledge that can be expressed in words - with the exception of "this" and "that", and a few other such words - no genuine proper names occur, but what seem like genuine proper names are really descriptions
     From: Bertrand Russell (Introduction to Mathematical Philosophy [1919], XVI)
     A reaction: This is the terminus of Russell's train of thought about descriptions. Suppose you point to something non-existent, like a ghost in a misty churchyard? You'd be back to the original problem of naming a non-existent!
We might do without names, by converting them into predicates [Quine, by Kirkham]
     Full Idea: Quine suggests that we can have a language with just predicates and no names. Thus for 'Ralph is red' we say 'x Ralphises and x is red'.
     From: report of Willard Quine (Mathematical Logic (revised) [1940]) by Richard L. Kirkham - Theories of Truth: a Critical Introduction 5.6
     A reaction: Kirkham discusses this as a way of getting round the lack of names in Tarski's theory of truth (which just uses objects, predicates and quantifiers). Otherwise you must supplement Tarski with an account of what the names refer to.
Canonical notation needs quantification, variables and predicates, but not names [Quine, by Orenstein]
     Full Idea: Quine says that names need not be part of one's canonical notation; in fact, whatever scientific purposes are accomplished by names can be carried out just as well by the devices of quantification, variables and predicates.
     From: report of Willard Quine (On What There Is [1948]) by Alex Orenstein - W.V. Quine Ch.2
     A reaction: This is part of Quine's analysis of where the ontological commitment of a language is to be found. Kripke's notion that a name baptises an item comes as a challenge to this view.
Quine extended Russell's defining away of definite descriptions, to also define away names [Quine, by Orenstein]
     Full Idea: Quine extended Russell's theory for defining away definite descriptions, so that he could also define away names.
     From: report of Willard Quine (On What There Is [1948]) by Alex Orenstein - W.V. Quine Ch.2
     A reaction: Quine also gets rid of universals and properties, so his ontology is squeezed from both the semantic and the metaphysical directions. Quine seems to be the key figure in modern ontology. If you want to expand it (E.J. Lowe), justify yourself to Quine.
Names are not essential, because naming can be turned into predication [Quine]
     Full Idea: Names are convenient but redundant, because Fa is equivalent to (an x)(a=x,Fx), so a need only occur in the context a=, but this can be rendered as a simple predicate A, so that Fa gives way to (an x)(Ax.Fx).
     From: Willard Quine (Philosophy of Logic [1970], Ch.2)
     A reaction: In eliminating names from analysis, Quine takes Russell's strategy a step further. It is probably this which provoked Kripke into going right back to Mill's view of names as basic labels. The name/description boundary is blurred. Mr Gradgrind.
Quine's arguments fail because he naively conflates names with descriptions [Fine,K on Quine]
     Full Idea: Quine's logical argument against modality presupposes a naïve view of singular terms under which no significant distinction is to be drawn between the use of names and descriptions.
     From: comment on Willard Quine (Two Dogmas of Empiricism [1953]) by Kit Fine - Intro to 'Modality and Tense' p. 6
     A reaction: See Idea 9201 for Quine's argument. The question is whether '9' and 'the number of planets' are names or descriptions. The 'number of planets' is not remotely descriptive of 9, so it must be referential. So '9' is a name? Hm.