9th FPMW (2017)

9th FPMW 2017

La Neuvième Rencontre Française de Philosophie des Mathématiques est la neuvième édition du colloque annuel de philosophie des mathématiques organisé par une équipe de chercheurs français et étrangers, philosophes et mathématiciens.

Ce colloque est soutenu par :

Le colloque, d’une durée de trois jours, aura lieu du jeudi 5 octobre au samedi 7 octobre 2017 au Laboratoire d’Histoire des Sciences et de Philosophie – Archives Henri-Poincaré (Nancy). 

La rencontre sera précédé au même endroit par le colloque final du projet ANR-DFG Mathematics : Objectivity by Representation (https://sites.google.com/site/mathobre/) qui aura lieu le 4 octobre de 10h15 à 18h30 au même endroit.

 

 

COMITÉ D’ORGANISATION 2017

  • Valeria Giardino (AHP/CNRS)
  • Gerhard Heinzmann (AHP/UL)
  • Philippe Nabonnand (AHP/UL)
  • Baptiste Mélès (AHP/CNRS)

SOUTIEN AU COMITÉ D’ORGANISATION 2017

  • Anny Bégard
  • Pierre-Edouard Bour
  • Lydie Mariani

COMITÉ SCIENTIFIQUE 2017

  • Julien Bernard (Ceperc/AMU)
  • Valérie Debuiche (Ceperc/AMU)
  • Emmylou Haffner (Arbeitsgruppe Didaktik und Geschichte der Mathematik, SPHERE, Bergische Universität Wuppertal)
  • Brice Halimi (IRePh/Université Paris-Nanterre)
  • Thomas Hausberger (Université de Montpellier)
  • Sébastien Maronne (Institut de Mathématiques de Toulouse/Université de Toulouse Paul Sabatier)
  • Jean-Pierre Marquis (Université de Montréal)
  • Marco Panza (IHPST/CNRS)
  • Fréderic Patras (Laboratoire Jean-Alexandre Dieudonné/CNRS)
  • Francesca Poggiolesi (IHPST/CNRS)
  • Jean-Jacques Szczeciniarz (SPHERE/Paris 7).

PARTENAIRES

anrdfgulGDR

 

PROGRAMME

 

mercredi 4 octobre 2017

HEURES ÉVÉNEMENT (+)
10:15 – 11:15 De Re Knowledge in Mathematics (Salle Internationale (324)) – Marianna Antonutti Marfori (Munich Center for Mathematical Philosophy)  
11:15 – 12:15 Philosophy in practice, problem complexity and hard instances: Some foundational work for philosophers of mathematics (Salle Internationale (324)) – Cyrille Imbert (CNRS/LHSP-AHP)  
12:15 – 13:30 Déjeuner (hall)  
13:30 – 14:30 Formal Proof in Mathematical Practice (Salle Internationale (324)) – Danielle Macbeth (Haverford College)  
14:30 – 15:30 Visual Impact on Spatial Reasoning in Mathematics (Salle Internationale (324)) – Irina Starikova (University of São Paulo)  
15:30 – 16:00 Pause (Salle Internationale (324))  
16:00 – 17:00 Do the roads to the higher infinite lead anywhere? (Salle Internationale (324)) – Casper Storm Hansen (The Van Leer Jerusalem Institute)  
17:00 – 17:30 Pause (Salle Internationale (324))  
17:45 – 18:45 Frege was non Logicist (A04) – Marco Panza (CNRS/IHPST)  
20:00 – 23:00 Dîner pour les orateurs (A04)  

jeudi 5 octobre 2017

HEURES ÉVÉNEMENT (+)
09:30 – 10:15 Enregistrement – Café  
10:15 – 10:30 Accueil des participants (Salle Internationale (324))  
10:30 – 12:00 Representation vs projection: two views on the nature of mathematical knowledge (Salle Internationale (324)) – David Rabouin (CNRS/SPHERE)  
12:00 – 13:30 Cognitive complexity and mathematical problem solving (Salle Internationale (324)) – Markus Pantzar (University of Helsinki)  
13:30 – 14:45 Déjeuner (hall)  
14:45 – 16:15 Virtual temporality of geometric objects. (Around the Ricci flow). (Salle Internationale (324)) – Yves André (CNRS/ Institut des Mathématiques Jussieu-Paris Rive Gauche)  
16:15 – 16:30 Pause (Salle Internationale (324))  
16:30 – 18:00 Weyl, sets and arithmetical properties (Salle Internationale (324)) – Laura Crosilla (University of Leeds)  
20:00 – 23:00 Dîner pour les orateurs  

vendredi 6 octobre 2017

HEURES ÉVÉNEMENT (+)
09:30 – 11:00 Deducing false propositions from true ideas: Nieuwentijt on mathematical reasoning (Salle Internationale (324)) – Sylvia Pauw (Universiteit Gent)  
11:00 – 11:15 Pause (Salle Internationale (324))  
11:15 – 12:45 Semantic Indeterminacy, Classical Mathematics, and the Sorites (Salle Internationale (324)) – Hannes Leitgeb (University of Munich)  
12:45 – 14:00 Déjeuner (hall)  
14:00 – 15:30 Frege’s Begriffsschrift and logicism (Salle Internationale (324)) – Bertran San Millán (The Czech Academy of Sciences)  
15:30 – 17:00 The Axiomatization of Space in the Early Modern Age (Salle Internationale (324)) – Vincenzo de Risi (Max Planck Institute for the History of Science)  
17:00 – 17:15 Pause (Salle Internationale (324))  
17:15 – 19:00 Organisation du 10e FPMW (2018) – Réunion  
20:00 – 23:00 Dîner de gala  

samedi 7 octobre 2017

HEURES ÉVÉNEMENT (+)
09:30 – 11:00 Set theory and univalent foundations and their relative positions in the foundations of mathematics (G04) – Mirna Dzamonja (East Anglia Univ., Norwich)  
11:00 – 11:15 Pause (G04)  
11:15 – 12:45 Rationality in Mathematical Proofs (G04) – Yacin Hamami (Université Libre de Bruxelles) (joint work with Rebecca Morris, Stanford University)