LOGICA – 9 CFU
Corso di studio: Scienze Filosofiche Dott. Gabriele Pulcini
Lingua insegnamento: Italiano Testi di riferimento:
A. Varzi, J. Nolt e D. Rohatyn. Logica. McGraw-Hill, 2007.
Dispense fornite dal docente.
Parti scelte dei seguenti testi in lingua inglese:
D. Prawitz. Natural Deduction. A Proof-Theoretical Study. Almqvist & Wilksell, Uppsala, 1965.
G. Gentzen. Unstersuchungen über das logische Schliessen. Math. Zeitschrift, 39: 176–210, 1935.
(Traduzione inglese in Szabo, 1969.)
Obiettivi formativi:
Il corso mira a completare la formazione logica degli studenti che, preferibilmente, abbiano già frequentato un primo corso di logica. Durante le prime lezioni, verranno comunque riprese le nozioni fondamentali della logica classica proposizionale in modo da colmare le eventuali lacune di coloro che si trovino ad affrontare la logica formale per la prima volta. Il corso sarà dedicato alle logiche classica e intuizionista, affrontate principalmente dal punto di vista della teoria della dimostrazione (deduzione naturale e calcolo dei sequenti). Il corso sarà perlopiù svolto sotto forma di laboratori ed esercitazioni collettive alla presenza del docente.
Prerequisiti:
Nessuno
Metodi didattici:
Lezioni frontali, esercitazioni e laboratori
Altre informazioni:
GIO 3: 9h00-14h00
LUN 7, MAR 8, MER 9, GIO 10: 9h00-14h00
LUN 14, MAR 15, MER 16, GIO 17: 9h00-14h00
LUN 21, MAR 22, MER 23: 9h00-14h00
MAR 29, MER 30, GIO 31: 9h00-14h00
Ricevimento su appuntamento gab.pulcini@gmail.com
Modalità di verifica dell'apprendimento:
Esame scritto e orale
Programma esteso:
– Connettivi logici e linguaggio della logica classica proposizionale – Tautologie, contraddizioni e contingenze
– Correttezza e completezza della logica classica proposizionale – Quantificatori e linguaggio della logica del primo ordine – Nozioni di conseguenza logica, soddisfacibilità, verità logica – Deduzione naturale
– Calcolo dei sequenti per le logiche classica e intuizionista – Eliminazione del taglio e proprietà della sottoformula – Sistemi di refutazione per la logica classica proposizionale