Logica da zero a Gödel

Questo volume 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: la contraddizione scoperta da Bertrand Russell nella cosiddetta teoria "ingenua" degli insiemi; la concezione del significato su cui si fonda il Tractatus logico-philosophicus di Wittgenstein; la teoria della verità di Tarski, e il problema del "paradosso del mentitore"; i famosi teoremi di incompletezza di Gödel, forse uno degli argomenti più ardui della materia. I contenuti del manuale ricalcano le scelte raccomandate per un corso-zero di logica, destinato a studenti di tutte le facoltà umanistiche, e trattano le questioni della logica classica, con qualche accenno a prospettive non standard. Alla fine di ogni capitolo si trovano alcuni esercizi, che aiutano il lettore a familiarizzarsi con le conoscenze appena acquisite.