L'essai philosophique fondateur de Saul Kripke (1980). Une critique radicale de la théorie descriptiviste des noms : les noms propres ne fonctionnent pas comme des descriptions définies. Un texte qui a restructuré la sémantique et la métaphysique analytiques.