a.a. 2010-2011
a.a. 2009-2010
a.a. 2008-2009
a.a. 2007-2008
a.a. 2006-2007
Calendario degli incontri
A. A. 2009-2010
A. A. 2008-2009
A. A. 2007-2008
A. A. 2006-2007
A. A. 2004-2005
A. A. 2003-2004
Calendario degli incontri
A. A. 2008-2009
A. A. 2007-2008
A. A. 2006-2007
A. A. 2004-2005
A. A. 2003-2004
Calendario degli incontri
16 aprile 2010
ore 9 Valentina Morotti
(Scuola Normale Superiore, Pisa)
La teoria dei tropi
ore 11 Gabriele Lolli
(Scuola Normale Superiore, Pisa)
Da Löwenheim-Skolem al teorema di completezza
30 aprile 2010
Volker Halbach
(Oxford University)
A deductively strong theory of disquotational truth
Bibliografia generale:
1. R. Zach, P. Mancosu, C. Badesa, The development of mathematical logic from Russell to Tarski, in L. Haaparanta (ed.), The History of Modern Logic, Oxford University Press, to appear (il file .pdf del capitolo è scaricabile dalla pagina di R. Zach a questo link)
2. P. Mancosu, The philosophy of mathematical practice, Oxford University Press, 2008.
Calendario incontri
28 novembre 2008, ore 9
Ettore Casari
Peano e le origini della metalogica
5 dicembre 2008, ore 9
Peter Schuster
(priv. doz.)
From geometric logic to algebraic geometry
5 dicembre 2008, ore 11
Thomas Strahm
(Institut f. Informatik und Angewandte Mathematik, Bern)
Unfolding arithmetic
20 febbraio 2009, ore 16
Giovanni Sambin
(Università di Padova)
La fondazione minimalista della matematica
6 marzo 2009
Paolo Zellini
(Università di Roma 2)
Filosofia degli algoritmi
13 marzo 2009
Miniworkshop di Logica e Filosofia della Logica:
ore 9, Bianca Boretti
(Università di Milano, Statale)
Proof theory of temporal logics
ore 11, Francesca Boccuni
(Università di Padova)
Plural Grundgesetze
27 marzo
Paolo Maffezioli
(Università di Firenze)
Regola di contrazione e terminazione nella logica
proposizionale intuizionista
3 aprile 2009
** SPECIAL EVENT **
One hundred year since the birth of Gerhard Gentzen
(Jointly with the Dept. of Philosophy, University of Pisa)
Download leaflet (.pdf) - Browse the program (www)
17 aprile 2009
Roberto Mana
Logiche sottostrutturali, complessità e astrazione
24 aprile 2009
Claudio Monteverdi
Lo strutturalismo nella pratica matematica
8 maggio 2009
Paolo Mancosu
(Berkeley)
La misura degli insiemi infiniti di naturali: La concezione
cantoriana del numero infinito era inevitabile?
27 maggio 2009
Gerhard Jaeger
(IAM - Bern)
Sigma_1^1 choice in theories of sets and classes
Download leaflet (.pdf)
Department of Philosophy | Department of Philosophy University of Pisa |
Friday, April the 3rd, 2009
 |
One Hundred Years Since the Birth of Gerhard Gentzen Miniworkshop organized within the research project "Mathesis Universalis" (PRIN 06)
Chairman: Enrico Moriconi (University of Pisa) 13.00 Lunch Chairman: Andrea Cantini (University of Florence) 15.00 Michael Rathjen (University of Leeds) Contemporary perspectives on Hilbert's second problem and the Gödel's incompleteness theorems 16.00 Coffee break 16.15 Panel discussion 18.30 Closing session The meeting will be held at the Dept. of Philosophy in Florence, via Bolognese 52. |
Download leaflet (.pdf)
A. A. 2006-2007
A. A. 2004-2005
A. A. 2003-2004
SEMINARIO - TEMI AVANZATI DI LOGICA 2007/08
Calendario provvisorio
9 Novembre, ore 12
Lo scopo e i limiti della logica
G. Mazzoni, L. Mattei
Riferimenti Bibliografici: W. Hodges, "The scope and limits of logic",
in D. Jaquette et al., Philosophy of Logic (Handbook of the philosophy of science)
16 Novembre, ore 11
Axiomatizing Kripke's theory of truth
V. Halbach (Oxford - New College)
Rif. bil. e suggerimenti: V. Halbach, L. Horsten, "Axiomatizing Kripke's theory of truth", The Journal of Symbolic Logic, 71, 2006, pp. 677-712
S. Kripke, "Outline of a theory of truth", The Journal of Philosophy, 72, 690-716
Axiomatic theoires of truth, Stanford Encyclopedia of Philosohy, e voci correlate (url).
23 Novembre, ore 12
La logica nella filosofia
E. Leonardo Cucci, F. Dalvit
Rif. Bib.: J. van Bethem, "Logic in Philosophy",
in D. Jaquette et al., Philosophy of Logic (Handbook of the philosophy of science)
30 Novembre, ore 11
E' possibile una semantica costruttiva per gli enunciati empirici?
G. Usberti (Siena)
7 Dicembre, ore 12
Una breve storia della verità
F. Pero, F. Maggi
Rif. Bib.: S. Camlish, N. Damnjanovic, "A Brief History of Truth",
in D. Jaquette et al., Philosophy of Logic (Handbook of the philosophy of science)
14 Dicembre, ore 12
Una breve storia della verità
M. C. Grieco, R. Mana
Rif. Bib.: S. Camlish, N. Damnjanovic, "A Brief History of Truth",
in D. Jaquette et al., Philosophy of Logic (Handbook of the philosophy of science)
SEMINARIO - TEMI AVANZATI DI LOGICA 2007/08
REBECCA CACIOLI rebex@supereva.it
EVELINA LEONARDO CUCCI medea_e_antigone@hotmail.com
FRANCESCO DALVIT francesco.dalvit@yahoo.it
MARIA CONSIGLIA GRIECO marily.grieco@email.it
FRANCESCA MAGGI fran.is.it.you@hotmail.it
ROBERTO MANA mana_roberto@yahoo.it
LORENZO MATTEI lorenzoyorke@yahoo.it
GUIDO MAZZONI omguido@gmail.com
FRANCESCA PERO pero.francesca@libero.it
SEMINARIO - TEMI AVANZATI DI LOGICA 2006/07
I semestre: I teoremi di incompletezza
** NOVITÀ** Programma di esame **NOVITÀ**
(i) E. Casari, La Filosofia della Matematica del ‘900.
[Introduzione: pp.1-25. Letture: Russell, Herbrand, von Neumann, Goedel, pp.28-57]
(ii) T. Franzén, Goedel’s Theorem. An Incomplete Guide to Its Use and Abuse.
[Cap.2--Cap.3 (pp.9-76; Appendice: pp.155-163)]
Calendario
20 – 27 Ottobre
Introduzione: il contesto storico della scoperta di Gödel
Fonte principale: E. Casari, La matematica del ‘900
[Basel – Troise – Grieco]
presentazione 1 (Troise): file .ppt
presentazione 2 (Basel): file .ppt
presentazione 3 (Grieco): file .ppt
3 – 10 Novembre
I teoremi di incompletezza: forma ipotetica
Fonte princ.: T. Franzen, Gödel’s incompleteness theorem.
An incomplete guide to its use and abuse, §§ 2.1-2.3,2.6-2.7
[Del Curto – Mossi - Troise]
10 – 17 – 24 Novembre
Computabilità, sistemi formali, incompletezza (forma categorica), e semantica
Fonte princ.: T. Franzen, Gödel’s incompleteness theorem.
An incomplete guide to its use and abuse, cap. 3
[Pedroni – Dolfi – Thiella - Lombardi]
presentazione (Lombardi): file .ppt
1 – 8 Dicembre
I teoremi di Gödel e la filosofia della mente
Fonte princ.: T. Franzen, Gödel’s incompleteness theorem.
An incomplete guide to its use and abuse, cap. 6
[Mazzoni – Renzoni - Pagni - Mattei]
presentazione (Mazzoni): file .ppt
15 Dicembre
I teoremi di Gödel e la complessità
Fonte princ.: T. Franzen, Gödel’s incompleteness theorem.
An incomplete guide to its use and abuse, cap. 8
[Peruzzi]
Tutti gli incontri avranno luogo il venerdi, a partire dalle ore 11, in aula 5.
SEMINARIO - TEMI AVANZATI DI LOGICA 2006/07
II semestre
Calendario
9 Marzo
F. Poggiolesi
Tree-hypersequent calculi for modal propositional logic
16 Marzo
M. Maggesi
La formalizzazione al computer di un teorema del lambda calcolo
30 Marzo
R. Bruni
Introduction to the study of quasi-inductive definitions
20 Aprile, ore 9
E. Casari
Introduzione al pensiero di Bernard Bolzano, I
27 Aprile, ore 9
E. Casari
Introduzione al pensiero di Bernard Bolzano, II
27 Aprile, ore 11
G. Jäger
Operational set theory
11 Maggio
A. Bruschi
Logica e ricerca sociale
15 Maggio, ore 15
C. Cellucci
Il posto della conoscenza della natura
Tutti gli incontri avranno luogo presso il Dip.to di Filosofia in via Bolognese a partire dalle ore 11 (eccetto, come indicato, le lezioni del Prof. Casari e del Prof. Cellucci).
SEMINARIO - TEMI AVANZATI DI LOGICA 2006/07
I semestre: I teoremi di incompletezza
BASEL MYHUB baselmyhub@hotmail.com
GIANNI MOSSI konjiki_no_on@hotmail.com
EMANUELE DEL CURTO (contattabile all'indirizzo precedente)
ELENA PAGNI abadula@interfree.it
ROSA RENZONI rosare@hotmail.it
GUIDO MAZZONI jesus@hotmail.it
FABIO MIGLIORINI fabio.migliorini_@libero.it
MARIA CONSIGLIA GRIECO marily.grieco@email.it
LORENZO MATTEI lorenzoyorke@yahoo.it
ANGELO PEDRONI musul@hotmail.it
ALICE TROISE alice.troise@gmail.com
ROBERTO MANA mana_roberto@yahoo.it
REBECCA CACIOLI rebex@supereva.it
LETIZIA THIELLA letiziathiella@hotmail.it
ELENA LOMBARDI dulcinea14@libero.it
ANDREA DOLFI a.dolfi@tin.it