Logica (p) (2008/2009)

Codice insegnamento
4S02145
Docente
Antonio Moretto
crediti
6
Altri corsi di studio in cui è offerto
Settore disciplinare
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
Secondo semestre dal 23-feb-2009 al 30-mag-2009.

Orario lezioni

Secondo semestre
Giorno Ora Tipo Luogo Note
martedì 17.20 - 19.00 lezione Aula 2.2  
giovedì 8.30 - 10.10 lezione Aula 2.2  

Obiettivi formativi

introduzione alla logica proposizionale e alla logica predicativa; presentazione di alcuni argomenti di storia della logica.

Programma

Prerequisiti: nessuno.

Contenuto del corso:
I) Lineamenti di storia della logica (Moretto, Appunti di logica 2004, parte I; appunti dalle lezioni) .
II) Elementi di logica proposizionale e alberi di refutazione (Lemmon, Elementi di logica, Capp. I e II; per i Metateoremi del Cap. II solo gli enunciati; Moretto, Appunti di logica 2004, parte II; appunti dalle lezioni).
III) Elementi di logica predicativa (Lemmon, Elementi di logica, Capp. III, IV; appunti dalle lezioni).

Testi di riferimento:
E.J. Lemmon, Elementi di logica, Roma - Bari: Laterza, 1991.
A. Moretto, Appunti di logica 2004, Libreria Editrice Universitaria, Verona, 2004.

Metodi didattici: lezioni frontali ed esercitazioni.

Modalità d'esame

colloquio orale concernente il programma svolto