Fourth French PhilMath Workshop (FPMW 4) (formerly Paris-Nancy PhilMath Workshop)

October 4, 2012 - October 6, 2012
Collège de France & Ecole Normale Supérieur


View the Call For Papers


  • Collège de France (Paris)
  • IHPST (Paris)
  • SPHERE (Paris)
  • Université Paris 10
  • Archives Henri Poincaré (Nancy)
  • Université Blaise Pascal (Clermont-Ferrand)


Michael Detlefsen
University of Notre Dame
Sébastien Gandon
Blaise Pascal University
Gerhard Heinzmann
University of Lorraine
Hannes Leitgeb
Ludwig Maximilians Universität, München
Jean-Pierre Marquis
University of Montreal
Vladimir Voevodsky
Institute for Advanced Studies, Princeton

Topic areas

Talks at this conference

Add a talk


This is the fourth in an annual series of workshops on the philosophy of mathematics organized by a team of scholarsin France and elsewhere. The three-day meeting will feature both invited and contributed talks.

Thursday October 4th 2010 – IHPST — Grande Salle

9h15-9h30 Welcome address

9h30-11h00 Opening Talk: Hannes Leitgeb (Munich), Semantic vs. Set-Theoretic Paradoxes

11h15-12h45 Justin Clarke-Doane (Melburne), What is the Benacerraf Problem?

14h15-15h45 Gerhard Heinzmann (Nancy), Does the French Connection (Poincaré, Lautman) provide some insights facing the thesis that meta-mathematics is an exception to the slogan that mathematics concerns structures?

16h00-17h30 Casper Storm Hansen (Aberdeen), Brouwer's Free Choice Sequences

17h45-19h15 Gabriele Usberti (Siena), Intuitionism, the Paradox of Knowability and Empirical Negation

Friday October 5th 2010 – Univ. Paris Diderot — salle Klimt (Bât. Condorcet)

9h30-11h00 Sébastien Gandon (Clermont-Ferrand), Rota on Combinatorics and Philosophy

11h15-12h45 Marianna Antonutti (Bristol), Incompleteness and Absolute Provability

14h15-15h45 Edoardo Rivello (Pisa), Revision without ordinals

16h00-17h30 Jean-Pierre Marquis (Montreal), Canonical Maps and Category Theory – Or why categorical foundations are necessary

17h45-19h15 Olivia Caramello (Cambridge), The unification of mathematics via topos theory

Saturday October 6th 2012 – IHPST — Grande Salle

9h45-11h15 Emmylou Haffner (Paris and Notre Dame), Dedekind on the generality of arithmetic

11h30-13h00 Closing Talk: Mic Detlefsen (Notre Dame), Rigor and the Nature of Reasoning

Scientific Committee: Andrew Arana, Mark van Atten, Denis Bonnay, Paola Cantù, Gabriella Crocco, Michael Detlefsen, Jacques Dubucs, Sebastien Gandon, Brice Halimi, Gerhard Heinzmann, Paolo Mancosu, Philippe Nabonnand, Marco Panza, Fabrice Pataut, David Rabouin, Andrei Rodin, Stewart Shapiro, Ivahn Smadja, Jean-Jacques Szczeciniarz, Claudine Tiercelin, Sean Walsh

Contact: Mark (dot) vanAtten (at) univ-paris1 (dot) fr

Local organisers: Mark van Atten, Brice Halimi, Denis Bonnay, Fabrice Pataut, Marco Panza, Ivahn Smadja, Jean-JacquesSzczeciniarz

Supporting material

Add supporting material (slides, programs, etc.)




Who is attending?

No one has said they will attend yet.

Will you attend this event?

Let us know so we can notify you of any change of plan.