Intensivo I semestre - II ciclo
Inizio del corso : lunedì 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 già 5 cfu relativi al corso obbligatorio di Logica (1) negli a.a. 2001-04 oppure Istituzioni di Logica (1) a.a. 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:

Logica del primo ordine

Teorema di deduzione

Derivazioni

Modelli e valutazioni

Logica minimale, intuizionista e classica

Note introduttive da "Elements of Intuitionism"

Nozioni preliminari da "Elements of Intuitionism"

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