Necessity

Much of the first lecture of Naming and Necessity is devoted to rebutting Quine’s attack on quantified modal logic and essentialism. Kripke first argues that the distinction between essential and accidental properties is an intuitively intelligible one.