Logica II

SP 2018-2019 - Ects: 4

Obiettivo del corso: presentazione elementare della logica proposizionale, predicativa e cenni di logica modale.

Modalità di valutazione: esame scritto.

Contenuto del corso:

Linguaggio formale della logica proposizionale, connettivi vero-funzionali, tavole di verità, deduzione naturale ed alberi di refutazione. Linguaggio della logica proposizionale modale e semantica dei “mondi possibili”. Linguaggio della logica predicativa con identità, deduzione naturale ed alberi di refutazione. Cenni di meta-logica (completezza e correttezza).

Bibliografia essenziale:

  • Giordani, Introduzione alla logica, Educatt, Milano 2016,
  • J. Lemmon, Elementi di logica, Laterza Roma /Bari 2008,
  • Palladino e C. Palladino, Logiche non-classiche, Carocci, Roma, 2007.
ISFI