Keelefilosoofia raamat
names: Understand "Richard Nixon," not as "the winner of the 1968 elec-
tion," but as "the actual winner of the 1968 election." See the next chapter.
Objection 4
Kripke (1972/1980: 837) offers an (utterly fictional!) example regard-
ing Gödel's Incompleteness Theorem, a famous metamathematical result.
In Kripke's fiction, the theorem was proved in the 1920s by a man named
Schmidt, who died mysteriously without publishing it. Kurt Gödel came
along, appropriated the manuscript, and scurrilously published it under his
own name.6 Now, most people know Gödel, if at all, as the man who proved
the Incompleteness Theorem. Yet it seems clear that, when even those who
know nothing else about Gödel utter the name "Gödel," they do refer to
Gödel rather than to the entirely unknown Schmidt. For example, when they
say "Gödel proved the Incompleteness Theorem," they are speaking falsely,
however well justified they may be in their belief.