Logica (i) (2006/2007)

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
1 semestre dal 2-ott-2006 al 20-dic-2006.

Orario lezioni

1 semestre
Giorno Ora Tipo Luogo Note
mercoledì 8.30 - 10.10 lezione Aula 2.2  

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 (BLANCHÉ, La logica e la sua storia, Capp. II, IV, VI § 3; IX § 1: i diagrammi di Eulero; 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; 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.
R. Blanché, La logica e la sua storia da Aristotele a Russell, Roma: Ubaldini
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.