Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

COMITÉ NATIONAL FRANCAIS D'HISTOIRE ET DE PHILOSOPHIE DES SCIENCES 16 rue Mazar

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 Broglie1. 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 19552. 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 22e Congrès de la Division Internationale d’Histoire des Sciences tenu à Pékin en 20053. 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 Research in Logic, Methodology and Philosophy of science in France _____________________________________________________________________________________________________________________________________________ 6 L’élaboration du guide s’est révélée être une entreprise complexe, en raison de la grande hétérogénéité du champ « DLMPS », et de l’absence d’outil comparable préexistant. La communauté « DLMPS » a manifestement des contours plus difficiles à saisir que celle des historiens des sciences. Les historiens des sciences sont certes dispersés dans des disciplines extrêmement nombreuses, mais ils se reconnaissent sans peine comme « historiens des sciences ». Les chercheurs du domaine DLMPS, quoiqu’ils puissent en partie s’appuyer sur certaines disciplines fortement structurées, telles que la philosophie ou la logique, sont néanmoins tout aussi dispersés, mais, à la différence de l’histoire des sciences, ne se reconnaissent guère comme membres d’une communauté unique. Les pôles « logique » et « philosophie des sciences », outre qu’ils ont chacun des contours intellectuels et institutionnels très variés, renvoient globalement à des communautés largement hétérogènes. Il nous a été particulièrement difficile d’identifier les contours du pôle « logique », en raison peut-être d’une réticence de certains segments de la communauté des logiciens qui n’ont pas souhaité être identifiés dans un guide « DLMPS », ou n’en ont pas compris l’opportunité. Nous sommes conscients des imperfections de la brochure ici présentée, mais nous espérons que notre initiative, relayée par d’autres semblables dans d’autres pays ou régions du monde, stimulera les échanges internationaux en logique, méthodologie et philosophie des sciences. Ce guide n’aurait pas vu le jour sans le travail considérable réalisé par Pierre-Edouard Bour, ingénieur d’études au CNRS, dans l’équipe de recherche « Archives Poincaré » (CNRS et Université Nancy 2, dirigée par le Professeur Gerhard Heinzmann). Que Pierre- Edouard Bour et les Archives Poincaré soient ici vivement remerciés par le CNFHPS. Il n’a pas fallu moins d’un an, et une insatiable disponibilité, pour mettre en place le questionnaire, recueillir les informations, et les compiler. M. François Huger, responsable du fichier central des thèses françaises à Nanterre, est remercié pour l’information qu’il a extraite de sources passablement hétérogènes à l’intention du comité national. Le groupe des trois individus qui ont conçu et mis en œuvre le guide (Gayon, Guillaume, Heinzmann) exprime sa profonde gratitude envers Karine Chemla, qui au stade décisif l'a rejoint et l'a fait bénéficier de l'expérience incomparable acquise lors de l'élaboration du Guide de l'histoire des sciences en France édité en 2005. Nous remercions également Bernd Buldt, Richard Tieszen et Roger Pouivet pour avoir relu et corrigé les parties du guide rédigées en anglais. Enfin nous savons gré au Ministère des Affaires Étrangères et l’Ambassade de France à Pékin pour l’aide cruciale qu’ils ont fournie pour l’édition de la brochure. Claude Debru, Président du CNFHPS, Jean Gayon, Marcel Guillaume Gerhard Heinzmann, & Karine Chemla Recherche en logique, méthodologie et philosophie des sciences en France _____________________________________________________________________________________________________________________________________________ 7 INTRODUCTION (English) The French National Committee of History and Philosophy of Science (CNFHPS) was created by the Paris Academy of Science in 19564. The origins of this committee are closely related to the history of the international scientific unions. The second international union to be created in 1955 was indeed the « International Union of History and Philosophy of Science » (IUHPS)5. Housed by the Paris Academy of Science, the CNFPHS is independent of all learned societies, universities and research organizations. It is mandated by the academies in Paris to represent the French interests before the International Union of History and Philosophy of Science, and of any other international structure relevant for the domain of history and philosophy of science. The committee is composed of 75 members, one third of them being members of the different academies. The present guide provides data on the state of research in logic, methodology, and philosophy of science in France: research units significantly devoted to the domain of individual researchers, and PhD dissertations effectively defended since 1997, or in preparation. The general scheme is analogous to that of the Guide to the History of Science that was edited in 2005 on the occasion of the 22nd Congress of the Division of History of Science held in Beijing in 20056. The two guides aim at uploads/Science et Technologie/ guide-de-la-recherche-en-logique-methodologie-en-france 1 .pdf