Intensivo I semestre - II ciclo
Inizio del corso : lunedi' 22 novembre 2004
Durata : 5 settimane

Orario
LUN 15 -17 aula IV via Zamboni 38
MAR 15-17 aula IV
GIO 15-17 aula IV

Crediti : 5 cfu

Solo per gli studenti che hanno gia' 5 cfu relativi al corso obbligatorio di Logica (1) negli aa 2001-04 oppure Istituzioni di logica(1) aa 2004-05.

PROGRAMMA

Logica classica e logiche non classiche

Linguaggi del primo ordine con identità. Interpretazione costruttiva dei connettivi e quantificatori.

Assiomatizzazione della logica positiva, minimale, intuizionista e classica.

Derivazioni e dimostrazioni. Esempi di dimostrazioni.

Il teorema di deduzione per la logica positiva ( Min. Int. e Class.) del primo ordine. Lemma sul rapporto tra logica classica e logica intuizionista proposizionale

Semantica Kripkeana. Contromodelli Kripkeani di tautologie classiche.

Teorema di validità e completezza per la logica proposizionale positiva, intuizionista e classica.

Cenni alle logiche polivalenti.

Il linguaggio modale. Logiche modali proposizionali. Interpretazione della logica intuizionista nella logica modale S4. Le logiche modali K, D, T, B, S4, S5. Loro caratterizzazione semantica.

Bibliografia

Dalla Chiara Scabia La logica, Isedi 1974, pp 38-50, 62-70, 82-96.

M.Dummett, Elements of intuitionism, Oxford UP 1977, pp 9-31, 121-163.

Dispense

L'esame consiste essenzialmente nelle esercitazioni svolte durante il corso.