Imagine the following set up. There are two tribes, A and B, who up until now have never met. It turns out that tribe A speaks English as we speak it now. However, tribe B speaks English* – a language much like English except it doesn’t contain the names “Aristotle” or “Plato”, and contains two new names, “Fred” and “Ned”.
Suppose now that these two tribes eventually meet and learn each others language. In particular tribe A and B come to agree that the following holds in the new expanded language: (1) necessarily, if Socrates was a philosopher, Fred was Aristotle and Ned was Plato, and (2) necessarily, if Socrates was never a philosopher, Fred was Plato and Ned was Aristotle.
Now we introduce to both tribes some philosophical vocabulary: we tell them what a possible world is, what it means for a name to designate something at a possible world. Both tribes think they understand the new vocabulary. We tell them a rigid designator is a term that designates the some object at every possible world.
Before meeting tribe B, tribe A will presumably agree with Kripke in saying that “Aristotle” and “Plato” are rigid designators, and after learning tribe B’s language will say that “Fred” and “Ned” are non-rigid (accidental) designators.
However tribe B will, presumably, say exactly the opposite. They’ll say that “Aristotle” is a weird and gruesome name that designates Fred in some worlds and Ned in others. Indeed whether “Aristotle” denotes Fred or Ned depends on whether Socrates is a philosopher or not, and, hence, tribe A are speaking a strange and unnatural language.
Who is speaking the most natural language is not the important question. My question is rather, how do we make sense of the notion of ‘rigid designation’ without having to assume English is privileged in some way over English*. And I’m beginning to think we can’t.
The reason, I think, is that the notion of rigid designation (and, incidentally, lots of other things philosophers of modality talk about) cannot be made sense of in the simple modal language of necessity and possibility – the language we start off with before we introduce possible worlds talk. However the answer to whether or not a name is a rigid designator makes no difference to our original language. For any set of true sentences in the simple modal language involving the name “Aristotle” I can produce you two possible worlds models that makes those sentences true: one that makes “Aristotle” denote the same individual in every world and the other which doesn’t.* If this is the case, how is the question of whether a name is a rigid designator ever substantive? Why do we need this distinction? (Note: Kripke’s arguments against descriptivism do not require the distinction. They can be formulated in pure necessity possibility talk.)
To put it another way, by extending our language to possible world/Kripke model talk we are able to postulate nonsense questions: Questions that didn’t exist in our original language but do in the extended language with the new technical vocabulary. An extreme example of such a question: is the denotation function a set of Kuratowski or Hausdorff ordered pairs? These are two different, but formally irrelevant, ways of constructing functions from sets. The question has a definite answer, depending on how we construct the model, but it is clearly an artifact of our model and corresponds to nothing in reality.
Another question which is well formed and has a definite answer in Kripke model talk: does the name ‘a’ denote the same object in w as in w’. There seems to be no way to ask this question in the original modal language. We can talk about ‘Fred’ necessarily denoting Fred, but we can’t make the interworld identity comparison. And as we’ve seen, it doesn’t make any difference to the basic modal language how we answer this question in the extended language.
[* These models will interpret names from a set of functions, S, from worlds to individuals at that world and quantification will also be cashed out in terms of the members of S. We may place the following constraint on S to get something equivalent to a Kripke model: for , if f(w) = g(w) for some w then f=g.
One might want to remove this constraint to model the language A and B speak once they’ve learned each others language. They will say things like: Fred is Aristotle, but they might have been different. (And if they accept existential generalization they’ll also say there are things which are identical but might not have been!)]