La logique des noms propres (Naming and Necessity) est un classique de la philosophie analytique contemporaine. Saul Kripke, logicien et philosophe de premier plan, y expose une nouvelle théorie de la référence linguistique et s'en sert à la fois pour clarifier les fondements concepts de " sémantique des mondes possibles " (dont il est l'un des pionniers) et pour redonner vie aux problèmes métaphysiques traditionnels touchant à la nécessité et à la contingence ; il montre également l'incidence qu'ont ses conceptions logico-linguistiques sur les débats contemporains en philosophie des sciences et sur le problème des rapports entre le corps et l'esprit. Kripke s'exprime avec humour dans un style direct et sans technicité. Son livre illustre la vitalité de la philosophie nord-américaine actuelle.
