Presentazione:

Obiettivo del corso: introdurre gli studenti alla logica contemporanea.

Contenuto del corso: il corso di logica contemporanea presenta un’introduzione alla logica, con particolare riferimento ai principali problemi di filosofia della logica. Il corso prevede la trattazione sintattica e semantica della logica classica, proposizionale e predicativa. Si prevede inoltre l’applicazione degli strumenti logici introdotti nella trattazione di problemi filosofici classici.

Bibliografia:

• S. Galvan, Logica dei predicati, Educatt, Milano 1999.
• F. Berto, Logica da zero a Gödel, Laterza, Bari 2007.
• A. Varzi, J. Nolt e D. Rohatyn, Logica, McGraw-Hill, Milano 2004.

Propedeuticità: aver seguito il corso di logica classica oppure di storia della logica.

Modalità di valutazione: esame scritto.