Questo volume si rivolge a tutti coloro che si accostano alla logica per la prima volta, indipendentemente dal loro ambito d'interesse. Dopo una parte introduttiva dedicata allo studio informale della struttura delle argomentazioni, nei capitoli successivi si esaminano i maggiori sistemi di logica formale deduttiva e quindi le principali forme di ragionamento induttivo. Il libro contiene anche un esame sistematico delle principali fallacie di ragionamento e si conclude con una rassegna di alcune direzioni lungo le quali i sistemi di logica classica discussi nei capitoli precedenti possono essere ulteriormente estesi, generalizzati, o modificati. La terza edizione nasce dall'intento di rendere il testo ancora più agevole e completo. Conservando la struttura degli argomenti trattati, l'esposizione è stata revisionata integralmente e arricchita di nuovi esempi, esercizi risolti e contenuti. Le novità di maggior rilievo risiedono nell'attenzione che viene ora dedicata alle proprietà metalogiche (correttezza, completezza, decidibilità) dei sistemi di logica formale e nella più ampia copertura delle varianti di tali sistemi (estensioni e alternative). Inoltre, gli esercizi supplementari al termine di ciascun capitolo, come anche gli esercizi integrativi disponibili sul sito web e tutte le soluzioni, sono stati ampliati considerevolmente. La chiarezza espositiva, il rigore scientifico e il ricco apparato eser- citativo rendono il volume adatto a essere usato come testo per un corso introduttivo, come eserciziario supplementare o come manuale per chi voglia studiare la logica per conto proprio.
