a.a. 2010-2011
a.a. 2009-2010
a.a. 2008-2009
a.a. 2007-2008
a.a. 2005-2006
a.a. 2004-2005
Calendario degli incontri
28 settembre 2011
Paul Teller
(University of California, Davis)
Ontology
18 novembre 2011
Francesca Pero
(Università di Firenze)
La rappresentazione scientifica
2 dicembre 2011
"Teorie della Verità"
intervengono:
Kentaro Fujimoto
(University of Oxford)
Arguing for the axiomatic theories of truth
--and against the others--
Graham Leigh
(University of Oxford)
Revisiting the revision theory of truth
20 gennaio 2012
Leon Horsten
(University of Bristol)
Reflecting on the absolutely infinite
17 febbraio 2012
Vieri Benci
(Università di Pisa)
Probabilità non archimedea,
ovvero gli infinitesimi in natura
Mauro di Nasso
(Università di Pisa)
Numerosità
24 febbraio 2012
Giovanna Colombetti
(University of Exeter)
Quello che il linguaggio fa alle emozioni:
considerazioni fenomenologiche e sperimentali
30 marzo 2012
Thomas Mueller
(University of Utrecht)
The definition of determinism
5 aprile 2012
Alex Oliver
(University of Cambridge)
A theory of plural descriptions
13 aprile 2012
"Philosophy and Foundations of Mathematics"
intervengono:
Gerhard Jaeger
(IAM, Bern)
Predicativity
Maria Laura Crosilla
(University of Leeds)
On Richman's constructive mathematics
20 aprile 2012
Paolo Freguglia
(Università dell'Aquila)
Vieri Benci
(Università di Pisa)
Modelli e realtà.
Considerazioni sulla teoria della relatività
27 aprile 2012
"Modal Logics & Proof Theory"
intervengono:
Sara Negri
(University of Helsinki)
Design of proof systems: The pros and cons of harmony
Andreas Herzig
(CNRS)
Semantic tableaux and tableaux theorem provers
Giovanna Corsi
(Università di Bologna)
Indexed modalities
Paolo Maffezioli
(Università di Firenze)
Proof theory for epistemic logic of programs
4 maggio 2012
Francesco Paoli
(Università di Cagliari)
Paradossi della teoria degli insiemi e conseguenza logica
11 maggio 2012
Peter Schuster
(University of Leeds)
Proofs by induction
18 maggio 2012
Stefano Bonzio
(Università di Firenze)
Looking inside quantum algorithms
25 maggio 2012
Paolo Galeazzi
(Università di Firenze)
Comparing Models for Epistemic Game Theory
31 maggio 2012
Kalus Colanero
(Università di Firenze)
Decoherece and definite outcomes
21 giugno 2012
Paolo Crivelli
(Università di Ginevra)
Tipi di predicazione nel "Sofista" di Platone
Volker Halbach
(University of Oxford)
Sentences talking about themselves
Seminari 
