Naming and Necessity

Saul Kripke's landmark work — originally a set of lectures — demolishing descriptivist theories of names and establishing the causal theory of reference and the necessity of identity.

Argues proper names are rigid designators fixed by causal-historical chains, not abbreviated descriptions; that identity statements are necessary if true; and that there are a posteriori necessities and contingent a priori truths.