(4) Kripke - Naming and Necessity Lecture I.pdf