Guide de la recherche en logique, méthodologie et philosophie des

COMITÉ NATIONAL FRANCAIS
D'HISTOIRE ET DE PHILOSOPHIE DES SCIENCES
16 rue Mazarine - F-75006 Paris
Guide de la recherche en logique, méthodologie et
philosophie des sciences en France
A Guide to Research in Logic, Methodology and
Philosophy of Science in France
2007
Conçu par/Conceived by
Claude Debru, Jean Gayon, Marcel Guillaume,
Gerhard Heinzmann, avec la collaboration de Karine Chemla
Réalisé par/Compiled by Pierre Edouard Bour
Avec le concours de/Supported by
Ministère des affaires étrangères (Paris) & Ambassade de France à Pékin
International Union of History and Philosophy of Science
Division of Logic, Methodology, and Philosophy of Science

TABLE DES MATIÈRES/TABLE OF CONTENTS
INTRODUCTION ............................................................................................................... 5
(Français) .......................................................................................................................................... 5
(English) ............................................................................................................................................7
SIGLES/ACRONYMS ....................................................................................................... 9
UNITÉS DE RECHERCHE/RESEARCH UNITS .................................... 13
Introduction ................................................................................................................................... 15
Centre d'histoire des sciences et des philosophies arabes et médiévales (CHSPAM) ........ 16
Centre de Recherche en Epistémologie Appliquée (CREA) .................................................. 17
Centre de Recherche en Informatique de Lens (CRIL) .......................................................... 18
Centre de Recherche Sens, Ethique, Société (CERSES) ......................................................... 19
Centre Georges Canguilhem ....................................................................................................... 20
Ethique et philosophie de la médecine et de la biologie ......................................................... 21
Groupe transdisciplinaire Histoire Philosophie Sciences (GHPS) ........................................ 22
Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) .................. 23
Institut de Recherches Interdisciplinaires sur les Sciences et la Technologie (IRIST) ....... 25
Institut Jean Nicod ....................................................................................................................... 26
Laboratoire d'Algorithmique, Complexité et Logique (LACL) .............................................. 27
Laboratoire de Mathématiques - Equipe de Logique (LAMA) .............................................. 28
Laboratoire de Philosophie et d'Histoire des Sciences - Archives Henri Poincaré (LPHS-
AHP) ............................................................................................................................................... 29
Laboratoire de Recherche sur les Sciences de la Matière (LARSIM) .................................... 31
Laboratoire d’Études du Phénomène Scientifique (LEPS) .................................................... 32
Logic, Interaction, Language and Computation (LILaC) ....................................................... 34
Méthodes formelles ...................................................................................................................... 35
PLUME .......................................................................................................................................... 36
Preuves – Programmes – Systèmes (PPS) ................................................................................. 37
Recherches Épistémologiques et Historiques sur les Institutions Scientifiques (REHSEIS) ...... 39
Signes linguistiques, grammaire et sens: algorithmique logique de la langue (SIGNES) ... 41
CHERCHEURS INDIVIDUELS/INDIVIDUAL RESEARCHERS 43
Introduction ................................................................................................................................... 45
THÈSES DE DOCTORAT/Ph.D. DISSERTATIONS ........................... 161
Introduction ................................................................................................................................ 163
LIENS ET ADRESSES/USEFUL LINKS AND ADDRESSES ......... 213

5
INTRODUCTION
(Français)
La France s’est dotée en 1956 d’un comité national d’histoire et de philosophie des
sciences (CNFHPS). Créé par l’Académie des sciences, il fut initialement présidé par Louis
de Broglie
1
. L’histoire de la création de ce comité fut étroitement liée à celle des unions
internationales. L’Union Internationale d’Histoire et de Philosophie des sciences (UIHPS)
fut en fait la seconde à être créée en 1955
2
. Abrité à l’Académie des sciences de Paris, ce
comité est indépendant relativement aux sociétés savantes, aux universités et organismes de
recherche. Il est chargé par les académies siégeant à Paris de représenter les intérêts de la
France auprès de l’Union Internationale d’Histoire et de Philosophie des Sciences, et de
toute autre structure internationale pertinente pour le domaine. Le comité comprend 75
membres, dont un tiers d’académiciens.
Le présent guide donne un état de la recherche en logique, méthodologie et philosophie
des sciences en France : unités de recherche, chercheurs individuels, thèses soutenues ou en
cours depuis 1998. Le schéma retenu est analogue à celui du Guide de l’histoire des sciences en
France, réalisé en 2005 à l’occasion du 22
e
Congrès de la Division Internationale d’Histoire
des Sciences tenu à Pékin en 2005
3
. Les deux guides visent à faciliter les échanges des
chercheurs français avec leurs collègues d’autres pays, en offrant une image aussi précise
que possible des institutions, des chercheurs, et de leurs travaux.
Le guide a été réalisé sur la base d’un questionnaire standardisé largement diffusé, que les
équipes et les individus ont rempli en ligne. Le ciblage des institutions et des individus a été
progressivement affiné en cours d’enquête, par le moyen de nouveaux appels, de
demandes de rectifications, et surtout grace à l’affichage public de la base de données
rendue accessible sur internet (http://www.univ-nancy2.fr/poincare/guideLPSF/). La liste des
équipes de recherche et des individus s’est ainsi affinée et élargie à mesure que l’enquête
progressait. Seules les unités de recherche et les chercheurs individuels ayant répondu
figurent dans le guide, sur la base des informations fournies par eux. Le Comité a veillé à
ce que ne soient inclus que des équipes et des individus dont une part significative de
l’activité de recherche relève du domaine DLMPS. Mais fondamentalement, c’est le souci
d’exhaustivité qui a prévalu, bien qu’à cet égard le résultat demeure insuffisant. Certaines
équipes et certains individus notoirement impliqués dans le domaine ne figurent pas, pour
des raisons contingentes ; nous n’avons inclus que des informations librement données en
vue du guide.
1 Le nom originel était « Comité d’histoire et de philosophie des sciences français ». En 2000, le nom fut
changé en « Comité national français d’histoire et de philosophie des sciences ». L’existence légale du comité
en tant qu’Association régie par la loi de 1901 ne prit effet qu’en 1957.
2 Voir : http://www.academie-sciences.fr/comites/comite_html/cnfhps_histoire.htm
3 Disponible sur : http://www.academie-sciences.fr/cnfhps.htm