Seminario di Logica e Filosofia della Scienza
a.a. 2008/2009

a.a. 2007-2008
a.a. 2005-2006
a.a. 2004-2005

Programma

November 28/2008, 9 a.m.
Ettore Casari
Peano e le origini della metalogica

December 5/2008, 9 a.m.
Peter Schuster
(priv. doz.)
Dalla logica geometrica alla geometria algebrica

December 5/2008, 11 a.m.
Thomas Strahm
(Institut f. Informatik und Angewandte Mathematik, Bern)
Unfolding arithmetic

February 27/2009, 4.00 p.m.
Giovanni Sambin
(Università di Padova)
La fondazione minimalista della matematica

February 27/2009, 3.00 p.m.
Michael Esfeld
(Univ. of Lausanne)
Moderate structural realism

March 6/2009, 11.00 a.m.
Paolo Zellini
(Università di Roma 2)
Filosofia degli algoritmi

March 13/2009
Mini-workshop of Logic and Philosophy of Logic

9.00 a.m., Bianca Boretti
(Univ. di Milan)
Proof theory of temporal logics

11.00 a.m., Francesca Boccuni
(Univ. of Padova)
Plural Grundgesetze

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)

May 8/2009
Paolo Mancosu
(Berkeley)
La misura degli insiemi di numeri naturali:
la definizione di Cantor era inevitabile?

May 27/2009
Gerhard Jaeger
(IAM - Bern)
Sigma^1_1 choice in theories of sets and classes