LOGICA – 6 CFU
Corso di studio: Filosofia e Scienze dell'Educazione Dott. Gabriele Pulcini
Lingua insegnamento: Italiano Testi di riferimento:
A. Varzi, J. Nolt e D. Rohatyn. Logica. McGraw-Hill, 2007.
D. Palladino. Corso di Logica. Carocci, 2002.
Obiettivi formativi:
Il corso mira a fornire agli studenti gli elementi fondamentali del ragionamento critico attraverso la conoscenza della logica classica proposizionale. In particolare, verranno affrontati i seguenti argomenti: traduzione di enunciati del linguaggio naturale nel linguaggio formale, vari tipi di argomentazione e analisi della loro struttura, metodo delle tavole di verità, metodo degli alberi di refutazione. Parte del corso sarà svolta attraverso laboratori ed esercitazioni collettive alla presenza del docente.
Prerequisiti:
Nessuno
Metodi didattici:
Lezioni frontali, esercitazioni e laboratori Altre informazioni:
GIO 3: 16h00-19h00 VEN 4: 9h00-12h00 LUN 7, MAR 8, MER 9, GIO 10: 16h00-19h00
LUN 14, MAR 15, MER 16, GIO 17: 16h00-19h00 VEN 18: 9h00-12h00 MAR 22: 16h00-19h00 MER 23: 9h00-12h00
MAR 29, MER 30, GIO 31: 16h00-19h00 Ricevimento su appuntamento
gab.pulcini@gmail.com
Modalità di verifica dell'apprendimento:
Esame scritto e orale Programma esteso:
– Elementi di storia della logica
– Linguaggio della logica classica proposizionale
– Definizione dei connettivi logici attraverso le tavole di verità – Formalizzazione di enunciati del linguaggio naturale
– Rappresentazione formale delle argomentazioni – Tautologie, contraddizioni e contingenze
– Metodo delle tavole di verità – Metodo degli alberi di refutazione