S. Kripke

• Naming and Necessity