Intensivo I semestre - II ciclo
Inizio del corso : 21 novembre 2005
Durata : 5 settimane
Orario
LUN 15-17 aula IV via Zamboni 38
MAR 15-17 aula IV via Zamboni 38
GIO 15-17 aula IV via Zamboni 38
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
Logiche Intensionali:modalità.
"La logica modale è la logica della necessità e della possibilità, del "deve essere" e del "può essere".
Con ciò si intende che la logica modale considera non solo la verità e
falsità rispetto a ciò che è o non è
per come le cose stanno attualmente, ma considera anche cosa sarebbe vero o falso se le cose fossero diversamente.
"(G.Hughes e M.Cresswell).
Nel secolo scorso le logiche modali hanno avuto uno sviluppo sorprendente
grazie alla capacità espressiva del linguaggio modale, alla flessibilità
delle interpretazioni e all'ampiezza delle applicazioni: logiche temporali (in passato/in futuro),
logiche deontiche (obbligatorio/permesso), epistemiche (si sa che), logiche della credenza (si crede che), ecc.
Il corso intende offrire gli strumenti di base per lo studio delle logiche intensionali,
prendendo come punto di partenza e paradigmatico le logiche modali.
I linguaggi modali. I sistemi K, T, B, S4, S4.3, S5.
Discussione di alcune proprietà metateoriche. Semantica Kripkeana o dei mondi possibili.
Strutture, modelli. Teorema di completezza via metodo del modello canonico.
Corrispondenza tra proprietà di una struttura e formule modali.
Proprietà del modello finito. Trasformazioni invarianti di modelli.
Presentazione e discussione di alcune logiche intensionali oltre quelle modali e
illustrazione di alcune applicazioni in informatica teorica.
Bibliografia
P.Blackburn, M. de Rijke, Y.Venema, 'Modal logic', CUP 2001, Pagine scelte.
R.Goldblatt, 'Logics of time and computation', CSLI,1987. Pagine scelte.
Dispense al sito http://www.cs.unibo.it/~corsi/FolderDidattica/didattica.html
Il corso prevede esercitazioni scritte
in itinere e prova orale alla fine.