Logica II
Persone
Docente titolare del corso
Docente titolare del corso
Descrizione
Il corso di Logica II offre un’introduzione alla logica proposizionale e alla logica dei predicati con l’identità. In particolare, i temi trattati includono: (1) sintassi della logica proposizionale, (2) semantica della logica proposizionale, (3) sistemi formali per la logica proposizionale, (4) sintassi della logica dei predicati con l’identità, (5) semantica della logica dei predicati con l’identità, (6) sistemi formali per la logica dei predicati. Il corso prevede sia lezioni frontali che sessioni di esercitazioni.
Obiettivi
L’obiettivo del corso è completare l’introduzione alla logica classica delle proposizioni iniziata nel corso di Logica I e introdurre gli studenti alla logica dei predicati.
Modalità di insegnamento
In presenza
Impostazione pedagogico-didattica
-
Modalità d’esame
Esame scritto in aula.
Programma
- Bachelor of Arts in Filosofia, Lezione, 1° anno
