It really is a nice theory. The only defect I think it has is probably common to all philosophical theories. It’s wrong. You may suspect me of proposing another theory in its place; but I hope not, because I’m sure it’s wrong too if it is a theory.
Like many other works of philosophy (and those of other subjects, for that matter), Naming and Necessity will likely be perplexing if you do not know what the author is arguing against. At the time that Kripke gave these lectures, the dominant theory in the philosophy of language was the Frege-Russell theory of reference. It is a rather elegant and simple theory, and you can look up Russell’s famous paper, “On Denoting,” or Quine’s “On What There Is,” online if you would like to know more about it. But I will explain it briefly.
Essentially, the idea is that names are shorthand descriptions. Thus, if you say “there’s a tiger over there!” you’re really saying something like “there is an x over there, such that x is feline, yellow-brown, black striped, quadrupedal, solitary, bigger than a human,” and so on. This way of analyzing names was, I believe, partly adopted because it carried no ontological commitment. It avoids confusing situations, like when you have to say “wizards don’t exist!”—for how could you name the things (wizards) that do not exist? That is paradoxical. On the Frege-Russell view, this awkwardness is avoided, since, when you assert that wizards do not exist, you are really saying “there is no x such that x is humanoid, magical, bearded, robed,” and so on. Thus, by specifying the criteria, lots of annoying existential questions can be side-stepped.
Nevertheless, I think that most people, when they first learn of this theory, feel a bit uncomfortable with it. The theory just is not intuitive. I do not think that anything analogous to Russell’s analyses are going on in my head when I hear “there’s a tiger over there!” In other words, I do not think of tigers as bundles of qualities or clusters of descriptions, but that the relationship of the name “tiger” to the living, breathing animals is much more straightforward. Kripke is essentially arguing that our intuition is correct. In fact, it is Kripke’s express point to uphold our intuitions regarding names:
Of course, some philosophers think that something’s having intuitive content is very inconclusive evidence in favor of it. I think it is very heavy evidence in favor of anything, myself. I really don’t know, in a way, what more conclusive evidence one can have about anything, ultimately speaking.
Seeing as Kripke is not fond of theories (as the opening quote shows) and is quite fond of intuition, this puts him into a bit of a pickle, for how is he supposed to argue against the theory? Thus, most of Kripke’s arguments rely on bizarre counterfactuals, which he expresses using the language of “possible worlds.” (I understood this as merely a way of speaking about hypothetical or counterfactual statements, rather than any metaphysical doctrine about possibility and parallel worlds; and this way of speaking, when understood as a figure of speech, does convey the essential point rather well.)
To explain Kripke’s argument, let me come up with a bizarre counterfactual of my own. Suppose that someone (presumably with far too much time and money on their hands, and with a questionable sensitivity to animal rights) decided to take some lions from Africa and introduce them into Asia. Then, suppose this person decided to shave the lions’ manes, to paint them yellow-brown, and then to paint black stripes on them, so as to look just like tigers. Suppose he is even such a genius animal trainer that he trains these lions to behave indistinguishably from tigers.
Now we return to the above example. If “there’s a tiger over there!” really meant “there is an x over there, such that x is feline, yellow-brown, black striped, quadrupedal, solitary, bigger than a human,” then the statement would be perfectly true, even if the person were pointing to the painted lions.
But it is not true. Lions and tigers are what could be called ‘natural types’; and natural types are distinguished by some essential quality, not by their total descriptions. Kripke is really reviving the old notion of essentialism: names pick out the object that possesses the essential property associated with that name. In the case of lions and tigers, I suppose the essential quality would be their genotypes. Thus, the essential property of a type of thing need not be the qualities by which we normally identify the thing. We normally identify lions and tigers by the way they look and act, but the above example shows that even those qualities are contingent; it is their respective essences (their genotypes in this case) which are the necessary qualities of tigers and lions.
This leads Kripke to disagree with another engrained philosophical idea (the second N of the title): that ‘necessary’ and ‘a priori‘ are synonyms. It was thought that only necessary truths could be known a priori, and only a priori truths were necessary. (In other words, you could only be certain about things you knew independently of experience.) Thus, “all bachelors are unmarried” is, in this view, a necessary truth, even if there are no bachelors at all, simply because that is the definition of ‘bachelor’; it is an analytic statement, true by definition, a mere tautology, and thus can be known a priori. This restriction of necessary statements to trivial tautologies was, I think, a way of fighting against obscure metaphysical arguments, such as the ontological argument for the existence of God.
Kripke, as I said, disagrees with this line of thinking. For Kripke, things can be known a priori that are not necessary, and things can be necessary and learned empirically (or a posteriori). The case of the genotypes of lions and tigers is a case in point; it took a long time to discover DNA, and to create the tools needed to investigate it in depth. DNA was, in other words, obviously learned of empirically. Nevertheless, it is a necessary truth that lions have the lion essence (genotype), and tigers have the tiger essence (genotype)—because if they did not they would not be lions and tigers. Necessary truths, then, need not be known a priori. (In other words, you can be certain about some things you learn from experience.)
The reverse distinction can also be made. If I pick up a certain stick, and say “I shall use this as the standard for my new measure, the schmeter,” I can know a priori that whatever length the stick is (in, say, inches or meters), it is exactly one schmeter. However, the exact length of a schmeter is contingent on the stick, and we can imagine situations in which the stick was longer or shorter, so the exact meaning of this a priori knowledge is contingent on some state of affairs. To sum up Kripke’s distinction: ‘necessary’ is a metaphysical term having to do with the essence of something, while ‘a priori‘ is an epistemological term having to do with how we come to know something.
As I hope you can see from my summary, Kripke’s arguments are meant to be intuitive; he rejects certain philosophical ideas by just pointing to situations in which they fail to properly apply. This, I think, is why Naming and Necessity is so well known: one need not master some technical apparatus, but merely think through the consequences of some hypothetical scenarios. Certainly, this is not a perfect book. Kripke is wordy and repetitive; this already short book could probably have been much shorter and crisper, or could have at least covered more territory. Still, Kripke was arguing against a whole paradigm; and paradigms do not go gentle into that good night.
When I finished this book, I was fairly convinced; but as subsequent conversations (in Wastrel’s comments, for example)* have shown me, there are some awfully strong counter-arguments. Philosophical questions are never so easily resolved. In particular, I am curious to see how Kripke proposes to deal with some of the situations which motivated the creation of the descriptive theory of names in the first place—for example, statements like “wizards aren’t real.” How can there be a causal connection with something that does not exist? And how can the name refer to a natural type of a fictitious object? After all, facts are easy to talk about; fiction is another thing entirely.
*See my Goodreads review to read Wastrel’s penetrating criticisms of Kripke.