Insegnare la logica è difficile: gli studenti giungono da differenti aree disciplinari, hanno differenti interessi e spesso sono privi di nozioni logiche e matematiche di base. Unendo chiarezza espositiva e rigore scientifico, il manuale di Lorenzo Magnani e Rosella Gennari permette di rendere la logica comprensibile agli studenti di psicologia, gli algoritmi agli studenti di filosofia, gli aspetti più filosofici agli studenti di ingegneria e matematica. Dato il suo carattere non specialistico il libro si rivolge a un pubblico ampio, che comprende studenti ma anche insegnanti e studiosi. Grazie alle parti introduttive propedeutiche alla comprensione dei temi trattati nei vari capitoli, ai numerosi esempi esplicativi, alle note e brevi cenni storici, Manuale di logica è ideale sia per corsi di introduzione alla logica sia per quelli di intelligenza artificiale e psicologia cognitiva, e può essere un utile strumento anche nei licei e nelle scuole secondarie. Gli autori introducono alle aree fondamentali della logica classica: logica proposizionale, logica del primo ordine, sistemi formali, deduzione naturale, teorema di Gödel e sue conseguenze filosofiche, calcolo della risoluzione e logiche del senso comune, con implicazioni verso la filosofia e l’intelligenza artificiale. Inoltre, sono presenti delle appendici specificamente dedicate alla logica modale, alla logica sfumata e all’analisi non-standard.
Lorenzo Magnani, filosofo, epistemologo e scienziato cognitivo, è professore ordinario di Filosofia della scienza presso l’Università di Pavia. Fra le sue opere più recenti: The Abductive Structure of Scientific Creativity (2017) e Discoverability. The Urgent Need of an Ecology of Human Creativity (2022).
Rosella Gennari è docente alla Libera Università di Bolzano. La sua ricerca, inizialmente nell’ambito della logica e del ragionamento automatico, riguarda l’interazione persona-macchina con un approccio computazionale. Conta più di 100 pubblicazioni ed è curatrice di 11 monografie.