ECTS - University of Pisa
| Modules | Area | Type | Hours | Teacher(s) | |
| LOGICA (S) | M-FIL/02 | LEZIONI | 36 |
|
L'obiettivo del corso è di apprendere i principali risultati e temi di logica matematica e filosofia della matematica che riguardano lo studio dei modelli di una teoria formale.
Una prova scritta a metà corso e un esame orale alla fine del corso.
Alla fine del corso lo studente avrà una buona conoscenza della meta-teoria della teorie del prim'ordine.
Una prova scritta a metà corso e un esame orale alla fine del corso.
Alla fine del corso lo studente saprà discutere e capire problemi e testi che riguardano l'individuazione dei modelli, l'indipendenza in matematica, la relatività dei concetti di teoria degli insiemi.
Una prova scritta a metà corso e un esame orale alla fine del corso.
Un corso introduttivo di logica del prim'ordine.
Un corso introduttivo di filosofia della matematica.
Uno studio più approfondito di filosofia della matematica e di logica matematica.
Lezioni frontali.
Il corso introdurrà i principali problemi di meta-teoria delle teorie del prim'ordine.
- Teorema di Lowenheim Skolem
- Problemi di relatività delle nozioni di teoria degli insiemi
- Il problema di individuazione univoca di un modello (Putnam)
- Il problema dell'indipendenza in teoria degli insiemi
Note del corso e alcuni testi di riferimento.
From Frege to Godel: A Source Book in Mathematical Logic, van Jean Heijenoort, Harvard University Press, 2002.
Philosophy and Model Theory, Tim Button and Sean Walsh, Oxford University Press, 2018.
The Oxford Handbook of Philosophy of Mathematics and Logic, Stuewart Shapiro, Oxford University Press, 2007.
Contattare il docente
Una prova scritta a metà corso e un esame orale alla fine del corso.
Non sono previsti stage o tirocini
