Ci sono libri che propongono piacevoli escursioni turistiche nel territorio della logica, ma non consentono di impadronirsi davvero della disciplina. E ci sono manuali di logica scientificamente validi, ma difficili e faticosi. Questo volume propone una via intermedia e si rivolge a chi non sa nulla di logica, proponendosi di condurlo a padroneggiare la morfologia, la sintassi e la semantica della logica elementare. Introduce inoltre alcuni dei nodi logico-filosofici più interessanti del pensiero contemporaneo, dalla contraddizione scoperta da Bertrand Russell nella teoria "ingenua" degli insiemi ai teoremi di incompletezza di Gödel, passando per Wittgenstein, la teoria della verità di Tarski e il "problema del paradosso del mentitore".