introduzione alla logica proposizionale e alla logica predicativa; presentazione di alcuni argomenti di storia della logica.
Prerequisiti: nessuno.
Contenuto del corso:
I) Lineamenti di storia della logica (Moretto, Appunti di logica parte I; appunti dalle lezioni)
II) Elementi di logica proposizionale e alberi di refutazione (Lemmon, Elementi di logica, Capp. I e II; per i Metateoremi del Cap. II solo gli enunciati; Moretto, Appunti di logica, parte II; appunti dalle lezioni).
III) Elementi di logica predicativa (Lemmon, Elementi di logica, Capp. III, IV; appunti dalle lezioni).
Testi di riferimento:
E.J. Lemmon, Elementi di logica, Roma - Bari: Laterza, 1991.
A. Moretto, Appunti di logica, a cura di L. Moretti e I. Valbusa, Libreria Editrice Universitaria 2009, Verona.
Metodi didattici: lezioni frontali ed esercitazioni.
colloquio orale concernente il programma svolto
Lungadige Porta Vittoria, 17
37129 Verona
Partita IVA
01541040232
Codice Fiscale
93009870234
© 2021 | Università degli studi di Verona | Credits