Logica (i) (2007/2008)

Corso disattivato

Codice insegnamento
4S01365
Docente
Antonio Moretto
crediti
3
Settore disciplinare
M-FIL/02 - LOGICA E FILOSOFIA DELLA SCIENZA
Lingua di erogazione
Italiano
Sede
VERONA
Periodo
I sem dal 1-ott-2007 al 20-dic-2007.

Orario lezioni

Obiettivi formativi

Il corso è concepito come una introduzione alla logica, con una sintetica trattazione della logica proposizionale sotto il profilo sintattico e semantico, nozioni di logica predicativa e alcuni argomenti di storia della logica.

Programma

Prerequisiti: non sono richieste competenze specifiche ottenute da altri corsi

Contenuto del corso:
I) Lineamenti di storia della logica (MORETTO, Appunti di logica 2004, 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 2004, parte II; appunti dalle lezioni).
III) Elementi di logica predicativa (LEMMON, Elementi di logica, Cap. III, § 1; appunti dalle lezioni).

Testi di riferimento:
E.J. LEMMON, Elementi di logica, Roma - Bari: Laterza, 1991.
A. MORETTO, Appunti di logica 2004, a cura di L. Moretti, Libreria Editrice Universitaria, Verona, 2004.

Metodi didattici: Lezioni generali e seminari. Al termine del corso sarà reperibile, presso le Segreterie del Dipartimento di Filosofia e dei Corsi di Laurea, l'elenco degli argomenti del programma svolto. La partecipazione all'esame comporta la conoscenza degli argomenti del suddetto elenco.

Modalità d'esame

Colloquio orale concernente il programma svolto.