Descrizione

Dalla morfologia, la sintassi e la semantica della logica elementare ai teoremi di incompletezza di Gödel, passando dalla contraddizione scoperta da Bertrand Russell nella teoria ‘ingenua’ degli insiemi a Wittgenstein, dalla teoria della verità di Tarski al ‘problema del paradosso del mentitore’: con la guida di Francesco Berto, un percorso esemplarmente chiaro per apprendere i fondamenti della logica e alcuni dei nodi logico-filosofici chiave del pensiero contemporaneo.Indice: Prefazione - Introduzione - 1. Connettivi logici e tavole di verità - 2. Predicazione e quantificazione - 3. Deduzioni... naturali - 4. La semantica logica - 5. Cenni di metalogica Bibliografia - Soluzioni degli esercizi.

Dettagli