Le tappe principali nella storia della filosofia e della scienza sono state sempre segnate da un nuovo modo di intendere le nozioni fondamentali di "necessità", possibilità", "essenza", "verità analitica". Questo breve libro, dovuto a uno dei maggiori logici e filosofi contemporanei, rappresenta una svolta del genere. Kripke vi espone senza alcun tecnicismo le idee che hanno guidato le sue ricerche logiche o che queste gli hanno suggerito. Ne emerge una metafisica molto diversa da quella corrente, di stampo empiristico. Kripke riprende la distinzione aristotelica, a lungo rifiutata, tra proprietà essenziali e proprietà accidentali; critica gran parte delle teorie di Frege e Russell sul linguaggio e sul modo in cui i nomi si riferiscono alle cose; riesamina le concezioni di Kant, e sottopone a una critica serrata il materialismo come teoria della mente. Per la forza delle sue argomentazioni, il libro costituisce una di quelle opere con cui ogni cultore di studi filosofici è chiamato a misurarsi.)