Naming and Necessity
Naming and Necessity is a 1980 book with the transcript of three lectures given by the philosopher Saul Kripke at Princeton University in 1970. In them, he deals with the debates over proper names in the philosophy of language and claims to refute Immanuel Kant's classical assumption that all necessary truth is known a priori.