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 conceptuels de la «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