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:
II semestre, in definizione

Esami: in definizione