Vann McGee

That reference is inscrutable is demonstrated, it is argued, not only by W. V. Quine's arguments but by Peter Unger's "Problem of the Many." Applied to our own language, this is a paradoxical result, since nothing could be more obvious to speakers of English than that, when they use the word "rabbit," they are talking about rabbits. The solution to this paradox is to take a disquotational view of reference for one's own language, so that "When I use 'rabbit,' I refer to rabbits" is made true by the meaning of the word "refer." The reference relation is extended to other languages by translation. The explanation for this peculiarly egocentric conception of semantics-questions of others' meanings are settled by asking what I mean by words of my language-is to be found in our practice of predicting and explaining other people's behavior by empathetic identification. I understand other people's behavior by asking what I would do in their place

This is not an overly ambitious paper. What I would like to do is to take a thesis that most people would regard as wildly implausible, and convince you that it is, in fact, false. What's worse, the argument I shall give is by no means airtight, though I hope it's reasonably convincing. The thesis has to do with the fuzzy boundaries of terms that refer to familiar middle-sized objects, terms like ‘Kilimanjaro’ and ‘the tallest mountain in Africa.’ It is intuitively clear that Kilimanjaro has a fuzzy boundary, so that there are some clods of earth at the base of the mountain for which there isn't anything, either in our practices in using the word ‘Kilimanjaro’ or in the facts of geography, that determines an answer to the question whether the clod is a part of Kilimanjaro.

There is no preferred reduction of number theory to set theory. Nonetheless, we confidently accept axioms obtained by substituting formulas from the language of set theory into the induction axiom schema. This is only possible, it is argued, because our acceptance of the induction axioms depends solely on the meanings of aritlunetical and logical terms, which is only possible if our 'intended models' of number theory are standard. Similarly, our acceptance of the second-order natural deduction rules depends solely on the meanings of the logical terms, which implies, it is argued, that our second-order quantifiers have to be standard.