FP1002
LOGICA (A.A. 2021/2022)
La logica verte primariamente sulle condizioni di validità dell’inferenza deduttiva e costruisce i linguaggi artificiali indispensabili per rappresentare le caratteristiche formali da cui tale validità dipende. Un approccio di primo livello alla disciplina prevede l’esposizione di nozioni e metodi di base necessari ad esprimere la sintassi e la semantica per la logica del prim’ordine relativa al calcolo proposizionale e dei predicati con e senza identità. L’approccio formalistico è integrato con elementi di teoria dell’argomentazione dedicata allo sviluppo di procedure non formali per la valutazione e la costruzione degli argomenti nei linguaggi naturali. Per la natura introduttiva dell’insegnamento non sono presupposte competenze propedeutiche. Obiettivi formativi: Gli obiettivi formativi del corso consistono nel fornire allo studente gli elementi concettuali e metodologici per l’analisi formale del discorso dichiarativo e delle argomentazioni deduttive, al fine di sviluppare capacità avanzate di ragionamento necessarie all’organizzazione e alla comunicazione rigorosa del pensiero filosofico e teologico. Metodologia: La didattica è erogata attraverso lezioni frontali ed esercitazioni pratiche condotte in interazione con gli studenti, dedicate all’esposizione degli elementi teorici e alla loro applicazione. Valutazione dell’apprendimento: La verifica finale degli apprendimenti attesi è effettuata con esame orale ed esecuzione contestuale di esercizi scritti. I criteri di valutazione sono ispirati ai Descrittori di Dublino
Informazioni
-
Semestre:
1° Semestre
-
ECTS:
5
Docenti
Massimo GIRONDINO
Orario lezioni/Aula
| Semestre |
Giorno |
Dalle |
Alle |
Aula |
Piano |
Palazzo |
Note |
|
1° Semestre |
Lunedì |
10.30 |
11.15 |
C211 |
2 |
Centrale |
|
|
1° Semestre |
Lunedì |
11.30 |
12.15 |
C211 |
2 |
Centrale |
|
|
1° Semestre |
Martedì |
11.30 |
12.15 |
C211 |
2 |
Centrale |
|
Bibliografia
Appelli
| Data |
Orario |
Aula |
Tipo esame |
da lettera |
a lettera |
Note |
| 21 giu 2022
|
MATTINA 9.30 |
C211 |
Orale
|
A |
Z |
|
D. PALLADINO, Corso di Logica. Introduzione elementare al calcolo dei predicati, Roma: Carocci, 2010; A. VARZI – J. NOLT – D. ROHATYN, Logica, Milano: McGraw-Hill, 20072 ; P. FRASCOLLA, Introduzione alla logica. Dalla teoria dell’argomentazione alla logica formale, Bologna: Il Mulino, 2014; R. G. TIMOSSI, Imparare a ragionare. Un manuale di logica, Genova-Milano: Marietti, 2011.