Logica II

SP 2019-2020 - Ects: 4

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

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).

Didattica: lezioni frontali. Il corso include una serie di esercitazioni aggiuntive tenute da un’assistente.

Modalità di valutazione: esame scritto.

Bibliografia essenziale:

  • Edward John Lemmon, Elementi di logica, Laterza Roma /Bari 2008,
  • Dario Palladino e Claudia Palladino, Logiche non-classiche, Carocci, Roma, 2007.
ISFI