{"word_count": 612, "character_count": 4922}
Pr&#233;sentationResponsables&#160;: Sylvain Cabanacq, Emmylou Haffner, David RabouinCe groupe de travail vise &#224; constituer un espace informel de rencontre entre les doctorants de l&#8217;unit&#233;, dont les travaux de recherche portent sur le XIXe et le XXe, qu&#8217;ils soient historiens ou philosophes des math&#233;matiques, et un lieu de discussion et d&#8217;&#233;change avec des chercheurs, ainsi que des doctorants en math&#233;matiques et des &#233;tudiants du Master.  Aucun pr&#233;-requis n&#8217;est exig&#233; des participants&#160;: il s&#8217;agira au contraire de partager ses connaissances historiques, ses comp&#233;tences math&#233;matiques et ses points de vue, en prenant pour point de d&#233;part tant des articles r&#233;cents, qui seront discut&#233;s en commun, que des domaines math&#233;matiques (comme les repr&#233;sentations de groupe) ou des positions historiques et philosophiques plus &#171;&#160;classiques&#160;&#187; (Weyl, Lautman, &#8230;). Nous fonctionnerons, cette ann&#233;e, par s&#233;ries th&#233;matiques de sessions. Une grande partie de chaque s&#233;ance sera ainsi consacr&#233;e aux questions et &#224; la discussion.Programme 2012-2013Les s&#233;ances ont lieu le jeudi de 10h &#224; 13h, , en salle Rothko (412B). Universit&#233; Paris Diderot, b&#226;timent Condorcet, 4, rue Elsa Morante, 75013 Paris.Premier semestre20 septembre 2012S&#233;ance anim&#233;e par Sylvain CABANACQ : D&#8217;autres th&#233;ories fondationnelles : "Univalent foundations" et FOLDS18 octobreS&#233;ance anim&#233;e par Rapha&#235;l CARROY (Lausanne/Equipe de Logique de Paris Diderot): Introduction &#224; la th&#233;orie descriptive des ensembles8 novembreS&#233;ance anim&#233;e par Rapha&#235;l CARROY (Lausanne/Equipe de Logique de Paris Diderot) : De la hi&#233;rarchie analytique &#224; la th&#233;orie effective6 d&#233;cembreS&#233;ance anim&#233;e par Julien PAGE (SPHERE - ERC "Philosophy of quantuum gravity") : Correspondance de Galois et m&#233;canique quantique20 d&#233;cembreExpos&#233; d&#8217;Emily GROSHOLZ (Penn State University) : Problem solving in number theory17 janvier 2013 : Wittgenstein on mathematicsL&#8217;objectif de cette journ&#233;e est de soulever des probl&#232;mes li&#233;s aux remarques de Wittgenstein sur les math&#233;matiques. Elle est destin&#233;e aux &#233;tudiants et aux chercheurs qui s&#8217;int&#233;ressent &#224; Wittgenstein, mais aucune connaissance pr&#233;alable n&#8217;est requise.Les lectures recommand&#233;es sont :les Cours sur les Fondements des Math&#233;matiques (au moins le 1er cours),les Remarques sur les Fondements des Math&#233;matiques (2epartie, 1938 &#8211; sur Cantor).Matin : Expos&#233; de Robert CLARK (University of York, UK) : on concept-formation and facts of natureCriticising Cantor on the transfinite, Wittgenstein suggests we distinguish &#8216;determination of a concept&#8217; from &#8216;fact of nature&#8217;. I advance an account of Wittgenstein&#8217;s distinction as part of an overview of the development of numerical concepts which, I claim, helps to undercut and defuse realist/anti-realist debates about mathematics.Apr&#232;s-midi : Logique et Math&#233;matiques chez Wittgenstein14 :30 - 16 :00 Pascal BERTIN (Univ. paris Diderot, SPHERE)Afin de livrer des outils pour une approche synoptique de la pens&#233;e wittgensteinienne et un &#233;claircissement de la notion, absolument centrale, de "r&#232;gle grammaticale", nous ferons dans un premier temps le lien entre la "forme logique" du Tractatus et le "crit&#232;re logique" (ou "grammatical") des Investigations philosophiques. Nous serons alors en mesure de rendre compte du fait que la logique ne saurait, pour Wittgenstein, r&#233;pondre aux ambitions logicistes, et ce 1) parce qu&#8217;elle est de nature grammaticale, 2) en raison du statut particulier des "propositions" math&#233;matiques. Chacun de ces points demandera un &#233;claircissement propre, et le second nous am&#232;nera en outre &#224; poser plus clairement les premiers &#233;l&#233;ments d&#8217;une approche distinctive entre proc&#232;s logique et math&#233;matique.16 :00 - 17 :30 et Ramzi KEBAILI (Univ. paris Diderot, SPHERE) : Towards a Wittgensteinian Philosophy of Mathematics ?Second semestre31 janvierExpos&#233; de Igor LY (CEPERC) : L&#8217;unit&#233; de la philosophie des math&#233;matiques de Poincar&#233;21 f&#233;vrierExpos&#233; de Mark VAN ATTEN (IHPST) : G&#246;del and Intuitionism7 marsFernando GALVEZ (IHPST) : Structuralisme et la notion d&#8217;objet math&#233;matique21 marsBrice HALIMI (SPHERE) : Structuralisme et combinatoire28 marsErich RECK (UC Riverside) : Structuralism and the philosophy of mathematics17 avrilEtienne GHYS (&#201;cole Normale Sup&#233;rieure de Lyon) TBA16 mai10 :00&#8211;13 :00 Jeremy GRAY (Open University) TBA14 :30&#8211;17 :30 Renaud CHORLAY (SPHERE) TBAProgramme d&#233;taill&#233; en ligne