Il s’agit de la septième édition du colloque annuel de philosophie des mathématiques organisé par une équipe de chercheurs français et étrangers. Cette édition est la première organisée par le GdR de Philosophie des Mathématiques(CNRS – INSHS).
Comité scientifique
- Andrew Arana (University of Illinois),
- Mark van Atten (Université Paris 4-Sorbonne, SND),
- Denis Bonnay (Université Paris X - Nanterre),
- Paola Cantù (CNRS, CEPERC),
- Gabriella Crocco (Aix-Marseille Université, CEPERC),
- Michael Detlefsen (Notre Dame University),
- Jacques Dubucs (CNRS, IHPST),
- Viviane Durand-Guerrier (Université de Montpellier 2, I3M),
- Henri Galinon (Université Blaise Pascal),
- Sebastien Gandon (Université Blaise Pascal, PHIER),
- Brice Halimi (Université Paris-Ouest, IREPh),
- Gerhard Heinzmann (Université de Lorraine, Archives Poincaré),
- Jean-Baptiste Joinet (Université jean Moulin, IRPhil),
- Vincent Jullien (Université de Nantes, CAPHI),
- Paolo Mancosu (Université de Berkeley),
- Sébastien Maronne (Université Paul Sabatier, IMT),
- Joël Merker (Université Paris-Sud, LMO),
- Philippe Nabonnand (Université de Lorraine, Archives Poincaré),
- Marco Panza (CNRS, IHPST),
- Fabrice Pataut (Université Paris 1 - Panthéon-Sorbonne, IHPST),
- Fréderic Patras (CNRS, Laboratoire Jean-Alexandre Dieudonné),
- Dominique Pradelle (Université Paris Sorbonne-Paris IV)
- David Rabouin (CNRS, SPHERE),
- Shahid Rahman (Université Lille 3, STL),
- Andrei Rodin (Institute of Philosophy of Russian Academy of Sciences),
- Stewart Shapiro (Ohio State University),
- Ivahn Smadja (Université Paris Diderot, SPHERE),
- Jean-Jacques Szczeciniarz (Université Paris Diderot, SPHERE),
- Claudine Tiercelin (Collège de France),
- Sean Walsh (University of California, Irvine).
Comité d'organisation
- Andrew Arana,
- Alberto Naibo (Université Paris 1 Panthéon-Sorbonne, IHPST),
- Marco Panza,
- David Rabouin,
- Ivahn Smadja,
- Jean-Jacques Szczeciniarz (directeur du GdR),
- Pierre Wagner (Université Paris 1 Panthéon-Sorbonne, IHPST).
Programme
Résumés en ligne prochainement
Jeudi 5 novembre,
Université Paris Diderot, salle des thèses, 580F (5e), hall E, puis hall F, bâtiment Halle aux farines, 10 rue Françoise Dolto, 75013 Paris"
- 9:30-11:00 Jean Petitot (EHESS)
- 11:15-12:45Emily Grosholz (Penn State Univ.), Reference and analysis in analytic number theory
- 12:45–14:15 Lunch break
- 14:15-15:45 Ralf Krömer (Univ. Wuppertal) Recent developments in the philosophy of category theory
- 16:00-17:30 Brendan Larvor (Univ. of Hertfordshire) The logic of informal proofs
Vendredi 6 novembre
salle de conférence, IHPST*
- 9:30-11:00 Brice Halimi (Univ. Paris Ouest, IRePh) Mathematical settings
- 11:15-12:45 Marianna Antonutti Marfori (Univ. Paris 1, IHPST) and Benedict Eastaugh (Univ. Aberdeen) What is ordinary mathematics ?
- 12:45–14:15 Lunch break
- 14:15-15:45 Alejandro Pérez Carballo (Univ. Massachusetts Amherst) Mathematics without representation
- 16:00- 17:30 Julien Page, (Univ. Paris Diderot, SPHERE) Panorama de problèmes d’une approche contemporaine dialectique des théories de Galois
Samedi 7 novembre
Université Paris Diderot, salle Luc Valentin, 454A*
- 9:30-11:00 Sean Walsh (UC Irvine) Predicativity, the Russell-Myhill paradox, and Church’s intensional logic
- 11:15-12:45 Giorgio Venturi (UNICAMP) On the naturalness of new axioms in set theory
Inscription
Entrée libre sur inscription auprès de fpmw7-2015@sciencesconf.org
