{"word_count": 809, "character_count": 8141}
Pr&#233;sentationIl s&#8217;agit de la septi&#232;me &#233;dition du colloque annuel de philosophie des math&#233;matiques&#160;organis&#233; par une &#233;quipe de chercheurs fran&#231;ais et &#233;trangers. Cette &#233;dition est la premi&#232;re organis&#233;e par le GdR de Philosophie des Math&#233;matiques(CNRS &#8211; INSHS).&#160;Comit&#233; scientifiqueAndrew Arana (University of Illinois),Mark van Atten (Universit&#233; Paris 4-Sorbonne, SND),Denis Bonnay (Universit&#233; Paris X - Nanterre),Paola Cant&#249; (CNRS, CEPERC),Gabriella Crocco (Aix-Marseille Universit&#233;, CEPERC),Michael Detlefsen (Notre Dame University),Jacques Dubucs (CNRS, IHPST),Viviane Durand-Guerrier (Universit&#233; de Montpellier 2, I3M),Henri Galinon (Universit&#233; Blaise Pascal),Sebastien Gandon (Universit&#233; Blaise Pascal, PHIER),Brice Halimi (Universit&#233; Paris-Ouest, IREPh),Gerhard Heinzmann (Universit&#233; de Lorraine, Archives Poincar&#233;),Jean-Baptiste Joinet (Universit&#233; jean Moulin, IRPhil),Vincent Jullien (Universit&#233; de Nantes, CAPHI),Paolo Mancosu (Universit&#233; de Berkeley),S&#233;bastien Maronne (Universit&#233; Paul Sabatier, IMT),Jo&#235;l Merker (Universit&#233; Paris-Sud, LMO),Philippe Nabonnand (Universit&#233; de Lorraine, Archives Poincar&#233;),Marco Panza (CNRS, IHPST),Fabrice Pataut (Universit&#233; Paris 1 - Panth&#233;on-Sorbonne, IHPST),Fr&#233;deric Patras (CNRS, Laboratoire Jean-Alexandre Dieudonn&#233;),Dominique Pradelle (Universit&#233; Paris Sorbonne-Paris IV)David Rabouin (CNRS, SPHERE),Shahid Rahman (Universit&#233; Lille 3, STL),Andrei Rodin (Institute of Philosophy of Russian Academy of Sciences),Stewart Shapiro (Ohio State University),Ivahn Smadja (Universit&#233; Paris Diderot, SPHERE),Jean-Jacques Szczeciniarz (Universit&#233; Paris Diderot, SPHERE),Claudine Tiercelin (Coll&#232;ge de France),Sean Walsh (University of California, Irvine).Comit&#233; d'organisationAndrew Arana,Alberto Naibo (Universit&#233; Paris 1 Panth&#233;on-&#173;Sorbonne, IHPST),Marco Panza,David Rabouin,Ivahn Smadja,Jean-Jacques Szczeciniarz (directeur du GdR),Pierre Wagner (Universit&#233; Paris 1 Panth&#233;on-&#173;Sorbonne, IHPST).ProgrammeR&#233;sum&#233;s en ligne prochainementJeudi 5 novembre,Universit&#233; Paris Diderot, salle des th&#232;ses, 580F (5e), hall E, puis hall F, b&#226;timent Halle aux farines, 10 rue Fran&#231;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 theory12:45&#8211;14:15 Lunch break14:15-15:45 Ralf Kr&#246;mer (Univ. Wuppertal) Recent developments in the philosophy of category theory16:00-17:30 Brendan Larvor (Univ. of Hertfordshire)&#160;The logic of informal proofsVendredi 6 novembresalle de conf&#233;rence, IHPST*9:30-11:00 Brice Halimi (Univ. Paris Ouest, IRePh)&#160;Mathematical settings11:15-12:45 Marianna Antonutti Marfori (Univ. Paris 1, IHPST)&#160;and Benedict Eastaugh (Univ. Aberdeen) What is ordinary mathematics ?12:45&#8211;14:15 Lunch break14:15-15:45 Alejandro P&#233;rez Carballo (Univ. Massachusetts Amherst) Mathematics without representation16:00- 17:30 Julien Page, (Univ. Paris Diderot, SPHERE)&#160;Panorama de probl&#232;mes d&#8217;une approche contemporaine dialectique des th&#233;ories de GaloisSamedi 7 novembreUniversit&#233; Paris Diderot, salle Luc Valentin, 454A*9:30-11:00 Sean Walsh (UC Irvine) Predicativity, the Russell-Myhill paradox, and Church&#8217;s intensional logic11:15-12:45 Giorgio Venturi (UNICAMP) On the naturalness of new axioms in set theoryInscriptionEntr&#233;e libre sur inscription aupr&#232;s de&#160;fpmw7-2015@sciencesconf.orgPresentationThe seventh instance of annual philosophy of mathematics workshop is&#160;organised by a team of french and foreign researchers. This instance is the first organized by the research group philosophy of mathematics&#160;(CNRS &#8211; INSHS).Scientific committeeAndrew Arana (University of Illinois),Mark van Atten (Universit&#233; Paris 4-Sorbonne, SND),Denis Bonnay (Universit&#233; Paris X - Nanterre),Paola Cant&#249; (CNRS, CEPERC),Gabriella Crocco (Aix-Marseille Universit&#233;, CEPERC),Michael Detlefsen (Notre Dame University),Jacques Dubucs (CNRS, IHPST),Viviane Durand-Guerrier (Universit&#233; de Montpellier 2, I3M),Henri Galinon (Universit&#233; Blaise Pascal),Sebastien Gandon (Universit&#233; Blaise Pascal, PHIER),Brice Halimi (Universit&#233; Paris-Ouest, IREPh), Gerhard Heinzmann (Universit&#233; de Lorraine, Archives Poincar&#233;),Jean-Baptiste Joinet (Universit&#233; jean Moulin, IRPhil),Vincent Jullien (Universit&#233; de Nantes, CAPHI),Paolo Mancosu (Universit&#233; de Berkeley),S&#233;bastien Maronne (Universit&#233; Paul Sabatier, IMT),Jo&#235;l Merker (Universit&#233; Paris-Sud, LMO),Philippe Nabonnand (Universit&#233; de Lorraine, Archives Poincar&#233;),Marco Panza (CNRS, IHPST),Fabrice Pataut (Universit&#233; Paris 1 - Panth&#233;on-Sorbonne, IHPST),Fr&#233;deric Patras (CNRS, Laboratoire Jean-Alexandre Dieudonn&#233;),Dominique Pradelle (Universit&#233; Paris Sorbonne-Paris IV),David Rabouin (CNRS, SPHERE),Shahid Rahman (Universit&#233; Lille 3, STL),Andrei Rodin (Institute of Philosophy of Russian Academy of Sciences),Stewart Shapiro (Ohio State University),Ivahn Smadja (Universit&#233; Paris Diderot, SPHERE),Jean-Jacques Szczeciniarz (Universit&#233; Paris Diderot, SPHERE),Claudine Tiercelin (Coll&#232;ge de France),Sean Walsh (University of California, Irvine).Organisation committeeAndrew Arana,Alberto Naibo (University Paris 1 Panth&#233;on-&#173;Sorbonne, IHPST),Marco Panza,David Rabouin,Ivahn Smadja,Jean-Jacques Szczeciniarz (dir. of GdR),Pierre Wagner (University Paris 1 Panth&#233;on-&#173;Sorbonne, IHPST).ProgrammeAbstracts soon onlineThursday November&#160;5niversit&#233; Paris Diderot, salle des th&#232;ses, 580F (5e), hall E, puis hall F, b&#226;timent Halle aux farines, 10 rue Fran&#231;oise Dolto, 75013 Paris"9:30-11:00&#160;Jean Petitot&#160;(EHESS)&#160;tba11:15-12:45&#160;Emily Grosholz (Penn State Univ.)&#160;Reference and analysis in analytic number theory12:45&#8211;14:15 Lunch break14:15-15:45&#160;Ralf Kr&#246;mer (Univ. Wuppertal) Recent developments in the philosophy of category theory16:00-17:30&#160;Brendan Larvor (Univ. of Hertfordshire)&#160;The logic of informal proofsFriday November 6IHPST, Conference Room*9:30-11:00&#160;Brice HALIMI&#160; (Univ. Paris Ouest, IRePh)&#160;Mathematical settings11:15-12:45&#160;Marianna Antonutti Marfori (Univ. Paris 1, IHPST)&#160;and Benedict Eastaugh (Univ. Aberdeen)&#160;What is ordinary mathematics ?12:45&#8211;14:15 Lunch break14:15-15:45&#160;Alejandro P&#233;rez Carballo&#160;(Univ. Massachusetts Amherst)&#160;Mathematics without representation16:00-17:30&#160;Julien Page (Univ. Paris Diderot, SPHERE)&#160;Panorama de probl&#232;mes d&#8217;une approche contemporaine dialectique des th&#233;ories de GaloisSaturday November 7University Paris Diderot, room Luc Valentin, 454A*9:30-11:00&#160;Sean Walsh (UC Irvine)&#160;Predicativity, the Russell-Myhill paradox, and Church&#8217;s intensional logic11:15-12:45&#160;Giorgio Venturi (UNICAMP)&#160;On the naturalness of new axioms in set theoryRegistrationFree admission after registration&#160;:&#160;fpmw7-2015@sciencesconf.orgPractical informationsTHURSDAY&#160;:&#160;Amphi Buffon, University Paris Diderot, building Buffont, 15 rue H&#233;l&#232;ne Brion, 75013 Paris.SATURDAY&#160;: Room Luc Valentin, 454A (level 4), University Paris Diderot, building Condorcet, 10 rue Alice Domon et L&#233;onie Duquet, 75013 Paris. Map of the University Paris Diderot.&#160;UNIVERSITY PARIS DIDEROT Metro line 14 &#38; RER C / Stop&#160;: Biblioth&#232;que Fran&#231;ois Mitterrand&#160;; ligne 6 / Stop&#160;: Quai de la Gare Bus 64 / Stop&#160;: Biblioth&#232;que rue Mann Bus 62 &#38; 89 / Stop&#160;: Bibliotheque rue Mann Bus 325 / Stop&#160;: WattFRIDAY Conference Room, IHPST, 13, rue du Four, 75006 Paris Metro line 4 / Stop&#160;: Odeon Metro ligne 10 / Stop&#160;: Mabillon Bus 70, 87, 86, 96 University Paris 1, 12 place du Pantheon, 75005 Paris&#160;