CUBI - Culture | Biblioteche | In rete

Abstract: La logica da Aristotele a Godel (e oltre); dal linguaggio comune al linguaggio formale; proposizioni, predicati e quantificatori; tavole di verità, alberi e dimostrazioni. 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. In questo libro: • Come avere una prospettiva logica • Come valutare le proposizioni con le tavole di verità • Come costruire dimostrazioni e confutazioni • Come costruire dimostrazioni nella logica dei predicati • Come ottenere conclusioni logiche • Le molte logiche moderne