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 thorie de la rfrence linguistique et s'en sert la fois pour clarifier les fondements concepts de " smantique des mondes possibles " (dont il est l'un des pionniers) et pour redonner vie aux problmes mtaphysiques traditionnels touchant la ncessit et la contingence ; il montre galement l'incidence qu'ont ses conceptions logico-linguistiques sur les dbats contemporains en philosophie des sciences et sur le problme 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-amricaine actuelle.