Logical methods
A.A. 2026/2027
Obiettivi formativi
Le studentesse e gli studenti acquisiranno conoscenze e competenze approfondite su temi di ricerca attuali in logica.
Risultati apprendimento attesi
Le studentesse e gli studenti acquisiranno la capacità di:
- analizzare criticamente gli argomenti e le nozioni alla base delle diverse logiche e loro applicazioni;
- discutere e confrontare posizioni filosofiche diverse che caratterizzano le diverse logiche;
- riflettere su posizioni filosofiche complesse e articolate, che fondano o che derivano dalla definizione delle diverse logiche e delle loro applicazioni;
- assumere una propria posizione in un dibattito filosofico sui fondamenti e le conseguenze delle logiche oggetto di studio e di proporre argomenti a suo sostegno;
- comunicare efficacemente i risultati delle proprie ricerche, anche tramite tecniche multimediali di rappresentazione delle informazioni, con possibili applicazioni alla didattica;
- utilizzare competenze relazionali, comunicative e organizzative anche in contesti altamente complessi e nella gestione del lavoro di gruppo;
- trasmettere le competenze ottenute anche in contesti non specialistici;
- riflettere sulle proprie abilità e sulle valutazioni ottenute;
- ricercare autonomamente le fonti filosofiche di un dibattito o di una scuola di pensiero alla base delle logiche studiate;
- approfondire autonomamente una posizione filosofica o una tesi teorica alla base delle logiche studiate.
- analizzare criticamente gli argomenti e le nozioni alla base delle diverse logiche e loro applicazioni;
- discutere e confrontare posizioni filosofiche diverse che caratterizzano le diverse logiche;
- riflettere su posizioni filosofiche complesse e articolate, che fondano o che derivano dalla definizione delle diverse logiche e delle loro applicazioni;
- assumere una propria posizione in un dibattito filosofico sui fondamenti e le conseguenze delle logiche oggetto di studio e di proporre argomenti a suo sostegno;
- comunicare efficacemente i risultati delle proprie ricerche, anche tramite tecniche multimediali di rappresentazione delle informazioni, con possibili applicazioni alla didattica;
- utilizzare competenze relazionali, comunicative e organizzative anche in contesti altamente complessi e nella gestione del lavoro di gruppo;
- trasmettere le competenze ottenute anche in contesti non specialistici;
- riflettere sulle proprie abilità e sulle valutazioni ottenute;
- ricercare autonomamente le fonti filosofiche di un dibattito o di una scuola di pensiero alla base delle logiche studiate;
- approfondire autonomamente una posizione filosofica o una tesi teorica alla base delle logiche studiate.
Periodo: Primo semestre
Modalità di valutazione: Esame
Giudizio di valutazione: voto verbalizzato in trentesimi
Corso singolo
Questo insegnamento può essere seguito come corso singolo.
Programma e organizzazione didattica
Edizione unica
Responsabile
Periodo
Primo semestre
Programma
1. Matematica discreta
- Nozioni di base (insiemi e operazioni su insiemi, relazioni, funzioni)
- Liste, alberi e grafi
- Algoritmi e complessità
2. Elementi di logica classica
- Logica proposizionale
- Ragionare con i quantificatori
- Logica e problem-solving
3. Logica intuizionista e modale
- logica intuizionista e deduzione naturale
- semantica di Kripke per la logica intuizionista
- semantiche di Kripke per le logiche modali
Il corso da 6 CFU consiste dei primi due moduli (prime 20 lezioni). Il corso da 9 CFU consiste di tutti e tre i moduli (30 lezioni)
- Nozioni di base (insiemi e operazioni su insiemi, relazioni, funzioni)
- Liste, alberi e grafi
- Algoritmi e complessità
2. Elementi di logica classica
- Logica proposizionale
- Ragionare con i quantificatori
- Logica e problem-solving
3. Logica intuizionista e modale
- logica intuizionista e deduzione naturale
- semantica di Kripke per la logica intuizionista
- semantiche di Kripke per le logiche modali
Il corso da 6 CFU consiste dei primi due moduli (prime 20 lezioni). Il corso da 9 CFU consiste di tutti e tre i moduli (30 lezioni)
Prerequisiti
Inglese, livello B2. Certificazione richiesta per sostenere l'esame.
Metodi didattici
Lezioni frontali. Si seguirà un approccio didattico orientato ai problemi e gli studenti apprenderanno, attraverso esercizi, le tecniche di base per risolvere problemi logici.
Materiale di riferimento
Dispense fornite dal docente
Testi consigliati per approfondire (non necessari per l'esame):
M. D'Agostino, H. Hosni. Le vie della Logica. Einaudi 2024;
Esther Anna Corsi, Hykel Hosni. Logica pratica. Dai quesiti dei test di ammissione ai metodi della logica elementare. Milano University Press, Open Access https://libri.unimi.it/index.php/milanoup/catalog/view/291/1264/3180
Testi consigliati per approfondire (non necessari per l'esame):
M. D'Agostino, H. Hosni. Le vie della Logica. Einaudi 2024;
Esther Anna Corsi, Hykel Hosni. Logica pratica. Dai quesiti dei test di ammissione ai metodi della logica elementare. Milano University Press, Open Access https://libri.unimi.it/index.php/milanoup/catalog/view/291/1264/3180
Modalità di verifica dell’apprendimento e criteri di valutazione
La verifica dell'apprendimento avviene attraverso un test scritto alla fine di ciascun modulo. Il voto finale sarà la media dei voti ottenuti nei test parziali. Gli studenti che non superano un test parziale o preferiscono che il voto non venga considerato, devono svolgere un test finale sull'intero programma. I test includono domande a risposta aperta (30%), domande a risposta chiusa (20%) ed esercizi (50%), pesati in base al grado di difficoltà. Le domande a risposta aperta o chiusa mirano a verificare la comprensione di base dei concetti e delle definizioni, mentre gli esercizi mirano a valutare l'abilità della risoluzione di semplici problemi.
Moduli o unità didattiche
Parte A e B
PHIL-02/A - Logica e filosofia della scienza - CFU: 6
Lezioni: 40 ore
Parte C
PHIL-02/A - Logica e filosofia della scienza - CFU: 3
Lezioni: 20 ore
Docente/i
Ricevimento:
Mercoledì 10:00-13:00 e via Teams su richiesta
Direzione del Dipartimento di Filosofia, Cortile d’Onore