#descriptivism

? Kripke’s Gödel and Schmidt case: why would my word still pick out Gödel?

Every year when we reach the incompleteness theorems one student asks the same thing: what if somebody else actually did it? This year I went looking and found that Kripke used exactly that scenario. The setup, as I understand it: suppose the…