FB1030 - Logica II(cr. 3 - sem. I)
G. FORMICA
Prerequisiti:
 
Conoscenza della logica aristotelico-scolastica e di elementi di teoria dell’argomentazione.
Obiettivi didattici:
 
Con lo studio della logica proposizionale e dei predicati del primo ordine il corso vuole fornire le basi per la comprensione della logica deduttiva moderna. Si intende inoltre favorire una familiarità con gli strumenti formali impiegati in alcune discipline filosofiche contemporanee.
Contenuti delle lezioni:
 
Che cosa è la logica deduttiva moderna. Perché è formale, simbolica e matematica. Linguaggio formale della logica proposizionale. Connettivi vero-funzionali e tavole di verità. Strategie per controllare argomenti della logica proposizionale. Linguaggio formale della logica dei predicati del primo ordine (senza e con identità). Introduzione al calcolo della deduzione naturale. La semantica della logica dei predicati.
Modalità di svolgimento:
 
Lezioni frontali ed esercitazioni.
Modalità di verifica:
 
Esame scritto.
Bibliografia:
 
F. BERTO, Logica da zero a Gödel, Laterza, Roma - Bari 2010; L.F. TUNINETTI, La ragione nei discorsi. Linguaggio, logica, argomentazione, Urbaniana University Press, Città del Vaticano 2010.
 

Orario delle lezioni anno accademico 2021/2022:

Sem.GiornoOraSiglaCorsoAulaNote
ILunedì4FB1030Logica IIXIII 
ILunedì5FB1030Logica IIXIII 

Orario di ricevimento per l'anno accademico 2021/2022:

Sem.GiornoDalleAlleLuogoNote
ILunedì09:0010:00Stuidio del docenteIn alternativa per appuntamento preso tramite e-mail
IILunedì09:0010:00Studio del docenteIn alternativa per appuntamento preso tramite e-mail