Informazioni di Logica Lm A

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

Navigazione Utente: