May 2009

May 2009


4th MAY 2009 REHSEIS  Seminaire sur Recherches sur L’Abstraction

 Sebastien GANDON (Univ Clermont-Ferrand) :

Abstraction Mathematique et Strategie Nominaliste a partir d’Hartry Field

See Link to REHSEIS Information on Seminar


5th MAY 2009 :  Second of A Cycle of 5 Conferences Paris City of Sciences 18:30

 Les Neurones, La Conscient et L’Inconscient

 Lionel Maccache (Neurologist) : L’Inconscient Neuronal


May 5th-8th 2009 : Uppsala, Sweden

Philosophy and Foundations of Mathematics : Epistemological and Ontological Aspects

A Conference dedicated to Per Martin-Lof on his retirement

 See Link to Abstracts of talks.  Details to be added


9th MAY 2009 (ENS : Salle S. Weil) 11 :00 am Seminar MaMuPhi

Speaker and Title TBA

9th MAY 2009 : ENS 15:00-18:00 hrs : Ecole MaMuPhi

René Guitart : Théorie du nouveau [1][4] 

[texte préparatoire]



 See Link to Abstracts and maMuPhi information.  Details to be added


11th May 2009, 17h30-19h30, Grande Salle, IHPST.

IHPST Seminar in Philosophy of Math

Juliet Floyd (Philosophie, Boston University)
 ” Images, Probability and Aspect perception in the Philosophy of Wittgenstein”   (mf0509)


12th MAY 2009 : Third of A Cycle of 5 Conferences : Paris City of Sciences 18:30

 Les Neurones, La Conscient et L’Inconscient

 Jean-Pol TASSIN (Neurobiologist College de France) :Les neuromediateurs et La Conscience



14th-16th May 2009 : Colloquium : Carnap’s Ideal of Explanation : Univ Paris 1. Pantheon-Sorbonne

 Thursday, May 14th 2009

8:50 – Pierre Wagner (Université Paris 1 Panthéon-Sorbonne, IHPST)

9:00 – 9:55 Wolfgang Kienzler (Universität Jena)
On Carnap’s Ideal of Philosophy. The Scope of Tolerance
and the Double-Faced Ideal of Explication

10:00 – 10:55 Juliet Floyd (Boston University)
Carnap, Turing and Wittgenstein: Contrasting Notions of Analysis

11:15 – 12:10 Juha Manninen (University of Helsinki)
The Troubled Communication with Wittgenstein in the Vienna Circle


14:00 – 14:55 Michael Beaney (University of York)
Explication and the Paradox of Analysis

15:00 – 15:55 Richard Creath (Arizona State University)
It’s Only Natural

16:15 – 17:10 Erich Reck (University of California, Riverside)
Carnapian Explication and its Rivals

17:15 – 18:10 Xavier Verley (Université de Toulouse le Mirail)
Interpretation, Explication, and Logic of Science

Friday, May 15th 2009

9:00 – 9:55 Alan Richardson (University of British Columbia)
Logic as Technology, Metalogic as Metrology

10:00 – 10:55 Thomas Uebel (University of Manchester)
On the Relation between the Logic and the Pragmatics of Science

11:15 – 12:10 Delphine Chapuis-Schmitz (IHPST, CNRS, Paris)
In Defense of Rational Reconstruction


*14:00 – 14:55 Steve Awodey (Carnegie Mellon University)
Explicating ‘Analytic’

*15:00 – 15:55 Daniel Isaacson (University of Oxford)
Carnap’s Conception of Mathematics as Analytic

16:15 – 17:10 Philippe de Rouilhan (IHPST, CNRS, Paris)
Carnap and the Semantical Explication of Truth and Logical Consequence

Saturday, May 16th 2009

*9:00 – 9:55 Peter Hylton (University of Illinois at Chicago)
Quine and the Aufbau: the Problem of Objective Knowledge

*10:00 – 10:55 Gottfried Gabriel (Universität Jena)
Carnap, Pseudo-Problems, and Ontological Questions

11:15 – 12:10 Pierre Wagner (IHPST, Université Paris 1)
Natural Languages, Formal Languages, and Explication


14:00 – 14:55 Thomas Mormann (University of the Basque Country)
Enlightenment and Formal Romanticism –
Carnap’s Account of Philosophy as Explication

15:00 – 15:55 Jacques Bouveresse (Collège de France, Paris)
Carnap and the Legacy of Aufklärung

16:15 – 17:10 A.W. Carus (Chicago)
Engineers and Drifters




18th May 2009  14:00-16:00 hrs : IHPST Seminaire Philform :

Balder ten Cate (Amsterdam) Abstract Model Theory below First Order Logic

See Link to Abstract of Talk

Dietmar Berwanger (ENS) : Games and Logical Structure

See Link to Abstract of Talk.    Details to be added


18th-19th MAY 2009 :  REHSEIS Seminar in History and Philosophy of Mathematics

Study Day in Framework of ANR Project : Histoire des Tables Numeriques: Salle de réunion de REHSEIS

Lundi 18 mai 2009

9 h 30 – Présentation du projet HTN et du programme des deux journées

10 h – Les tables balistiques d’Euler-Otto (Dominique Tournès, université de la Réunion et REHSEIS)

See link to  Résume/Abstract

11 h 30 – Tables de marées au temps des Tide Predictors (Marie-José Durand-Richard, université Paris 8 et REHSEIS)

See link to Résumé/Abstract

14 h 30 – Use and Development of Graphical Tables in German Industry (Renate Tobies, Technische Universität Braunschweig)   See Link to Résumé/Abstract

16 h – Comment choisir un plan d’échantillonnage en contrôle statistique des fabrications : courbes d’efficacité ou tables numériques ? (1925-1945) (Denis Bayart, Centre de recherche en gestion, École polytechnique et CNRS).

See Résumé/Abstract 

Mardi 19 mai 2009

10 h 30 – Les listes métrologiques de Ras-Shamra/Ougarit, à la fin de l’âge du Bronze récent, dans leur contexte épigraphique et archéologique (Étienne Bordreuil, Laboratoire des Études Sémitiques Anciennes – L.E.S.A.)

See Résumé/Abstract

14 h – Les Tabule magne de Jean de Lignières (Matthieu Husson, École Pratique des Hautes Études, IVe section, Paris)  See Résumé/Abstract

16 h – Bilan des deux journées et réunion de travail du groupe HTN (réunion ouverte aux personnes intéressées)



19th MAY 2009 : Fourth of A Cycle of 5 Conferences Paris City of Sciences 18:30

Les Neurones, La Conscient et L’Inconscient

 Steven LAUREYS  (Neurologist) :  Quelle conscience durant le coma, L’Anaesthesie, Le Sommeil ?


19th May 2009  :  17h30-19h30, Grande Salle, IHPST.

IHPST Seminar in Philosophy of math.

 Juliet Floyd (Philosophie, Boston University) : “In Logic there are no surprises” : A Re-evaluation of The Tractatus





May 24-25 2009 :   Kansas State University  : Graduate Research Conference In Algebra and Representation Theory

Details to be added


May 26th 2009 : IP Workshop on Proof : Mathematical Knowledge, Sense and Context

14:00-18:00 Salle Campanile Grands Moulins Paris VII

 Talk 1 by Juliet FLOYD : Wittgenstein Godel & Turing

Talk 2 by Jeremy AVIGAD : The Role of Proof in Modern Mathematics


26th-30th May 2009 :   Paderborn : Workshop on Triangulated Categories and Singularities

 Details to follow                                                                                                                               (mf o509)


 May 29th 2009 :  ENS Salle des Actes  :

Vagueness and Decision Theory Workshop