Docente: prof. Pierluigi Minari, Università di Firenze

II SEMESTRE – 36 + 36 ORE – 6 + 6 CFU

Settore disciplinare: M-FIL/02

Programma:
Il corso introduce gli studenti alle principali problematiche della logica contemporanea, fornendo le conoscenze basilari relative a: logica enunciativa e dei predicati classica (con cenni alle logiche non classiche); alberi di refutazione.
PROGRAMMA:
(i) Breve excursus di storia della logica
(ii) Verità formale, consequenzialità logica, consistenza logica: nozioni intuitive.
(iii) La forma logica: analisi logica del discorso dichiarativo.
(iv) Logica proposizionale e logica dei predicati: rudimenti (concezione classica della connessione; metodo delle tavole di verità; semantica informale della quantificazione).
(v) Logica proposizionale e logica dei predicati: il metodo di Beth.
(vi) Classi, relazioni, funzioni, cardinalità; teoremi di Cantor.
(vii) Digressione sulla logica tradizionale (proposizioni categoriche, quadrato aristotelico, sillogismi).
Ha come obiettivi:
(i) Conoscenza e competenza. Il corso si propone di sviluppare capacità di analisi concettuale e argomentativa, propedeutiche alla riflessione filosofica di taglio teorico; di fornire, nello specifico, la capacità di isolare la struttura logica del discorso dichiarativo; di far apprendere alcuni strumenti basilari per la verifica della correttezza delle inferenze logiche, nonché i fondamenti della semantica logica.
(ii) Applicazione delle conoscenze. Lo studente, anche attraverso gli esercizi proposti e discussi a lezione, imparerà ad applicare le conoscenze acquisite all’analisi di problemi specifici nell’ambito della filosofia in generale e della filosofia della logica nello specifico

Testi di riferimento:
A. Cantini, P. Minari, INTRODUZIONE ALLA LOGICA.
Linguaggio, significato, argomentazione. Mondadori Education, Milano 2009.

Calendario:
Terzo e quarto trimestre
Lunedì 17-19 (2 ore)
Martedì 9-13 (4 ore)  
Modulo A in Aula Magna del Collegio, B in Aula Bernardi fino al 4 maggio, in seguito:
5 maggio Aula della Biblioteca femminile
12 maggio Aula della Biblioteca femminile
18 maggio Aula B. Rossi
19 maggio Aula della Biblioteca femminile                                    
25 maggio Aula S. Bruni
26 maggio Aula della Biblioteca femminile                                                                     

Esami: 11 giugno Biblioteca Femminile; 25 giugno e 9 luglio Aula Sandra Bruni. 10 settembre aula in definizione in Università