Usiamo la logica tutti i giorni, senza rendercene conto: ogni volta che facciamo un ragionamento, anche parlando di sport o decidendo dove andare a fare la spesa. Lo facciamo perché il ragionamento logico ci permette di interagire bene con il mondo e con gli altri. A volte però i nostri ragionamenti falliscono miseramente: il ragionamento logico ha le sue regole e vanno rispettate!
Questo libro esplora, con linguaggio semplice e con ricchezza di esempi "tratti dal mondo reale", i concetti fondamentali della logica, dal sillogismo classico di Aristotele ai sistemi della logica formale moderna: parla di enunciati, di regole di deduzione, di dimostrazioni e conduce alla conoscenza dei sistemi fondamentali (logica proposizionale, logica dei predicati), non trascurando un'introduzione a sistemi più "esoterici" come la logica quantistica e la logica fuzzy.
