Logica

Questo libro è destinato a tutte le persone che si avvicinano alla logica per la prima volta, indipendentemente dal loro campo di interesse. La prima parte del volume è dedicata allo studio informale della struttura degli argomenti, mentre nei capitoli successivi vengono esaminati i principali sistemi di logica formale deduttiva e le principali forme di ragionamento induttivo. Il libro include anche un'analisi dettagliata delle principali fallacie di ragionamento e si conclude con una panoramica sulle possibili estensioni, generalizzazioni e modifiche dei sistemi di logica classica trattati nei capitoli precedenti. La terza edizione del testo è nata con l'intento di renderlo ancora più agevole e completo. Mantenendo la struttura degli argomenti trattati, l'esposizione è stata completamente rivista e arricchita di nuovi esempi, esercizi risolti e contenuti. Le novità principali sono legate alla maggiore attenzione dedicata alle proprietà metalogiche (correttezza, completezza, decidibilità) dei sistemi di logica formale e all'ampia copertura delle varianti di tali sistemi (estensioni e alternative). Inoltre, gli esercizi supplementari alla fine di ciascun capitolo, gli esercizi integrativi disponibili sul sito web e le soluzioni a tutti i problemi sono stati notevolmente ampliati. La chiarezza dell'esposizione, la precisione scientifica e l'abbondanza degli esercizi rendono il volume adatto per essere utilizzato come testo per un corso introduttivo di logica, come supplemento a un altro testo o come guida per gli studenti che vogliono studiare la logica da soli.