LOGICA

Crediti: 
6
Settore scientifico disciplinare: 
LOGICA E FILOSOFIA DELLA SCIENZA (M-FIL/02)
Anno accademico di offerta: 
2016/2017
Semestre dell'insegnamento: 
Secondo Semestre
Lingua di insegnamento: 

Italiano

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