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 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.