- Docente: Giovanna Corsi
- Crediti formativi: 5
- SSD: M-FIL/02
- Lingua di insegnamento: Italiano
- Modalità didattica: Convenzionale - Lezioni in presenza
- Campus: Bologna
- Corso: Laurea in Filosofia (cod. 0342)
Conoscenze e abilità da conseguire
Logica si compone di Logica (1) e Logica(2).
Logica (1) Introduzione al problema dei fondamenti della
matematica.
Logica(2) Logiche modali proposizionali. Semantica kripkeana.
Teoria della dimostrazione.
Contenuti
Introduzione al problema dei fondamenti della matematica.
Logica(2) Logiche modali proposizionali. Semantica Kripkeana:
struttura, modello, verità in un modello. Le logiche modali K, T,
D, S4, B, S5, S4.3.
Teorema di completezza col metodo del modello canonico. Logiche
canoniche e non canoniche. Logiche incomplete.
Testi/Bibliografia
Dario Palladino e Mario Borga Oltre il mito della crisi: fondamenti e filosofia della matematica nel XX secolo, Brescia, 1997.
Letture da G.Frege, B.Russell, D.Hilbert. K.Goedel,
J.Brouwer.
******
Appunti del docente sulle logiche modali.
Rob Goldblatt, Logics of time and computation, CSLI
1992
Metodi didattici
Lezioni e discussione.
Modalità di verifica e valutazione dell'apprendimento
Esame orale.
Orario di ricevimento
Consulta il sito web di Giovanna Corsi