






Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
Community
Ask the community for help and clear up your study doubts
Discover the best universities in your country according to Docsity users
Free resources
Download our free guides on studying techniques, anxiety management strategies, and thesis advice from Docsity tutors
This is the modal argument: 1. Ordinary proper names are rigid designators. 2. Ordinary descriptions are not rigid designators. 3. If e is a ...
Typology: Summaries
1 / 11
This page cannot be seen from the preview
Don't miss anything!
October 12, 2011
We’ve already seen two distinctions Kripke makes between different versions of descriptivism:
In Lecture I, Kripke introduced the notion of rigid designation. There we saw that we could give the following test for the rigidity of a term: Intuitive test for rigid designation n is a rigid designator iff ⌜n could not have existed without being n, and nothing other than n could have been n⌝ is true. Kripke thinks that ordinary proper names are rigid designators, whereas ordinary definite descriptions are not. (There are some descriptions which are plausibly rigid designators — e.g., ‘the sum of 3 and 4’ — but these are the exception.) But if one expression is a rigid designator, and another is not, the two cannot mean the same thing. One way to see this: consider sentences of the form ⌜Necessarily, n is n⌝ and ⌜Necessarily, n is the F⌝ and note that we can never transform a truth into a falsehood by replacing one synonym with another. This is the modal argument:
Necessarily, if Bob believes that the F is G, and the F is G, then Bob’s belief is true. All sentences of this form seem to be true. But we don’t get this result if names descriptions which always take wide scope over modal operators. For then the meaning of this will be: [the x: Fx] ☐ [((Bob believes that [the y: Fy] Gy & Gx) → what Bob believes is true] Suppose now that the actual F is Adam, and that in some world w, the F is Wendy. Consider the embedded sentence ((Bob believes that [the y: Fy] Gy & Gx) → what Bob believes is true and ask whether this is true at w relative to an assignment of Adam as value to ‘x’. Plainly, it need not be — since it says that if (Bob believes that Wendy is G and Adam is G), then Bob’s belief is true. But what if Wendy is G in w but Adam is not? For more on these arguments, see Soames, Beyond Rigidity.
Kripke has two other arguments against the descriptive theory. The first of these is surprisingly simple, and is sometimes called the ‘semantic argument.’ Consider a name you are competent with using, and count as understanding, like ‘Cicero’ or ‘Richard Feynman.’ What descriptions do you associate with the name? If you are like most people, you don’t know of any uniquely identifying description of people like this. (If you do know such a description, we can come up with another case for you where you can’t.) But in these cases do we want to say that the name has no reference for you, just because the descriptions you associate with the name do not pick anyone out uniquely? No, we don’t want to say this. There’s a further twist on the argument. Sometimes speakers not only do not have uniquely satisfied descriptions to associate with a name, but also associate the wrong descriptions with the name: descriptions that are in fact not even true of the referent. The example Kripke gives is ‘Albert Einstein.’ Evidently lots of people think that Einstein was the inventor of the atomic bomb, and this is the description they most associate with the name. But of course just because they associate this description with the name, they do not use the name to refer to Oppenheimer; after all, when they say ‘Einstein invented the bomb’, what they say is false, not true! A plausible example of case in which many of us would supply the wrong description: Peano and Dedekind.
These examples are all ways of making the same point: the descriptions speakers associate with names often do not even have the same reference as the name, and hence can’t either give the meaning of the name, or fix its reference.
There is another powerful argument against the description theory, on which Kripke touches only briefly. Consider a sentence of the form, If the F exists, then the F is F. This appears to be knowable a priori. If so, then it seems that every sentence of the following form is true: It is knowable a priori that if the F exists, then the F is F. But now suppose that n is some name whose meaning, according to the description theory of names, is given by the description ‘the F.’ Then our principle of replacing synonyms without change of truth-value leads us to the claim that the following sentence is true: It is knowable a priori that if the F exists, then n is F. But for many name/description pairs which might be employed in a descriptivist theory, this will not hold. Compare: It is knowable a priori that if the greatest philosopher of antiquity exists, then the greatest philosopher of antiquity is the greatest philosopher of antiquity. It is knowable a priori that if the greatest philosopher of antiquity exists, then Aristotle is the greatest philosopher of antiquity. This argument also works against the view that the reference of a name is fixed by its associated description, if we accept Kripke’s claims about a priori knowledge of reference- fixers which we discussed in connection with the example of the standard meter.
We began this discussion by noting several arguments in favor of the classical theory of names. One of these which seemed particularly powerful was that it gives a story about how the reference of names is determined. Kripke reiterates this argument on p. 80. Recall that the puzzle was to explain how our words get linked up with referents: how we manage to connect symbols with the things they refer to. The descriptivist answer was that names are connected with their referents via a process of association: speakers associate the names with certain properties (in the form of a description), and the name
Note that we can do the same thing with predicates. The examples of ‘arthritis’ and ‘tharthritis.’
At this stage, Kripke turns from questions about how the reference of names are fixed to a consideration of the category of the necessary a posteriori. This category — and particularly its relation to the mind/body problem — will occupy him for the rest of this lecture, and Lecture III. Kripke’s first examples of necessary a posteriori are identity sentences. Kripke argues, first, that a certain class of identity sentences express necessary truths and, second, that these truths are knowable only a posteriori.
We can give two arguments for the necessity of true identity claims, one linguistic and one metaphysical. The linguistic argument follows from material we have already covered. Take any identity sentence ⌜n=m⌝, where n and m are both rigid designators. Suppose that the sentence is true. It then seems to follow that it is also necessarily true, by the following argument:
“Already when I worked on modal logic it had seemed to me ...that the Leibitzian principle of the indiscernibility of identicals was as self-evident as the law of contradiction. That some philosophers could have doubted it always seemed to me bizarre. ...Waiving fussy considerations ...it was clear from (x) ☐ (x = x) and Leibitz’s law that identity is an ‘internal’ relation: (x)(y) (x = y ⊃ ☐ x = y). (What pairs (x, y could be counterexamples? Not pairs of distinct objects, for then the antecedent is false; nor any pair of an object and itself, for then the consequent is true.)” (3) The argument here is from Leibniz’s law and the fact that every object is necessarily identical to itself to the necessity of identity.
Given the conclusion that true identity statements involving rigid designators are neces- sary, all that remains to show is that sometimes the propositions expressed by sentences like Hesperus is Phosphorus are knowable only a posteriori. This certainly seems to be intuitively correct: it seems that we found out that this is true only by empirical research, and could not have done so by a priori reflection. But Kripke also gives an argument for the conclusion that these sorts of claims are know- able only a posteriori: “So two things are true: first, that we do not know a priori that Hesperus is Phosphorus, and are in no position to find out the answer except empirically. Second, this is so because we could have evidence qualitatively indistinguish- able from the evidence we have and determine the reference of the two names by the positions of the two planets in the sky, without the planets being the same.” (104) Kripke’s point seems to be that we could be in a qualitatively identical situation with respect to the contexts of introduction and use of these names, and yet, in that possible situation w, the sentence ‘Hesperus is Phosphorus’ could be false. Why this argument seems puzzling: the sentence ‘Hesperus is Phosphorus’ expresses a different proposition as used in w than it does as used in the actual world. So why does the fact that the proposition expressed by this sentence in w is false show anything about the epistemic status of the proposition expressed by this sentence in the actual world? A way to fill the gap in the argument via principles connecting acceptance of sentences with belief in the propositions expressed by those sentences. Consider, e.g., the following such principle:
we are imagining a situation in which, as we put it, ‘It turns out that Hesperus is not Phosphorus.’ But the fact that this sentence is false as used in w does not entail that, as we use it, it is false with respect to w. (This is the same distinction that we have been stressing, between the reference of an expression with respect to a possible world, and the reference of an expression as used in that possible world.)
Suppose that you took it to be the moral of Kripke’s three arguments against the classical picture that the meanings of names are not to be identified with the meanings of any definite descriptions; and suppose further that, given this result, you concluded that the meaning of a proper name could only be its referent. (‘What else could it be?’ you might ask.) If you thought this, then you would think that all coreferential proper names have the same content. But then it would be hard to avoid the conclusion that, since Hesperus is Hesperus. expresses an a priori knowable proposition, and ‘Hesperus is Hesperus’ says the same thing as ‘Hesperus is Phosphorus’, it follows that Hesperus is Phosphorus. also expresses an a priori knowable proposition. So on this view, Kripke was right that identity sentences involving names are necessary, he was wrong to think that they are a posteriori. Why this is a counterintuitive result. (Strictly, you might well doubt that even ‘Hesperus is Hesperus’ expresses an a priori knowable proposition, since it seems that in order for this proposition to be true, Hesperus must exist, and we cannot know a priori that Hesperus exists. We can always restate such claims about the a priori in terms of conditionals, like ‘If Hesperus exists, then Hesperus is Hesperus.’) There are, however, two classes of sentences closely related to the ones which Kripke discusses which seem to be necessary and cannot be argued to be a priori on the basis of a Millian theory of names: The first are identity sentences involving descriptions which are turned into rigid designators by use of the indexical ‘actual’, as in ‘the actual inventor of bifocals.’ This appears to rigidly designate Benjamin Franklin. If so, then the following identity sentence seems to express a necessary truth: Benjamin Franklin is the actual inventor of bifocals. But this seems to be a posteriori, even if Millianism is true and the meaning of ‘Benjamin Franklin’ is its referent.
The second are true non-identities, like Jeff Speaks ≠ Saul Kripke. If both names are rigid designators, then sentences like this are necessary if they are true. But Millianism provides us with no reason to think that these claims are a priori, since there is no way to turn them into an a priori truth by substituting coreferential names for each other. Hence, even if one has doubts about Kripke’s claims about ‘Hesperus is Phosphorus’, there are still closely related examples which seem to establish the intended conclusion.