LOGICA
cod. 02607

Anno accademico 2016/17
1° anno di corso - Secondo semestre
Docente
Settore scientifico disciplinare
Logica e filosofia della scienza (M-FIL/02)
Field
Istituzioni di filosofia
Tipologia attività formativa
Affine/Integrativa
30 ore
di attività frontali
6 crediti
sede:
insegnamento
in - - -

Obiettivi formativi

1 - Conoscenza sia pur minimale dell'Intuizionismo;
2 - l'S4 come strumento per l'obiettivo precedente

Prerequisiti

Logica Proposizionale Classica sia nel suo aspetto semantico che in quello sintattico

Contenuti dell'insegnamento

Oggetto del corso il superamento della Logica Classica (già vista dagli Studenti nei Corsi Triennali) con breve excursus su Logica (proposizionale) Intuizionista e Logica (proposizinale) Modale

Programma esteso

1) Sintassi naturale e modelli di Kripke per l'S4
2) Sintassi naturale e modelli di Kripke per l'Intuizionismo proposizionale
3) (solo se il tempo a disposizione lo permette): Traduzione

Bibliografia

Le dispense relative al Corso verranno inviate via e-mail ai singoli Studenti

Metodi didattici

Lezioni frontali

Modalità verifica apprendimento

Esame orale finale

Altre informazioni

- - -