Manuale di logica. Logica classica e del senso comune

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. Das Urheberrecht an bibliographischen und produktbeschreibenden Daten und an den bereitgestellten Bildern liegt bei Informazioni Editoriali, I.E. S.r.l., oder beim Herausgeber oder demjenigen, der die Genehmigung erteilt hat. Alle Rechte vorbehalten.