Logica (p) (2014/2015)

Codice insegnamento
4S02145
Docente
Antonio Moretto
Coordinatore
Antonio Moretto
crediti
6
Settore disciplinare
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA
Lingua di erogazione
Italiano
Periodo
Sem. IIA dal 23-feb-2015 al 19-apr-2015.

Orario lezioni

Sem. IIA
Giorno Ora Tipo Luogo Note
lunedì 17.20 - 19.00 lezione Aula 2.2  
martedì 17.20 - 19.00 lezione Aula 2.2  
mercoledì 11.50 - 13.30 lezione Aula 2.2  

Obiettivi formativi

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

Prerequisiti: nessuno.

Programma

I) Lineamenti di storia della logica (Moretto, Appunti di logica parte I; appunti dalle lezioni).
II) Elementi di logica proposizionale (Lemmon, Elementi di logica, Capp. I e II; per i Metateoremi del Cap. II solo gli enunciati; Moretto, Appunti di logica, parte II; appunti dalle lezioni); “Alberi di refutazione” (dispense).
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, a cura di L. Moretti e I. Valbusa, Libreria Editrice Universitaria 2009, Verona.
“Alberi di refutazione” (dispense).

Metodi didattici: lezioni frontali ed esercitazioni.

Modalità d'esame

Colloquio orale concernente il programma svolto.