LOGICA

Anno accademico
2018/2019 Programmi anni precedenti
Titolo corso in inglese
LOGIC
Codice insegnamento
FT0134 (AF:276373 AR:158524)
Modalità
In presenza
Crediti formativi universitari
6
Livello laurea
Laurea
Settore scientifico disciplinare
M-FIL/02
Periodo
3° Periodo
Anno corso
2
Questo corso è un'introduzione alla logica per gli studenti di filosofia e materie umanistiche. Esso copre (i) gli approcci fondamentali alla logica, compresa la teoria della dimostrazione e in particolare la teoria dei modelli, (ii) nozioni elementari di filosofia della logica.
Prepara gli studenti a leggere gli articoli di filosofia contemporanea che fanno uso
di simbolismo logico astratto.
Insegna una parte della logica indispensabile per ogni studioso di filosofia.
Una conoscenza di base della logica formale e della teoria degli insiemi.
Non ci sono prerequisiti.
Cenni di teoria degli insiemi.
Paradossi.
Logica proposizionale.
Tavole di verita'.
Assiomatizzazioni e teoremi di completezza.
Deduzione naturale.
Teoria dei modelli.
Cenni di storia della logica.
Berto F. "Logica da zero a Gödel" ed. Laterza
M.L. Dalla Chiara & al. "Sperimentare la logica" ed. Liguori
Partecipazione alle relazioni ed alle discussioni in classe. Tesine scritte.
Lezioni ed esercitazioni.
Italiano
orale
Il programma è ancora provvisorio e potrà subire modifiche.
Data ultima modifica programma: 20/03/2018