Navigazione di Sezione:
Logica Lm A 2024/2025
Generali:
- Dipartimento: Lettere E Filosofia
- Settore Ministeriale: M-FIL/02
- Codice di verbalizzazione: 804002636
- Metodi di insegnamento: Frontale
- Metodi di valutazione: Scritto
- Prerequisiti: È preferibile aver già sostenuto un esame di logica.
- Obiettivi: Conoscenza degli aspetti fondamentali della filosofia della matematica di Brouwer: matematica come insieme di costruzioni mentali, natura a-linguistica della matematica, differenza tra dimostrazioni costruttive e dimostrazioni non costruttive, critica del principio del terzo escluso, esistenza come costruzione. Saper produrre dimostrazioni formali utilizzando il sistema di deduzione naturale per le logiche classica e intuizionista. Conoscenza degli aspetti semantici della logica intuizionista attraverso i modelli di Kripke.
- Ricevimento: Su appuntamento
Didattica:
- A.A.: 2024/2025
- Canale: UNICO
- Crediti: 6