Vous êtes sur la page 1sur 216

COMIT NATIONAL FRANCAIS D'HISTOIRE ET DE PHILOSOPHIE DES SCIENCES

16 rue Mazarine - F-75006 Paris

Guide de la recherche en logique, mthodologie et philosophie des sciences en France A Guide to Research in Logic, Methodology and Philosophy of Science in France
2007

Conu par/Conceived by Claude Debru, Jean Gayon, Marcel Guillaume, Gerhard Heinzmann, avec la collaboration de Karine Chemla

Ralis par/Compiled by Pierre Edouard Bour

Avec le concours de/Supported by Ministre des affaires trangres (Paris) & Ambassade de France Pkin

International Union of History and Philosophy of Science Division of Logic, Methodology, and Philosophy of Science

TABLE DES MATIRES/TABLE OF CONTENTS


INTRODUCTION ............................................................................................................... 5
(Franais) .......................................................................................................................................... 5 (English) ............................................................................................................................................7

SIGLES/ACRONYMS ....................................................................................................... 9 UNITS DE RECHERCHE/RESEARCH UNITS .................................... 13


Introduction ................................................................................................................................... 15 Centre d'histoire des sciences et des philosophies arabes et mdivales (CHSPAM) ........ 16 Centre de Recherche en Epistmologie Applique (CREA) .................................................. 17 Centre de Recherche en Informatique de Lens (CRIL) .......................................................... 18 Centre de Recherche Sens, Ethique, Socit (CERSES) ......................................................... 19 Centre Georges Canguilhem ....................................................................................................... 20 Ethique et philosophie de la mdecine 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 Mathmatiques - Equipe de Logique (LAMA) .............................................. 28 Laboratoire de Philosophie et d'Histoire des Sciences - Archives Henri Poincar (LPHSAHP) ............................................................................................................................................... 29 Laboratoire de Recherche sur les Sciences de la Matire (LARSIM) .................................... 31 Laboratoire dtudes du Phnomne Scientifique (LEPS) .................................................... 32 Logic, Interaction, Language and Computation (LILaC) ....................................................... 34 Mthodes formelles ...................................................................................................................... 35 PLUME .......................................................................................................................................... 36 Preuves Programmes Systmes (PPS) ................................................................................. 37 Recherches pistmologiques 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

THSES DE DOCTORAT/Ph.D. DISSERTATIONS ........................... 161


Introduction ................................................................................................................................ 163

LIENS ET ADRESSES/USEFUL LINKS AND ADDRESSES ......... 213

INTRODUCTION
(Franais) La France sest dote en 1956 dun comit national dhistoire et de philosophie des sciences (CNFHPS). Cr par lAcadmie des sciences, il fut initialement prsid par Louis de Broglie1. Lhistoire de la cration de ce comit fut troitement lie celle des unions internationales. LUnion Internationale dHistoire et de Philosophie des sciences (UIHPS) fut en fait la seconde tre cre en 19552. Abrit lAcadmie des sciences de Paris, ce comit est indpendant relativement aux socits savantes, aux universits et organismes de recherche. Il est charg par les acadmies sigeant Paris de reprsenter les intrts de la France auprs de lUnion Internationale dHistoire et de Philosophie des Sciences, et de toute autre structure internationale pertinente pour le domaine. Le comit comprend 75 membres, dont un tiers dacadmiciens. Le prsent guide donne un tat de la recherche en logique, mthodologie et philosophie des sciences en France : units de recherche, chercheurs individuels, thses soutenues ou en cours depuis 1998. Le schma retenu est analogue celui du Guide de lhistoire des sciences en France, ralis en 2005 loccasion du 22e Congrs de la Division Internationale dHistoire des Sciences tenu Pkin en 20053. Les deux guides visent faciliter les changes des chercheurs franais avec leurs collgues dautres pays, en offrant une image aussi prcise que possible des institutions, des chercheurs, et de leurs travaux. Le guide a t ralis sur la base dun 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 denqute, par le moyen de nouveaux appels, de demandes de rectifications, et surtout grace laffichage public de la base de donnes rendue accessible sur internet (http://www.univ-nancy2.fr/poincare/guideLPSF/). La liste des quipes de recherche et des individus sest ainsi affine et largie mesure que lenqute progressait. Seules les units de recherche et les chercheurs individuels ayant rpondu 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 lactivit de recherche relve du domaine DLMPS. Mais fondamentalement, cest le souci dexhaustivit qui a prvalu, bien qu cet gard le rsultat demeure insuffisant. Certaines quipes et certains individus notoirement impliqus dans le domaine ne figurent pas, pour des raisons contingentes ; nous navons inclus que des informations librement donnes en vue du guide.

Le nom originel tait Comit dhistoire et de philosophie des sciences franais . En 2000, le nom fut chang en Comit national franais dhistoire et de philosophie des sciences . Lexistence lgale du comit en tant quAssociation rgie par la loi de 1901 ne prit effet quen 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


_____________________________________________________________________________________________________________________________________________

Llaboration du guide sest rvle tre une entreprise complexe, en raison de la grande htrognit du champ DLMPS , et de labsence doutil comparable prexistant. La communaut DLMPS a manifestement des contours plus difficiles saisir que celle des historiens des sciences. Les historiens des sciences sont certes disperss dans des disciplines extrmement nombreuses, mais ils se reconnaissent sans peine comme historiens des sciences . Les chercheurs du domaine DLMPS, quoiquils puissent en partie sappuyer sur certaines disciplines fortement structures, telles que la philosophie ou la logique, sont nanmoins tout aussi disperss, mais, la diffrence de lhistoire des sciences, ne se reconnaissent gure comme membres dune communaut unique. Les ples logique et philosophie des sciences , outre quils ont chacun des contours intellectuels et institutionnels trs varis, renvoient globalement des communauts largement htrognes. Il nous a t particulirement difficile didentifier les contours du ple logique , en raison peut-tre dune rticence de certains segments de la communaut des logiciens qui nont pas souhait tre identifis dans un guide DLMPS , ou nen ont pas compris lopportunit. Nous sommes conscients des imperfections de la brochure ici prsente, mais nous esprons que notre initiative, relaye par dautres semblables dans dautres pays ou rgions du monde, stimulera les changes internationaux en logique, mthodologie et philosophie des sciences. Ce guide naurait pas vu le jour sans le travail considrable ralis par Pierre-Edouard Bour, ingnieur dtudes au CNRS, dans lquipe de recherche Archives Poincar (CNRS et Universit Nancy 2, dirige par le Professeur Gerhard Heinzmann). Que PierreEdouard Bour et les Archives Poincar soient ici vivement remercis par le CNFHPS. Il na pas fallu moins dun an, et une insatiable disponibilit, pour mettre en place le questionnaire, recueillir les informations, et les compiler. M. Franois Huger, responsable du fichier central des thses franaises Nanterre, est remerci pour linformation quil a extraite de sources passablement htrognes lintention du comit national. Le groupe des trois individus qui ont conu et mis en uvre le guide (Gayon, Guillaume, Heinzmann) exprime sa profonde gratitude envers Karine Chemla, qui au stade dcisif l'a rejoint et l'a fait bnficier de l'exprience 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 rdiges en anglais. Enfin nous savons gr au Ministre des Affaires trangres et lAmbassade de France Pkin pour laide cruciale quils ont fournie pour ldition de la brochure. Claude Debru, Prsident du CNFHPS, Jean Gayon, Marcel Guillaume Gerhard Heinzmann, & Karine Chemla

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

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 facilitating the exchanges between French scholars and their colleagues in other countries, by providing detailed information about the institutions, the researchers, and their work. The guide has been compiled on the basis of a standardized questionnaire that has been widely distributed to research units and to individuals, who were asked to fill it out on line. The targeting of institutions and individuals has been progressively improved through repeated calls, requests for rectification, and, above all, thanks to the public posting of the database on the internet (http://www.univ-nancy2.fr/poincare/guideLPSF/). The list of the research teams and of the individual researchers has thus been improved as the enquiry progressed. Only the research units and the individual researchers who responded appear in the guide, on the basis of the information provided by them. The Committee was particularly attentive to including only research teams and individuals who could prove that a significant part of their activity (though not necessarily exclusive or even predominant) belonged to the domain of DLMPS. Fundamentally, however, the objective of completeness prevailed, although, from this point of view, the result remains insufficient. Several well-known research teams and individuals do not appear in the guide, for contingent reasons; we have included only freely provided information.
4

The original name was Comit dHistoire et de Philosophie des Sciences Franais . In 2000, it was relabelled ( Comit National Franais dHistoire et de Philosophie des Sciences (CNFHPS). Legally, the Committee began to exist as a non-profit association only in 1957. 5 See : http://www.academie-sciences.fr/comites/comite_html/cnfhps_histoire.htm 6 Available on : http://www.academie-sciences.fr/cnfhps.htm

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Production of the guide proved to be a complex enterprise, because of the important heterogeneity of the field of DLMPS , and of the absence of a similar preexisting tool. The boundaries of the DLMPS community are more difficult to appreciate than those of the community of history of science. True, historians of science are dispersed in numerous and different disciplinary contexts. But they all recognize themselves as historians of science . In contrast, researchers of the DLMPS domain can rely on relatively well-structured disciplines, such as philosophy and logic, but they are in practice as much dispersed as historians of science are, and, in addition, they do not all recognize each other as members of a single intellectual community. The logical and the philosophical pole are not only varied as such from both an institutional and an intellectual point of view but they also define two communities that are largely heterogeneous. It was particularly difficult to identify the content of the Logic pole, perhaps because of a certain reluctance of some segments of the community who did not want to be identified in a DLMPS guide, or did not see its relevance to their own agenda. We are fully aware of the imperfections of the present booklet. But we hope that our initiative, in conjunction with other similar attempts in other countries or regions of the world, will definitely foster the development of international exchanges in the domains of logic, methodology, and philosophy of science. This guide would not have existed without the considerable work of Pierre-Edouard Bour, ingnieur dtudes in CNRS, assistant manager in the research unit Archives Poincar (CNRS & Universit Nancy 2; dir. Prof. Gerhard Heinzmann). Let PierreEdouard Bour and the Archives Poincar be warmly thanked by the CNFHPS. No less than a full year of work, and his endless availability were necessary to conceive, test, and improve the questionnaire, to properly distribute it, and to compile the information that was received. Mr. Franois Huger, director of the Fichier central des thses (national file of PhDs), is thanked for the information that he has extracted from heterogeneous sources for the CNFHPS. The three people who handled the process (Gayon, Guillaume, Heinzmann) are grateful to Karine Chemla for allowing them to benefit from her unique experience drawn from the elaboration of the 2005 Guide to the History of Science. We also thank Bernd Buldt, Richard Tieszen and Roger Pouivet for their corrections on the English parts of this document. Finally, we are grateful to the French Ministery of Foreign Affairs and to the French Embassy in Beijing for the crucial aid that they gave for the printing of the guide. Claude Debru, President of CNFHPS, Jean Gayon, Marcel Guillaume Gerhard Heinzmann, & Karine Chemla

SIGLES / ACRONYMS

ATER C2SO CEA CEPERC CERSES CESEF CHSPAM CIRIP CNFHPS CNRS CR CREA CRIL DR EA EHESS ENGREF ENS Ens. Sec. ERIM ERRAPHIS ERSS FRE GEMAS GHPS GREGHEC GREPH GRESE HEC

Attach Temporaire dEnseignement et de Recherche Laboratoire Communication, Culture et Socit Commissariat lEnergie Atomique Centre dEpistmologie et dErgologie Comparative Centre de Recherche Science, Ethique, Socit Centre pour la Synthse d'une Epistmologie Formelle Centre d'Histoire des Sciences et des Philosophies Arabes et Mdivales Centre International de Recherche Interdisciplinaire en Psychiatrie Comit National Franais dHistoire et de Philosophie des Sciences Centre National de la Recherche Scientifique Charg de Recherche Centre de Recherche en Epistmologie Applique Centre de Recherche en Informatique de Lens Directeur de Recherche Equipe dAccueil Ecole des Hautes Etudes en Sciences Sociales Ecole Nationale du Gnie Rural, des Eaux et des Forts Ecole Normale Suprieure Enseignant du Secondaire Equipe de Recherche en Informatique et Mathmatiques Equipe de Recherches sur les Rationalits Philosophiques et les Savoirs Equipe de Recherche en Syntaxe et Smantique Formation de Recherche en Evolution Groupe d'tude des Mthodes de l'Analyse Sociologique Groupe transdisciplinaire Histoire Philosophie Sciences Groupement de Recherche et dEtudes en Gestion HEC Groupe de Recherche en Epistmologie Politique et Historique Groupe de Recherches Epistmologiques et Socio-Economiques Ecole des Hautes Etudes Commerciales

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

IE IEP IHPST IJN INPT INRA INRIA INSA IR IRCAM IRIST IRIT IUFM IUT LaBRI LACL LAMA LARSIM LEF LEF LEPS LIENS LILaC LINA LIP LIRDHIST LITA LIUM LLAIC LLCP LMNO LORIA LPHS AHP MAE MCF MSH PH PHARE PHIER

Ingnieur dEtudes Institut dEtudes Politiques Institut dHistoire et de Philosophie des Sciences et des Techniques Institut Jean Nicod Institut National Polytechnique de Toulouse Institut National de la Recherche Agronomique Institut National de Recherche en Informatique et en Automatique Institut National des Sciences Appliques Ingnieur de Recherche Institut de Recherche et Coordination Acoustique/Musique Institut de Recherches Interdisciplinaires sur les Sciences et la Technologie Institut de Recherche en Informatique de Toulouse Institut Universitaire de Formation des Matres Institut Universitaire Technologique Laboratoire Bordelais de Recherche en Informatique Laboratoire dAlgorithmique, Complexit et Logique Laboratoire de Mathmatiques Laboratoire de Recherche sur les Sciences de la Matire Laboratoire dEconomie Forestire Laboratoire dEconomie Forestire Laboratoire dEtudes du Phnomne Scientifique Laboratoire d'Informatique de l'Ecole Normale Suprieure Logic, Interaction, Language and Computation Laboratoire dInformatique de Nantes Atlantique Laboratoire de lInformatique du Paralllisme Laboratoire Interdisciplinaire de Recherche en Didactique et en Histoire des Sciences et des Techniques Laboratoire d'Informatique Thorique et Applique Laboratoire dInformatique de lUniversit du Maine Laboratoire de Logique, Algorithmique et Informatique Laboratoire dtudes et de recherches sur les Logiques Contemporaines de la Philosophie Laboratoire de Mathmatiques Nicolas Oresme Laboratoire Lorrain de Recherche en Informatique et ses Applications Laboratoire de Philosophie et dHistoire des Sciences Archives Henri Poincar Ministre des Affaires Etrangres Matre de Confrences Maison des Sciences de lHomme Praticien hospitalier Ple d'Histoire de l'Analyse et des Reprsentations Economiques Centre Philosophie et Rationalits 10

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

PPS PR PRAG PU PUF REHSEIS SAD-APT SPIN STL UCBL UMR UPR UPRESA

Preuves, Programmes, Systmes Professeur Professeur Agrg dans lenseignement suprieur Professeur des Universits Presses Universitaires de France Recherches pistmologiques et historiques sur les sciences exactes et les institutions scientifiques UMR Systmes Agraires et Dveloppement : Activits, Produits, Territoires Sciences des Processus Industriels et Naturels UMR Savoirs, Textes, Langage Universit Claude Bernard Lyon 1 Unit Mixte de Recherche : Unit Propre de Recherche Unit Propre de Recherche de l'Enseignement Suprieur Associe au CNRS

11

UNITS DE RECHERCHE RESEARCH UNITS

Introduction

Cette liste a t tablie sur la base des informations transmises par les directeurs des units de recherche. Chaque entre fournit les coordonnes de lunit. Elle donne une vision densemble de lunit de recherche, de ses membres et de la part des activits consacre au domaine DLMPS. Cette partie du guide est organise par ordre alphabtique des noms dquipe. La rubrique Institutions donne les tablissements ou organismes de tutelle des quipes (en France, les quipes de recherche sont souvent places sous plusieurs tutelles, par exemple Universit Paris 7 & CNRS ). On se reportera la liste des sigles donne au dbut de ce guide pour leur signification. We compiled this list on the basis of the information that was sent to us by the various directors. Each entry aims at giving comprehensive overview of the unit in question, its members and their activities. The list also provides all necessary contact information; it is sorted according to alphabet. The Institution(s) heading refers to the universities and/or research organisms under which a given research unit is placed (in France, research units are often placed under the regulatory authority of several institutions; e.g. University Paris 7 and CNRS). The meaning of acronyms is given at the beginning of this document.

15

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Centre d'histoire des sciences et des philosophies arabes et mdivales (CHSPAM, UMR 7062)
Institutions: CNRS / Universit Paris 7 Denis Diderot / Universit Paris 1 Sorbonne Directeur / Director: Pierre Pellegrin (p.a.pellegrin@wanadoo.fr) Adresse / Address: CHSPAM, UMR 7062 7 rue Guy Moquet, B.P. 8. F-94801 Villejuif Cedex. Tlphone / Phone: +33 (0) 149583599 - Fax: +33 (0) 149583547 Email: chspam@vjf.cnrs.fr Site web / Website: http://chspam.vjf.cnrs.fr/ Membres statutaires / Regular members: 10 Membres associs / Associate members: 21 Doctorants / Doctoral students: 7 List of members working in the LMPS domains: PELLEGRIN, Pierre, DR ; FREUDENTHAL, Gad, DR ; HASNAOUI, Ahmed, CR ; CROZET, Pascal, CR ; LEVY, Tony, CR Domaines de recherche / Areas of research History of mathematics Philosophy of ancient, Arabic and medieval sciences History of ancient, Arabic and medieval philosophies

16

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Centre de Recherche en Epistmologie Applique (CREA, UMR 7656)


Institutions: CNRS / Ecole Polytechnique Directeur / Director: Paul Bourgine (bourgine@poly.polytechnique.fr) Address CREA Ecole Polytechnique 1, rue Descartes 75005 Paris Tlphone / Phone: 33/(0)1 55 55 86 23 - Fax: 33/(0)1 55 55 90 40 Email: marie-jo.lecuyer@shs.polytechnique.fr Site web / Website: http://www.crea.polytechnique.fr/ Membres statutaires / Regular members: 27 Membres associs / Associate members: 24 Doctorants / Doctoral students: 15 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: ESNIER Jean-Michel, PR ; BITBOL Michel, DR ; BOURGINE Paul, DR ; DUPUY JeanPierre, PR ; KERSZBERG Pierre, PR ; LASSEGUE Jean, CR ; LONGO Giuseppe, DR ; PACHOUD Bernard, MC ; PETITOT Jean, PR ; PIOTROWSKI David, CR ; SCUBLA Lucien, PR ; VISETTI Yves-Marie, DR ; CANTO-SPERBER Monique, PR ; LIVET Pierre, PR ; PETIT Jean-Luc, PR ; PETITMENGIN, Claire ; ROY Jean-Michel, PR ; VICTORRI Bernard, PR Domaines de recherche / Areas of research Research on various aspects of cognitive science, individual (neuroscience) and social (cognitive economy). Theoretical research: mathematical models, control theory, logic and theory of categories, Epistemology and Philosophy of science. Interdisciplinary approaches imposed by the very nature of the object of inquiry, namely cognition.

17

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Centre de Recherche en Informatique de Lens (CRIL, FRE 2499)


Institutions: CNRS / Universit d'Artois Directeur / Director: Eric Grgoire (gregoire@cril.univ-artois.fr) Adresse / Address: CRIL CNRS. Universit d'Artois. Rue Jean Souvraz SP18. F-62307 Lens Cedex. Tlphone / Phone: 33/(0)321791785 - Fax: 33/(0)321791795 Email: direction@cril.univ-artois.fr Site web / Website: http://www.cril.univ-artois.fr/ Membres statutaires / Regular members: 22 Membres associs / Associate members: 0 Doctorants / Doctoral students: 20 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: GREGOIRE Eric, PR ; MARQUIS Pierre, PR ; SAIS Lakhdar, PR ; BENFERHAT Salem, PR ; KONIECZNY Sebastien, CR ; COSTE-MARQUI Sylvie, MCF ; COQUIDE JeanLuc, MCF ; MAZURE Bertrand, MCF ; KACI Souhila, MCF ; AUDEMARD Gilles, MCF ; OZTURK Meltem, MCF ; LAGRUE Sebastien, MCF ; CARDON Stephane, MCF ; ROUSSEL Olivier, MCF ; PARRAIN Anne, MCF ; LE BERRE Daniel, MCF ; CONDOTTA Jean-Franois, MCF ; LECOUTRE Christophe, MCF ; HEMERY Fred, MCF ; CHETCUTI Nathalie, MCF ; VIDAL Vincent, MCF ; CHMEISS Assef, MCF Domaines de recherche / Areas of research logic and computation formal languages and computation logic and complexity logic and artificial intelligence logic and knowledge representation logical aspects of the dynamics of knowledge logic and decision support

18

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Centre de Recherche Sens, Ethique, Socit (CERSES, UMR 8137)


Institutions: CNRS / Universit Ren Descartes Paris 5 Directeur / Director: Mme Edwige Rude-Antoine (rude-antoine@club-internet.fr) Adresse / Address: CERSES - UMR 8137. Centre Universitaire des Saints-Pres. 45 rue des Saints-Pres. F-75270 PARIS cedex 06. Tlphone / Phone: 33/(0)1 42 86 42 42 - Fax: 33/(0)1 42 86 42 41 Email: cerses@univ-paris5.fr Site web / Website: http://cerses.shs.univ-paris5.fr/ Membres statutaires / Regular members: 13 Membres associs / Associate members: 1 (postdoc) Doctorants / Doctoral students: 6 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: BATEMAN, Simone, DR ; FLEURBAEY, Marc, DR ; GAILLE NIKODIMOV, Marie, CR ; MARZANO, Michela, CR ; OGIEN, Ruwen, DR ; PHARO, Patrick, DR ; REBER, Bernard, CR ; RUDE-ANTOINE, Edwige, CR ; SIROUX, Danile, IR ; TERRE, Dominique, CR Domaines de recherche / Areas of research The Centre for Research on Meaning, Ethics and Society (CERSES-UMR 8137) is a CNRS research unit attached to the Department of Human and Social Sciences of Ren Descartes University (Paris 5). The work done in this pluridisciplinary centre derives from a research perspective developed in the 1980's by its founders, whose objective was to highlight and analyse the moral dimension of sociological objects and problems. Members of the unit espouse different theoretical approaches, but share an epistemological premise concerning the specifically moral character of human sociality, that is, that human beings possess the faculty to reflect on what they do and to share their thoughts and the meaning of their acts with others. The three main Areas of research are: Ethics and the Human and Social Sciences Meaning, Action and Politics Ethics, Medicine and Science.

19

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Centre Georges Canguilhem


Institutions: Universit Paris Diderot Paris 7 Directeur / Director: M. Dominique LECOURT Adresse / Address: Universit Paris Diderot (P7) Case postale 7041 Esplanade des Grands Moulins 75205 - Paris cedex 13 Tlphone / Phone: 33/(0)1 57 27 65 14 Fax: 33/(0)1 57 27 65 15 E-mail: tournou@univ-paris-diderot.fr Site web / Website: http://www.centrecanguilhem.net/ Membres statutaires / Regular members: 18 Membres associs / Associate members: 1 (postdoc) Doctorants / Doctoral students: 10 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: CAMMELLI Michle, IR ; COURBAN Antoine, PR ; DELAPORTE Franois, PR ; DEVAUCHELLE Bernard, PU-PH ; DORON Claude-Olivier, doctorant ; HALAIS Emmanuel, MCF ; JANIK Allan, PR ; KLEIN Etienne, DR ; LAUGIER Sandra, PR ; LECOURT Dominique, PR ; LEFEVE Cline, MCF ; LEPLEGE Alain, PR ; MADELRIEUX Stphane, ATER ; MASQUELET Alain-Charles, PU-PH ; MISSA JeanNol, PR ; NOUVEL Pascal, PR ; OPINEL Annick, DR ; UTAKER Arild, PR Domaines de recherche / Areas of research The Centre Georges Canguilhem is part of the History and Philosophy of Science department of the University Paris Diderot Paris 7. It is an interdisciplinary center of research according to the original spirit of this university. Members are philosophers as well as medical doctors, biologists, jurists, sociologists, anthropologists as well as historians of ideas. The main objective of its activity is to highlight the philosophical dimensions of the interactions between science and society. These dimensions are not only epistemological but ethical and political. Ethical issues in scientific practice and technologies Bioethics Historical and sociological aspects in the philosophy of science Ethics, Medicine and Science 20

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Ethique et philosophie de la mdecine et de la biologie (EA 3783)


Institutions: Universit de la Mditerrane Aix-Marseille 2 Directeur / Director: Jean-Robert Harl (jean-robert.harle@ap-hm.fr) Adresse / Address: Espace Ethique Mditerranen. Hpital de la Timone. 264 rue Saint-Pierre. F-13385 MARSEILLE Cedex 5. Tlphone / Phone: +33 (0) 0491382247 - Fax: +33 (0) 0491384428 Email: jean-robert.harle@ap-hm.fr Site web / Website: http://www.medethique.com Membres statutaires / Regular members: 8 Membres associs / Associate members: 4 Doctorants / Doctoral students: 9 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: HARL Jean-Robert, PR (PU-PH) ; MATTEI Jean-Franois, PR (PU-PH) ; LE COZ Pierre, MCF ; MALZAC Perrine, PH ; ALTAVILLA Annagrazia (PhD), MCF Associe ; CANO Nicole, PH, Attache APHM ; DESPINOY Lidia, Psychologue, Attache APHM ; GEORGANTELIS Cynthia, Mdecin, Attache APHM ; PEDROT Philippe, PR ; GAMERRE Marc, PR (PU-PH) ; COLLIGNON Patrick, PH ; VOELCKEL MarieAntoinette, Conseiller Gntique, Ingnieur Recherche Domaines de recherche / Areas of research Establishing a methodology for the communication of knowledge in the field of medical ethics Analysing ways of justifying a medical decision

21

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Groupe transdisciplinaire Histoire Philosophie Sciences (GHPS, Laboratoire propre de l'ENS)


Institutions: Ecole Normale Suprieure de la rue d'Ulm Directeur / Director: Claude Debru (claude.debru@ens.fr) Adresse / Address: Ecole normale suprieure. 45 rue d'Ulm. F-75005 Paris. Tlphone / Phone: 00 33 (0)1 44 32 30 77 - Fax: 00 33 (0)1 44 32 31 22 Email: claude.debru@ens.fr Site web / Website: http://www.ens.fr/ Membres statutaires / Regular members: 1 Membres associs / Associate members: 10 Doctorants / Doctoral students: 4 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: DEBRU Claude, PR ENS ; ALUNNI Charles, chercheur associ, universit de Pise ; PAUL Thierry, DR Mathmatiques ; ANDR Yves, DR Mathmatiques ; NICOLAS Franois, PR Associ IRCAM ; DUPOUY Stphanie, PRAG ENS ; JOINET JeanBaptiste, MCF Paris 1 ; HAUTCOEUR Pierre-Cyrille, PR ENS ; BENOIST Jocelyn, PR Paris 1 ; LONGO Giuseppe, DR ENS Domaines de recherche / Areas of research This original transdisciplinary structure belonging to the Ecole normale suprieure aims at fostering transdisciplinarity between the humanities and sciences divisions of the School. It organizes regular meetings on transdisciplinary subjects (among recent or forthcoming themes: What is real? To open logic to the world. Ethics and knowlege. Mutations of writing: arts and sciences). It organizes activites in history and philosophy of science, has launched reflections and/or initiates international cooperations in these fields, such as philosophical research in Europe, transdisciplinarity in scientific institutions in Europe, history of science and education.

22

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST, UMR 8590)
Institutions: CNRS / Universit Paris 1 / Ecole Normale Suprieure Directeur / Director: Jacques Dubucs (jacques.dubucs@univ-paris1.fr) Adresse / Address: 13, rue du Four. F-75006 Paris. Tlphone / Phone: 33/(0)1 43 54 60 36 - Fax: 33/(0)1 43 25 29 48 Email: ihpst@univ-paris1.fr Site web / Website: http://www-ihpst.univ-paris1.fr/ Membres statutaires / Regular members: 25 Membres associs / Associate members: 22 Doctorants / Doctoral students: 60 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: ANDLER Daniel, PR (Un. Paris 4); ATTEN (van) Mark, CR ; BACCIAGALUPPI Guido (Universit de Sidney) ; BARBEROUSSE Anouk, CR ; BETTI Ariana, Pr (Amsterdam) ; BONNET Christian, MCF ; BOURDEAU Michel, CR ; BOUVERESSE Jacques, PR (Collge de France); BRAUNSTEIN Jean-Franois, MCF (Un. Paris 1); CASTEL Pierre-Henri, CR ; CHAPOUTHIER Georges, DR ; DUBUCS Jacques, DR ; DUCHESNEAU Franois, Pr (Universit de Montral) ; DUPONT Jean-Claude, MCF (Un. de Picardie) ; FAGOT-LARGEAULT Anne, PR (Collge de France) ; FOREST Denis, PR (Un. Lyon 3); GALPERIN Charles, Pr mrite (Un. Lille 3); HUNEMAN Philippe, CR ; GAYON Jean, PR (Un. Paris 1); LAMBERT Jacques, Pr (Un. Piere MendsFrance, Grenoble); LONGY Franoise, MCF (Un. Strasbourg 2) ; LORNE, Marie-Claude, MCF (Un. Brest); MANCOSU Paolo, PR (UCLA, Berkeley); MARTIN Thierry, PR (Un. de Franche Comt); MISKIEWICZ Wioletta, CR ; MOLTMANN Friederike, DR ; MONGIN Philippe, DR (Ecole des Hautes Etudes Commerciales); MORANGE Michel, PR (ENS); MORGANTI, Matteo, Postdoc ; MOSCONI Jean, PR (Un. Paris 1) ; PAROT Franoise, MCF (Un. Paris 5) ; PICAVET Emmanuel, MCF (Un. Paris 1) ; PLAGNOL Arnaud, MCF (Un. Paris 8) ; de ROUILHAN Philippe, DR ; SOLER Lna, MCF (IUFM de Nancy) ; SPRANZI Martha, MCF (Un. Saint-Quentin en Yvelines) ; SYMONS John, PR ; SCHAAR (van der) Maria, Ass. PR (Un. dUtrecht); VICKERS John, PR (Un. du Texas) ; WAGNER Pierre, MCF (Un. Paris 1) ; ZWIRN Herv, DR. Domaines de recherche / Areas of research Philosophy of Logic and Language

23

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Philosophy of Biology and Medecine Philosophy of Physics and Complexity History of Philosophy of Science Philosophy of Social Sciences

24

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Institut de Recherches Interdisciplinaires sur les Sciences et la Technologie (IRIST, EA3424)


Institutions: Universit Louis Pasteur Strasbourg 1 Directeur / Director: Bernard Ancori (bernard.ancori@gersulp.u-strasbg.fr) Adresse / Address: 7, rue l'universit. F-67000 Strasbourg. Tlphone / Phone: +33 (0) 390240603 - Fax: +33 (0) 390240584 Email: bernard.ancori@gersulp.u-strasbg.fr Site web / Website: http://irist.u-strasbg.fr/ Membres statutaires / Regular members: 12 Membres associs / Associate members: 10 Doctorants / Doctoral students: 8 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: ALLAMEL-RAFFIN Catherine, MCF ; ANCORI Bernard, PR ; GANGLOFF Jean-Luc, Chercheur associ ; MOKTEFI Amirouche, doctorant ; SCHAPPACHER Norbert, PR Domaines de recherche / Areas of research Philosophy of experiment History of logic History of mathematics Models Scientific Images

25

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Institut Jean Nicod (IJN, UMR 8129)


Institutions : CNRS / EHESS / ENS Directeur / Director: Pierre Jacob (pierre.jacob@ehess.fr) Adresse / Address: CNRS - IJN ENS - Pavillon Jardin 29 rue d'Ulm 75005 Paris. Tlphone / Phone: 33/(0)1 44 32 26 97 - Fax : 33/(0)1 44 32 26 99 Email : pierre.jacob@ehess.fr Site web / Website: http://www.institutnicod.org/ Membres statutaires / Regular members: 31 Membres associs / Associate members: 16 Doctorants / Doctoral students: 30 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: S. ATRAN, DR ; J. PROUST, DR ; P. JACOB, DR ; R. CASATI, DR ; J. DOKIC, Directeur d'tudes l'EHESS ; P. GR, CR ; M. KISTLER, PR Grenoble ; P. LUDWIG, MCF Un. Paris 4 ; G. ORIGGI, CR ; D. SPERBER, DR ; C. TIERCELIN, PR Un. Paris 13 Domaines de recherche / Areas of research language & communication perception, action & situated cognition social cognition & metacognition ontological & epistemological issues in the cognitive & social sciences

26

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Laboratoire d'Algorithmique, Complexit et Logique (LACL)


Institutions: Universit Paris 12 Directeur / Director: Gatan Hains (gaetan.hains@univ-paris12.fr) Adresse / Address: LACL. Universit Paris-12. 61 avenue du Gnral de Gaulle. F-94000 Crteil. Tlphone / Phone: 0145171647 - Fax: 0145176601 Email: gaetan.hains@univ-paris12.fr Site web / Website: http://www.univ-paris12.fr/lacl/ Membres statutaires / Regular members: 18 Membres associs / Associate members: 3 Doctorants / Doctoral students: Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: BEAUQUIER Danile, Pr ; BS Alexis, MCF ; CASPARD Nathalie, MCF ; CEGIELSKI Patrick, Pr ; COHEN Jolle, MCF ; CROLARD Tristan, MCF ; DIMA Catalin, MCF ; DUFLOT-KREMER Marie, MCF ; GAVA Frdric, MCF ; HAINS Gatan, Pr ; LALEAU Rgine, Pr ; MOURLIN Fabrice, MCF ; PELZ Elisabeth, Pr ; POLONOWSKI Emmanuel, MCF ; POMMEREAU Franck, MCF ; SLISSENKO Anatol, Pr ; VALARCHER Pierre, MCF ; VERLAN Serghei, MCF Domaines de recherche / Areas of research Temporal and probabilistic models Communicating systems Logic, automata and specifications

27

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Laboratoire de Mathmatiques - Equipe de Logique (LAMA, Equipe de logique, UMR 5127)


Institutions: CNRS / Universit de Savoie Directeur / Director: Ren David (rene.david@univ-savoie.fr) Adresse / Address: LAMA, Equipe de Logique. Campus Scientifique. F-73376 Le Bourget du lac. Tlphone / Phone: +33 (0) 479758717 - Fax: +33 (0) 479758142 Email: rene.david@univ-savoie.fr Site web / Website: http://www.lama.univ-savoie.fr Membres statutaires / Regular members: 7 Membres associs / Associate members: 0 Doctorants / Doctoral students: 5 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: BERNARD Noel, MCF ; DAVID Ren, PR ; HYVERNAT Pierre, MCF ; NOUR Karim, MCF ; RAFFALLI Christophe, MCF ; THEYSSIER Guillaume, CR ; VUILLON Laurent, PR (directeur du LAMA) Domaines de recherche / Areas of research Proof theory Lambda Calculus Discrete mathematics Tiling Word combinatorics Cellular automata Discrete Geometry

28

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Laboratoire de Philosophie et d'Histoire des Sciences Archives Henri Poincar (LPHS-AHP, UMR 7117)
Institutions: CNRS / Universit Nancy 2 Directeur / Director: Gerhard Heinzmann (gerhard.heinzmann@univ-nancy2.fr) Adresse / Address: Universit Nancy 2. 23 bd Albert Ier. BP 33-97. F-54015 NANCY Cedex. Tlphone / Phone: +33 (0) 383967083 - Fax: +33 (0) 354508706 Email: poincare@univ-nancy2.fr Site web / Website: http://www.univ-nancy2.fr/poincare/ Membres statutaires / Regular members: 32 Membres associs / Associate members: 11 Doctorants / Doctoral students: 25 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: ANDRIEU Bernard, Pr ; BARREAU Herv, DR ; BASTIT Michel, Pr ; BEAULIEU Liliane, CR ; BENATOUIL Thomas, MCF ; BETTAHAR Yamina, MCF ; BLANCBENON Laure, Docteur ; BOLMONT Etienne, MCF ; BOURIAU Christophe, MCF ; CHARGOIS Franois, MCF ; CHOFFEL-MAILFERT Marie-Jeanne, MCF ; CORET Andr, DR ; FLAMENT Dominique, CR ; GUINGAMP Corinne, MCF ; HEINZMANN Gerhard, Pr ; KRMER Ralf, Postdoc ; LELARGE Denis, Ens. Sec. ; LIHOREAU Franck, Postdoc ; LOMBARD Philippe, MCF ; MAWHIN Jean, Pr ; MAZAURIC Simone, Pr ; MOLARO Christian, MCF ; NABONNAND Philippe, MCF ; NERY Herbert, Pr ; OGER Marie-Dominique, PRAG ; PICHOT Andr, CR ; PIZZINATO Alain, MCF ; POUIVET Roger, Pr ; REBUSCHI Manuel, MCF ; ROLLET Laurent, MCF ; SAKHRI Mohsen, Docteur ; SCHMID Anne-Franoise, MCF ; SOLER Lna, MCF ; TRIZIO Emiliano, Docteur ; VAX Louis, Pr ; VIDAL-ROSSET Joseph, MCF ; VOLKERT Klaus, Pr ; WALTER Scott, MCF ; WIEBER Frdric, MCF Domaines de recherche / Areas of research keeping of study and research on scientific and philosophical archives (Poincar, Vuillemin, Bourbaki, Binet, Rougier, etc.). comparative history and philosophy of science (reception of modern logic and pragmatism, justification in geometry, reception of non-Euclidean and topological

29

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

works) ; logic and metaphysics of knowledge (historicism and metaphysics, naturalism, semantic of modal logics) ; philosophy of mathematics and empirical sciences (philosophy of quantum physics, evaluation of states of scientific knowledge, history and philosophy of psychophysiology and biology). History of local scientific institutions (Nancy, Lorraine)

30

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Laboratoire de Recherche sur les Sciences de la Matire (LARSIM)


Institutions: Commissariat l'Energie Atomique Directeur / Director: Etienne Klein (etienne.klein@cea.fr) Adresse / Address: CEA/Saclay DSM/DRECAM/SPEC/LARSIM. Btiment 772. Ormes des Merisiers. F-91191 Gif-sur-Yvette Cedex. Tlphone / Phone: +33 (0) 169087412 - Fax: +33 (0) 169088786 Email: alexei.grinbaum@cea.fr Site web / Website:
http://www-drecam.cea.fr/spec/Phocea/Vie_des_labos/Ast/ast_groupe.php?id_groupe=748

Membres statutaires / Regular members: 2 Membres associs / Associate members: 2 Doctorants / Doctoral students: 0 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: KLEIN tienne, directeur de recherche ; COHEN-TANNOUDJI Gilles, chercheur mrite ; GRINBAUM Alexei, chercheur ; BONTEMS Vincent, postdoctorant. Domaines de recherche / Areas of research Philosophical, Technical and Formal Foundations of Modern Physics. Epistemology and Ethics of Nanoscience and Nanotechnology. Communication between Philosophy, Science and Society.

31

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Laboratoire dtudes du Phnomne Scientifique (LEPS, EA 4148)


Institutions: Universit Lyon 1 (quipe LIRDHIST) / cole normale suprieure lettres et sciences humaines (quipe C2SO) / Institut dtudes Politiques de Lyon (quipe GREPH) / INSA Lyon (quipe STOICA) / cole nationale vtrinaire de Lyon (quipe LIRDHIST) Directeur / Director: Philippe Jaussaud (Jaussaud@univ-lyon1.fr) Adresse / Address: Universit Lyon 1 Domaine scientifique de La Doua Bd du 11 novembre 1918, Btiment La Pagode 38 Bd Niels Bohr. F-69622 VILLEURBANNE CEDEX. Tlphone / Phone: +33 (0) 478872630 ou +33 (0) 472448013 - Fax: +33 (0) 478878012 ou +33 (0) 472431535 Email: Jaussaud@univ-lyon1.fr Site web / Website: see the remarks below Membres statutaires / Regular members: 43 Membres associs / Associate members: 0 Doctorants / Doctoral students: 39 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: groupe LIRDHIST (UCBL) : 19 chercheurs (responsable : Philippe Jaussaud) BATTIE Vronique ; BLANC Floriane ; CHABOT Hugues ; CLMENT Pierre ; GOFFETTE Jrme ; BISSUEL Genevive ; BRUGUIRE Catherine ; DURAND-GUERRIER Viviane ; HRAUD Jean-Loup ; JAUSSAUD Philippe ; KHANTINE-LANGLOIS Franoise ; MOTTA Daniel ; PERRU Olivier ; SOUDANI Mohamed ; SOUDANI Olfa ; TOUSSAINT Jacques ; TROUCHE Luc ; CARVALLO Sarah ; WOZNIAK Floriane groupe STOICA (INSA, Lyon) : 10 chercheurs (responsable : Michel Faucheux) CHAPAS Benjamin ; CHOUTEAU Marianne ; COGNARD tienne ; DIET Allan ; FAUCHEUX Michel ; FOREST Jolle ; GINDIS David ; GUILLAUD Franck ; HARPET Cyrille ; NGUYEN Cline groupe C2SO (ENS-lsh) : 8 chercheurs (responsable : Jolle Le Marec) - BABOU Igor ; BELAEN Florence ; LE MAREC Jolle ; MASSIT-FOLLEA Franoise ; REBEYROTTE Franois ; TOPALIAN David

32

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

groupe GREPH (IEP) : 5 chercheurs (responsable : Jacques Michel) - DUFOURT Daniel ; GUINERET Herv ; MICHEL Jacques ; PAPAEFTHYMIOU Sophie ; VERGNON Gilles groupe ENVL : 1 chercheur (inclus dans le LIRDHIST)

Domaines de recherche / Areas of research By deploying an interdisciplinary approach, the teams that make up LEPS study fundamental issues concerning the reception and transmission of scientific knowledge. This includes the practices and discourses of science as well as the political epistemology of both science and technology. Principal lines of research: The construction of techno-logie. The application of a technological epistemology intended to underwrite a science of human action (including the role of politics). The aim is to redefine the cartography of knowledge by emphasizing the links between science and technology. The coproduction of science, technology and society. The concept of coproduction integrates concerns touching work and forms of life seen from a social perspective, with political power and ethics. This approach favours a political and historical epistemology, rejecting a traditional realist ideology. The construction of scientific knowledge. The study of the modalities of elaboration, diffusion and appropriation of scientific knowledge, involving the integration of the history and philosophy of science with the didactics of the scientific disciplines concerned. Communication and the relationship between science and society including its cultural dimensions. Here, semiotics is articulated with an anthropological approach to develop a means for analysing the practices and discourses pertaining to science in diverse social, media, and institutional spaces.

Observations / Remarks: Websites: LIRDHIST, GREPH, STOICA et C2SO : http://lirdhist.univ-lyon1.fr/, http://leshumas.insa-lyon.fr/, http://greph.univ-lyon2.fr/, http://c2so.ens-lsh.fr/

33

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Logic, Interaction, Language and Computation (LILaC, UMR 5505)


Institutions: CNRS / Universit Paul Sabatier, INPT Directeur / Director: Philippe Balbiani (balbiani@irit.fr) Adresse / Address: Universit Paul Sabatier. IRIT-LILaC. Andreas Herzig. 118 route de Narbonne. F-31062 Toulouse Cedex 9. Tlphone / Phone: +33 56155-8123 - Fax: +33 56155-6258 Email: lilac@irit.fr Site web / Website: http://www.irit.fr/LILaC Membres statutaires / Regular members: 18 Membres associs / Associate members: 1 Doctorants / Doctoral students: 12 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: ASHER Nicholas, DR ; BALBIANI Philippe, CR ; BESNARD Philippe, DR ; DOUTRE Sylvie, MCF ; FARIAS DEL CERRO Luis, DR ; GASQUET Olivier, PR ; HERZIG Andreas, DR ; LONGIN Dominique, CR ; MULLER Philippe, MCF ; PERRUSSEL Laurent, MCF ; VIEU Laure, CR Domaines de recherche / Areas of research LILaC investigates formal models of interaction, where interaction is understood as involving both physical and linguistic actions (speech acts). Such models of interaction are relevant for several disciplines: computer science, logic, linguistics, and philosophy. LILaC has adopted a normative approach, and focuses on models of formal logic. We define and study logics of interaction combining: the semantics of the contents of linguistic actions (formal semantics); a logic of action integrating speech act theory; a theory of mental states (epistemic logic, logic of intention); theories about the structure of interaction: game theory, argumentation theory, formal theories of discourse (DRT, SDRT).

34

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Mthodes formelles (UMR 5800)


Institutions: LaBRI, Laboratoire Bordelais de Recherche en Informatique Directeur / Director: Igor Walukiewicz Adresse / Address: 351, cours de la Libration F-33405 Talence cedex. Tlphone / Phone: +33 (0) 540006900 - Fax: +33 (0) 540006669 Site web / Website: http://www.labri.fr/equipes/MethodesFormelles/ Membres statutaires / Regular members: 17 Membres associs / Associate members: 0 Doctorants / Doctoral students: 5 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: CASTERAN Pierre, MCF ; COURCELLE Bruno, PR ; DURAND Irene, MCF ; HERBRETEAU Frederic, MCF ; JANIN David, MCF ; LE SAEC Bertrand, PR ; LEROUX Jerome, CR ; LY Olivier, MC ; MAZOIT Frederic, MC ; MOOT Richard, CR ; MUSCHOLL Anca, PR ; RETORE Christian, PR ; SENIZERGUES Geraud, PR ; SUTRE Gregoire, CR ; WALUKIEWICZ Igor, DR ; WEIL Pascal, DR ; ZEITOUN Marc, PR Domaines de recherche / Areas of research Graph decompositions Language theory, recognizability Monadic second-order logic, program logics Proof assistants, CoQ Verification, Games Computational linguistics, Formal grammars, Lambek calculus

35

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

PLUME (PLUME, UMR 5668)


Institutions: LIP / ENS de Lyon Directeur / Director: Daniel Hirschkoff (Daniel.Hirschkoff@ens-lyon.fr) Adresse / Address: 46, Alle d'Italie. F-69364 LYON CEDEX 07. Tlphone / Phone: +33 (0) 472728683 - Fax: +33 (0) 472728080 Email: pierre.lescanne@ens-lyon.fr Site web / Website: http://www.ens-lyon.fr/LIP/PLUME/plume.fr.html Membres statutaires / Regular members: 5 Membres associs / Associate members: 0 Doctorants / Doctoral students: 4 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: AUBEDAUD Philippe ; DUPRAT Jean ; HIRSCHKOFF Daniel ; LESCANNE Pierre Domaines de recherche / Areas of research Rewriting and explicit substitution Modularity Static and Dynamic modularity Models for distributed and mobile computation The Curry-Howard correspondence Constructive Geometry Game theory

36

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Preuves-Programmes-Systmes (PPS, UMR 7126)


Institutions: CNRS / Universit Paris 7 Denis Diderot Directeur / Director: Pierre-Louis Curien (Pierre-Louis.Curien@pps.jussieu.fr) Adresse / Address: Laboratoire PPS. Universit Paris Diderot - Paris 7, Case 7014. F-75205 PARIS Cedex 13. Tlphone / Phone: +33 (0) 144278272 - Fax: +33 (0) 144278654 Email: ainardi@pps.jussieu.fr Site web / Website: http://www.pps.jussieu.fr Membres statutaires / Regular members: 31 Membres associs / Associate members: 6 Doctorants / Doctoral students: 22 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: AMADIO Roberto, PR ; BALAT Vincent, MCF ; BERLINE Chantal, CR ; BUCCIARELLI Antonio, MCF ; BURRONI Albert ; CASTAGNA Giuseppe, DR ; CHROBOCZEK Juliusz, MCF ; COUSINEAU Guy, PR ; CURIEN Pierre-Louis, DR ; DANOS Vincent, DR ; DI COSMO Roberto, PR ; EHRHARD Thomas, DR ; FAGGIAN Claudia, CR ; GAUCHER Philippe, CR ; GOUBAULT Eric, DR au CEA ; HARMER Russ, CR ; JOINET Jean-Baptiste, MCF ; JOLY Thierry, MCF ; KESNER Delia, PR ; KRIVINE Jean-Louis, PR ; LAURENT Olivier, CR ; LEGRANDGRARD Yves, IR ; LETOUZEY Pierre, MCF ; MANOURY Pascal, MCF ; MELLIS Paul-Andr, CR ; MTAYER Franois, MCF ; MIQUEL Alexandre, MCF ; PADOVANI Vincent, MCF ; PARIGOT Michel, CR ; RIFFLET Jean-Marie, PR ; ROZIRE Paul, MCF ; VARACCA Daniele, MCF ; VOUILLON Jrme, CR Domaines de recherche / Areas of research PPS research group gathers together specialists of mathematical logic (mainly proof theory and category theory) and of computing theory, who carry out research about logical foundations of computation, of communicational interaction and of distributed systems. Computer science is the source from which logic is renewed through a dialogue with other domains where interactional dynamic is central. The main themes are: logical models of interactional dynamic (game semantics, ludics); specification and realisability, rewriting systems; logic and concurrency (process calculi, modelization of process in molecular biology). A great part of the theoretical research acomplished in PPS is inspired by the

37

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

correspondance between proofs and programs (Curry-Howard isomorphism, 1969) and Linear Logic. Observations / Remarks: As a side activity, PPS is involved in a research program in Philosophy of logic and computer science, named "Logic and Interaction : toward a Geometry of Cognition" (LICG). See: www-philo.univ-paris1.fr/Joinet/ligc.html

38

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Recherches pistmologiques et historiques sur les sciences exactes et les institutions scientifiques (REHSEIS, UMR 7596)
Institutions: CNRS / Universit Paris 7 Denis Diderot Directeur / Director: Karine Chemla (chemla@univ-paris-diderot.fr) Adresse / Address: Universit Paris Diderot - Centre Javelot. 2 Place Jussieu. F-75251 Paris Cedex 05. Tlphone / Phone: 33/(0)1 44 27 86 46 - Fax: 33/(0)1 44 27 86 47 Email: vmaouchi@ univ-paris-diderot.fr Site web / Website: http://www.rehseis.cnrs.fr/ Membres statutaires / Regular members: 22 Membres associs / Associate members: 44 Doctorants / Doctoral students: 29 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: BELNA Jean-Pierre, Ecoles d'ingnieurs ; BONIFACE JACQUELINE, MCF Universit Nice ; CHEMLA Karine, DR, CNRS ; CHERICI Cline, ATER, U. Paris 7 ; DARRIGOL Olivier, DR, CNRS ; DE COURTENAY Nadine, MCF CNAM ; DEBRU Claude, DR, CNRS & ENS Ulm ; DHOMBRES Emmanuel, post-doctorant ; DURAND-RICHARD Marie-Jos, MCF, U. Paris 8 ; FERREIROS Jose, PR, U. Sville ; FOX KELLER Evelyn, PR, MIT -Chaire Blaise Pascal, Fondation ENS ; FRANCESCHELLI Sara, MCF, ENSLSH Lyon ; GACHELIN GABRIEL, Institut Pasteur ; GANDON SEBASTIEN, MCF, U. Clermont-Ferrand ; GROSHOLZ Emily, PR, Pennsylvannia State University ; HALIMI Brice, ATER, U. Paris 7 ; JAMI Catherine, CR, CNRS ; LACHENAL Guillaume, postdoctorant, CNRS ; LACKI Jan, DR, CNRS ; LECOURT Dominique, PR, U. Paris 7 ; LEFEVE Cline, MCF, U. Paris 7 ; LEPLEGE Alain, PR, U. Paris 7 ; LE RU Vronique, MCF, U. Reims ; MOSSIO Matteo, ATER, U. Paris 7 ; NOUVEL Pascal, MCF, U. Paris 7 ; PANZA Marco, DR, CNRS ; PATY Michel, DR Emrite, CNRS ; RABOUIN David, CR, CNRS ; ROMAND David, Post-doctorant ; SMADJA Ivahn, MCF, U. Caen ; SZCZECINIARZ Jean-Jacques, PR, U. Paris 7 ; THOMAS Marion, Post-doctorante, CNRS ; TIMMERMANS Benoit, FNRS, U. Bruxelles ; TIRARD Stphane, MCF, U. Nantes

39

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research HISTORY & PHILOSOPHY OF MATHEMATICS. Mathematical practices. Algorithms, instruments, operations, algebra. The construction of mathematical objectivity. HIST. & PHIL. OF PHYSICS. Physics and mathematics : disciplinary differentiations. Dynamics and structure in physics and other sciences. HIST. & PHIL. OF MEDICINE & LIFE SCIENCES. Development, evolution, behavior. Health, disease, handicap. Neurosciences. Project on function (IHPST). Studies on life sciences, from Buffon to Naturphilosophie. RESEARCH on the 18th CENTURY : The Enlightenment and the sciences. Research on dAlembert. HISTORY OF SCIENCE, HISTORY OF TEXT. Enumerations, speech-acts in scientific writings THE INTERNATIONAL CONSTRUCTION OF KNOWLEDGE AND ITS HISTORY. Corpuses of scientific texts : histories and theoretical questions. History of international scientific practices. History of historiography. INTERDISCIPLINARY STUDIES. Epistemological cultures (Including: the value of generality). The concept of energy. Quantification in Theory and Practice. Physics and Mathematics as Sources of Philosophical Reflection. HISTORY OF SCIENCE IN ASIA. Mathematics in Asia. Official versus peripheral knowledge in China.

40

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Signes linguistiques, grammaire et sens: algorithmique logique de la langue (SIGNES)


Institutions: INRIA / LaBRI (UMR5800) / ERSS (UMR5610) / Universit Bordeaux 1 / Universit Bordeaux 3 Directeur / Director: Christian Rtor (retore@labri.fr) Adresse / Address: LABRI & INRIA Futurs. Universit Bordeaux 1. 351, cours de la Libration. F-33405 Talence Cedex . Tlphone / Phone: +33540003872 - Fax: +33540006669 Email: signes@labri.fr Site web / Website: http://signes.labri.fr/ Membres statutaires / Regular members: 13 Membres associs / Associate members: 5 Doctorants / Doctoral students: 4 Liste des membres travaillant dans les domaines LMPS / List of members working in the LMPS domains: RETORE Christian, PR ; DURAND Irne, MCF ; MOOT Richard, CR ; PORTINE Henri, PR ; HUET Grard, DR ; LECOMTE Alain, PR ; KOBELE Greg, Postdoc ; MUSKENS Reinhard, Visitor Domaines de recherche / Areas of research Since the early beginnings of computer science linguistics has always been both a privileged research field (automatic translation) and a source of key concepts (formal language theory). More recently, logic has been recognized as a federating tool for natural language processing with its ability to account for both semantic and syntactic phenomena of natural language. We aim at developing computer models and algorithms for different description levels for natural language study and processing, with a special focus on the syntaxsemantics interface. More precisely, we aim at modelling by means of formal tools (such as: formal language theory, categorial grammars, resource logics, lambda calculus, higher order logic) some aspects of natural language (derivational morphology and lexical semantics, flexional morphology, syntax, logical (or predicative) semantics, discourse representation). Our goals include a closer study of the relationship between formal and categorial grammars, a tighter integration of morphology and syntax, the automatic computation of semantic representations from syntactic analyses (categorial, minimalist...), anaphora 41

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

resolution, and the study of the relationship between the predicative structure of a sentence and the logic structure of discourse

42

CHERCHEURS INDIVIDUELS INDIVIDUAL RESEARCHERS

Introduction

Nous avons ralis cette liste partir des informations fournies par les chercheurs individuels qui ont rpondu au questionnaire. Chaque entre contient, outre les coordonnes du chercheur, ses domaines dtude et une bibliographie slective de cinq titres au maximum. Laffiliation est donne immdiatement aprs le nom. Sont donnes dans lordre: institution de rattachement (par exemple universit ou organisme de recherche), et unit de recherche. Assez souvent, l'quipe de recherche indique n'appartient pas l'tablissement d'affiliation professionnelle. Ceci signifie que l'individu x est employ par tel tablissement, mais dveloppe sa recherche au sein du domaine DLMPS dans telle quipe ailleurs. Ceci est une situation assez frquente en France. On se reportera au rpertoire des units de recherche pour les adresses des units de recherche. Dans certains cas, lquipe de recherche indique napparat pas dans le rpertoire de recherches figurant dans ce guide. Ceci signifie soit que lquipe en question na pas rpondu au questionnaire, soit que le domaine DLMPS nest pas prioritaire pour elle. Nous avons renonc donner une adresse physique pour chaque chercheur, car les adresses obtenues partir de lenqute en ligne taient trop htrognes dans leur format. Ladresse lectronique nous a paru plus sre. Pour la rubrique libre "Observations / Remarks", nous avons respect le choix des personnes de s'exprimer soit en franais, soit en anglais. La liste inclut les tudiants en thse qui en ont fait la demande et dont la liste de publication indique une reconnaissance acadmique. Enfin, le guide ne couvre par les chercheurs francophones, mais seulement ceux exerant en France. Que nos collgues de pays francophones ayant rpondu au questionnaire ne sen offusquent pas : le guide a t conu comme un inventaire national. We compiled this list on the basis of information the individual researchers sent us. Each entry contains, besides contact information, a short list of the main areas of his or her research, and a short list of selected publications (with a maximum of five titles). The individuals affiliation is given immediately after his name: first his institution (e.g. University or research organization), then his research unit. Quite often, the research unit does not belong to the institution of professional affiliation. This means that individual x work in this or that place, but makes her/his research in the DLMPS domain in this or that research unit elsewhere. This is a rather common situation in France. The research units full addresses are given in the previous index. In some cases, the research unit does not appear in this index. This means one of two things: either the research unit did not fill out the questionnaire, or the DLMPS domain is not a priority for this research unit. We finally decided not to provide a physical address for each individual, because the formats of the addresses obtained from the online enquiry were too heterogeneous. Giving just the e-mail address seemed safer. As for the "Observations / Remarks" free entry, we have respected the individual's choice to express herself/himself either in French or in English. Doctoral students have been included in this list when their list of publications showed significant academic recognition. Finally, this guide does not include francophone researchers, but only those working in France: this guide was conceived as a national overview.

45

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

2005, "Autres mondes ou notre monde ? Le futur biotechnologique en sciencefiction adulte et jeunesse", Cahier Robinson, 17, Autres Mondes, Revue du CRELID, Universit d'Artois, Arras. 2006, "Greg Egan, variations sur ltre humain", Critique, 709-710, Les Mutants, Paris: Editions de Minuit. 2006, "Politique de laltration des corps et des facults reproductrices humaines dans quatre utopies fministes de science-fiction", in F. Dupeyron-Lafay (dir.), Les Reprsentations du corps dans les uvres fantastiques et de science-fiction, Figures et fantasmes, Paris: Michel Houdiard, 255-266.

Observations / Remarks: Autre organisme de rattachement: Universit Lyon 1 - Service commun sciences humaines et sociales (SC-SHS). Autres centres d'intrt: thorie des mondes possibles ; expriences de pense ; thorie de la fiction, philosophie de la mdecine et de la biologie.

ALTAVILLA Annagrazia (PhD student)


Universit d'Aix-Marseille 2 Ethique et Philosophie de la Mdecine et de la Biologie E-mail: Annagrazia.Altavilla@medecine.univ-mrs.fr

Domaines de recherche / Areas of research Bioethics

Bibliographie slective / Selected publications 2004, avec Dell'Erba A. & Quaranta R., "La libert de disposer de son corps: droit fondamental dclar dans les Conventions internationales", Medicina Legale Quaderni Camerti, 1, 189-213. 2004, "L'Europe face la recherche sur les cellules souches: enjeux thiques et juridiques", Revue Gnrale de Droit Mdical, 14, 159-196. 2005, "La recherche embryonnaire en Europe: analyse compare", in "La loi Biothique de 2004", Cahier de Droit de la Sant du Sud-Est, PUAM, 3, 47-67. 2005, "La libert de soins en Europe la lumire des arrts de la Cour de Justice des Communauts europennes: quelles perspectives ?", Revue Gnrale de Droit Mdical, 15, 27-64. 2006, "Le droit europen de la biothique entre progrs scientifique, intrts conomiques et principes thiques", Revue Gnrale de Droit Mdical, 21, 87-107.

Observations / Remarks: Domaines de recherche : Droit europen et thique de sciences biologiques et mdicales. Droit de la sant.

47

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

ALUNNI Charles
cole Normale Suprieure Laboratoire diciplinaire "Pense des Sciences" E-mail: alunni@ens.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of physics Philosophy of mathematics and logic

Bibliographie slective / Selected publications 1999, "Relativits et puissances spectrales chez Gaston Bachelard", Revue de Synthse, Pense des sciences, 120 (1), Paris: Albin Michel. 2005, "Diagrammes & catgories comme prolgomnes la question : Qu'est-ce que s'orienter diagrammatiquement dans la pense ? ", Thorie, littrature, enseignement, 22, Presses Universitaires de Vincennes. 2005, "Albert Lautman et le souci bris du mouvement", in Revue de Synthse, Sciences et philosophie au XX sicle. L'cole de Zrich et le programme surrationaliste, 126 (2), Paris: ditions Rue d'Ulm. 2005, "L'cole de l'ETH dans l'uvre de Gaston Bachelard. Les figures spectrales d'Hermann Weyl, Wolfgang Pauli et Gustave Juvet", in Revue de Synthse, Sciences et philosophie au XX sicle. L'cole de Zrich et le programme surrationaliste, 126 (2), Paris: ditions Rue d'Ulm. 2006, "Continental Genalogies. Mathematical confrontations in Albert Lautman and Gaston Bachelard", in S. Duffy (ed.), Virtual Mathematics. The logic of difference, Manchester: Clinamen Press.

ANDLER Daniel
Universit Paris 4 & Ecole normale suprieure Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) (CNRS/Paris 1/ENS) & quipe "Rationalits contemporaines" (Paris 4) E-mail: daniel.andler@ens.fr

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics General problems of methodology and scientific reasoning Philosophical and applied logics

Bibliographie slective / Selected publications 2000, "The normativity of context", Philosophical Studies, 100, 273-303 48

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

2002, avec A. Fagot-Largeault et B. Saint-Sernin, Philosophie des sciences, 2 volumes, Paris: Gallimard, coll. Folio. 2003, "Context: the case for a principled epistemic particularism", Journal of Pragmatics, 35/3, 349-371. 2004, (Direction douvrage et 3 chapitres), Introduction aux sciences cognitives, dition augmente, Paris: Gallimard. 2005, "Les neurosciences cognitives: une nouvelle 'nouvelle science de l'esprit' ?" Psychiatrie, sciences humaines, neuroscience, 3 (12), mars-avril 2005, 74-87

ANOUN Houda
Universit de Bordeaux 1 Laboratoire bordelais de recherche en informatique, quipe Signes linguistiques, grammaire et sens : algorithmique logique de la langue (SIGNES) E-mail: anoun@labri.fr or anoun@labri.fr

Domaines de recherche / Areas of research Formal languages and computation Logic and computation Mathematical logic

Bibliographie slective / Selected publications 2005, "Reasoning on Multimodal Grammars with the Calculus of Inductive Constructions", LPAR-12 : International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Montego Bay: Decembre 2005. 2005, "Une bibliothque Coq pour le traitement des langues naturelles", JFLA : Journees Francophones des Langages Applicatifs, Obernai: Mars 2005. 2005, "Mta-linguistique dans l'assistant de preuves Coq", MajecStic : Manifestation des Jeunes Chercheurs en Stic, Rennes: Novembre 2005 2006, Houda Anoun et Alain Lecomte, "Logical Grammar with Emptiness", FG : Formal Grammar, Malaga: Juillet 2006. 2006, "Towards a logical analysis of nominal sentences in Standard Arabic", Esslli : European Summer School in Logic Language and Information, session tudiante, Malaga: Aout 2006.

Observations / Remarks: Je suis doctorante en dernire anne de thse et je m'intresse l'application de la logique dans le domaine de la linguistique computationnelle.

AUCOUTURIER Etienne (PhD student)


Universit Paris I Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST).

49

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

E-mail: etienne.aucouturier@malix.univ-paris1.fr or hisphisci@gmail.com

Domaines de recherche / Areas of research Philosophy of biology Ethical issues in scientific practice and technologies Bioethics

Bibliographie slective / Selected publications 2005, "Biological research, secrecy and the public interest, The International Forum for Social Sciences and Health", in World congress "Health Challenges of the Third Millennium". Vol.2. Abstract Book. Yeditepe University. Istanbul. 2006, recension de: Lucas Cavalli-Sforza, volution biologique, volution culturelle. tudes. 404 (5). 2006, note de lecture: "Facteurs deffondrement des socits humaines", tudes, 404 (9), 129-131.

BACHTOLD Manuel
Dortmund Universitt, Institut fr Philosophie IHPST E-mail: baechtold@fb14.uni-dortmund.de

Domaines de recherche / Areas of research Philosophy of physics

Bibliographie slective / Selected publications 2006, "An Instrumentalist Criticism of Poppers Propensities", in Jarvie, J., Milford, K., and Miller, D. (eds.), Karl Popper: A Centenary Assessment, Volume III: Science and Social Science, Aldershot (UK): Ashgate, Chap. 49, 97-104. 2007, "Bohr (1885-1962): Bohr, Whitehead, and the Interpretation of Quantum Mechanics", in Rescher, N., Seibt, J., and Weber, M. (eds.), Handbook of Whiteheadian Process Thought, Frankfurt: Ontos Verlag.

BARBARA Jean-Gal
CNRS UMR 7102 et Recherches pistmologiques et historiques sur les sciences exactes et les institutions scientifiques (REHSEIS) E-mail: jean-gael.barbara@snv.jussieu.fr

50

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science Philosophy of biology Formal approaches to methodology

Bibliographie slective / Selected publications 2006, "Louis Antoine Ranvier (1835-1922)", Journal of Neurology, 253, 399-400. 2006, "The physiological construction of the neurone concept (1891-1952)", Comptes Rendus Biologie, 329 (5-6), 437-449. "Diversit et volution des pratiques chirurgicales, anatomiques et physiologiques du cerveau au XVIIIe sicle", in Cherici, C. & Dupont, J.-C. (eds.), Lorgane de la pense lge classique (XVIe-XVIIIe sicles), paratre. "Ltude du vivant chez Georges Canguilhem : des concepts aux objets biologiques", Actes de la Journe d'tude en Hommage Georges Canguilhem Philosophie et Mdecine , organisateurs : Anne Fagot-Largeault (Collge de France), Claude Debru et Michel Morange (cole Normale Suprieure), paratre. "Louis Ranvier (1835-1922): the contribution of microscopy to physiology, and the renewal of French general anatomy", Journal of the History of the Neurosciences, sous presse.

BARBEROUSSE Anouk
CNRS Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: anouk.barberousse@ens.fr

Domaines de recherche / Areas of research Philosophy of physics Philosophy of biology

Bibliographie slective / Selected publications 2000, La physique face la probabilit, Paris: Vrin, coll. "Mathesis". 2001, avec P. Ludwig, "Les modles comme fictions", Philosophie, 68, 16-43. 2003, avec L. Pinon (dir.), Ecriture scientifique, numro spcial de la revue Genesis, 20, Paris: ditions Jean Michel Place. 2003, "The Diversity of Models in Statistical Mechanics. Views about the Structure of Scientific Theories", in B. Lwe, W. Malzkorn, T. Rsch (eds.), Foundations of the Formal Sciences II, Applications of Mathematical Logic in Philosophy and Linguistics, Dordrecht: Kluwer, 1-24 . 2006, avec S. Samadi, "The tree, the network and the species", The Biological Journal of the Linnean Society, 89, 509-522.

51

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

BAROT Emmanuel
Universit Touloluse 2 - Le Mirail, dpartement de philosophie - EA ERRAPHIS E-mail: emmanuel.barot@wanadoo.fr or ebarot@univ-tlse2.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic Philosophical and applied logics Philosophy of social sciences

Bibliographie slective / Selected publications 2002, "Dialectique de la nature pensante : la construction de la cognition mathmatique", Philosophia Scientiae, 6 (1), Biologie et cognition, 33-72. 2003, "Lobjectivit mathmatique selon Albert Lautman : entre Ides dialectiques et ralit physique", Cahiers Franois Vite, n6, 3-27. 2003, "Le rasoir hglien : dconstruire les forces suspectes de la mcanique newtonienne", Archives Internationales d'Histoire des Sciences, Acadmie Internationale dHistoire des Sciences, n150-151, Vol. 53, 198-211. 2005, "En quoi la crise des fondements des mathmatiques est-elle termine ?", Philosophia Scientiae, 9 (2), Aperus philosophiques en logique et mathmatiques, 23-39. 2005, "Ecrire avec science comment lAutre existe son alination. Sartre et les concepts fondamentaux de la sociologie", Etudes sartriennes, n10, Dialectique, Littrature, 55-75.

Observations / Remarks: N en 1976. MCF en logique et philosophie des sciences au dpartement de philosophie du Mirail depuis 2005. (Plusieurs ouvrages en cours partir de la thse de doctorat soutenue en novembre 2004, sur les philosophies dialectiques des mathmatiques depuis Hegel).

BARREAU Herv
CNRS (retired) Laboratoire de Philosophie et dHistoire des Sciences-Archives Poincar E-mail: hbarreau@noos.fr

Domaines de recherche / Areas of research Philosophy of physics General problems of methodology and scientific reasoning Bioethics

52

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2001, "The meaning of suffering in Buddhism and Christianity", Analecta Husserliana, LXXII, Life-interpretation and the sense of illness within the human condition, edited by A.T.Tyminiecka and E.Agazzi, Kluwer Academic Press, 195201. 2001, "La physique et la nature", Annales de la Fondation Louis de Broglie, 26 (1-3), 4353. 2003, "La flche du temps, la cosmologie et la finalit", Annales de la Fondation Louis de Broglie, 28 (3-4), 301-313. 2005, "Einstein et la conception physique de l'espace et du temps", Annales de la Fondation Louis de Broglie, 30 (3-4), 463-482. "Historical and transcendantal factors in the construction of the sciences", Poznan studies in Philosophy of Science, to appear.

BARTHELEMY Jean-Hugues
Universit Paris 8 et Maison des Sciences de lHomme Paris-Nord Laboratoire LLCP de l'Universit de Paris 8 E-mail: jh.barthelemy [at] wanadoo.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of physics Philosophy of social sciences

Bibliographie slective / Selected publications 2005, Penser l'individuation. Simondon et la philosophie de la nature, Paris: L'Harmattan, prface de Jean-Claude Beaune. 2005, Penser la connaissance et la technique aprs Simondon, Paris: L'Harmattan. 2006, Coordination du numro "Gilbert Simondon" de la Revue philosophique (n3/2006).

Remarks : Recherches en thorie de la connaissance, et poursuite de l'entreprise de l'Encyclopdisme gntique initie par le philosophe franais Gilbert Simondon. Directeur du Programme "Simondon, ou l'Encyclopdisme gntique" de la Maison des Sciences de l'Homme de Paris-Nord

BASSAC Christian
Institut de Recherche en Informatique et Automatique (INRIA) INRIA-Futurs

53

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

E-mail: Christian.Bassac@inria.fr or Christian.Bassac@u-bordeaux3.fr

Domaines de recherche / Areas of research Mathematical logic Formal languages and computation Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 2005, avec P. Bouillon, "Qualia structure and anaphoric reference", in Bouillon & Kanzaki (eds.), Proceedings of the third international workshop on generative approaches to the lexicon, 27-35. Avec P. Henry, R. Marlet & J. Vanier, "Towards a knowledge representation model dedicated to the semantic analysis of the sentence", rapport de recherche INRIA, disponible en ligne : http://hal.inria.fr/inria-00084245 Avec P. Bouillon, "The telic relationship in compounds", in Pustejovsky et alii (eds.), Generative approaches to the Lexicon, Dordrecht: Kluwer Academic Press, paratre.

BASTIT Michel
Universit de Bourgogne Laboratoire de Philosophie et dHistoire des Sciences Archives Henri Poincar (CNRS / Nancy Universit) E-mail: michel.bastit@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of biology Philosophical and applied logics

Bibliographie slective / Selected publications 2002, Les quatre causes de l'tre selon la philosophie premire d'Aristote, Louvain: Peteers. 2003, Les tables de logique de Giacomo Zabarella, Paris: L'Harmattan. 2003, "Du dmiurge platonicien au Premier Moteur aristotlicien", Methexis, Academia Verlag, XVI, 23-42. Recherches sur l'embyologie des poumons, des reins et des glandes interrnales de Typhlonectes compressicauda, Mmoire EPHE. 2006, "De l'activit du Principe", Mlanges Vet, Beyrouth, Iris, 27, 49-72.

Observations / Remarks: Domaines de recherche : 1) Mtaphysique 2) philosophie du vivant 3) philosophie ancienne (Aristote en ses diverses dimensions)

54

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

BECQUEMONT Daniel
Universit Lille 3 C.E.C.I. L. Lille 3 E-mail: becquemont@wanadoo.fr or daniel.becquemont@univ-lille3.fr

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science Philosophy of biology Bioethics

Bibliographie slective / Selected publications 1992, Darwin, darwinisme, volutionnisme, Paris: Kim. 1998, Le cas Spencer, Paris: PUF. 2000, "Eugnisme et socialisme en Grande Bretagne 1880-1914", Mil neuf cent, 18, 53-79. 2006, "Samuel Butler critique de Darwin", Revue de la Socit Franaise dHistoire de la Biologie, 13 (1). 2006, "Charles Darwin et Herman Melville aux Iles Galagapos", Bulletin de la Socit dHistoire des Sciences Humaines, 29, 28-40.

BELLIS Delphine (PhD student)


Universit Paris 4 EA 3552 Mtaphysique, histoires, transformations, actualit E-mail: delphine.bellis@paris4.sorbonne.fr or delphine_bellis@hotmail.com

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science Philosophy of physics

Bibliographie slective / Selected publications 2005, "La dprise du sensible": prsentation de Voir et connatre l'ge classique de Philippe Hamou, Sciences et Avenir Hors-srie 142. 2005, "Les faits thoriques": prsentation de Galile, Newton lus par Einstein de Franoise Balibar, Sciences et Avenir Hors-srie 142. "La reconstruction physique du monde partir de l'exprience de pense: Descartes - La Fable du Monde", in E. Brun-Rovet & D. Bellis (dir.), De l'exprience de pense l'exprience concrte ?, paratre.

Observations / Remarks: Allocataire-monitrice l'Universit Paris 4, je mne une thse, sous la direction de Michel Fichant, sur Le visible et l'invisible dans la pense 55

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

cartsienne . Ma recherche, essentiellement centre sur la physique cartsienne, aborde, entre autres, des champs tels que l'optique, la microscopie, la structure de la matire.

BELNA Jean-Pierre
Universit Paris 7 Denis Diderot Recherches pistmologiques et Historiques sur les Institutions Scientifiques (REHSEIS) E-mail: jean-pierre.belna@libertysurf.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic

Bibliographie slective / Selected publications 1996, La notion de nombre chez Dedekind, Cantor, Frege, Paris: Vrin. 1997, "Les nombres rels: Frege critique de Cantor et de Dedekind", Revue. d'Histoire des Sciences, 50 (1-2), 131-158. 2000, Cantor, Paris: Les Belles Lettres. 2002, "Frege et la gomtrie projective: La Dissertation inaugurale de 1873", Revue d'Histoire des Sciences, 55 (3), 379-410. 2005, Histoire de la logique, Paris: Ellipses.

BENATOUIL Thomas
Universit Nancy 2 Laboratoire de Philosophie et d'Histoire des Sciences Archives Henri Poincar (CNRS / Nancy Universit) E-mail: Thomas.Benatouil@univ-nancy2.fr

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science Philosophy of social sciences

Bibliographie slective / Selected publications 1999, "A Tale of Two Sociologies. The Critical and the Pragmatic Stance in Contemporary French Sociology", European Journal of Social Theory, vol. 2, n 3, aot 1999, 379-396. 2003, "La mthode picurienne des explications multiples", in T. Bnatoul, V. Laurand, A. Mac (d.), "Etudes picuriennes", Cahiers philosophiques de Strasbourg, n 15, printemps 2003, 15-47.

56

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

2004, "Lusage des analogies dans le De motu animalium", in A. Laks et M. Rashed (d.), Aristote et le mouvement des animaux, Villeneuve d'Ascq: Presses Universitaires du Septentrion, 81-114. 2005, "Clanthe contre Aristarque : stocisme et astronomie l'poque hellnistique", Archives de philosophie, vol. 68, n 3, 207-222.

BENIS SINACEUR Hourya


CNRS Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: sinaceur@canoe.ens.fr or houryabenis@yahoo.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic

Bibliographie slective / Selected publications 1999, Corps et Modles. Essai sur l'histoire de l'algbre relle, 2me dition, Paris: Vrin. Traduction amricaine sous presse, Boston: Birkhuser-Springer, USA. 2000, "Tarski's Address at the Princeton University Bicentennial Conference on problems of Mathematics (December 17-19, 1946)", edited with additional material and an Introduction by Hourya Sinaceur, The Bulletin of Symbolic Logic, 6 (1), 1-44. 2001, "Alfred Tarski : Semantic shift, heuristic shift in Metamathematics", Synthese, 126, Kluwer Academic Publishers, 49-65. 2006, "From Kant to Hilbert : French philosophy of concepts in the beginning of the XXth century", in J. Ferreiros & J. Gray (eds.), The Architecture of Modern Mathematics, Oxford University Press, 349-376. "Tarskis practice and philosophy : between formalism and pragmatism", in S. Lindstrm, E. Palmgren, K. Segerberg, and V. Stoltenberg-Hansen (eds.), Logicism, Intuitionism and Formalism : what has become of them?, Synthese Library, to appear soon.

BENSAUDE-VINCENT Bernadette
Universit Paris 10 Equipe d'accueil Histoire de la philosophie, histoire des sciences (EA373) E-mail: bensaude@u-paris10.fr

Domaines de recherche / Areas of research Philosophy of physics Historical and sociological aspects in the philosophy of science Ethical issues in scientific practice and technologies

57

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 1999, "Atomism and Positivism : A Legend about French Chemistry", Annals of Science, 56, 81-94. 2003, La science contre lopinion : histoire dun divorce, Paris: Seuil. 2004, Se librer de la matire? fantsames autour des nouvelles technologies, Paris: INRA. 2005, Faut-il avoir peur de la chimie ?, Paris: Seuil. 2005, "Chemistry in the French tradition of philosophy of science: Duhem, Meyerson, Metzger and Bachelard", Studies in History and Philosophy of Science, 36, 627648.

Observations / Remarks: Autre domaine de recherche : philosophie de la chimie.

BERLINE Chantal
CNRS UMR 7126 (Laboratoire PPS Preuves, Programmes, Systmes) E-mail: chantal.berline@pps.jussieu.fr

Domaines de recherche / Areas of research Mathematical logic Formal languages and computation

Bibliographie slective / Selected publications 1997, avec K. Grue, "A kappa-denotational semantics for Map Theory in ZFC+SI", Theoretical Computer Science, 179, 137-202. 2000, "From Computation to Foundations via Functions and Application: the Lambda-calculus and its Webbed Models", Theoretical Computer Science, 249, 81-161. 2002, avec S. Berardi, "Beta-eta-complete models for System F", Mathematical Structures in Computer Science, 12 (6), 823-874. 2006, avec A. Salibra, "Easiness in graph models", Theoretical Computer Science, 354, 423. 2006, "Graph models of lambda-calculus at work, and variations", Mathematical Structures in Computer Science, 16, 185-221.

BIENVENU Alexis (PhD student)


Universit Paris-1 Institut d'Histoire et Philosophie des Sciences et des Techniques (IHPST) & Centre de Recherches en Epistmologie Applique (CREA) E-mail: bienvenu@univ-paris1.fr

58

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science Philosophy of economics, theories of rationality, decision theory, game theory

Bibliographie slective / Selected publications 2002, "Helmholtz, critique de la gomtrie kantienne", Revue de Mtaphysique et de Morale, 35 (3), 391-396. 2002, Traduction et prsentation de textes de H. v. Helmholtz (traduits de lallemand) in Revue de Mtaphysique et de Morale, 35 (3), 397-410 (prsentation : 391396). ( Lespace peut tre transcendantal sans que les axiomes le soient / Lapplicabilit des axiomes au monde physique ) 2006, "Les propositions non vrifiables ont-elles un sens ? Probabilit, action et signification chez H. Reichenbach", Dialogue. Revue canadienne de philosophie, 45 (1), 46-68. 2006, Traduction et prsentation de textes de H. Reichenbach (traduits de lallemand), in Ch. Bonnet et P. Wagner (dir.), Lge dor de lempirisme logique, Paris: Gallimard. ("Le concept de vrit en physique", 231-251 [prsentation : 223-229] / "Les fondements logiques du concept de probabilit", 375-404 [prsentation : 364374]).

BITBOL Michel
CNRS Centre de Recherche en pistmologie Applique E-mail: michel.bitbol@shs.polytechnique.fr

Domaines de recherche / Areas of research Philosophy of physics General problems of methodology and scientific reasoning Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 1996, Schrdinger's philosophy of quantum mechanics, Boston Studies in the philosophy of science, Kluwer. 1996, Mcanique quantique, une introduction philosophique, Collection Nouvelle Bibliothque Scientifique, Flammarion. Rdition Champs-Flammarion, 1997. 1998, "Some steps towards a transcendental deduction of quantum mechanics", Philosophia naturalis, 35, 253-280. 2000, Physique et philosophie de l'esprit, Flammarion. 2006, "Une science de la conscience quitable. L'actualit de la neurophnomnologie de Francisco Varela", Intellectica, 43, 135-157.

59

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Observations / Remarks: Trancendental epistemology (in the spirit of Kant, Cassirer, and/or Husserl), applied to philosophy of science, philosophy of physics, and philosophy of mind

BITBOL-HESPERIS Annie
Universit Paris 4 Centre d'Etudes Cartsiennes E-mail: annie.bitbol@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of medicine General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 1990, Le principe de vie chez Descartes (et ses prdcesseurs), Paris: Vrin (livre issu de la thse soutenue l'Universit de Paris 4, Paris-Sorbonne). 1996, Ren Descartes, Le Monde, L'Homme, dition critique, Paris: Le Seuil. 1999, "Descartes, Harvey et la mdecine de la Renaissance", in E. Faye (ed.), Descartes et la Renaissance, Paris: Honor Champion, 323-347. 2000, "Cartesian Physiology", in St. Gaukroger, J. Schuster and J. Sutton (eds.), Descartes'Natural Philosophy, London: Routledge Studies in Seventeenth-Century, 349-382. 2005, "Conjoined Twins and the Limits of our Reason", in Ch. T. Wolfe (ed.), Monsters and Philosophy, London: King's College Publications, 61-107.

BLACKBURN Patrick
Institut de Recherche en Informatique et Automatique INRIA Lorraine E-mail: patrick.blackburn@loria.fr

Domaines de recherche / Areas of research Philosophical and applied logics Logic and computation Formal languages and computation

60

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2001, avec Maarten de Rijke and Yde Venema (eds.), Modal Logic, Cambridge Tracts in Theoretical Computer Science, 53, Cambridge University Press. 2001, avec Carlos Areces et Maarten Marx, "Hybrid Logic: Characterization, Interpolation and Complexity", Journal of Symbolic Logic, 66 (3), 977-1010. 2005, avec Johan Bos, Representation and Inference for Natural Language: A First Course in Computational Semantics, CSLI Press 2006, "Arthur Prior and Hybrid Logic", Synthese, 150, 329-372. 2007, avec Johan van Benthem and Frank Wolter (eds.). Handbook of Modal Logic, Elsevier.

BLANQUI Frdric
Institut de Recherche en Informatique et Automatique LORIA Domaines de recherche / Areas of research Formal languages and computation

Bibliographie slective / Selected publications 2002, with J.-P. Jouannaud and M. Okada, "Inductive-data-type Systems", in Theoretical Computer Science, 272, Elsevier Science. 2003, "Rewriting modulo in Deduction modulo", RTA'03, in Lecture Notes in Computer Science, 2706, Springer Verlag. 2005, "Definitions by rewriting in the Calculus of Constructions", in Mathematical Structures in Computer Science, 15 (1), Cambridge University Press. 2005, "Inductive types in the Calculus of Algebraic Constructions", in Fundamenta Informaticae, 65 (1-2), IOS Press. 2006, with C. Riba, "Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems", LPAR'06, in Lecture Notes in Computer Science, 4246, Springer Verlag.

BOLMONT Etienne
IUFM de Lorraine Laboratoire de Philosophie et dHistoire des Sciences Archives Henri Poincar (CNRS / Nancy Universit) E-mail: etienne.bolmont@free.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Science and education 61

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 1999, Le rle pistmique des analogies lexemple de llectricit, du magntisme et de llectromagntisme au XIXe sicle, Lille: Septentrion (thse de doctorat). 2002, "Hands-on with museums", in Xanthoudaki M. (ed.), A place to discover, teaching science and technology with museums, Milano: Fondazione museo nationale Leonardo da Vinci, 61-71. 2003, "Evolution des analogies. Lexemple de lanalogie lectricit-chaleur", Philosophia Scientiae, 7 (2), 115-146. 2005, "Les analogies thories artefacts : le cas des modles hydrauliques au 19me sicle", Philosophia Scientiae, 5 (2), 1-25. 2005, "Expriences de savants, expriences dlves", in Andrieu B. et al. (dir.), Exprimenter pour apprendre, Paris: LHarmattan, coll. "Mouvement des savoirs", 3352.

BONNAY Denis
cole Normale Suprieure, Dpartement d'tudes Cognitives Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: denis.bonnay@univ-paris1.fr

Domaines de recherche / Areas of research Philosophical and applied logics Formal languages and computation Philosophy of mathematics and logic

Bibliographie slective / Selected publications 2004, Preuves et jeux smantiques, in M. Rebuschi & T. Tulenheimo (eds), Logique & Thorie des jeux, Philosophia Scientiae, 8 (2), 105-123. 2005, Compositionality and Molecularism, in M. Werning, E. Macherey & G. Schurz (eds), The Compositionality of Concepts and Meaning: Foundational Issues, Ontos, 4162. 2005, avec B. Simmenauer, Tonk Strikes back, Australasian Journal of Logic, 3, 3344. 2006, avec P. Egr, A Non-standard Semantics for Inexact Knowledge with Introspection, in R. Parikh & S. Artemov (eds), Proceedings of the ESSLLI 2006 Workshop Rationality and Knowledge. avec P. Egr, Margin for Errors in Context, in M. Garcia-Carpintero & M. Klbel (eds), Relative Truth, Oxford: Oxford UP, forthcoming.

62

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

BONNET Christian
Universit Paris 1 Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) (CNRS/UMR8590) E-mail: chribonnet@wanadoo.fr or Christian.Bonnet@univ-paris1.fr

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 1999, Traduction franaise de Karl Popper, Les deux problmes fondamentaux de la thorie de la connaissance, 476 pp., Paris: Hermann. 2002, "Kant et les limites de la science", in P. Wagner (d.), Les Philosophes et la science, Paris: Gallimard. 2003, with Elhanan Yakira, "History, science and reason: On the Philosophy of Emile Meyerson", Iyyun. The Jerusalem Philosophical Quaterly, 52, juillet 2003. 2006, Bonnet, Ch. et Wagner, P. (dir.), L'ge d'or de l'empirisme logique, Paris: Gallimard. 2006, "Schlick et le kantisme", in J. Bouveresse, D. Chapuis-Schmitz et J.-J. Rosat (d.), L'Empirisme logique la limite, Paris: CNRS-Editions.

BOURDEAU Michel
CNRS Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: bourdeau@ehess.fr or

Domaines de recherche / Areas of research Philosophy of mathematics and logic Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 1999, Pense symbolique et intuition, Paris: Presses Universitaires de France, coll. Philosophies. 2000, Locus logicus, essai sur le statut de lontologie catgoriale dans la philosophie analytique comtemporaine, Paris: LHarmattan. 2005, L'ide de point de vue sociologique, Cahiers internationaux de sociologie, CXVII, (n1) 2005, La thorie constructive de la rfrence, Logique et analyse, vol. 189-191, 169188. 2006, Les trois tats : science, thologie et mtaphysique chez Comte, Paris: Editions du Cerf. 63

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

BOYER Alain
Universit de Paris 4 Sorbonne Rationalits contemporaines (Paris 4) E-mail: boyeral@wanadoo.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of social sciences Philosophical and applied logics

Bibliographie slective / Selected publications 1992, L'Explication en histoire, Lille: Presses Universitaires de Lille. 1994, Introduction la lecture de Karl Popper, Paris: Presses de lEcole Normale Suprieure. 1999, "Le tout et ses individus : querelle des universaux et querelle des sciences sociales", Revue Philosophique, 1999 (4). 2000, "La Philosophie des Sciences", in P. Engel (dir.), Prcis de Philosophie analytique, Paris: PUF. 2001, "Schlick et Popper", Etudes Philosophiques, 2001 (3).

Observations / Remarks: Traducteur de deux ouvrages de Karl Popper : Le ralisme et la science (avec D. Andler) (Paris: Hermann, 1990), et Un univers de propensions (Paris: L'Eclat, 1992).

BRAUNSTEIN Jean-Franois
Universit Paris 1 Panthon-Sorbonne Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: jfbraunstein@noos.fr

Domaines de recherche / Areas of research Philosophy of medicine Historical and sociological aspects in the philosophy of science Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 1986, Broussais et le matrialisme. Mdecine et philosophie au XIXe sicle, Paris: MridiensKlincksieck. 1998, Actualit de Georges Canguilhem. Le normal et le pathologique, Paris: Les empcheurs de penser en rond, Paris. 64

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

2000, "Canguilhem avant Canguilhem", Revue d'histoire des sciences, 53 (1). 2003, Auguste Comte aujourd'hui, Paris: Kim, Paris. 2004, "Bachelard, Canguilhem, Foucault. Le "style franais" en pistmologie", in P. Wagner (d.), Les philosophes et la science, Paris: Gallimard.

BRENNER Anastasios
Universit Paul Valry-Montpellier 3 EA 738 Philosophie E-mail: anastasios.brenner@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of physics General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 2002, "The French Connection: Conventionalism and the Vienna Circle", in M. Heidelberg et F. Stadler (dir.), History of Philosophy of Science, Dordrecht: Kluwer, 277287. 2003, Les Origines franaises de la philosophie des sciences, Paris: PUF. 2004, "Gomtrie et gense de lespace selon Poincar", Philosophiques, 31 (1), 115130. 2005, "Histoire et logique dans lcriture encyclopdique", in E. Nemeth, A. Roudet (dir.), Paris-Wien Enzyklopdien im Vergleich, Wien: Sprdansger, 89-105. 2006, "Quelle pistmologie historique ? Kuhn, Feyerabend, Hacking et lcole bachelardienne", Revue de mtaphysique et de morale, 49, 113-127.

BRUN-ROVET Etienne (PhD student)


Universit Paris 1 (Panthon-Sorbonne) quipe Philosophies Contemporaines E-mail: brunrove@hotmail.com or etienne.brun-rovet@univ-paris1.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science Formal approaches to methodology

65

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2002, "Reid, Kant and the philosophy of mind", The Philosophical Quarterly, 52, 209, octobre 2002, 495-510 (repris in J. Haldane et S. Read (dir.), The Philosophy of Thomas Reid, Oxford: Blackwell Publishing, 2003) 2006, avec E. Brun-Rovet, "Ludwik Fleck, Gense et dveloppement dun fait scientifique", Pour la Science, 346, aot 2006.

Observations / Remarks: Je suis allocataire-moniteur, doctorant l'Universit Paris 1 sous la direction de Mme Christiane Chauvir.

CAMPAGNOLO Gilles
CNRS Centre dpistmologie compare: CEPERC E-mail: gilles-c@up.univ-aix.fr

Domaines de recherche / Areas of research Philosophy of economics, theories of rationality, decision theory, game theory General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2000, "La bibliothque viennoise de Carl Menger conserve au Japon : tude des sources dune pense conomique", Austriaca, 50, " Vienne 1900", 173-198. Version japonaise, avec K Yamazaki : "Meng-bunko: aru keizaishis no genshiry" avec K. Yamazaki, Bulletin of the Center for Historical Social Science Literature, 22, mars 2002. 2004, avec M. Lagueux, "Les rapports dchange selon Aristote. thique Nicomaque V et VIII-IX", Dialogues, Revue de la socit canadienne de philosophie, 43 (3), 443-469. 2004, Critique de lconomie politique classique. Marx, Menger et lcole historique, Paris: PUF, coll. "Fondements de la politique". 2005, "Money as Measure of Value. An English Translation and Presentation of Mengers Essay in Monetary Thought", History of Political Economy, 37 (2), 233-262. 2006, "Seuls les extrmistes sont cohrents", Murray Rothbard et l'Ecole austro-amricaine, Lyon: ENS- Editions, coll. "Economie politique contemporaine", comprenant la traduction de : Rothbard M., "The hermeneutical invasion of philosophy in economics", initialement publi dans Review of Austrian Economics.

66

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

CANO Nicole
Assistance Publique des Hpitaux de Marseille Equipe d'accueil "Ethique et philosophie de la mdecine et de la biologie" EA 3783 E-mail: nicole.cano@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of medicine

Bibliographie slective / Selected publications 2005, "De la ncessit d'un recentrage thique de la psychiatrie", Revue Forum. L'Espace Ethique Mditerranen, 11. 2006, "Fondements thiques de la psychothrapie institutionnelle", L'Encphale, 32 (1), 205-12. 2006, Article sur Le mdecin et la mort, approches thiques et philosophiques de P. Le Coz (Paris: Vuibert, 2006), Cliniques mditerranennes, 74, 307-309. 2006, De lutopie de la psychothrapie institutionnelle au pragmatisme de la sant mentale. Point de vue thique sur lvolution des pratiques psychiatriques Mmoire pour le Master 2 Recherche Mention Ethique Sciences Sant et Socit Spcialit "Ethique des pratiques scientifiques biomdicales et de la sant", Marseille.

Observations / Remarks: PREMIER AXE. Objectif : comprendre la faon dont les pratiques actuelles se rfrent aux principes thiques afin den dgager les problmatiques et lgitimer la recherche de rfrences communes, de principes thiques partageables pour que la psychiatrie contemporaine poursuive une vise thique. Mthodologie : interroger la dcision dans lexprience clinique et thrapeutique psychiatrique la lumire des concepts fondamentaux et de la mthodologie de lthique mdicale appliqus au domaine du soin psychiatrique et dgager les rgles qui actualisent les principes thiques dans lactivit quotidienne. DEUXIEME AXE. Interroger la dcision dans lacte psychiatrique dans son rapport avec les motions. TROISIEME AXE. La place de la rigueur pistmologique et de la dfinition du champ de comptence de la psychiatrie dans la dcision.

CARVALLO Sarah
Universit Lyon I LIRDHIST (EA 1658, Lyon) E-mail: sarah.carvallo@ec-lyon.fr

67

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Philosophy of medicine General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 2004, Stahl-Leibniz : la controverse sur la vie, lorganisme et le mixte (dition critique, traduction commente et prface), Paris: Vrin. 2005, "La logique des sciences contingentes applique la mdecine", Corpus, 49, 199-224. 2006, "Stahl, Leibniz, Hoffmann & la respiration", Revue de Synthse, 5e srie, 127 (1), 43-75. 2007, "Histoire du tonus : ruptures ou continuit ?", Actes du sminaire dhistoire et philosophie des sciences, Grenoble: Presses Universitaires de Grenoble. The Stahl Leibniz controversy : philosophy, chemistry and medicine, Series Controversies, Amsterdam/Philadelphia: John Benjamins, paratre 2007.

CASTEL Pierre-Henri
CNRS Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: pierrehenri.castel@free.fr

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science Philosophy of cognitive science, psychology and linguistics Philosophy of medicine

Bibliographie slective / Selected publications 1998, La Querelle de l'hystrie: La formation du discours psychopathologique en France (18811913), Paris: PUF. 1998, Introduction "L'interprtation du rve" de Freud: Une philosophie de l'esprit inconscient, Paris: PUF. 2003, La mtamorphose impensable : Essai sur le transsexualisme et lidentit personnelle, Paris: Gallimard. 2003, Freud : Le moi contre sa sexualit, sous la direction de P.-H. Castel, Paris: PUF. 2006, A quoi rsiste la psychanalyse ?, Paris: PUF, coll. "Science, histoire et socit".

CHABOT Hugues
Universit Lyon 1 LIRDHIST

68

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

E-mail: hugues.chabot@univ-lyon1.fr

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science Philosophy of physics Science and education

Bibliographie slective / Selected publications 2003, "Georges-Louis Lesage (1724-1803), Un thoricien de la gravitation en qute de lgitimit", Archives Internationales dHistoire des Sciences, n150-151, vol. 53, 157183. 2003, "Une thorie fausse et ses avatars, Lexplication cintique de la gravitation de Lesage la fin du XIXme sicle", Sciences et Techniques en Perspective, 2me srie, vol. 7, n 1, 155-172. 2005, "L'image du chercheur et de la recherche scientifique dans la science-fiction de l'ge d'or. Une histoire des sciences en trois temps : rupture, contraction, volution", Actes du 5me Colloque international de Science-Fiction, "L'histoire dans la Science-Fiction, la Science-Fiction dans l'histoire", Nice, 10-12 mars 2005, CYCNOS, vol. 22, n1, 165-177. 2006, "La Physique dans l'Encyclopdie mthodique, entre sciences naturelles et sciences mathmatiques", in C. BLANCKAERT & M. PORRET (dir.), L'Encyclopdie mthodique (1782-1832) : des Lumires au positivisme (Colloque international, Genve, 17-19 mai 2001), Genve: Droz, 467-492. 2006, "Les origines d'un nouvel lment chimique : l'affaire du chlore", in S. CARVALLO & S. ROUX (dir.), "Du nouveau dans les sciences", Recherches sur la Philosophie et Langage, 24, 121-166.

Observations / Remarks: Mon activit de recherche en histoire et philosophie des sciences se dploie selon trois axes : 1. exploration des pratiques implicites ou explicites de normalisation du travail scientifique mises en uvre par une communaut de chercheurs sur l'exemple de l'Acadmie des sciences 2. description et analyse sur le long terme de la gnalogie des thories et des disciplines sur l'exemple de la gravitation 3. inventaire et examen des reprsentations sociales de l'activit scientifique et des professionnels de la sciences sur l'exemple de la science-fiction.

CHAPOUTHIER Georges
CNRS UMR CNRS 7593 ("personnalit et conduites adaptatives") et 8590 ((Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST)) E-mail: chapout@ext.jussieu.fr or georges.Chapouthier@normalesup.org

69

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Philosophy of biology Bioethics Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 1990, Au bon vouloir de l'homme, l'animal, Paris: Denol. 1992, Les droits de l'animal, Collection "Que sais-je ?", Paris: Presses Universitaires de France. 1998, G. Chapouthier, J.C. Nout (eds.), The universal declaration of animal rights, comments and intentions, Paris: Editions Ligue Franaise des Droits de lAnimal. 2001, L'homme, ce singe en mosaque, Paris: Odile Jacob. 2006, J.-C. Nout, G. Chapouthier (dirs.), Humanit, Animalit : quelles frontires ?, Paris: Connaissances et savoirs.

CHAPUIS-SCHMITZ Delphine
Collge de France Chaire de Philosophie du langage et de la connaissance (Jacques Bouveresse) E-mail: delphine.chapuis@tiscali.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2005, "What is Physically Real ? Schlick vs. Einstein", Proceedings of the 28th International Wittgenstein Symposium, Kirchberg am Wechsel, 7.-13. August 2005, Kircherg am Wechsel, 41-43. 2006, "Le structuralisme logique en question : Schlick vs. Carnap", in J. Bouveresse, D. Chapuis-Schmitz and J.-J. Rosat (eds), LEmpirisme logique la limite, Paris: CNRS Editions, 87-108. "Dfinitions implicites, dfinitions explicites et applicabilit des thories", in J. Bouveresse and P. Wagner (eds), Mathmatiques et exprience, Paris: Editions Odile Jacob, forthcoming 2008.

CHARMETANT Eric
Facults jsuites de Paris Centre Svres

70

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

E-mail: eric.charmetant@centresevres.com or eric.charmetant@jesuites.com

Domaines de recherche / Areas of research Philosophy of biology Bioethics Philosophy of medicine

Bibliographie slective / Selected publications 2002, "La personne et ltre humain", Laennec, 50 (3), 26-36. 2004, "La morale volutionniste", HS Sciences et Avenir, 139 (juin-juillet 2004), Les animaux ont-ils un sens moral ?, 56-60.

CHAZAL Grard
Universit de Bourgogne Centre Gaston Bachelard E-mail: Gerard.Chazal@u-bourgogne.fr or gerard.chazal@wanadoo.fr

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science Philosophy of physics Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 1995, Elments de logique formelle, Cachan: Herms. 1995, Le miroir automate, pour une philosophie de l'informatique, Seyssel: Champ Vallon. 2002, Interfaces, enqute sur les mondes intermdiaires, Seyssel: Champ Vallon. 2004, Les mdiations thoriques, Seyssel: Champ Vallon. 2006, Les femmes et la science, Paris: Ellipses.

CHEMLA Karine
CNRS Recherches pistmologiques et Historiques sur les Institutions Scientifiques (REHSEIS) E-mail: chemla@univ-paris-diderot.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic

71

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2004, History of science, history of text, edited by K. Chemla, Berlin: Springer, Collection "Boston studies in the philosophy of science". 2004, avec Guo Shuchun, Les neuf chapitres. Le classique mathmatique de la Chine ancienne et ses commentaires, Paris: Dunod. 2005, "Geometrical figures and generality in ancient China and beyond. Liu Hui and Zhao Shuang, Plato and Thabit ibn Qurra", Science in context, 18, 123-166. 2005, "The interplay between proof and algorithm in 3rd century China: The operation as prescription of computation and the operation as argument", in Paolo Mancosu, Klaus F. Jorgensen & Stig Andur Pedersen (ds.), Visualization, Explanation and Reasoning styles in mathematics, Synthese Library Series, volume 327, Springer, 123-145. 2006, "Artificial languages in the mathematics of ancient China", Journal of Indian Philosophy, 34 (1-2), 31-56.

CHERICI Cline
Universit Paris 7 Denis Diderot Recherches pistmologiques et Historiques sur les Institutions Scientifiques (REHSEIS) E-mail: cherici.celine@caramail.com

Domaines de recherche / Areas of research Philosophy of medicine Philosophy of biology

Bibliographie slective / Selected publications 2003, "Linnisme organique des facults intellectuelles chez Vincenzo Malacarne (1744-1816)", Bulletin dHistoire et dpistmologie des Sciences de la Vie, 10 (2), 245-263. 2004, "Les diffrentes coles de neurologie Marseille", Actes du congrs de la Socit Franaise dHistoire des Sciences et des Techniques, Poitiers, 20-22 mai 2004. 2005, "Le rle fondateur des carnets dobservations sur la pense mdicale de Vincenzo Malacarne (1744-1816)", article accept pour publication par MariaTeresa Monti (ditrice scientifique) dans le cadre des Actes du colloque prliminaire au XIe Congrs de la Socit dHistoire et Epistmologie des Sciences de la Vie, 17-18 mars 2005, Milan, "Ecriture et mmoire dans les carnets du laboratoire medico-biologique (XVIIme-XIXme sicles)", publication dirige par Maria-Teresa Monti (CNRItalie), dition du CNR italien. 2006, "Vincenzo Malacarne : a reserchear in neurophysiology between anatomophysiology and electrical physiology of the human brain", Comptes Rendus

72

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Biologie, 329, numro spcial des Comptes-Rendus de lAcadmie des Sciences coordonn par Pierre Buser et Jean-Gal Barbara, 319-329.

CHERLONNEIX Laurent
CNRS/MAE Centre Marc Bloch, URA 1795, Berlin E-mail: cherlonneix@t-online.de

Domaines de recherche / Areas of research Philosophy of biology Philosophy of medicine Bioethics

Bibliographie slective / Selected publications 2002, vol. 1 : Nietzsche : sant et maladie, lart, Paris: LHarmattan, LOuverture philosophique ; vol. 2 : Philosophie mdicale de Nietzsche : la connaissance, la nature, Paris: LHarmattan, LOuverture philosophique. 2005, "De Nietzsche Canguilhem et aujourdhui", Bulletin dHistoire et dpistmologie des Sciences de la Vie, 12 (1), 101-128. 2007, Chapitre : "La mort cellulaire et la vie", in Les concepts en biologie et leurs limites, collectif sous la direction de Paul Antoine Miquel et Rachel Vincent, De Boeck Universit, coll. "Concepts en biologie & Conceptions du vivant", paratre novembre 2007. "La dialectique de la Vie et de la Mort dans les modles biologiques contemporains de linitiation et de la suspension de la Mort cellulaire", in La vie vcue et la vie explique, publication collective du sminaire de Paul Antoine Miquel et Michel Morange, ENS/Centre Cavaills, Noesis, Centre de recherche dhistoire des ides CRHI, Universit de Nice-Sophia-Antipolis, Vrin, paratre dcembre 2007. "Recherches sur lauto initiation de la Mort cellulaire la fin du 19me sicle", Gesnerus, paratre 2007.

COLLIGNON Patrick
Espace Ethique Mditerranen EA 3783 E-mail: patrick.collignon@ch-toulon.fr

Domaines de recherche / Areas of research Bioethics

73

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2002, "Le devenir des enfants handicaps", Archives de pdiatrie, 9, 1014-1016. 2004, "Le droit la qualit de vie pour les personnes polyhandicapes : analyse des textes qui rglementent les tablissements et services de lducation spciale accueillant des enfants et adolescents polyhandicaps", Revue francophone de la dficience intellectuelle, 15 (1), 137-147. 2005, "Quelle utilisation des connaissances gntiques en mdecine ?", in P. Pdrot (ed.), Gntique, biomdecine et socit, Grenoble: Presses Universitaires de Grenoble, coll. Libres Cours, 17-27. 2006, "Rvision de la loi dorientation en faveur des personne handicapes en France : fondements thiques", in H. Gascon, D. Boisvert, MC. Haelewyck, JR. Poulain & JJ. Detraux (eds.), Dficience intellectuelle : savoirs et perspectives daction, Cap Rouge Qubec: Presses Inter Universitaires, 117-124. 2006, "Prise en charge de la douleur", in B. Chabrol et J. Haddad (eds.), Handicaps de lenfant, Rueil-Malmaison: Doin, coll. Progrs en Pdiatrie, 95-105.

COZIC Mikal
ENS Ulm, Dpartement d'Etudes Cognitives Institut dHistoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: mikael.cozic@ens.fr

Domaines de recherche / Areas of research Philosophy of economics, theories of rationality, decision theory, game theory Philosophical and applied logics Philosophy of mathematics and logic

Bibliographie slective / Selected publications 2006, "Epistemic Models, Logical Monotony and Substructural Logics" in J. van Benthem & alii. (eds), The Age of Alternative Logics, Springer-Kluwer. 2007, "Logical Omniscience and Rational Choice", in P. Bourgine & ali. (eds), Cognitive Economics : new trends, Elsevier Publisher.

CRIPPA Davide
Ecole Normale Suprieure Dpartement de philosophie E-mail: davide.crippa@ens.fr or davide.crippa@gmail.com

74

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Philosophy of mathematics and logic Philosophy of physics Philosophical and applied logics

Bibliographie slective / Selected publications 2005, "The role of transformation groups for the ontology of geometrical objects", abstract, published in ECAP 2005 booklet.

d'ESPAGNAT Bernard
Institut de France E-mail: bernard.despagnat@free.fr

Domaines de recherche / Areas of research Philosophy of physics

Bibliographie slective / Selected publications 2002, Trait de physique et de philosophie, Paris: Fayard. 2005, "Consciousness and the Wigner's friend problem", Foundations of Physics, 35, 19-43. 2006, On Physics and Philosophy, Princeton University Press (translation of the first title above).

D'HOMBRES Emmanuel
CNRS Recherches pistmologiques et Historiques sur les Institutions Scientifiques (REHSEIS) E-mail: e.dhombres@hotmail.fr

Domaines de recherche / Areas of research Philosophy of social sciences Philosophy of biology Philosophy of medicine

75

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2004, "L'"utopie" d'une thrapeutique sociale : porte et limites d'une ide", Araben, 1, mai 2004, 62-69. 2005, "Migrations et transformations du concept de division du travail au XVIIIe et XIXe sicles", Araben, 2, janv. 2005, 6-24. 2006, "Rgulation par qui ? Rgulation de quoi ? La signification du vocable "rgulation" en sociologie et en science politique : une mise en perspective historique", article soumis Politix, nov. 2006. 2006, "La rgulation du "milieu intrieur" : tude sur le devenir physiologique de la terminologie de la rgulation (XVIIIe-XIXe sicles)", Archives Internationales d'Histoire des Sciences, 56. 2006, "Sur l'volutionnisme culturel et ses avatars modernes en sciences sociales : jalons pour une rflexion pistmologique", Araben, 3, janv. 2006, 115-125.

DAVID Ren
Universit de Chambry LAMA (laboratoire de mathmatiques), UMR 5127 du CNRS E-mail: rene.david@univ-savoie.fr or

Domaines de recherche / Areas of research Mathematical logic Logic and computation

Bibliographie slective / Selected publications 1999, "Every unsolvable lambda-terme has a decoration", TLCA'99 (LNCS 1581, 98-113). 2001, "Normalization without reducibility". APAL n 107, 121-130. 2003, "Decidabilty results for primitive recursive algorithms", TCS n300/1-3 (2003), 477-504. 2003, R. David & B. Guillaume, "Strong normalization of the typed lambda_ws calculus", CSL'03 (LNCS 2803, 155-168) 2005, R. David & K. Nour, "Arithmetical proofs of strong normalization results for the symmetric lambda mu-calculus", TLCA'05. LNCS 3461, 162-178.

DEBRU Claude
cole normale suprieure (Ulm) Groupe transdisciplinaire Histoire Philosophie Sciences E-mail: claude.debru@ens.fr or claude.debru@noos.fr

76

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Philosophy of biology Philosophy of cognitive science, psychology and linguistics Philosophy of medicine

Bibliographie slective / Selected publications 2002, Le possible et les biotechnologies. Essai de philosophie dans les sciences, Paris: PUF. 2004, Georges Canguilhem, Science et non-science, Paris: Editions rue d'Ulm. 2006, Neurophilosophie du rve, deuxime dition Paris: Hermann. 2006, "Time, from psychology to neurophysiologie", in Jean-Gal Barbara, Claude Debru et Pierre Buser (ds.), Facets of the History of Neurosciences, Comptes Rendus de l'Acadmie des sciences. 2006, Unit et globalit de l'homme : des humanits aux sciences humaines, sous la direction de Marie-Louise Pelus-Kaplan avec la collaboration de Jacqueline Carroy et Claude Debru, Paris: Syllepse.

Observations / Remarks: Autre domaine de recherche : philosophie gnrale des sciences

DEHORNOY Patrick
Universit de Caen Laboratoire de Mathmatiques Nicolas Oresme E-mail: dehornoy@math.unicaen.fr

Domaines de recherche / Areas of research Mathematical logic Logic and complexity

Bibliographie slective / Selected publications 2004, "Les travaux de Woodin sur l'hypothse du continu", Encyclopedia Universalis, La science au prsent, 123-128. 2004, "Progrs rcents sur l'hypothse du continu, d'aprs Woodin". Sminaire Bourbaki, Expos 915 (2003), Astrisque, Socit Mathmatique de France, 294 (2004) 147-172. "Thorie axiomatique des ensembles", Encyclopedia Universalis, Corpus, sous presse. Au-del du forcing: la notion de vrit essentielle en thorie des ensembles, sous presse. "Elementary embeddings and algebra", in Foreman, Kanamori, Magidor (Eds.), Handbook of Set Theory, to appear.

77

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

DELORD Julien
Konrad Lorenz Institute for Evolution and Cognition Research (Vienna) E-mail: juliendelord@caramail.com or julien.delord@kli.ac.at

Domaines de recherche / Areas of research Philosophy of biology Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 2005, "La sauvaget : un principe de rconciliation entre l'homme et la biosphre", Natures, Sciences, Socits, 13, 316-320. 2006, "Paths toward a proper philosophy of ecology", Biological Theory, 1 (4), accepted. 2007, "The Nature of Extinction", Studies in the history and philosophy of the life and biomedical science, 38, accepted. L'extinction d'espce, Paris: Publications scientifiques du Musum national d'histoire Naturelle, paratre 2008.

DESBOIS Dominique
INRA LEF (Laboratoire d'Economie Forestire) UMR Engref -Inra E-mail: dominique.desbois@agriculture.gouv.fr or desbois@jouy.inra.fr

Domaines de recherche / Areas of research Ethical issues in scientific practice and technologies Philosophy of social sciences Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 1999, "Lthique du libre, fondement dun nouveau paradigme ?", in D. Desbois, N. Jullien, A. Poulain-Maubant, Th. Penard, J. Vetois et J-B.Zimmermann (eds.), Les logiciels libres : de lutopie au march, numro spcial 80/81 de Terminal, Paris: LHarmattan, 77-90. 1999, "Ne bougez plus, ne respirez plus ! Vous tes fichs !", Etudes, 3901, 43-52. 1999, "Les politiques du dveloppement dans le secteur des tlcommunications", pp. 129-149, in A. Chneau-Loquay (dir.), Enjeux des technologies de l'information et de la communication en Afrique, Karthala CNRS-IRD. Disponible en ligne : http://www.africanti.org/IMG/enjeux/DESBOIS.pdf 2004, Dossier Biotechnologies : Vers une appropriation privative du vivant ?, numro spcial 90 de Terminal, dit par D. Desbois, Paris: LHarmattan. 78

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

2005, "Pour une critique empirique de l'emprise technicienne sur le vivant", Terminal, 93-94, "25 ans de Terminal, 25 ans d'informatisation", 127-130.

DESCAMPS Philippe
Universit Paris-Sorbonne (Paris 4) Rationalits contemporaines E-mail: descamps.ph@wanadoo.fr or philippe.descamps@sciences-po.org

Domaines de recherche / Areas of research Ethical issues in scientific practice and technologies Bioethics

Bibliographie slective / Selected publications 2004, Un crime contre lespce humaine? Enfants clons, enfants damns, Paris: Les Empcheurs de Penser en Rond (Seuil). 2004, "Enfants clons, enfants damns", in Recueil Dalloz, 1er juillet 2004, n26/7167e, 1819-1820. 2005, "Les dboires dune incrimination : le crime contre lespce humaine", in Denis Mller et Hugues Poltier (eds.), Un homme nouveau pour le clonage reproductif ?: Fantasmes raisons, dfis, Labor et Fides. 2006, "Faut-il interdire le clonage ?" in L. Thiaw-Po-Une (dir), Questions dthique contemporaine, Les essais , Paris: Stock. 2006, "Sur la conscration de la notion despce humaine, quand la biothique bouleverse le droit", in Raison Publique n4.

DOWEK Gilles
Ecole polytechnique Laboratoire d'Informatique E-mail: Gilles.Dowek@polytechnique.edu

Domaines de recherche / Areas of research Logic and computation

Bibliographie slective / Selected publications 2001, " propos de quelques dmonstrations pas trs convaincantes", manuscrit, Sminaire de Philosophie et Mathmatiques. 2004, "La thorie des types et les systmes informatiques de traitement des dmonstrations mathmatiques", Mathmatiques et Sciences Humaines, 165, 13-29.

79

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

"La notion de modle supose-t-elle une conception raliste de la vrit mathmatique ?", Logique, Mathmatique, Informatique et Philosophie, paratre.

Observations / Remarks: L'ensemble de mes publications est accessible l'adresse : http://www.lix.polytechnique.fr/~dowek/publi.html

DROUET Isabelle (PhD student)


Universit Paris 1 Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: Isabelle.Drouet@malix.univ-paris1.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 2007, "Causal Inference. How can Bayes nets contribute?", in F. Russo et J. Williamson (eds.), Causality and Probability in the Sciences, London: College Publications.

Observations / Remarks: Je suis actuellement doctorante. Ma thse porte sur les analyses probabilistes de la causalit.

DUBUCS Jacques
CNRS Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: jacques.dubucs@univ-paris1.fr

Domaines de recherche / Areas of research Mathematical logic Philosophy of mathematics and logic Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 1988, "Die sogenannte Analytizitt der Mathematik", Grazer Philosophische Studien, 32, 83-112.

80

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

1993, "Inductive Logic Revisited", in J. Dubucs (ed.), Philosophy of Probability, Dordrecht: Kluwer Academic Publ., 79-108. 1994, "La couleur des preuves", in V. de Coorebyter (ed.), Structures rhtoriques dans les sciences, Paris: P.U.F., 231-249. 2002, "Feasibility in Logic", Synthese, 132, 213-237. 2003, avec M. Marion, "Strict Antirealism and Substructural Logics", in A. Rojsczak, J. Cachro & G. Kurewski (eds.), Philosophical Dimensions of Logic and Science (Proceedings of Krakow LMPS'99), Dordrecht: Kluwer Academic Publ., 235-249.

DUMONCEL Jean-Claude
LPHS Archives Henri Poincar (UMR 7117) Groupe Academos dirig par AnneFranoise Schmid E-mail: jcl.dumoncel@club-internet.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic Philosophical and applied logics

Bibliographie slective / Selected publications 2002, Philosophie des Mathmatiques, Paris: Ellipses. 2002, La Tradition de la Mathesis Universalis. Platon, Leibniz, Russell (Cahiers de l'Unebvue, Unebvue-diteur). 2002, "La Philosophie des Mathmatiques au temps du postmoderne", History & Philosophy of Logic, 23, 121-132. 2004, "Le Transfini, les Structures & la Logique. La philosophie mathmatique de Russell revisite", Cahiers de l'Unebvue, hiver 2003-2004. 2006, "Catgories & Structures. La rconciliation de Russell & de Poincar dans le structuralisme de Lautman", Bulletin de l'APMEP, 465, 531-536.

DUPONT Jean-Claude
Universit de Picardie Jules Verne Facult de Philosophie (et Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST)- Paris) E-mail: jean-claude.dupont@u-picardie.fr

Domaines de recherche / Areas of research Philosophy of biology Philosophy of cognitive science, psychology and linguistics Philosophy of medicine 81

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 1999, Histoire de la neurotransmission, Paris: PUF. 2003, avec M. Perrin, Caspar Friedrich Wolff. De formatione intestinorum (1768-1769), Turnhout: Brepols. 2004, avec S. Schmitt, Du feuillet au gne. Histoire des concepts de l'embryologie moderne (fin XVIII-XXe sicle), Paris: Presses de l'ENS. 2005, Histoires de la mmoire, dit par J.-C. Dupont, Paris: Vuibert. 2006, "Carnap, Feigl : rduction et mmoire", in B. Andrieu (ed.), Herbert Feigl, de la physique au mental, Paris: Vrin, 123-149.

DURAND-RICHARD Marie-Jos
Universit Paris 8 Vincennes Saint-Denis Recherches pistmologiques et Historiques sur les Institutions Scientifiques (REHSEIS) E-mail: mjdr@ai.univ-paris8.fr or mj.durand-richard@laposte.net

Domaines de recherche / Areas of research Philosophy of mathematics and logic Historical and sociological aspects in the philosophy of science Science and education

Bibliographie slective / Selected publications 2000, "Logic versus algebra : English debates and Boole's mediation", in James Gasser (ed.), Anthology on Boole, Kluwer Academic Publishers, Synthese Library, 139-166. 2001, "Rvolution industrielle : logique et signification de l'opratoire", Mlanges en l'honneur d'Ernest Coumet, n spcial de la Revue de Synthse, "Histoire des jeux, jeux de l'histoire", T. 122, 4e S. n 2-3-4, avril-dcembre 2001, Centre International de Synthse, Albin Michel, 321-346. 2002, "The formalization of Logic and the Issue of Meaning", in G. Assayag, H.G. Feichtinger, J. F. Rodrigues (eds.), Mathematics and Music, A Diderot Mathematical Forum, Berlin, Heidelberg, New York: Springer Verlag, 113-37. 2004, "Babbage et Boole : les lois du calcul symbolique, Des lois de la pense aux constructivismes", in Marie-Jos Durand-Richard (ed.), Intellectica, Revue de lAssociation pour la Recherche Cognitive, 2004/2, n 39, 23-53 2006, "Opration, fonction et signification : de Boole Frege", Cahiers Critiques de Philosophie, n 3, 53-81.

Observations / Remarks: Complments sur mes domaines de recherche : Histoire des relations entre algbre, logique, et signification des mathmatiques du 19me au 20me sicle. Histoire de la mcanisation du calcul.

82

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

ENGEL Pascal
Universit de Genve & Universit Paris IV E-mail: pascal.engel@lettres.unige.ch

Domaines de recherche / Areas of research Philosophy of mathematics and logic Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 1991, The Norm of Truth, Philosophy of Logic, Englewood Cliffs, NJ: Prentice Hall. 2002, Truth , London: Acumen. 2005, "Truth and the aim of Belief", in D. Gillies (ed.), Models in Science, London: Kings College. 2005, "Logical reasons", Philosophical Explorations, 8 (1), 21-35. 2007, Va savoir !, Paris: Hermann.

Observations / Remarks: Other area of research: theory of knowledge.

ESPINOZA Miguel
Universit Strasbourg 2 Philosophie Dpartement de Philosophie, Equipe d'Accueil 2326

E-mail: miguel.espinoza@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of physics General problems of methodology and scientific reasoning Philosophy of mathematics and logic

Bibliographie slective / Selected publications 1997, Les mathmatiques et le monde sensible, Paris: Ellipses. 1998, Thorie de l'intelligibilit, Paris: Ellipses. 2000, Philosophie de la nature, Paris: Ellipses. 2004, avec R. Torretti, Pensar la ciencia, Madrid: Tecnos. 2006, Thorie du dterminisme causal, Paris: L'Harmattan.

83

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Observations / Remarks: Dans l'ordre, mes domaines de recherche sont: 1) la philosophie de la nature, 2) la philosophie de la physique, et 3) la philosophie des mathmatiques.

FAGOT-LARGEAULT Anne
Collge de France Chaire de philosophie des sciences biologiques et mdicales E-mail: anne.fagot-largeault@college-de-france.fr

Domaines de recherche / Areas of research Formal approaches to methodology Philosophy of medicine Bioethics

Bibliographie slective / Selected publications 1982, Mdecine et probabilits, Paris: Didier-rudition. 1985, L'homme bio-thique. Pour une dontologie de la recherche sur le vivant, Paris: Maloine. 1989, Les causes de la mort. Histoire naturelle et facteurs de risque, Paris: Vrin. 2002, avec D. Andler et B. Saint-Sernin, Philosophie des sciences, 2 vols., Paris: Gallimard. 2005, "Five Questions for Formal Philosophers", chap. 3, in Vincent F. Hendricks & John Symons (eds.), Formal Philosophy: Aim, Scope, Direction, USA/UK: Automatic Press, and www.formalphilosophy.com.

FILIPPI Michel
Ecole Centrale Lyon Equipe Academos, associe au LPHS Laboratoire de Philosophie et dHistoire des Sciences Archives Henri Poincar (UMR 7117) E-mail: mfilippi@lycos.com or michel.filippi@ec-lyon.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Science and education

Bibliographie slective / Selected publications 1995, "Towards a CAT/CAL Software Autoadaptating to End-user Learning Style", in Mariaux L., Filippi M., Cadot H., Muller D. (eds.), IEEE International Symposium, 488-491. 84

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

2006, Dossier du groupe Academos : Philosophies et sciences : pour une "brique interdisciplinaire", in Natures, Sciences, Socits, 14 (1), 54-68. (EDPSciences). 2007, avec G. Amar, Ph. Boudon, A.-M. Boutin, Ph. Doublet, A.-F. Garon, A. Hatchuel, P. Le Masson, Ch. Midler, A.-F. Schmid, B. Segrestin, H. Verin & B. Weil, Les nouveaux rgimes de la conception, Paris: Vuibert, paratre dcembre 2007.

FISCHER Jean-Louis
CNRS Centre Alexandre Koyr (EHESS/CNRS/Musum) E-mail: jlfischer@wanadoo.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science Science and education

Bibliographie slective / Selected publications 1997, avec K. Sander, S.J. Counce, P.E. Fssler et K. Nbler-Jung, Landmarks in Developmental Biology 1883-1924, Berlin: Springer. 1994, Camille Dareste 1822-1899, Schpfer experimentellen Teratologie, prface de Jacques Roger, Acta Historica Leopoldina, Deutsche Akademie des Naturforscher Leopoldina Halle/Saale, N21. 1999, "Les manuscrits gyptiens d'Etienne Geoffroy Saint-Hilaire", in P. Bret (ed.), L'expdition d'Egypte, une entreprise des Lumires, Paris: Acadmie des Sciences, 56-62. 2004, avec J.C. Beetschen, "Yves Delage (1854-1920) as a forerunner of nuclear transfer experiment", International Journal of Developemental Biology, 48, 607-612. 2006, "Les cahiers de laboratoire d'Etienne Wolff des annes 1931-1935", in Ecriture et Mmoire les carnets medico-biologiques de Vallisneri E. Wolff, a cura di Maria Teresa Monti, Milano: Franco Angeli, 213-222.

FOREST Denis
Universit Lyon 3 UMR 8590, Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: forest@univ-lyon3.fr

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics Philosophy of biology Historical and sociological aspects in the philosophy of science 85

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2001, "Fatigue et normativit", Revue philosophique, 126 (4), 3-25. 2002, "Fonctions biologiques et causalit naturelle", Revue philosophique, 127 (4), 417432. 2004, "Le concept de proprioception dans l'histoire de la sensibilit interne", Revue d'histoire des sciences, 57 (1), 5-31. 2005, Histoire des aphasies. Une anatomie de l'expression, Paris: PUF. 2005, "La slectivit de l'oubli comme argument", in J.-C. Dupont (ed.), Histoires de la mmoire, Paris: Vuibert, 61-77.

FRANCESCHELLI Sara
cole Normale Suprieure de Lettres et Sciences Humaines (Lyon) Institut Jean Toussaint Desanti & Recherches pistmologiques et Historiques sur les Institutions Scientifiques (REHSEIS) E-mail: Sara.Franceschelli@ens-lsh.fr or frances@paris7.jussieu.fr

Domaines de recherche / Areas of research Philosophy of physics Philosophy of biology General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 2005, avec T. Roque, "L'attracteur trange entre physique et mathmatique", Actes du XXI Congrs International dHistoire des Sciences, CD-ROM. 2006, "Morphogense, stabilit structurelle et paysage pigntique", in A. Lesne, P. Bourgine (ds.), Morphogense. Lorigine des formes, Paris: Belin, Echelles. "Epigenetic landscape and catastrophe theory: commentary on a correspondence", in Bouchaud J.-P. & Mzard M. (eds.), Les Houches Summer School Session 85 Complex Systems, Amsterdam: Elsevier, paratre 2007. Avec Paty M., Roque T. (eds.), Elments pour une pistmologie des systmes dynamiques, Paris: Hermann, coll. "Visions des Sciences", paratre 2007. "Construction de signification physique pour la transition vers la turbulence", in Franceschelli S., Paty M., Roque T. (eds.), Elments pour une pistmologie des systmes dynamiques, Paris: Hermann, coll. "Visions des Sciences", paratre 2007.

GALINON Henri (PhD student)


Universit Paris-1 Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST)

86

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

E-mail: henri.galinon@free.fr or henri.galinon@gmail.com

Domaines de recherche / Areas of research Philosophical and applied logics Philosophy of mathematics and logic Philosophy of cognitive science, psychology and linguistics

Observations / Remarks: Doctorant (actuellement en 2me anne de thse). Sujet de recherche principal : les thories de la vrit, en particulier les thories dites "dflationnistes", sous leurs aspects philosophiques, logiques et linguistiques. Titre de la thse : Dfinition, limination, dflation : recherches sur la vrit (Directeur de recherche : Pr. F. Rivenc (Paris-1))

GALPERIN Charles
CNRS Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: galperin.charles@noos.fr

Domaines de recherche / Areas of research Philosophy of biology

Bibliographie slective / Selected publications 1999, avec S. F. Gilbert et B. Hoppe, Fondamental changes in cellular Biology in the 20th Century, Thurnout: Brepols. 2000, "Aspects du dveloppement dans la biologie du 20e sicle. Introduction. De l'embryologie experimentale la biologie du dveloppement. De Hans Spemann Antonio Garcia- Bellido", Revue d'Histoire des Sciences, 53 (3-4) , 581-617. 2002, "L'Ecole de Nogent, Etienne Wolff et Nicole le Douarin", Bulletin d'Histoire et d'Epistmologie des Sciences de la Vie, 9 (1), 93-124. 2004, "Let us talk about positional information, and some other endeavours", in E.Hoxtermann, J. Kaasch, M. Kaasch (dir.), Von Entwicklungsmechanick zur Entwicklungsbiologie. Geschichte und Theorie der Biologie, Bd 10, Berlin, 27-39. 2006, "A lEcole de la Drosophile, l'embotement des modles", in G. Gachelin (ed.), Les organismes modles dans la recherche mdicale, Paris: PUF, 206-229.

Observations / Remarks: je ne spare pas l'pistmologie philosophique de l'histoire et m'intresse la naissance et au dveloppement d'une discipline, nommment, la Gntique du dveloppement.

87

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

GAN-KRZYWOSZYNSKA Katarzyna
Universit de Poznan & Universit Nancy 2 Laboratoire de Philosophie et dHistoire des Sciences-Archives Henri Poincar (LPHS-AHP) E-mail: kgan@univ-nancy2.fr or kgank@wp.pl

Domaines de recherche / Areas of research Philosophical and applied logics Philosophy of mathematics and logic

Bibliographie slective / Selected publications 2004, "Sprawozdanie z miedzynarodowej konferencji w Nancy, XI 2003r., Philosophie et logique en Pologne 1918-1939", Ruch Filozoficzny, 3, 407-410. (compte-rendu du colloque "Philosophie et logique en Pologne", Nancy, novembre 2003) Traduction de : Kazimierz Ajdukiewicz, "La connexion syntaxique", paratre 2007 in Philosophia Scientiae, 11 (2). "Change, development and progress. Prof. Roman Suszko's study in dynamics of scientific theories", Actes du Colloque UNILOG'05, Montreux, paratre.

GANASCIA Jean-Gabriel
Universit Paris 6 Laboratoire d'Informatique de Paris 6 (UMR CNRS) E-mail: Jean-Gabriel.Ganascia@lip6.fr or Jean-Gabriel@Ganascia.name

Domaines de recherche / Areas of research Formal languages and computation Logic and computation Formal approaches to methodology

Bibliographie slective / Selected publications 2005, "Rational Reconstruction of Wrong Theories", in Petr Hajek, Luis ValdesVillanueva & Dag Westerstahl (eds.), Proceedings of LMPS-03 (Logic, Methodology and Philosophy of Science), Publisher King College Publication. 2007, "Modelling Ethical Rules of Lie with Answer Set Programming", paratre dans la revue Ethics and Information Technology, Berlin: Springer. avec Claude Debru, "CYBERNARD: A Computational Reconstruction of Claude Bernard's Scientific Discoveries", paratre in Actes de la confrence "Model-Based Reasoning in Science and Medicine" (Guangzhou, Chine, juillet 2006)

88

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

GANDON Sbastien
Universit Blaise Pascal (Clermont-Ferrand) Centre Philosophie et Rationalits (PHIER) E-mail: sgandon@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2002, Logique et langage: tudes sur le premier Wittgenstein, Paris: Vrin. 2004, "Russell et l'Universal Algebra de Whitehead: la gomtrie projective entre ordre et incidence (1898-1903)", Revue d'Histoire des Mathmatiques, 10 (2), 187-256. 2005, "Pasch entre Klein et Peano: empirisme et idalit en gomtrie", Dialogue, 44 (4), 653-692.

GANGLOFF Jean-Luc
Universit Louis Pasteur-Strasbourg 1 Institut de Recherches Interdisciplinaires sur les Sciences et la Technologie (IRIST) E-mail: jean-luc.gangloff@gersulp.u-strasbg.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 2007, avec C. Allamel-Raffin, La raison et le rel, Paris: Editions Ellipses. avec C. Allamel-Raffin, "Le style collectif de la philosophie analytique au XXme sicle" in Le style des philosophes, Besanon:Presses Universitaires de Franche-Comt, paratre 2007.

GARRETA Guillaume
Universit Paris 1 - Panthon Sorbonne - Equipe Philosophies contemporaines E-mail: garreta@univ-paris1.fr

89

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research mthodologie et raisonnement scientifique philosophie de la physique philosophie des sciences cognitives, de la psychologie et de la linguistique

Bibliographie slective / Selected publications 1999, "Le sujet comme 'point de fuite': Dewey et la psychologie de James", Philosophie, 64, 31-53 2002, "Dun empirisme sans entraves une science sans lois : l'agnosticisme pistmologique de Bas van Fraassen", Critique, 661-662, 501-516 2002, "Mach : l'pistmologie comme histoire naturelle de la science", in P. Wagner (dir.), Les philosophes et la science, Paris : Gallimard, 624-658 2004, "Enqute et observation. Dewey et les ressources de l'observable", in B. Karsenti & L. Qur (dir.), La croyance et lenqute, Coll. Raisons pratiques, 15, Paris: Editions de lEHESS, 111-140 "Science, thique et socit : Dewey et l'enqute pragmatiste", in P. Goujon & S. Lavelle (dir.), Technique, communication et socit, paratre 2007

GAUTERO Jean-Luc
Universit de Nice Sophia Antipolis Centre de Recherche d'Histoire des Ides E-mail: jgautero@unice.fr

Domaines de recherche / Areas of research Ethical issues in scientific practice and technologies Historical and sociological aspects in the philosophy of science Philosophy of mathematics and logic

Bibliographie slective / Selected publications 1998, "Raisonner sans entraves", in Impostures scientifiques, Paris: La Dcouverte/Alliage. 1998, "Dialectique matrialiste et post-modernit", Philosophie et socit, 2, Moscou (en russe). 2002, "Feyerabend, pour et contre le relativisme", Faire Savoirs, 1, http://www.amares.org/revue/un/travaux/t1/index.html). 2003, "Sociologie de la connaissance scientifique et rationalit", Noesis, 5 (2). 2004, "Quelle mtrique pour la vrit ?", in Actes du XXIXe Congrs de lA.S.P.L.F., Paris: Vrin.

90

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

GAYON Jean
Universit Paris 1 Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: gayon@noos.fr

Domaines de recherche / Areas of research Philosophy of biology General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 1998, Darwinism's Struggle for Survival: Heredity and the hypothesis of natural selection, Cambridge UP. 2000, "From Measurement to Organization: A Philosophical Scheme for the History of the Concept of Heredity", In P. Beurton, R. Falk & H.J. Rheinberger (eds.), The Concept of the Gene in Developement and Evolution: Historical and Epistemological Perspectives, Campridge UP, 69-90. 2005, "Chance, Explanation, and Causation in Evolutionary Theory". History and philosophy of the Life Sciences, 27, 387-397. 2006, "Les biologistes ont-ils besoin du concept de fonction? Perspective philosophique", Comptes Rendus Palevol, 5, 479-487 (Paris, Acadmie des Sciences: Elsevier). 2006, "Les organismes modles en biologie et en mdecine", in G. Gachelin (ed.), Les organismes modles dans la recherche mdicale, Paris: Presses Universitaires de France, 9-43.

Observations / Remarks: CV and full list of publications on http://edph.univparis1.fr/gayon.html

GIREL Mathias (PhD student)


Universit Paris 1 Equipe Philosophies Contemporaines E-mail: girel@univ-paris1.fr

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics General problems of methodology and scientific reasoning

91

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2005, "Pragmatisme, Enqute et normes, Quelques doutes de Peirce au sujet du pragmatisme", in B. Karsenti & L. Qur (dir.), La croyance et lenqute, Coll. "Raisons pratiques", 15, Paris: Editions de lEHESS, 85-110. 2003, "The Metaphysics and Logic of Psychology: Peirce's Reading of James's Principles", Transactions of the Charles S. Peirce Society, 39 (3), 163-203. "William James, une psychologie paradoxale ? ", in C. Debru (dir.), William James : Psychologie et Cognition, Paris: Editions du CNRS, paratre 2007.

GIROUX Elodie
Universit Paris 1 Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: elodie.giroux@free.fr

Domaines de recherche / Areas of research Philosophy of medicine Philosophy of biology Bioethics

Bibliographie slective / Selected publications 2003, "Concepts de sant et de maladie : problmes et controverses depuis les annes 1950", Bulletin de la Socit dHistoire et dpistmologie des Sciences de la Vie, 10 (2), 71-90. 2005, Article "Maladie" in B. Andrieu, P. Acot, G. Andrieu (dir.), Dictionnaire du corps : En sciences humaines et sociales, Paris: ditions du CNRS. 2005, "Conceptions of the Normal and the Pathological in Modern Epidemiology", In Petr Hajek, Luis Valdes-Villanueva, and Dag Westerstahl (eds.), Logic, Methodology and Philosophy of Science 2003: Proceedings of the 12th International Congress, London: KCL Publications. "Holisme et rductionnisme en pidmiologie et la question de la continuit entre sant et maladie", in Premier Congrs de la Socit de Philosophie des Sciences (SPS), Paris: ditions du CNRS, paratre. "Ny a-t-il de sant que de lindividu ?", in C. Debru, A. Fagot-Largeault, M. Morange (dir.), Journe dtude en Hommage Georges Canguilhem, paratre.

GOHAU Gabriel
Universit Paris 7 Recherches pistmologiques et Historiques sur les Institutions Scientifiques (REHSEIS)

92

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

E-mail: ga.gohau@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of biology

Bibliographie slective / Selected publications 1990, Les sciences de la terre aux XVIIe et XVIIIe sicles. Naissance de la gologie, Paris: Albin Michel, coll. "Evolution de l'humanit". 1997, avec P. Duris, Histoire des sciences de la vie, Paris: Nathan. 1997, direction de l'ouvrage : De la gologie son histoire en hommage Franois Ellenberger, Paris: CTHS. 2003, Naissance de la gologie historique La terre des " thories" l'histoire, Paris: Vuibert-Adapt. 2004, "De Stahl Dolomieu, la notion de molcule intgrante", Travaux du comit franais histoire de la gologie, XVIII (3), 79-91.

Observations / Remarks: Je prcise que je suis principalement historien et philosophe de la gologie.

GREGOIRE Eric
Universit d'Artois Centre de recherche en informatique de Lens E-mail: gregoire@cril.univ-artois.fr

Domaines de recherche / Areas of research Logic and computation Logic and complexity

Bibliographie slective / Selected publications 2005, "About the limitations of logic-based approaches to the formalisation of belief fusion", in Proceedings of the International Conference on Adapative Knowledge Representation and Reasoning (AKRR'05), 78-81. 2005, avec B. Mazure, R. Ostrowski & L. Sais, "Automatic extraction of functional dependencies", Theory and Applications of Satisfiability Testing: 7th International Conference (SAT'04), LNCS 3542, Springer, Revised Selected Papers, 122-132. 2006, avec S. Konieczny (Guest editors), "Logic-based information fusion in artificial intelligence", Information Fusion, 7 (1). 2006, avec B. Mazure & C. Piette, "Extracting MUSes", Proceedings of the 17th European Conference on Artificial Intelligence (ECAI'2006), 387-391.

93

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

2007, avec B. Mazure & C. Piette, "Boosting a Complete Technique to Find MSS and MUS thanks to a Local Search Oracle", Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI'07), vol. 2, 2300-2305.

GUILLAUME Marcel
Universit de Clermont-Ferrand Laboratoire Informatique (LLAIC, EA 2146) de Logique, Algorithmique et

E-mail: guill@llaic.u-clermont1.fr or mguil@wanadoo.fr

Domaines de recherche / Areas of research Mathematical logic Philosophical and applied logics Philosophy of mathematics and logic

Bibliographie slective / Selected publications 1977, "Some remarks in set theory", in A.I. Arruda, N.C.A. da Costa & R. Chaqui (eds.), Proceedings of the First Brazilian Conference of Mathematical Logic, New-York: Dekker, 119-126. 1995, "Commentaires sur les reflets de la ngation dans certaines reprsentations associes aux logiques classique et intuitionniste", in H.C.M. de Swart & L.J.M. Bergmans (eds.), Perspectives on Negation, Tilburg: Tilburg University Press, 51-78. 2000, "Simplified models establishing some of Nzondets results on Erds-ods conjecture", Synthese, 125, 133-146. 2001, D. Hilbert et P. Bernays, Fondements des Mathmatiques, vol 1 et 2. Traduction franaise, par Franois Gaillard et Marcel Guillaume, avec la collaboration de Eugne Guillaume pour le volume 2, de D. Hilbert und P. Bernays, Grundlagen der Mathematik (vol I, 1934, 1968. vol. II, 1939, 1970), Paris: L'Harmattan. "Da Costa 1964. Revisited Memories", in J.Y. Bziau, W.A. Carnielli and D.M. Gabbay (eds.), Handbook of Paraconsistency and Negation, Amsterdam: Elsevier, Vol I. In press.

GUILLIN Vincent
Universit Paris 1 Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: vguillin@noos.fr

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science

94

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Philosophy of cognitive science, psychology and linguistics Philosophy of social sciences

Bibliographie slective / Selected publications 2004, "Lthologie de John Stuart Mill: le libralisme et les sciences morales", Pour lhistoire des sciences de lhomme (Bulletin de la SFHSH), 26, 47-66. 2004, "Thodule Ribots Ambiguous Positivism: Philosophical and Epistemological Strategies in the Founding of French Scientific Psychology", Journal of the History of the Behavioural Sciences, 40 (2), 165-181. 2004, avec M. Morganti, "Prsentation: Atomisme et ralisme structural, par Elie Zahar", in S. Laugier & P. Wagner (eds.), Philosophies des sciences. Naturalismes et ralismes Paris: Vrin, 373-382. "La question de lgalit des sexes dans la correspondence Comte-Mill: une approche mthodologique", Archives de philosophie, n spcial sur la politique positive, paratre 2007.

Observations / Remarks: Mots-clefs: Auguste Comte, John Stuart Mill, Positivisme, Histoire de la psychologie, Histoire de la phrnologie.

GUY Bernard
cole nationale suprieure des mines de Saint-Etienne Centre SPIN (Sciences des processus industriels et naturels) et UMR CNRS 6524 ("Magmas et volcans") E-mail: guy@emse.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of physics Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 1995, "Rflexions sur la formation des skarns de Costabonne (Pyrnes). La comprhension des vnements singuliers. Une pistmologie de la Trace", in ouvrage en mmoire de P. Wegman, Elments pour une histoire de la Gologie, Mmoires de la Socit Gologique de France, n 168, 139-144. 1997, Guy B. et Magnin T., "Quelques rflexions sur la place de l'homme dans la recherche scientifique", in Humanits et Grandes Ecoles, Confrence des Grandes Ecoles, Paris, 201-208. 1998, "Rflexions sur les notions de faits et de lois gologiques. Comparaison avec la physique", Travaux du Comit Franais dHistoire de la Gologie, 3 srie, T. XII, 2537.

95

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

2004, "About the necessary associated re-assessments of space and time concepts: a clue to discussion of open questions in relativity theory", Physical Interpretations of Relativity Theory IX, Imperial College, London, Sept. 3-6 2004, 6 p., website PIRT. 2006, "The links between the space, time and movement concepts must be reconsidered. Consequences in physics (relativity). A preliminary discussion". Ecole n.s. des mines de Saint-Etienne, unpublished.

Observations / Remarks: Je m'intresse aux domaines suivants: pistmologie de la gologie / fondements de la physique: concepts de temps, espace et mouvement ( la frontire entre la thorie physique -relativit-, la philosophie et la logique, et les sciences cognitives) / pistmologie des sciences de l'ingnieur (les sciences de l'ingnieur la croise entre l'pistmologie et l'thique).

HAN Hee-Jin
Collge de France Chaire de Philosophie des sciences biologiques et mdicales (Professor Anne Fagot-Largeault) E-mail: han_heejin@yahoo.com or hee-jin.han@college-de-france.fr

Domaines de recherche / Areas of research Philosophy of medicine Philosophy of biology Bioethics

Bibliographie slective / Selected publications 2004, Four Principles of French Vitalism according to Pierre-Jean-Georges Cabanis [Les quatre principes du vitalisme franais selon Pierre-Jean-Georges Cabanis], Bulletin de la SAUP, 3, 21-27. Empirical and Scientific Medicine of Pierre-Jean-Georges Cabanis: a Distant Source of Evidence-Based Medicine [La mdecine la fois empirique et scientifique de Pierre-Jean-Georges Cabanis : une source lointaine de la mdecine fonde sur des preuves], in A. Fagot-Largeault (ed.), Histoire et philosophie de la mdecine scientifique, Paris: Le paradoxe, forthcoming 2007. "The Vitalist Research Programme of Paul-Joseph Barthez and its Applications in Medicine", Science in Context, Cambridge: Cambridge University Press, forthcoming 2008. "Georges Canguilhem and French Vitalism: Remarks on Aspects du vitalisme" [Georges Canguilhem et le vitalisme franais : remarques sur les Aspects du vitalisme], in A. Fagot-Largeault, C. Debru & M. Morange (dir.), Philosophie et mdecine, en hommage Georges Canguilhem, Paris: Odile Jacob, forthcoming 2008.

Observations / Remarks: Ethical issues in scientific practice and technology [Problmes thiques de la pratique scientifique et de la technologie]

96

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

HEINZMANN Gerhard
Universit Nancy 2 Laboratoire de Philosophie et d'Histoire des Sciences Archives Henri Poincar (LPHS-AHP) E-mail: Gerhard.Heinzmann@univ-nancy2.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic General problems of methodology and scientific reasoning Philosophical and applied logics

Bibliographie slective / Selected publications 1995, Zwischen Objektkonstruktion und Strukturanalyse. Zur Philosophie der Mathematik bei Henri Poincar, Gttingen: Vandenhoek & Ruprecht 2001, "The Foundations of Geometry and the Concept of Motion: Helmholtz and Poincar", Science in Context, 14 (3), 457-470. 2005, "Paul Bernays et la rnovation des fondements philosophiques des mathmatiques", Sciences et Philosophie au XXe sicle. L'Ecole de Zurich et le programme surrationaliste, Revue de Synthse, 126, 5e S., (2005/2), 317-329. 2005, "La gomtrie comme paradigme de la philosophie des sciences : une relecture de Ferdinand Gonseth partir dune position naturaliste", in J. Kouneiher/D. Flament/Ph. Nabonnand/J.-J. Szczeciniarz (ds.), Gomtrie au vingtime sicle. Histoire et horizons, Paris: Hermann, 209-215. 2006, "Naturalizing Dialogic Pragmatics", in J. van Benthem/G. Heinzmann/M. Rebuschi/H. Visser (eds.), The Age of Alternative Logics: Assessing Philosophy of Logic and Mathematics Today, Dordrecht/Boston/London: Springer, 285-297.

HERZIG Andreas
CNRS Institut de recherche en informatique de Toulouse (IRIT) E-mail: herzig@irit.fr

Domaines de recherche / Areas of research Logic and computation Philosophical and applied logics Logic and complexity

Bibliographie slective / Selected publications 2005, Philippe Besnard and Andreas Herzig (eds.), Logical approaches to paraconsistency, volume 15:1 of Journal of Applied Non-Classical Logics, Hermes-Lavoisier.

97

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

2005, Andreas Herzig and Ivan Jos Varzinczak, "On the modularity of theories", in Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds, and Heinrich Wansing (eds.), Advances in Modal Logic, volume 5, King's College Publications, 93-109. selected papers of AIML 2004. 2006, "Jan Broersen, Andreas Herzig, and Nicolas Troquard, Embedding Alternating-time Temporal Logic in strategic STIT logic of agency". Journal of Logic and Computation, 16 (5), 559-578. 2006, Olivier Gasquet, Andreas Herzig, and Mohamad Sahade, "Terminating modal tableaux with simple completeness proof", in Yde Venema (ed.), Advances in Modal Logic, volume 6. King's College Publications. 2006, Andreas Herzig and Nicolas Troquard, "Knowing How to Play: Uniform Choices in Logics of Agency", in Gerhard Weiss and Peter Stone (eds.), 5th International Joint Conference on Autonomous Agents & Multi Agent Systems (AAMAS-06), Hakodate, Japan, 8-12 mai 2006, ACM Press, 209-216.

Observations / Remarks: site web: www.irit.fr/~Andreas.Herzig

HILL Brian
Groupe HEC GREGHEC / Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: hill.brian@wanadoo.fr

Domaines de recherche / Areas of research Philosophical and applied logics Philosophy of economics, theories of rationality, decision theory, game theory Mathematical logic

Bibliographie slective / Selected publications 2006, Jouer avec le faux. Recherches sur les processus mentaux l'oeuvre dans la lecture des textes de fiction, Doctoral dissertation (graduated july 2006). Available online at: http://tel.archives-ouvertes.fr/docs/00/10/87/65/PDF/these.pdf

Observations / Remarks: Je viens de finir ma thse, l'Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST), sous la direction de Jacques DUBUCS.

HIRSCHKOFF Daniel
cole Normale Superieure de Lyon Laboratoire de linformatique du paralllisme

98

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

E-mail: daniel.hirschkoff@ens-lyon.fr

Domaines de recherche / Areas of research Formal languages and computation Mathematical logic

Bibliographie slective / Selected publications 1997, A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions, TPHOLs 1997, 153-169. 2003, avec Christine Rckl, A fully adequate shallow embedding of the pi-calculus in Isabelle/HOL with mechanized syntax analysis, The Journal of Functional Programming, 13(2), 415-451. 2004, An Extensional Spatial Logic for Mobile Processes, CONCUR 2004, 325339. 2005, avec Arnaud Carayol & Davide Sangiorgi, On the representation of McCarthy's amb in the Pi-calculus, Theoretical Computer Science, 330(3), 439-473. 2006, avec tienne Lozes & Davide Sangiorgi, On the Expressiveness of the Ambient Logic, Logical Methods in Computer Science, 2(2).

HOQUET Thierry
Universit Paris 10-Nanterre Histoire de la philosophie, histoire et philosophie des sciences (EA373) E-mail: thierry.hoquet@laposte.net

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science Philosophy of biology General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 2002, "La bibliothque botanique de Benjamin Delessert". Bulletin du Bibliophile, 1, 100-141. 2005, Buffon : histoire naturelle et philosophie, Paris: Honor Champion. 2006, "Bricolages. Les biotechnologies ou lesprance de la mutation", in T. Hoquet (ed.), Mutants (Special Issue of the Journal Critique, n 709-710), 516-528. 2007, Buffon illustr. Les gravures de lHistoire naturelle (1749-1767), Paris: ditions du Musum national d'histoire naturelle (collection Archives). 2007, Buffon/Linn - ternels rivaux de la biologie ? Paris : Dunod (collection Quai des Sciences).

99

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Observations / Remarks: More precise areas of research include: philosophy and history of natural history and collections; biology in a historical, cultural and philosophical perspective.

HUET Grard
Institut de Recherche en Informatique et Automatique (INRIA), Rocquencourt E-mail: Gerard.Huet@inria.fr

Domaines de recherche / Areas of research Mathematical logic Formal languages and computation Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 1975, "A Unification Algorithm for Typed Lambda-Calculus", Journal of Theoretical Computer Science, 1 (1), 27-58. 1980, "Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems", Journal of the Association for Computing Machinery, 27 (1), Oct. 1980, 797-821. 1988, T. Coquand and G. Huet. "The Calculus of Constructions", Information and Computation, 76 (2/3), Feb. 88. 1994, "Residual Theory in lambda-calculus: A Formal Development", Journal of Functional Programming, 4 (3), 371-394. 2005, "A Functional Toolkit for Morphological and Phonological Processing, Application to a Sanskrit Tagger", Journal of Functional Programming, 15 (4), 573-614.

HUNEMAN Philippe
CNRS Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: huneman@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of biology General problems of methodology and scientific reasoning Philosophy of cognitive science, psychology and linguistics

100

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 1998, Bichat. La vie et la mort, Paris: PUF, coll. "Philosophies". 2006, "Naturalizing purpose: from comparative anatomy to the ' adventures of reason'", Studies in history and philosophy of biology and biomedical sciences, 37, 649-674. 2007, "Reflexive judgement and wolffian embryology : Kants shift between the first and the third Critique", in Ph. Huneman (ed.), Understanding purpose? Kant and the philosophy of biology, Publication Series of the North American Kant Society, University of Rochester Press. 2007, "Evolutionary theory in philosophical focus", in W. Henke & I. Tatterstall (eds.), Handbook of paleoanthropology, chap. 2, Berlin: Springer-Verlag. "Emergence and adaptation", in Humphreys & Huneman (eds.), Minds and Machines, special issue, "Emergence and computation", forthcoming 2007.

IMBERT Cyrille (PhD student)


Universit Paris 1 Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) (UMR 8590) E-mail: cyrille.imbert@normalesup.org

Domaines de recherche / Areas of research Philosophy of physics Logic and complexity Formal approaches to methodology

Bibliographie slective / Selected publications 2007, "Why diachronically emergent properties must also be salient", in Gershenson, C., Aerts, D., & Edmonds, B. (eds.), Philosophy and Complexity: Essays on Epistemology, Evolution, and Emergence, London: World Scientific. "Can simulations be explanatory and why do they seem not to be" (submitted). Avec A. Barberousse et Sara Franceschelli, "Computer simulations as experiments" (submitted).

Observations / Remarks: My research is about complex systems in physics and the use of computers to make predictions about such systems. PhD thesis : The object of study is these situations, which can be found in the complex system field, when there is no analytical shortcut to predict which properties will eventually appear. In these cases, there is no making prediction without resorting to computer simulations, that is to say, without following step after step the systems evolution by imitating its dynamics. I focus on systems for which the underlying dynamics and the interactions between parts are wellknown such as the systems studied in fluid dynamics. I try on this ground to refine the existing definitions of diachronic emergence (see Bedau [1997]) which appeal only to computational irreducibility. I also study to what extent computer simulations may force us to modify what it means for us to explain or to understand phenomena.

101

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

JACOB Marie
CNRS Recherches pistmologiques et Historiques sur les Institutions Scientifiques (REHSEIS) E-mail: marie_jacob@yahoo.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2004, "De la quadrature du cercle au sicle des lumires quelques amateurs mal clairs?", Sciences et techniques en perspective, deuxime srie, vol8 N1, 257-283. 2005, "Interdire la quadrature du cercle l'Acadmie: une dcision autoritaire des Lumires?", Revue d'Histoire des Mathmatiques, 11, 89-139. 2006, La quadrature du cercle: un problme la mesure des Lumires, Paris: Fayard. "L'Ecole royale militaire 1751-1776, un modle pour l'Encyclopdie?", Recherches sur Diderot et sur l'Encyclopdie, paratre.

Observations / Remarks: Actuellement je fais partie du groupe d'Alembert qui travaille une dition critique des oeuvres compltes de cet homme des lumires (http://dalembert.univ-lyon1.fr). Par ailleurs, je monte un axe de recherche, au laboratoire REHSEIS, autour des amateurs de sciences au 18me sicle.

JACOB, Pierre
Institut Jean Nicod (UMR 8129) EHESS / ENS (Dpartement dtudes cognitives) / CNRS E-mail: Jacob@ehess.fr

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 1997, What Minds Can Do, Cambridge: Cambridge University Press. 2003, with Marc Jeannerod, Ways of Seeing, Oxford: Oxford University Press, Cognitive Science Series. 2003, Intentionality, Stanford Encyclopaedia in Philosophy (http://plato.stanford.edu/)

102

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

2005, with Marc Jeannerod, The motor theory of social cognition: a critique, Trends in Cognitive Sciences, 9 (1), 22-25.

JAEGER Lydia (PhD student)


Institut Biblique de Nogent-sur-Marne & Faraday Institute for Science and Religion, St Edmund's College, Cambridge E-mail: lydia.jaeger@ibnogent.org

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of physics

Bibliographie slective / Selected publications 1999, Croire et connatre : Einstein, Polanyi et les lois de la nature, Nogent-surMarne/Clon dAndran, ditions de lInstitut Biblique de Nogent/Excelsis. 2000, Pour une philosophie chrtienne des sciences, Nogent-sur-Marne/Clon dAndran, ditions de lInstitut Biblique de Nogent/Excelsis. 2004, "Cosmic order and divine word", Churchman, CXVIII, 47-51. Publi galement in C. L. Harper Jr (dir.), Spiritual Information : 100 Perspectives, Philadelphie (PA): Templeton Foundation Press, 2005, 151-154. 2006, Lois de la nature et raisons du cur : les convictions religieuses dans le dbat pistmologique contemporain, thse soutenue le 3 juin 2005 l'Universit de Paris 1, Lille: Atelier national de reproduction des thses, 457 p. "Bas van Fraassen on religion and knowledge: is there a third way beyond foundationalist illusion and bridled irrationality?", American Catholic Philosophy Quarterly, paratre.

Observations / Remarks: Domaine de spcialisation : rapports entre science et thologie

JOINET Jean-Baptiste
Universit Paris 1 "Preuves-Programmes-Systmes" (UMR 7126 CNRS-Paris 7, mathsinfo) et Philosophies Contemporaines " (Paris 1) E-mail: joinet@univ-paris1.fr

Domaines de recherche / Areas of research Mathematical logic Logic and computation

103

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Philosophy of mathematics and logic

Bibliographie slective / Selected publications 1997, Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, "A new deconstructive logic: Linear Logic ", Journal of Symbolic Logic, 62 (3), 755-807. 2002, Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora di Falco, "Strong normalization and Church-Rosser property for free-style LKtq : linear decorations and simulation of normalization", Journal of Symbolic Logic, 67 (1), 162-196, march 2002. 2003, Vincent Danos, Jean-Baptiste Joinet, "Linear Logic and Elementary time", Information and Computation, 183, Elsevier Academic Press, 123-137. 2007, "Sur le temps logique", in J.-B. Joinet (ed.), Logique, Dynamique, Cognition, Publications de la Sorbonne. 2007, "Completeness of MLL proof-nets w.r.t. weak distributivity", Journal of Symbolic Logic, 72 (1), 159-170

KIRSCH Marc
Collge de France Chaire de Philosophie et histoire des concepts scientifiques (Ian Hacking) E-mail: marc.kirsch@college-de-france.fr or kirschmarc@yahoo.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of biology Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 1993, Introduction (et traduction des textes anglais) de Fondements naturels de l'thique, ouvrage collectif sous la direction de Jean-Pierre Changeux, Paris: Odile Jacob. 2003, avec I. Hacking, "Para-Marx et 'le monde (des sciences)'", in quoi sert la philosophie des sciences ?, Rue Descartes, 41, 82-95. 2004, "Biotechnologies, "nature humaine" et post-humanit. Quelques rflexions propos du texte de Jrgen Habermas, L'avenir de la nature humaine", Pouvoir et vie, Organisation francophone de formation et recherche europenne en sciences humaines, Cluj. 2005, "La connaissance des choses : dfinition, description, classification", in La connaissance des choses, coll. Skepsis, Agrgation de philosophie 2006, Paris: Delagrave. 2006, Entres "motion" et "nature humaine", in M. Marzano (dir.), Dictionnaire du Corps, Paris: PUF.

104

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

KISTLER Max
Universit Paris 10 Equipe d'accueil Histoire de la philosophie, histoire des sciences (EA373) E-mail: mkistler@u-paris10.fr or kistler@ehess.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of cognitive science, psychology and linguistics Philosophy of physics

Bibliographie slective / Selected publications 1999, Causalit et lois de la nature, Paris: Vrin, Collection Mathesis. Version anglaise: Causation and Laws of Nature, Londres: Routledge, 2006. 2005, "Necessary Laws", in Jan Faye, Paul Needham, Uwe Scheffler, Max Urchs (eds.), Natures Principles, Dordrecht: Springer, 201-227. 2005, "Rduction rle-occupant , rduction micro-macro , et explication rductrice a priori", Dialogue, 44 (2), printemps 2005, 225-248. 2006, "Lois, exceptions et dispositions", in Bruno Gnassounou et Max Kistler (d.), Les dispositions en philosophie et en sciences, Paris: CNRS Editions, 175-194. 2006, "The Mental, the Macroscopic, and their Effects", Epistemologia, 29 (1), 79102.

KNAPIK Teodor
Universit de la Nouvelle Caldonie ERIM E-mail: knapik@univ-nc.nc

Domaines de recherche / Areas of research Logic and computation Formal languages and computation

Bibliographie slective / Selected publications 2001, avec D. Caucal, "An internal presentation of regular graphs by prefixrecognizable graphs", Theory of Computing Systems (former Mathematical System Theory), 34 (4), 299-336. 2002, "Checking simple properties of transition systems defined by Thue specifications", Journal of Automated Reasoning, 28 (4), 337-369. 2002, avec B. Courcelle, "The evaluation of first-order substitution is monadic second-order compatible", Theoretical Computer Science, 281 (1-2), 177-206.

105

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

2002, avec D. Niwinski and P. Urzyczyn, "Higher-order pushdown trees are easy", in M. Nielsen (ed.), Foundations of Software Science and Computation Structures, 5th International Conference. LNCS 2303, 205-222. 2005, avec D. Niwinski, P. Urzyczyn and I. Walukiewicz, "Unsafe Grammars and Panic Automata", in B. Caires, G. F. Italiano, L. Monteiro, C. Palamidessi and M. Young (eds.), International Colloqium on Languages, Automata and Programming, ICALP 2005.LNCS 3580, 1450-1461.

KREMER-MARIETTI Angle
Universit de Picardie (Amiens) Groupe d'Etudes et de Recherches Epistmologiques E-mail: angele.marietti@chello.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 1999, Philosophie des sciences de la nature, Paris: PUF. 2005, Epistmologiques, philosophiques, anthropologiques, Paris: L'Harmattan. 2006, "Comment Popper comprit Einstein et comment Einstein pensait rellement", Colloque de Tunis 2005, Dogma (http://dogma.free.fr ). Texte disponible : http://dogma.free.fr/txt/AKM-PopperEinstein.htm 2006, avec J. Dhombres, L'pistmologie, tat des lieux et positions, Paris: Ellipses. 2006, Le positivisme d'Auguste Comte, Paris: L'Harmattan.

KRMER Ralf
CNRS LPHS-Laboratoire de Philosophie et dHistoire des Sciences-Archives Poincar (LPHS-AHP) E-mail: kromer@univ-nancy2.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic Historical and sociological aspects in the philosophy of science

106

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2005, "Le pragmatisme peircen, la thorie des catgories et le programme de Thiel", Philosophia Scientiae, 9 (2), 79-96. 2006, "Category theory, pragmatism, and operations universal in mathematics", in What is Category theory, vol. 3 de la collection "Advanced Studies in Mathematics and Logic" dirige par G. Sica, Milano: Polimetrica, 205-220. 2006, "Le concept de fonction dans les mathmatiques du 20e sicle: quelques lments d'une interprtation philosophique", Cahiers critiques de Philosophie, 3, Paris: Hermann. 2006, avec G. Heinzmann, "Operations versus Ontology in the Foundations of Mathematics", in E. Agazzi et C. Thiel (eds.), Operations and Constructions in Science. Proceedings of the Annual Meeting of the International Academy of the Philosophy of Science, Erlangen/ Germany, 17-19 September 2004, Erlanger Forschungen, Reihe A, Bd 111, 107-125. 2007, Tool and object. A history and philosophy of Category theory, vol. 32 de la collection "Science Network Historical Studies", dirige par E. Scholz et E. Knobloch, Ble: Birkhuser.

Observations / Remarks: Autre domaine de travail: histoire des mathmatiques

LACKI Jan
CNRS Recherches pistmologiques et Historiques sur les Sciences Exactes et les Institutions scientifiques (REHSEIS) E-mail: jan.lacki@physics.unige.ch

Domaines de recherche / Areas of research Philosophy of physics Historical and sociological aspects in the philosophy of science General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 1999, "The road to Stueckelbergs covariant perturbation theory as illustrated by successive treatments of Comptons scattering", Studies in History and Philosophy of Modern Physics, 30 (4), 457-518. 2000, "Early axiomatizations of quantum mechanics: Jordan, von Neumann and the continuation of Hilberts program", Archive for the History of Exact Sciences, 54, 279-318. 2000, "From matrices to Hilbert spaces: the quest of the final formalism", in H.Ch. Dehne, G. Drews, H. Mais, H. Rechenberg (ds), The Discovery of Quantum Mechanics, proceedings DESY, Hamburg, 15 Aot 2000, Hamburg: DESY, 49-92.

107

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

2003, "Styles of physical thinking versus mathematical ones", Logic and Mathematical Reasoning, numro spcial de Synthese, 134, 273288. 2004, "The puzzle of the canonical transformations in the early quantum mechanics", Studies in the History and Philosophy of Modern Physics, 35, 317-344.

LALLEMENT Jrme
Universit Ren Descartes (Paris 5) PHARE/GRESE E-mail: jerome.lallement@univ-paris1.fr

Domaines de recherche / Areas of research Philosophy of economics, theories of rationality, decision theory, game theory Philosophy of social sciences

Bibliographie slective / Selected publications 2002, "A la recherche des objets de lconomie", Sciences de la socit, 55, 9-20. 2002, avec X. Greffe & M. De Vroey (dir.), Dictionnaire des grandes uvres conomiques, Paris: Dalloz. 2005, "Walras et les mathmatiques, un malentendu persistant", in R. Baranzini, A. Diemer & Cl. Mouchot (dir.), tudes walrassiennes, Paris: LHarmattan, 81-104. 2006, "lments pour une histoire de lquilibre gnral, de Walras Arrow et Debreu", conomia, Economies et Socits, srie PE 38, 1705-1752. 2007, "Le modle dductif-nomologique et lexplication en conomie", in A. Leroux et P. Livet (dir.), Science conomique et philosophie des sciences, Paris: Economica.

LASSEGUE Jean
CNRS Centre de Recherche en pistmologie Applique E-mail: jean@lassegue.net

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 2003, "La gense des concepts mathmatiques, entre sciences de la cognition et sciences de la culture", Revue de Synthse, 124, Cinquime srie, 223-236. 2004, "L'volution du constructivisme turingien : de la logique du mental la morphogense de l'ide", Intellectica, 39 (2), 107-124. 108

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

2005, "Formes symboliques et mergence de valeurs : pour une cognition culturalise", Revue dIntelligence Artificielle, 19 (1-2), 45-55. 2006, "Turing et linformatique fut", Pour La Science, srie Les gnies de la science, 29 (nov 2006-jan 2007). "Chapter 9: Doing Justice to the Imitation Game a farewell to formalism", in R. Epstein (ed.), The Turing Test Sourcebook, Springer Verlag, paratre.

LAURENT Catherine
Institut National de Recherche Agronomique UMR SAD-APT 1048 E-mail: laurent@inapg.inra.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 2003, Pour une pistmologie de l'interdisciplinarit, Universit Paris 1, Sorbonne / INRA. 2003, avec F. Maxime, A. Maze, M. Tichit, "Multifonctionnalit de l'agriculture et modles de l'exploitation agricole", Economie Rurale, 273-274, 134-152.

Observations / Remarks: Catherine Laurent is a senior scientist (Directrice de recherches) in the French national institute for agronomic research (INRA) and a member of the Scientific Council of this institute. She has completed a full initial double training in social sciences and biology (BA, MSc, PhD in economics University of Paris 7, DVM Maisons-Alfort) with a MSc in philosophy of science (Paris 1-Panthon Sorbonne). Her current research interest is focussed on how scientific knowledge is evaluated and taken into account in public intervention. She is currently co-ordinating an international research programme on this issue. This programme mobilizes researchers from social science, biotechnical science, ecology and the philosophy of science.

LE BIHAN Soazig (PhD student)


Illinois Institute of Technology (Chicago), Humanities Department Laboratoire de Philosophie et dHistoire des Sciences-Archives Poincar (LPHS-AHP) E-mail: soazig.lebihan@normalesup.org

Domaines de recherche / Areas of research Philosophy of physics

109

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

General problems of methodology and scientific reasoning Formal approaches to methodology

Bibliographie slective / Selected publications 2004, "Saving incommensurability: Semantic theory of meaning or semantic theory of science?", Philosophia Scientiae, 8 (1), 97-105. 2006, "La conception smantique des thories scientifiques, I. En quoi a-t-elle pu se dire 'smantique' ?", Matire premire, revue dpistmologie et dtudes matrialistes, 1 : Nature et naturalisations.

LE BLAY Frdric
Universit de Nantes Modernit de l'Antique, EA 3258 & Centre Franois Vite E-mail: frederic.le-blay@univ-nantes.fr

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science Philosophy of medicine

Bibliographie slective / Selected publications 2004, "Les Controversiae de Snque le Rhteur et la Prface du De medicina de Celse : lartiste et le mdecin, histoire de regards", in S. Sconocchia & F. Cavalli (dir.), Testi medici latini antichi. Le parole della medicina : Lessico e Storia, Atti del VII Convegno Internazionale, Trieste, 11-13 ottobre 2001, Bologna: Ptron Editore, 99-116. 2005, "Microcosm and Macrocosm : the dual direction of analogy in Hippocratic thought and the meteorological tradition", in Ph. van der Eijk (d.), Hippocrates in Context, Actes du XIme Colloque international hippocratique, Newcastle-uponTyne, 28-30 aot 2002, Studies in Ancient Medicine, 31, Leiden-London-New York: E. J. Brill, 251-269. 2006, "Penser la douleur dans lAntiquit : enjeu mdical ou enjeu philosophique ?", in F. Prost & J. Wilgaux (eds.), Penser et reprsenter le corps dans lAntiquit, Cahiers dhistoire du corps, 1, Rennes: Presses Universitaires de Rennes, 79-92. "Des tempraments lidiosyncrasie : volution et permanence dune dfinition physiologique de lindividu", Mlanges, crases, tempraments : la chimie du vivant dans la mdecine et la biologie anciennes, Colloque international, Universits de Lausanne et de Genve, 6-8 mai 2004 (publication des actes en cours sous la direction de V. Barras, B. Maire et A.-F. Morand, Institut Universitaire Romand dHistoire de la Mdecine et de la Sant). "Le pome sur lEtna, tmoin dun savoir oubli", in C. Cusset (d.), Musa docta, La posie didactique Rome, Centre Jean Palerne, Presses de lUniversit de Saint-tienne (volume paratre).

110

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

LECHOPIER Nicolas (PhD student)


Universit Paris-1 Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: nlechopier@yahoo.fr

Domaines de recherche / Areas of research Ethical issues in scientific practice and technologies Historical and sociological aspects in the philosophy of science Philosophy of social sciences

Bibliographie slective / Selected publications 2004, "L'mergence de normes pour la recherche biomdicale. A l'origine de la loi Huriet (1975-1988)", Mdecine/Sciences, 20, 377-81. 2007, "Confidentialit et confiance. L'mergence de normes en recherche pidmiologique", in Quiviger P.Y. et Martin T. (eds.), Action mdicale et confiance, Presses Universitaires de Franche-Comt, Agon. 2007, Nature, sciences, philosophies. Actes de la journe dtude du 5 juin 2004 Lyon, dit par Marmasse G. et Lchopier N., Cahiers de la Socit Franaise dHistoire des Sciences et de Techniques, Vuibert. Avec Leplge, A., "Perspectives contemporaines sur la mesure de la sant perue", in Debru C., Han H.-J., Morange M., Fagot-Largeault A.(eds.), Actualit de Georges Canguilhem. paratre 2007.

LECOURT Dominique
Universit Paris 7 Centre Georges Canguilhem & REHSEIS (UMR7596) E-mail: Centre Canguilhem thomas.bourgeois@paris7.jussieu.fr : tournou@paris7.jussieu.fr or Assistant :

Domaines de recherche / Areas of research Ethical issues in scientific practice and technologies Bioethics Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 1995, Lyssenko, histoire relle dune "science proltarienne" (1976, red. Paris: Quadrige/PUF, 1995) 2002, Lpistmologie historique de Gaston Bachelard (1969, 11me dition augmente Paris: Vrin, 2002)

111

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

2004, Dictionnaire de la pense mdicale, sous la direction de D. Lecourt (2004, rdition Paris: PUF/Quadrige, 2004) 2006, Dictionnaire d'histoire et philosophie des sciences, sous la direction de D. Lecourt (1999, 4me dition augmente Paris: PUF/Quadrige, 2006) 2006, La philosophie des sciences (2001, 3me dition. Paris: PUF/Que sais je ?, 2006)

Observations / Remarks: Auteur du Rapport au Ministre de lEducation Nationale sur lenseignement de la philosophie des sciences (2000) : http://www.education.gouv.fr/rapport/lecourt/

LELOUP Grard
Universit du Maine (Le Mans) U.P.R.E.S.A. 7056 (Equipe de Logique, Paris 7) E-mail: leloup@logique.jussieu.fr

Domaines de recherche / Areas of research Mathematical logic

Bibliographie slective / Selected publications 1990, "Thories compltes de paires de corps valus henseliens", Journal of Symbolic Logic, 55 (1), 323-339. 1994, "Rings of monoids elementarily equivalent to polynomial rings", Annals of Pure and Applied Logic, 68, 173-180. 1995, "Elimination des quantificateurs dans des paires de corps", Journal of Symbolic Logic, 60 (2), 548-562. 2003, "Properties of extensions of algebraically maximal rings", Collectanea Mathematica, 54 (1), 53-72.

LEMOINE Mal
Universit Franois-Rabelais de Tours EA 2115 (Histoire des reprsentations) &Recherches pistmologiques et Historiques sur les Sciences Exactes et les Institutions Scientifiques (REHSEIS) E-mail: mael_lemoine@hotmail.com or lemoine@med.univ-tours.fr

Domaines de recherche / Areas of research Philosophy of medicine

112

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications "Medicine as Disunity of Science. The Plurality of Scientific Explicative Values", submitted to Philosophy of Science, november 2006. "La naissance de la mthode statistique en mdecine : le XVIIIe S. et la querelle de l'inoculation", paratre dans le Bulletin de la Socit dHistoire et dEpistmologie des Sciences de la Vie (dcembre 2006)

LEPLGE Alain
Universit Paris 7 Recherches pistmologiques et Historiques sur les Sciences Exactes et les Institutions Scientifiques (REHSEIS) E-mail: alain.leplege@paris7.jussieu.fr

Domaines de recherche / Areas of research Philosophy of medicine General problems of methodology and scientific reasoning Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 1997, Leplge A. et S. Hunt, "The problem of quality of life in medicine", Journal of the American Medical Association (JAMA), July 2, 1 (278) 47-50. 2001, "Introduction, Dfinitions, Enjeux" in Leplge A. et Jol Coste (eds.), Mesure de la Sant Perceptuelle et de la Qualit de Vie mthodes et applications, ditions ESTEM. 2003, "Note technique : invariance et modles de mesure dans les sciences sociales, introduction loeuvre de Georg Rasch", Social Science Information, Sage Publication, 42 (4), 535-555. 2004, "La qualit de vie", in D. Lecourt (ed.), Dictionnaire de la pense mdicale, Paris: Presses Universitaires de France, 939-940. 2005, "The measurement of quality of life in medicine", Proceedings of the 12th International Congress of Logic, Methodology and Philosophy of Science, Oviedo, 07-13 Aug 2003, Elsevier.

LESCANNE Pierre
cole Normale Suprieure de Lyon Laboratoire de linformatique du paralllisme E-mail: pierre.lescanne@ens-lyon.fr

113

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Logic and computation Formal languages and computation Philosophy of economics, theories of rationality, decision theory, game theory

Bibliographie slective / Selected publications 2004, Stephane Lengrand, Pierre Lescanne, Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel, "Intersection types for explicit substitutions", Information and Computation, 189 (1), 17-42. 2004, Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, "Characterizing strong normalization in a language with control operators", Principle and Practice of Declarative Programming, 155-166. 2005, Steffen van Bakel, Stephane Lengrand, Pierre Lescanne, "The Language chi: Circuits, Computations and Classical Logic", ICTCS 2005, 81-96 2006, C. Chettaoui, F. Delaplace, P. Lescanne, M. Vestergaard, R. Vestergaard, "Rewriting Game Theory as a Foundation for State-Based Models of Gene Regulation", Computational Methods in Systems Biology, Lecture Notes in Computer Science, Berlin/Heidelberg: Springer, Vol. 4210/2006, 257-270. 2006, Dougherty, Daniel J., Lescanne, Pierre, Liquori, Luigi, "Addressed term rewriting systems: application to a typed object calculus", Mathematical Structures in Computer Science, 16 (4), 667-709.

LVY-LEBLOND Jean-Marc
Universit de Nice-Sophia Antipolis Institut Robert Hooke E-mail: jmll@unice.fr

Domaines de recherche / Areas of research Philosophy of physics Historical and sociological aspects in the philosophy of science Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 1992, "Why does Physics need Mathematics?", in E. Ullmann-Margalit (ed.), The Scientific Enterprise, Dordrecht: Kluwer. 1996, Aux contraires (l'exercice de la pense et la pratique de la science), Paris: Gallimard. 2000, "Mots et maux de la physique quantique (Critique pistmologique et problmes terminologiques)", Revue internationale de philosophie, 2, 243-265. 2000, "Une matire sans qualits ? (Grandeur et limites du rductionnisme physique)", in L. Boi (ed.), Science et Philosophie de la Nature, Berlin: Springer. 2005, "Figures and Characters in the Great Book of Nature", in M. Emmer (ed.), Visual Mind II"2, Cambridge: MIT Press, 623-646. 114

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

LHERMINIER Philippe
CNRS UPR 9034 E-mail: phlherminier@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of biology

Bibliographie slective / Selected publications 1978, "Leibniz et la philosophie spontane du gnticien", La Pense, 200, 55-69. 1997, "Modles instructifs et modles slectifs de l'origine des espces", in Laurent G. (d.), Jean-Baptiste Lamarck (Congrs d'Amiens 1994), Paris: CTHS, 409-423. 1998, "L'hrdit avant la gntique", Mdecine-Science, 14 (3), I-XI. 2001, "Locke, Leibniz et le problme moderne de l'espce", Bulletin dHistoire et dEpistmologie des Sciences de la Vie, sous presse. 2005, Lherminier P. & Solignac M., De l'espce, Paris: Syllepse.

LIHOREAU Franck
Universit Nancy 2 Laboratoire de Philosophie et dHistoire des Sciences-Archives Poincar (LPHS-AHP) E-mail: Franck.Lihoreau@univ-nancy2.fr

Domaines de recherche / Areas of research Philosophical and applied logics

Bibliographie slective / Selected publications Avec Rebuschi, M., "Raisonner sur la connaissance en contexte", Actes du colloque "Computers and Philosophy 2006", paratre. Disponible sur HAL l'adresse: http://halshs.archives-ouvertes.fr/halshs-00113447

LIVET Pierre
Universit de Provence Centre dpistmologie et dErgologie Comparative, CEPERC, UMR CNRS 6059 E-mail: Pierre.Livet@univ-provence.fr

115

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Philosophy of social sciences Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 2002, "Emotions, revision, and the explanation of action", European Review of Philosophy, Stanford, 5. 2002, Emotions et rationalit morale, Paris: Presses Universitaires de France. 2005, "Les diverses formes de raisonnement par cas", in Jean-Claude Passeron, Jacques Revel (dir.), Penser par cas, Enqute, Paris: Editions de lEHESS, 2005, 229254. 2005, Quest ce quune action ?, Paris: Vrin, coll. "Chemins philosophiques". 2006, "Identities, capabilities and revision", Journal of Economic Methodology, 13 (3), 324-348.

LONGO Giuseppe
CNRS et cole normale superieure, Paris Laboratoire d'Informatique de l'Ecole Normale Suprieure (LIENS) E-mail: longo@di.ens.fr

Domaines de recherche / Areas of research Formal languages and computation Philosophy of mathematics and logic Philosophy of biology

Bibliographie slective / Selected publications 2002, "On the proofs of some formally unprovable propositions and Prototype Proofs in Type Theory". Invited Lecture, Types for Proofs and Programs, Durham, (GB), Dec. 2000, Lecture Notes in Computer Science, vol 2277 (Callaghan et al. eds), pp. 160 180, Springer. 2005, "The reasonable effectiveness of Mathematics and its Cognitive roots", in L. Boi (ed), Geometries of Nature, Living Systems and Human Cognition, series "New Interactions of Mathematics with Natural Sciences and Humanities", World Scientific, 351-382. 2006, avec F. Bailly, Mathmatiques et sciences de la nature. La singularit physique du vivant, Hermann: Paris, juillet 2006. (english-introduction.pdf downloadable: http://www.di.ens.fr/~longo/) 2007, "Laplace, Turing and the "imitation game" impossible geometry: randomness, determinism and programs in Turing's test", In Epstein, R., Roberts, G., & Beber, G. (Eds.). The Turing Test Sourcebook, Springer.

116

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Avec P.-E. Tendero, "L'ADN et l'incompltude causale de la thorie de la programmation en biologie molculaire", paratre 2007, in Evolution des concepts fondateurs de la biologie du XXIe sicles, Paris: DeBoeck.

Observations / Remarks: All papers are downloadable from: http://www.di.ens.fr/~longo/

LONGY Franoise
Universit Strasbourg 2 Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: longy@ext.jussieu.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of biology Philosophy of mathematics and logic

Bibliographie slective / Selected publications 2001, "Mathmatiques et intuitions : Zermelo et Poincar face la thorie axiomatique des ensembles et laxiome du choix", Philosophia Scientiae, 5 (2), 51-87 2005, "Normes, Fonctions et Contenu : le Dfi de Neander", Publications lectroniques de Philosophia Scienti, 2, Actes du colloque de la SOPHA Montral 2003, http://philosophiascientiae.free.fr/ 2006, "Function and Probability: the making of artefacts", Techn: Research in Philosophy and Technology, 10 (1), 71-86. 2007, "Two probabilities of dysfunction and two kinds of chance", in J. Williamson and F. Russo (eds.), Probability and Causality in the Sciences, London: College Publications, 335-360. "How biological, cultural and intended functions combine", in P.Kroes & U. Krohs (eds.), Functions and more Comparative Philosophy of Technical Artefacts and Biological Organisms, Cambridge: MIT Press, forthcoming 2007.

MALOLO DISSAK Emmanuel


Universit de Rouen Centre pour la Synthse d'une Epistmologie Formelle (CESEF) E-mail: emdissake@yahoo.fr or emdissake@free.fr

117

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of physics Philosophy of social sciences

Bibliographie slective / Selected publications 1996, La thorie quantique et le schisme en physique, trad.fr. de K. Popper, Quantum Theory and the Schism in Physics, Paris: Hermann. 2001, Paul Feyerabend : pistmologie, anarchisme et socit libre, Paris: PUF. 2004, Karl Popper. Langage, falsificationnisme et science objective, Paris: PUF. 2005, Mathmatique pharaonique gyptienne et thorie moderne des sciences, Paris: Dianoia, coll. "Mat Cogitationes". 2005, Ralisme, rationalisme et mthode scientifique, trad. fr. de P. Feyerabend, Realism, Rationalism and Scientific Method, Paris: Dianoia, coll. "Fondements de la philosophie contemporaine des sciences".

MARCHAIS Pierre
CIRIP (Centre International de Recherche Interdisciplinaire en Psychiatrie) Socit mdico-psychologique E-mail: pmarch@club-internet.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of cognitive science, psychology and linguistics Logic and complexity

Bibliographie slective / Selected publications 2000, Marchais P. et Grize J.-B., "Le concept de protologique dans les processus de pense", Annales Mdico-Psychologiques, 158, 3, 193-208. 2003, LActivit psychique. De la psychiatrie une thorie de la connaissance, Paris: LHarmattan. 2004, "Langoisse et lanxit. Variations conceptuelles. Ouverture la thorie des catgories", Annales Mdico-Psychologiques, 2004, 162, 3, 196-202. 2005, "Rencontre entre la psychiatrie et la thorie des catgories", Cahiers de topologie et gomtrie diffrentielle catgoriques, vol. XLVI-3, http://perso.wanadoo.fr/vbmehr/CT/ 2006, Marchais P. et Grize J.-B.- "Du quantitatif et du qualitatif dans lobservation en psychiatrie", Annales Mdico-Psychologiques, 164, 1, 41-47.

118

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

MARTIN Thierry
Universit de Franche-Comt Laboratoire Logiques de l'agir E-mail: thierry.martin@univ-fcomte.fr or jftmartin@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of economics, theories of rationality, decision theory, game theory Philosophy of mathematics and logic Philosophy of social sciences

Bibliographie slective / Selected publications 1996, Probabilits et critique philosophique selon Cournot, Paris: Vrin, coll. Mathesis. 2003, (dir.) Probabilits subjectives et rationalit de laction, Paris: CNRS ditions. 2003, "Buffon et larithmtique politique", in Th. Martin (dir.), Arithmtique politique dans la France du XVIIIe sicle, Paris: I.N.E.D., 163-194. 2005, (avec Bernard Bru) "Le baron de Frussac, la couleur de la statistique et la topologie des sciences", in Journ@l lectronique dhistoire des probabilits et des statistiques, www.jehps.net, vol. 1/2. 2006, "La logique probabiliste de Gabriel Cramer", Mathmatiques et Sciences humaines Mathematics and Social Sciences, 44e anne, 176 (4), 43-60.

MARZANO Maria Michela


CNRS Centre de Recherche Sens, thique, Socit (CERSES) E-mail: michela.marzano@univ-paris5.fr or m.marzano@online.fr

Domaines de recherche / Areas of research Bioethics Ethical issues in scientific practice and technologies Science and education

Bibliographie slective / Selected publications 2002, Penser le corps, Paris: PUF. 2003, La Pornographie ou l'puisement du dsir, Paris: Buchet/Chastel. 2005, La Fidlit ou l'amour vif, Paris: Buchet/Chastel. 2006, Je consens, donc je suis... thique de l'autonomie, Paris: PUF. 2007, Dictionnaire du corps, sous la direction de M. Marzano, Paris: PUF.

119

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

MAYRARGUE Arnaud
Institut Universitaire de Formation des Matres de Crteil Recherches pistmologiques et Historiques sur les Institutions Scientifiques (REHSEIS) E-mail: amayrar@paris7.jussieu.fr

Domaines de recherche / Areas of research Philosophy of physics

Bibliographie slective / Selected publications 2004, "Calorique et ther lumineux : rle historique dans les modes dexplication", Bulletin de lUnion des Physiciens, 860. 2005, avec L. Maurines, "How the investigations of the students reasoning on waves and the history of physics can help us to develop research-based innovative units for secondary students on the velocity of light?", Eighth International History, Philosophy, Sociology & Science Teaching Conference, Leeds 2005, texte en ligne: http://www.leeds.ac.uk/papers/Maurines_Mayrargue.pdf 2006, "Quels liens entre lHST, lpistmologie et la didactique des disciplines ?", Trema, 26. "Bouguer et la rfraction astronomique", Revue dhistoire des Sciences, paratre 2007.

MIJOULE Richard
ccole Nationale Suprieure dInformatique pour lindustrie et lEntreprise E-mail: mijoule@ensiie.fr or rimi3@wanadoo.fr

Domaines de recherche / Areas of research Mathematical logic Logic and computation

Bibliographie slective / Selected publications 1975, "Le forcing pour l'tude des fondements", 2me Colloque internationnal de Catgories, Amiens 1975, Cahiers de Topologie et Gomtrie diffrentielle, Vol XVI-3. 1987, "La thorie des fonctions indexes en rcursivit", Archivum Mathematicum, 23 (4). 1995, "Fibrations and recursivity", Theoretical informatics and applications, 29 (3). 2002, "Fibrations bornes, localement bornes et applications la logique linaire", Sminaire Itinrant de Catgories, Amiens 2001, Compte-rendu n13/janvier 2002 LAMFA-CNRS FRE 2270. 2004, "Objet des preuves dans une 2-catgorie", Sminaire Itinrant de Catgories, Paris 2004, Compte-rendu LAMFA-CNRS UMR 6140 120

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Observations / Remarks: Je me suis surtout intress l'approche catgorique de la logique. Que ce soit au dbut avec la thorie des esquisses, puis avec la thorie des faisceaux et des fibrations. D'o cet chantillon de mes publications au fil du temps.

MOKTEFI Amirouche (PhD student)


Universit Strasbourg 1 & Universit Nancy 2 IRIST & Laboratoire de Philosophie et dHistoire des Sciences Archives Poincar (LPHS-AHP) E-mail: amirouche.moktefi@gersulp.u-strasbg.fr

Domaines de recherche / Areas of research Mathematical logic Philosophy of mathematics and logic Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2005, "How did Lewis Carroll become a logician?", in A. Cupillari (ed.), Proceedings of The Canadian society for the history and philosophy of mathematics, 18, 136-144. 2006, "Lewis Carroll: la recherche du logicien perdu", in A. Bonnefoy et B. Joly (eds.), Actes du congrs d'histoire des sciences et des techniques organis Poitiers du 20 au 22 mai 2004, Paris: SFHST, 45-47. 2007, "How to supersede Euclid: geometry teaching and the mathematical community in nineteenth century Britain", in A. Mordavsky Caleb (ed.), (Re)creating Science in Nineteenth-Century Britain: An Interdisciplinary Approach, Newcastle: Cambridge Scholars Publishing, 220-234. "Lewis Carrolls logic", in D. Gabbay and J. Woods (eds.), The handbook of the history of logic, vol 4. British logic in the nineteenth century, Amsterdam: Elsevier, paraitre 2007.

MOLTMANN Friederike
CNRS Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: fmoltmann@univ-paris1.fr

Domaines de recherche / Areas of research Philosophical and applied logics Philosophy of cognitive science, psychology and linguistics Formal approaches to methodology

121

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2003, "Propositional Attitudes without Propositions", Synthese, 135, 70-118. 2004, "Properties and Kinds of Tropes: New Linguistic Facts and Old Philosophical Insights", Mind, 123 (1), 1-41. 2004, "Two Kinds of Universals and Two Kinds of Collections", Linguistics and Philosophy, 27 (6), 739-776. 2005, "Part Structures in Situations: The Semantics of Individual and Whole", Linguistics and Philosophy, 28 (5), 599-641. 2006, "Events, Tropes, and Truthmaking", Philosophical Studies, 131 (1).

MONGIN Philippe
CNRS & Ecole des Hautes tudes Commerciales (HEC)- GREGHEC E-mail: mongin@hec.fr

Domaines de recherche / Areas of research Philosophy of economics, theories of rationality, decision theory, game theory Philosophy of social sciences Philosophical and applied logics

Bibliographie slective / Selected publications 2000, "Does Optimization Imply Rationality?", Synthese, 124, 73-111. 2000, avec E. Karni, "On the Determination of Subjective Probabilities by Choices", Management Science, 46, 233-248. 2003, avec E. Lismont, "Strong Completeness Theorems for Weak Logics of Common Belief", Journal of Philosophical Logic, 32, 115-137. 2006, "Value Judgments and Value Neutrality in Economics", Economica, 72, 257286. 2006, "A Concept of Progress for Normative Economics", Economics and Philosophy, 22, 19-54.

MORANGE Michel
Universit Paris 6 & cole Normale Suprieure Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) & Centre Cavaills de l'ENS E-mail: morange@biologie.ens.fr

Domaines de recherche / Areas of research Philosophy of biology 122

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2002, "The gene between holism and generalism" in M. H. Van Regenmortel and D. L. Hull (eds.), Promises and limits of reductionism in the biomedical sciences, Chichester UK: John Wiley and Sons), 179-189. 2003, La vie explique? 50 ans aprs la double hlice, Paris: Odile Jacob. 2005, Les secrets du vivant: contre la pense unique en biologie, Paris: La Dcouverte. 2005, "What is Life? A new look at an old question", in P. Hajek, L. ValdsVillanueva and D. Westersthl (eds.), Logic, Methodology and Philosophy of Science, London: King's College Publications, 431-440. 2006, "Post-genomics, between reduction and emergence", Synthese, 151, 355-360.

MOSCONI Jean
Universit Paris 1 (Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST)) E-mail: jean.mosconi@wanadoo.fr or mosconi@univ-paris1.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic

Bibliographie slective / Selected publications 1983, "Charles BABBAGE : vers une thorie du calcul mcanique", Thals, numro spcial de la Revue d'Histoire des Sciences, 36 (1), 69-107. 1991, "Sur quelques capacits et incapacits des machines", Bulletin de la Socit Franaise de Philosophie, juillet-septembre 1991. 1998, "Calculabilit et formalisation", in F. Nef et D. Vernant (dir.), Le formalisme en question : Le tournant des annes trente, Paris: Vrin, 49-65. 2002, "Rgles de formation et rgles de transformation : de Carnap Harris", in F. Lepage, M. Paquette, F. Rivenc (dir.), Carnap aujourdhui, Montral/Paris: Bellarmin/Vrin, 39-57. 2003, "Quelques difficults du structuralisme mathmatique", in M. Serfati (dir.), De la mthode, Recherches en histoire et philosophie des mathmatiques, Besanon: PUFC, 341-356.

MOSSIO Matteo
Universit Paris 7 Recherches pistmologiques et Historiques sur les Scienes Exactes et les Institutions Scientifiques (REHSEIS) E-mail: mossio@free.fr or mossio@di.ens.fr

123

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Philosophy of biology General problems of methodology and scientific reasoning Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 2005, "Une esquisse critique des fonctionnalismes", in Siksou M. (Ed.), Symtries, Londres: Herms.

MUGNERET Mikal
Universit Nancy 2 Laboratoire de Philosophie et d'Histoire des Sciences-Archives Henri Poincar (LPHS-AHP) E-mail: mugneret@club-internet.fr

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 2006, Ontologie, Sciences Cognitives et Identit Personnelle, Thse de Doctorat en Philosophie. Vidailhet P., Mugneret M., Michel E., Robert P., Danion J.-M, "Elaborative encoding strategies improve conscious recollection in patients with schizophrenia", Biological Psychiatry (submitted).

Observations / Remarks: Axes de recherche envisags pour les prochaines annes : pistmologie de la croyance religieuse, thique et biothique.

NICOLAS Franois
cole Normale Suprieure Laboratoire disciplinaire "Pense des Sciences" E-mail: fnicolas@ens.fr or fnicolas@ircam.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic Philosophical and applied logics Mathematical logic

124

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 1986, "Partages dcriture : Mathmatique et Musique sont-elles contemporaines ?", Cahiers du CREM, 1-2. 2001, "Qu'esprer des logiques musicales mises en oeuvre au XX sicle ?", in Delige, I. et Paddison, M. (dir.), Musique contemporaine Perspectives thoriques et philosophiques, Lige: Mardaga. 2002, "Questions of Logic: Writing, Dialectics and Musical Strategies", in Assayag, G., Feichtinger, H.-G. et Rodrigues, J.F. (Eds.), Mathematics and Music, Berlin: Springer, 89-112. 2006, avec G. Assayag et G. Mazzola, Penser la musique avec les mathmatiques ?, Sampzon: Delatour.

NOUR Karim
Univerit de Savoie Laboratoire de Mathmatiques, quipe de Logique (LAMA) E-mail: nour@univ-savoie.fr or k_nour68@yahoo.fr

Domaines de recherche / Areas of research Mathematical logic Logic and computation

Bibliographie slective / Selected publications 2003, K. Nour and A. Nour, "Propositional mixed logic : its syntax and semantics", Journal of Applied Non-Classical Logics, vol 13, 377-390. 2003, R. David and K. Nour, "A short proof of the strong normalization of classical natural deduction with disjunction", Journal of Symbolic Logic, vol 68, num 4, 1277-1288. 2003, K. Nour and C. Raffalli, "Simple proof of the completeness theorem for second order classical and intuitionictic logic by reduction to first-order monosorted logic", Theoretical Computer Science, vol 308, 227-237. 2005, R. David and K. Nour", "Arithmetical proofs of strong normalization results for the symmetric lambda-mu-calculus (avec X)", TLCA 2005, LNCS 3461, 162178. 2005, K. Nour and K. Saber, "A semantical proof of the strong normalization theorem of full propositionnal classical natural deduction", Archive for Mathematical Logic, vol 45, 357-364.

NOUVEL Pascal
Universit Paul Valry - Montpellier 3 - Dpartement de philosophie

125

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

E-mail: pascal.nouvel@diderot.net

Domaines de recherche / Areas of research Philosophy of biology Philosophy of medicine Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 2000, Lart daimer la science, Paris: P.U.F. 2002, Enqute sur le concept de modle, P. Nouvel (dir.),Paris: P.U.F. 2003, avec C. Debru, Le possible et les biotechnologies, Paris: P.U.F. 2003, Conversation avec mon clone sur la passion amoureuse, Paris: P.U.F. Histoire des amphtamines, paratre.

OLIVE Frdric
Universit de Provence Laboratoire d'Informatique Fondamentale de Marseille E-mail: frederic.olive@lif.univ-mrs.fr

Domaines de recherche / Areas of research Logic and complexity

Bibliographie slective / Selected publications 1998, "A conjunctive logical characterization of non-deterministic linear time", Proc. 11th Annual Conf. of the EACSL (CSL'97), vol. 1414, LNCS, 360-372. 1998, avec E. Grandjean, "Monadic logical definability of nondeterministic linear time", Computational Complexity, 7, 54-97. 1999, avec B. Courcelle, "Une axiomatisation au premier ordre des arrangements de pseudodroites", Annales de l'Institut Fourier, 9 (3), 883-903. 2004, avec E. Grandjean, "Graph properties checkable in linear time in the number of vertices", Journal of Computer and System Sciences, 68, 546-597. 2006, avec A. Durand, "First-order queries over one unary function", Proc. 15th Annual Conf. of the EACSL (CSL'06), vol. 4207, LNCS, 334-348.

ORIGGI Gloria
CNRS Institut Jean Nicod E-mail: origgi@ehess.fr

126

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics Philosophy of social sciences General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 2002, "On the Proper Function of Language", in P. Carruthers and A. Chamberlain (eds.), Evolution and the Human Mind: Modularity, Language and Metacognition, Cambridge: Cambridge UP. 2004, "Is Trust an Epistemological Notion?", Episteme, 1 (1), 61-72. 2005, "Le sens des autres. Ontogense de la confiance pistmique", Raisons Pratiques, 17. 2006, "Peut-on tre anti-rductionniste propos du tmoignage?", Philosophie, 88, 47-57.

PANZA Marco
CNRS Recherches pistmologiques et Historiques sur les Institutions Scientifiques (REHSEIS) E-mail: Panza.Marco@univ-paris-diderot.fr or panzeam@libero.it

Domaines de recherche / Areas of research Philosophy of mathematics and logic Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2003, "Mathematical proofs", Synthese, 134 (1-2), 119-158. 2005, Newton et les origines de l'analyse: 1664-1666, Paris: Blanchard. 2006, "Franois Vite, between analysis and cryptanalysis", Studies in History and Philosophy of Sciences, 37, 269-289. 2007, Nombres. Elments de mathmatiques pour philosophes, Lyon: ENS Editions. "Il dibattito sul platonismo aritmetico", in A. Coliva (d.), Manuale di filosofia analitica, Roma: Carocci, paratre.

PARENT Xavier
CNRS Center for Comparative Ergology and Epistemology (CEPERC) E-mail: xp@up.univ-mrs.fr or xavier.parent@kcl.ac.uk

127

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Philosophical and applied logics Philosophy of cognitive science, psychology and linguistics Logic and computation

Bibliographie slective / Selected publications 2001, "Cumulativity, identity and time in deontic logic", Fundamenta Informaticae, 48, 237-252. 2002, with P. Livet, "Argumentation, rvision et conditionnels", in P. Livet (ed.), Rvision des Croyances, Paris: Hermes Science Publication, 229-258. 2003, "Remedial interchange, contrary-to-duty obligation and commutation", Journal of Applied Non-Classical Logics, 13 (3-4), 345-375. 2007, with A.J.I. Jones, "A convention-based approach to agent communication languages", Group Decision and Negotiation, 16. With A.J.I. Jones, "Normative-informational positions: A modal-logical approach", to appear in Artificial Intelligence and Law.

PARIENTE Jean-Claude
Universit de Clermont-Ferrand II (retired) Laboratoire de Recherche sur le Langage E-mail : jcpariente@wanadoo.fr

Domaines de recherche / Areas of research Philosophical and applied logics (logic and language) Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2002, Le Langage luvre, Paris: P.U.F. 2002, "L'effacement du logique chez Condillac", in A. Bertrand (dir.), Condillac, L'origine du langage, Paris: P.U.F., 57-83. 2005, "Arnauld critique de Malebranche : Thorie des ides et thorie de la connaissance", in Corpus, 49, Paris, 227-248. 2006, "Criticisme et ralisme chez Augustin Cournot", in M. Bitbol et J. Gayon (eds.), Lpistmologie franaise, 1830-1970, Paris: P.U.F., 213-230. 2006, "De quelques usages impropres du nom propre", in Corpus, 50, Paris, 227248.

Observations / Remarks: More precise areas of research include: Philosophy of Language and Knowledge; History of Grammar and Logic (XVIIth and XVIIIth Century)

128

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

PARISOLI Luca
Universit de Calabre, Italie Centre de thorie et analyse du droit, UMR 7074 E-mail: lm.parisoli@online.fr or l.parisoli@libero.it

Domaines de recherche / Areas of research Philosophical and applied logics Bioethics

Bibliographie slective / Selected publications 1999, "The anthropology of freedom and the nature of human person", The Personalist Forum, 15 (2), 347-365. 2001, La philosophie normative de Jean Duns Scot. Droit et politique du droit, Roma: Istituto Storico dei Cappuccini. 2004, "Les mythologies de la connaissance absolue et le discours gntiste", Camillianum, 4, 67-94. 2005, La contraddizione vera. Giovanni Duns Scoto tra le necessit della metafisica e il discorso della filosofia pratica, Roma: Istituto Storico dei Cappuccini. 2006, "Le dpassement de la logique classique et les paradoxes des normes fondamentales", in D. de Bchillon, V. Champeil-Desplats, P. Brunet, E. Millard (eds.), L'architecture du droit. Mlanges en l'honneur de Michel Troper, Paris: Economica, 763-773.

PAROT Franoise
Universit Paris 5 Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: francoise.parot@wanadoo.fr or francoise.parot@univ-paris5.fr

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics Historical and sociological aspects in the philosophy of science Philosophy of social sciences

Bibliographie slective / Selected publications 2000, Introduction I. Meyerson, Existe-t-il une Nature humaine ? Psychologie historique, objective, comparative, Paris: SanofiSynthlabo, 19-78. 2000, "Psychology in the Human Sciences in France: 1920-1940", History of Psychology, 3, 104-121. 2002, "History of Behaviorism", in N.J. Smesler et P.B. Bates (eds), International Encyclopedia of Behavioral and Social Sciences, Oxford: Elsevier Science. 129

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

2004, "Mais pourquoi ces enfants ne tiennent-ils pas en place ?", Le Dbat, dcembre. 2006, "Les fonctions du rve et du sommeil paradoxal approche pistmologique", Socits et Reprsentations.

PARROCHIA Daniel
Universit Jean Moulin - Lyon III Centre dEtudes des Formes, Institut de Philosophie de Lyon. E-mail: daniel.parrochia@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic Formal approaches to methodology General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 1993, Philosophie des Rseaux, Paris: P.U.F. 1995, "A historical note on Artificial Life", Acta Biomathematica, 43, 177-183. 1996, "Algorithmics and the limits of complexity", Science in Context 9 (1), 39-56. 1998, "Classifications, histoire et problmes formels", Bulletin de la socit francophone de classification 2003, Lhomme volant, philosophie de laronautique et des techniques de navigation, Seyssel: Champ Vallon.

Observations / Remarks: My topics bear mainly on philosophy of technology, mathematical aspects of forms and general theory of classification.

PATAUT Fabrice
CNRS UMR 8590 Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: pataut@ext.jussieu.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic Mathematical logic General problems of methodology and scientific reasoning

130

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2001, Shizai Lun, Kepandingxing, he Guoqu, trad. chin., Zhang Qing Yu, Hua Xia Publishing House, Coll. Modern Thinking Library, Beijing, Rpublique Populaire de Chine. 2002, "Truth, Meaning, Modalities and Ethics (A Second Interview with Michael Dummett)", Philosophical Investigations, vol. 25, n3, July, 225-271. 2005, "Savoir mathmatique, temporalit et ngation", Revue Roumaine de Philosophie, vol. 49 (1-2), Editura Academiei Romne, Bucarest, 135-147. 2006, "Holisme de linterprtation, holisme smantique et asymtrie", Site Web de lInstitut dHistoire et de Philosophie des Sciences et des Techniques, Paris, http://www-ihpst.univ-paris1.fr, partie Intranet. 2007, [ paratre, accept pour publication], "Holisme, anatomicit et hirarchie", Archives de Philosophie [Numro spcial consacr Quine], Paris.

PATY Michel
CNRS Recherches pistmologiques et Historiques sur les Sciences Esactes et les Institutions Scientifiques (REHSEIS) E-mail: paty@paris7.jussieu.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of physics Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2003, "The concept of quantum state: new views on old phenomena", in Ashtekar, Abhay, Cohen, Robert S., Howard, Don, Renn, Jrgen, Sarkar, Sahotra & Shimony, Abner (eds.), Revisiting the Foundations of Relativistic Physics : Festschrift in Honor of John Stachel, Boston Studies in the Philosophy and History of Science, Dordrecht: Kluwer Academic Publishers, 451-478. 2005, "Des Fondements vers l'avant. Sur la rationalit des mathmatiques et des sciences formalises", Philosophia Scienti, 9 (2), 109-130. 2006, "The concepts of physics : rational contents and constructions in history", transl. by Fahrang Erfani, in Rockmore, Tom & Margolis, Joseph (eds.), History, Historicity and Science, Aldershot Burlington (UK): Ashgate Publ. Ltd, 7-30. 2006, "L'espace physique vu du monde quantique. Une approche pistmologique", in Lachize-Rey, Marc (d.), L'espace physique, entre mathmatiques et philosophie, Coll. Penser avec les sciences , Paris-Les Ulis: EDP-Sciences, 41-79. 2006, "Les analogies mathmatiques au sens de Poincar et leur fonction en physique", in Durand-Richard, Marie-Jos (d.), Le statut de l'analogie dans la dmarche scientifique, Paris: L'Harmattan.

131

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

PECKER Jean-Claude
Collge de france & Acadmie des sciences (Paris) E-mail: j.c.pecker@wanadoo.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Ethical issues in scientific practice and technologies Science and education

Bibliographie slective / Selected publications 2001, Understanding the Heavens: thirty centuries of astronomical ideas from ancient thinking to modern cosmology, Berlin: Springer. 2004, Lunivers explor peu peu expliqu, Paris: Odile Jacob. Avec S. Dumont, Lalandiana, I & II, Correspondances de J. de Lalande, Paris: Vrin, paratre 2007.

Observations / Remarks: Domaine principal : histoire de l'astronomie.

PELLEGRIN Pierre
CNRS Centre dHistoire des Sciences et des Philosophies Arabes et Mdivales (CHSPAM) E-mail: p.a.pellegrin@wanadoo.fr or chspam@vjf.cnrs.fr

Domaines de recherche / Areas of research Philosophy of biology Formal approaches to methodology Philosophical and applied logics

Bibliographie slective / Selected publications 1982, La Classification des animaux chez Aristote. Statut de la biologie et unit de laristotlisme, Paris: Belles Lettres. 2005, Aristote, Seconds analytiques, prsentation, traduction et notes de P. Pellegrin, Paris: Flammarion.

132

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

PERAIRE Yves
Universit Clermont 2 UMR 6620, Laboratoire de Mathmatiques E-mail: Yves.Peraire@math.univ-bpclermont.fr or yves.peraire@wanadoo.fr

Domaines de recherche / Areas of research Philosophical and applied logics Philosophy of mathematics and logic Philosophy of physics

Bibliographie slective / Selected publications 1992, "Thorie relative des ensembles internes", Osaka Journal Of Mathematics, 29 (2). 2005, "Le replacement du rfrent dans les pratiques de l'Analyse issues de Edward Nelson et de Georges Reeb", Philosophia Scientiae, Cahier spcial 5 : "Fonder les mathmatiques autrement", 257-273. 2005, "Heaviside calculus with no Laplace transform", Integral Transform and Special Functions, 17 (03-03), February-March 2005. 2007, "Analysis of various practices of referring in classical or non standard mathematics", in Berg, I.v.d., Neves, V. (Rd.), The Strength of Nonstandard Analysis. "A mathematical Framework For Dirac Calculus", Socit Belge de Mathmatique Simon Stevin, paratre.

Observations / Remarks: Je suis mathmaticien, mais accul la philosophie devant les blocages lis la spcificit de mon travail. Les articles 2 et 3 sont des articles de mathmatiques mais obtenus en application de ma rflexion sur la smantique des langues mathmatiques.

PERRU Olivier
Universit Lyon 1 LIRDHIST E-mail: olivier.perru@univ-lyon1.fr or olivier.perru@laposte.net

Domaines de recherche / Areas of research Philosophy of biology Historical and sociological aspects in the philosophy of science General problems of methodology and scientific reasoning

133

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2000, "Zoonites et unit organique : les origines dune lecture spcifique du vivant chez Alfred Moquin-Tandon (1801-1863) et Louis-Antoine Dugs (1797-1838)", History and philosophy of the life sciences, 22, 247-270. 2003, De la socit la symbiose, 1870-1930. Une histoire des dcouvertes sur les associations dans le monde vivant, vol. 1, Paris: Vrin. 2004, "Le modle, le vivant et la complexit", Revue des questions scientifiques, 175 (2), 113-132. 2005, Le Vivant, Approches pour aujourdhui, Paris: Cerf. 2006, "Stratgies de coopration, signaux et symbiose", Comptes-rendus de lAcadmie des Sciences.

PETIT Jean-Luc
Universit Marc Bloch Strasbourg II & Collge de France, Paris Laboratoire de physiologie de la perception et de l'action UMR 7152 E-mail: jean-luc.petit@college-de-france.fr

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics Philosophy of biology Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 1997, Les neurosciences et la philosophie de l'action, dit par J.-L. Petit, Paris: Vrin. 2003, Repenser le corps, l'action et la cognition avec les neurosciences, dossier Intellectica dit par J.-L. Petit, 2003/1-2, 36-37. 2003, "La spatialit originaire du corps propre. Phnomnologie et neurosciences", in "Gomtrie et cognition", Revue de Synthse, 5me srie, Anne 2003, 139-171. 2005-2006, "Les systmes rsonnants : bases neurales de cognition sociale ? I-II", PSN Psychiatrie Sciences humaines Neurosciences, 15, 240-247 & 16, 16-22. 2006, avec A. Berthoz, Physiologie de l'action et phnomnologie, Paris: Odile Jacob.

PIGEAUD Jackie
Universit de Nantes (Professeur mrite) E-mail: jackie.pigeaud@wanadoo.fr

134

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Philosophy of medicine

Bibliographie slective / Selected publications 1981, La Maladie l'me, Etude sur la relation de l'me et du corps dans la tradition mdicophilosophique antique, Paris: Les Belles Lettres, 3e dition 2006. 1987, Folie et cures de la folie chez les mdecins de l'Antiquit grco-romaine, La Manie, Paris: Les Belles Lettres, 2e dition paratre 2007. 1995, L'Art et le Vivant, Paris: Gallimard. 2001, Aux portes de la psychiatrie. Pinel, l'Ancien et le Moderne, Paris: Aubier. 2005, De la Mlancolie, fragments de potique et d'histoire, Paris: Dilecta.

PLAGNOL Arnaud
Universit de Paris 8 Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: APlagnol@wanadoo.fr or APlagnol@univ-paris8.fr

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics Philosophical and applied logics General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 2004, Espaces de reprsentation : thorie lmentaire et psychopathologie, Paris: Editions du CNRS.

PLAUD Sabine (PhD student)


Universit Paris 1 Equipe Philosophies Contemporaines E-mail: plaudsabine@yahoo.fr or sabine.plaud@univ-paris1.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophy of cognitive science, psychology and linguistics

135

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2006, "La volont nest-elle quune exprience ?", in S. Laugier et Ch. Chauvir (eds.), Lire les Recherches Philosophiques, Paris: Vrin. 2006, avec E. Brun-Rovet, "Ludwik Fleck, Gense et dveloppement dun fait scientifique", Pour la Science, 346, aot 2006. 2007, "Le Moi peut-il tre sauv? La subjectivit, de Mach au premier Wittgenstein", Philonsorbonne, 1, 49-59. Article "Wittgenstein" in J.-P. Zarader (dir.), Dictionnaire Philosophique, Paris: Ellipses, paratre 2007. "Modlisation et exprience de pense chez Mach : une mthode entre rationalisme et empirisme", in D. Bellis & E. Brun-Rovet (dir.), Expriences de pense, paratre 2007.

POIZAT Bruno
Universite Claude Bernard (Lyon 1) Institut Camille Jordan (UMR CNRS 5208) E-mail: poizat@math.univ-lyon1.fr

Domaines de recherche / Areas of research Mathematical logic Logic and complexity

Bibliographie slective / Selected publications 2005, avec E. Mustafin, "Sous-groupes superstables de SL2 et PSL2", Journal of Algebra, 297 (1), 155-167. 2006, "Univers positifs", Journal of Symbolic Logic, 71 (3), 969-976. 2006, A la recherche de la structure intrinsque de l'univers, Almaty: Eco Study. 2007, avec I. Ben-Yaacov, "Fondements de la Logique Positive", Journal of Symbolic Logic, 72. "Dfinir l'espace dans le calcul des polynmes selon Valiant", soumis.

POLLET Charlotte Victorine


Universit Paris 7 Recherches pistmologiques et Historiques sur les Sciences Exactes et les Institutions Scientifiques (REHSEIS) E-mail: charlotte_victorine_pollet@yahoo.fr

Domaines de recherche / Areas of research Mathematical logic 136

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2002, avec I. Sequeira, "La rapidit de transformation des structures sociales chinoises : un exemple d'adaptation devant la rupture", Gestion 2000, 3/2002. 2003, avec A. E. Witte & I. Sequeira, "Internationalizing the assessment criteria to build cross cultural competency : american and chinese educational encounters", The journal of teaching in international business, 14 (4), 61-78.

Observations / Remarks: Specialit en histoire des mathmatiques chinoises et indiennes. Thse en cours : l'algbre de l'art de l'inconnue cleste de Li Ye et une comparaison avec l'algbre du XIII sicle en Inde.

PRADEU Thomas (PhD student)


Universit de Paris 1 Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: tpradeu@yahoo.fr or thomas.pradeu@ens.fr

Domaines de recherche / Areas of research Philosophy of biology Philosophy of medicine General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 2006, Carosella E.D., Pradeu T., Saint-Sernin B. & Debru C. (eds.), L'identit ? Soi et non-soi, individu et personne, Paris: PUF. 2006, avec Carosella E.D., On the definition of a criterion of immunogenicity, Proceedings of the National Academy of Science USA (PNAS), 2006 Nov 21, 103 (47), 17858-61. 2006, Carosella Edgardo D., Pradeu Thomas, Transplantation and Identity: A Dangerous Split, The Lancet, Volume 368, Number 9531, 2006 July 15, 183-184. 2006, Pradeu Thomas, Carosella Edgardo D., The Self Model and the Conception of Biological Identity in Immunology, Biology and Philosophy, 21 (2), March 2006, 235-252. 2007, L'immunit et l'interactionnisme biologique, in Thierry Martin (dir.), Le tout et les parties dans les systmes naturels, Paris: Vuibert, coll. "Philosophie des sciences".

137

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

PROUST Jolle
CNRS Institut Jean-Nicod E-mail: jproust@ehess.fr

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics Philosophy of biology Philosophical and applied logics

Bibliographie slective / Selected publications 1995, "Functionalism and multirealizability, On interaction between structure and function", in K. Gavroglu, J. Stachel & M. W. Wartofsky (eds.), Science, Mind and Art, Boston Studies in the Philosophy of Science, 165, Kluwer, 169-185. 2002, "Are empirical arguments acceptable in philosophical analyses of the mind?", in U. Moulines et K.G. Niebergall (dirs.), Argument & Analyse, Paderborn: Mentis, 163-186. 2003, "Perceiving intentions", in J. Roessler & N.Eilan (eds.), Agency and selfawareness: issues in philosophy and psychology, Oxford: Oxford University Press, 296320. 2006, "Rationality and metacognition in non-human animals", in S. Hurley & M. Nudds (Eds.), Rational Animals ?, Oxford: Oxford University Press, 247-274. "What is a mental function ?", in A. Brenner & J. Gayon (eds.), French Philosophy of Science, Boston Studies in the Philosophy of Science, Springer, in print.

RAHMAN Shahid
Universit Lille3 STL UMR 8163 E-mail: shahid.rahman@univ-lille3.fr

Domaines de recherche / Areas of research Philosophical and applied logics Mathematical logic Philosophy of mathematics and logic

Bibliographie slective / Selected publications Chief-Editor with John Symons of the SPRINGER-KLUWER series LOGIC EPISTEMOLOGY AND THE UNITY OF SCIENCE (6 volumes allready appeared). Scientific board: between others Johan van Benthem (Amsterdam/Stanford), Dov Gabbay (King's Collegue), Jaakko Hintikka (Boston), Timothy Williamson (Oxford) -- Chief-Editor with Dov Gabbay (King's college) 138

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

of the new series "Cahiers de Logique et d'Epistmologie" of College Publications produced at the King's College (http://www.collegepublications.co.uk/). 2004, in collaboration with D. Gabbay, J. van Bendegem & J. Symons (eds.), Logic, epistemology and the unity of science, Springer-Kluwer. 2006, "Non Normal Dialogics for a Wonderful World and More", in J. van Benthem et alii (eds.), The Age of Alternative Logics, Springer-Kluwer, 2006, 311-336. 2006, "The Beetle in the Box: Exploring IF-Dialogues", in T. Aho and A.V. Pietarinen (eds.), Truth and Games, Acta Philosophica Fennica, 91-122. 2006, with T. Tulenheimo, "From Dialogues to Games and Back", in Logic and Games, Foundational Perspectives, chapter 13, Springer-Kluwer.

REBUSCHI Manuel
Universit Nancy 2 Laboratoire de Philosophie et Histoire des Sciences Archives Henri Poincar (LPHS-AHP) E-mail: Manuel.Rebuschi@univ-nancy2.fr

Domaines de recherche / Areas of research Philosophical and applied logics

Bibliographie slective / Selected publications 2003, "About Games and Substitution", in J. Peregrin (ed.), Meaning: The Dynamic Turn, Elsevier, 241-257. 2004, avec Tero Tulenheimo, "Des Jeux en Logique", Philosophia Scientiae, 8 (2), 114. 2005, "Quantification et indpendance informationnelle", in P. Joray (ed.), La quantification dans la logique moderne, Paris: L'Harmattan (Coll. Epistmologie et Philosophie des Sciences), 155-178. 2006, "IF & Epistemic Action Logic", in J. van Benthem et al. (eds.), The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today, Berlin: Springer, 261-281. "Implicit vs. Explicit Knowledge in Dialogical Logic", in A. Majer et al. (eds.), Logic, Games and Philosophy: Foundational Perspectives, Springer, paratre.

RETORE Christian
Universit Bordeaux 1 LaBRI UMR 5800 E-mail: retore@labri.fr

139

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Mathematical logic Logic and computation Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 1996, "Calcul de Lambek et Logique Linaire", Traitement Automatique des Langues, 37 (2) 39-70. 2001, with A. Lecomte, "Extending Lambek grammars: a logical account of minimalist grammars", Proceedings of the 39th meeting of the Association for Computational Linguistics, Toulouse, July 2001, 354-361. 2003, "Handsome proof nets: perfect matchings and cographs", Theoretical Computer Science, 294 (3), 473488. 2003, with E. Stabler, "Generative grammars in resource logics", Research on Language and Computation, 2 (1), 325. 2004, "A description of the non-sequential execution of Petri nets in partially commutative linear logic", In J. van Eijck, V. van Oostrom, A. Visser (eds.), Logic Colloquium '99, Association for Symbolic Logic & A.K. Peters, 152-181.

REZNIKOFF Igor
Universit de Paris 10 Dpartement de Philosophie E-mail: dominiqueleconte@yahoo.fr

Domaines de recherche / Areas of research Mathematical logic Formal approaches to methodology General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 1965, "Tout ensemble de formules de la logique classique est quivalent un ensemble indpendant", C.R.Acad.Sc., 260, 2385-2388. 1967, "Independent recursive axiomatization in intuitionistic logic", Algebra i logika, 6 (6), Novosibirsk, 21-27. 1994, "Axiomatisations libres d'ensembles dnombrables de formules", C.R.Acad.Sc., 318 (I), 875-878. 1994, "Axiomatisations libres d'ensembles non dnombrables de formules", C.R.Acad.Sc., 319 (II), 311-314. "Consciousness as a space. A mathematical proof of the irreducebility of visual consciousness to physical data", Journal of Consciousness Studies, paratre 2007.

140

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

RICROCH Agns
Institut National dAgronomie de Paris Sciences de la Vie et Sant E-mail: agnes.ricroch@agroparistech.fr or agnes.ricroch@u-psud.fr

Domaines de recherche / Areas of research Ethical issues in scientific practice and technologies Bioethics Science and education

Bibliographie slective / Selected publications 2006, avec A. Gallais, Plantes transgniques : faits et enjeux, Versailles: Editions QUAE, coll. "Synthses". 2007, avec C. Baudoin, Jusqu'o breveter le vivant ?, Revue Esprit. paratre 2007. Avec F. Jsus, "Consultations of stakeholders on the roles of research in relation to genetically modified plants in France", paratre 2007 in Public Understanding of Science. Avec C. Dekeuwer, "Mdecine prdictive et ses enjeux thiques", paratre 2007 in Droit, Dontologie et Soin.

RIVENC Franois
Universit de Paris 1 Institut dHistoire et Philosophie des Sciences et des Techniques (IHPST) E-mail: francoisrivenc@noos.fr

Domaines de recherche / Areas of research Philosophical and applied logics Philosophy of mathematics and logic

Bibliographie slective / Selected publications 1993, Recherches sur l'universalisme logique: Russell, Carnap, Paris: Editions Payot. 1998, Smantique et Vrit, de Tarski Davidson, Paris: Presses Universitaires de France, Coll. Philosophies. 2003, avec Lepage, F. & Paquette, M., Carnap aujourd'hui, Actes du colloque Carnap de Montral, Paris: Vrin-Bellarmin. 2005, Introduction la Logique pertinente, Paris: Presses Universitaires de France. 2006, Introduction la Logique, (manuel), Paris: Editions Payot.

141

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

ROLLET Laurent
cole Nationale Suprieure en Gnie des Systmes Industriels, Institut national Polytechnique de Lorraine Laboratoire de Philosophie et d'Histoire des Sciences Archives Henri Poincar (LPHS-AHP) E-mail: laurent.rollet@univ-nancy2.fr or laurent.rollet@ensgsi.inpl-nancy.fr

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science Science and education

Bibliographie slective / Selected publications 1997, "Henri Poincar et l'action politique Autour de l'Affaire Dreyfus". Sminaire de l'Institut de Recherche sur les Enjeux et les Fondements des Sciences et des Techniques, Strasbourg. 1999, Poincar, Jules Henri, Science et mthode. Nouvelle dition de l'ouvrage de Poincar, accompagne d'une prface et d'un appareil critique. Edit par Laurent Rollet. N spcial de la revue Philosophia Scientiae, Paris: Kim. 2000, Henri Poincar : Des mathmatiques la philosophie. tude du parcours intellectuel social et politique d'un mathmaticien au tournant du sicle, Lille: ditions du Septentrion. 2002, Poincar, Jules Henri, Henri Poincar : Scientific Opportunism, An Anthology Compiled by Louis Rougier. Edited by Laurent Rollet. Berlin: Birkhuser. 2003, Rollet, Laurent & Nabonnand, Philippe, "An Answer to the Growth of Mathematical Knowledge? The Rpertoire Bibliographique des Sciences Mathmatiques", European Mathematical Society Newsletter, 47 (mars 2003), 9-14.

ROMAND David
Universit Paris 7 Recherches pistmologiques et Historiques sur les Institutions Scientifiques (REHSEIS) E-mail: romand.david@free.fr

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics Philosophy of biology

Bibliographie slective / Selected publications 2005, avec M. Jeannerod, "De la conception du mouvement la thorie des schmas. Evolution des ides sur la planification de laction", in J.-C. Dupont (dir.), Histoires de la mmoire (19e-20e sicles), Paris: Vuibert, 215-40.

142

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

"Johannes Mller (1801-1858) et la thorie des nergies sensorielles spcifiques", in C. Cherici & J.-C. Dupont, Les querelles du cerveau, 18e-19e sicles, Paris: Vuibert, paratre 2007. "Lentre du programme cognitif dans les neurosciences franaises : la contribution dAlfred Fessard", in C. Debru, J.-G. Barbara, C. Cherici & D. Romand, Actes du colloque Histoire des neurosciences France (1945-1975), paratre 2007. "W. Stern and the Theory of the 'Psychical Time of Presence': Contextualisation, Commentary, and Attempt at a Revaluation", soumis au Journal for the History of Behavioral Sciences.

ROUILHAN (de) Philippe


CNRS Intitut d'histoire et de philosophie des sciences et des techniques (IHPST) E-mail: rouilhan@ext.jussieu.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic Philosophical and applied logics Mathematical logic

Bibliographie slective / Selected publications 1988, Frege. Les paradoxes de la reprsentation, Paris: Editions de Minuit. 1996, Russell et le cercle des paradoxes, Paris: Presses Universitaires de France (Prix Cavaills). 2004, "The Basic Problem of the Logic of Meaning (I)", Revue Internationale de Philosophie, vol. 58 / n 229, 329-372 2005, "Russells Logics", in R. Cori, A. Razborov, S. Todorcevic, and C. Wood (eds.), Logic Colloquium 2000. Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000, Lectures Notes in Logic (a publication of The Association for Symbolic Logic), 19 335-349. 2006, avec S. Bozon, "The Truth of IF: Has Hintikka Really Exorcized Tarski's Curse?", in R. E. Auxier and L. E. Hahn (eds.), The Philosophy of Jaakko Hintikka, The Library of Living Philosophers, vol. XXX, 683-705.

ROUX Sophie
Universit Pierre Mends France Grenoble 2 Philosophie, Langages et Cognition (EA 3966) E-mail: Sophie.Roux@upmf-grenoble.fr

143

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Domaines de recherche / Areas of research Philosophy of physics Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2004, "Cartesian Mechanics", in C.-R. Palmerino & H. Thijssen (ds.), The Reception of the Galilean Science of Motion in Europe. Academy Colloquium (Amsterdam, 5-7 July 2000), coll. "Boston Studies in the Philosophy of Science", Dordrecht/Boston/London: Kluwer Academic Publishers, 25-66. 2006, avec E. Festa, "La moindre petite force suffit mouvoir un corps sur lhorizontale. Lmergence dun principe mcanique et son devenir cosmologique", Galilaeana, 3, 123-147. 2006, "Dcouvrir le principe d'inertie", Recherches sur la philosophie et le langage, 24, 453-515. 2007, W. R. Laird & S. Roux (ds.), Mechanics and Natural Philosophy before the Scientific Revolution, coll. "Boston Studies in the Philosophy of Science", Dordrecht/Boston/London: Kluwer Academic Publishers. 2007, M. Bucciantini, M. Camerota & S. Roux (ds.), Mechanics and Cosmology in the Medieval the Early Modern Period, coll. "Nuncius", Firenze: Olschki.

RUPHY Stphanie
Universit de Provence 1 CEPERC (UMR 6059) E-mail: stephanie.ruphy@wanadoo.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 2003, "Is the world really 'dappled'? A response to Cartwright's charge against "cross-wise" reduction", Philosophy of Science, 70, 57-67. 2005, "Why metaphysical abstinence should prevail in the debate on reductionism", International Studies in the Philosophy of Science, 19, 105-121. 2006, "Empiricism all the way down: a defense of the value-neutrality of science in response to Helen Longino's contextual empiricism", Perspectives on Science, 14, 189214. 2006, "Ontology relativized: Reply to Moulines", Synthese, 151, 325-330. 2006, "Critical reflections on recent philosophical views about public participation in science, Proceedings of the conference Participatory Approaches in Science & Technology, Edinburgh: A Macaulay Institute Publication, 73-75. 144

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

SAINT OURS Alexis (de)


Universit Paris 8 Laboratoire Pense des Sciences E-mail: asaintours@free.fr

Domaines de recherche / Areas of research Philosophy of physics General problems of methodology and scientific reasoning Philosophy of mathematics and logic

Bibliographie slective / Selected publications 2003, "Bergson et la thorie de la relativit restreinte", Thorie, Littrature, Enseignement, 21, Presses Universitaires de Vincennes. 2004, "Les sourires de l'tre. Sur les diagrammes en mathmatiques et en physique", Thorie, Littrature, Enseignement, 22, Presses Universitaires de Vincennes.

Observations / Remarks: My research is about time and relation in quantum gravity. I am also working on the interactions between Mathematics, Physics and Philosophy, in particular through the status of diagrams. Within this scope, I have been studying the work of Gilles Chtelet, challenging the traditional relationship between mathematics and logic.

SAN GINS RUIZ Arnxaxu (PhD student)


Universit Paris 1 Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: x4688758@correo.ugr.es or sanruginesiz_arantxa@hotmail.com

Domaines de recherche / Areas of research Formal languages and computation Philosophical and applied logics Mathematical logic

Bibliographie slective / Selected publications 2006, "On a generalization of quantifiers: the Mostowski's article revisited", Book of abstracts, Short communication in the "International Congress of Mathematicians", Madrid 2006. 2006, "De la lgica de primer orden a la teora de los cuantificadores generalizados: una nueva concepcin de la cuantificacin", Libro de actas, Comunicacin, "V congreso de la sociedad lgica, metodologa y filosofa de la ciencia en Espaa", Granada 2006.

145

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Observations / Remarks: Je travaille actuellementsur le problme de lanaphore dans le langage naturel.

SCHANG Fabien
Nancy-Universit LPHS Archives Henri Poincar (UMR 7117) E-mail: schang.fabien@voila.fr

Domaines de recherche / Areas of research Philosophical and applied logics Philosophy of mathematics and logic Formal approaches to methodology

Bibliographie slective / Selected publications 2005, "Le principe psychologique de non-contradiction d'Aristote", Publications lectroniques de Philosophia Scienti, 2, Actes du colloque de la SOPHA Montral 2003, http://philosophiascientiae.free.fr/ 2005, "Entre naturalisme et esthtisme: Quine l'extensionaliste", in G. Heinzmann & M. Rebuschi (eds.), Aperus philosophiques en logique et en mathmatiques, Philosophia Scienti, 9 (2), 279-293. "Comment hintikkiser un Frege", Nosis, paratre

SCHMID Anne-Franoise
INSA de Lyon Laboratoire de Philosophie et Histoire des Sciences-Archives Henri Poincar (LPHS-AHP) E-mail: afschmid@free.fr or anne-francoise.schmid@insa-lyon.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Philosophical and applied logics Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 1998, Lge de lpistmologie. Science, Ingnierie, thique, Paris: Kim. 2001, Henri Poincar, les sciences et la philosophie, Paris: LHarmattan (rdition augmente de Une Philosophie de savant. Henri Poincar et la logique mathmatique, Paris:

146

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Maspero, 1978), suivi en annexes de la traduction des textes de Bertrand Russell sur Poincar. 2001, Bertrand Russell, Correspondance sur la philosophie, la logique et la politique avec Louis Couturat (1897-1913), dition et notes par Anne-Franoise Schmid, Paris: Kim, 2 volumes. 2001, Que peut la Philosophie des sciences ?, Paris: Ptra. 2004, avec J.-M. Legay, Philosophie de linterdisciplinarit. Correspondance (1999-2004) sur la recherche scientifique, la modlisation et les objets complexes, Paris: Ptra.

Observations / Remarks: Directrice d'une quipe de recherches associe aux Archives Poincar, Academos, "Nouvelles interactions entre philosophies et sciences". Responsable de l'quipe 6 "Epistmologie et thique" du projet DOGMATIS de l'ANR. Co-responsable d'un BQR interdisicplinaire (biologie/philosophie) "Nouvelles mthodes en thique technologique", INSA de Lyon.

SCHMIDT Colin
Universit du Maine LIUM E-mail: Colin.Schmidt@univ-lemans.fr

Domaines de recherche / Areas of research Philosophy of cognitive science, psychology and linguistics Ethical issues in scientific practice and technologies Philosophical and applied logics

Bibliographie slective / Selected publications 2001, L'esprit et la machine, une communaut conceptrice l'uvre, Lille: Presses Universitaires de Septentrion. 2006, avec F. Kraemer, "Robots, Dennett and the Autonomous. A Terminological Investigation", Minds and Machines. Journal for Artificial Intelligence, Philosophy and Cognitive Science, 20 (1), 73-80. Essays about Computers and Philosophy: From Man through Artefacts to Man, edited by C.T.A. Schmidt, Cambridge: AAAI/The MIT Press, forthcoming 2007. "Des automates intelligents ? Une valuation des logiciels 'prestataires de service'", paratre in Communication et langage. "Children, Robots and Parents", paratre in Minds and Machines. Journal for Artificial Intelligence, Philosophy and Cognitive Science.

147

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

SEGAL Jrme
Institut Universitaires de Formation des Matres de Paris Centre Cavaills (Ecole Normale Suprieure). Actuellement dtach comme attach de coopration scientifique et universitaire lAmbassade de France Vienne E-mail: jerome.segal [at] gmail.com or segal [at] ens.fr

Domaines de recherche / Areas of research Philosophy of economics, theories of rationality, decision theory, game theory Philosophy of biology Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 2003, Le Zro et le Un Histoire de la notion scientifique d'information, Paris: Editions Syllepse. 2004, "Du comportement des avions ennemis aux modlisations de la connaissance : la notion scientifique et technique d'information", Intellectica, 39 (2), 55-77. 2004, "Kybernetik in der DDR dialektische Beziehungen", in Claus Pais (ed.), Cybernetics Kybernetic The Macy Conferences 1946-1953, Essays & Dokumente, Zrich-Berlin: Diaphanes, 227-251. 2004, "Visualizing Prions Graphic Representations and the Biography of Prions", in E. Seguin (ed.), Infectious Processes Knowledge, Discourse and the Politics of Prions, Palgrave: MacMillan, 99-134. 2004, "Usages et msusages de la thorie de l'information", in J. Dubessy, G. Leointre et M. Silberstein (eds.), Les matrialismes et leurs dtracteurs, Syllepse, Paris, 593-605.

Observations / Remarks: Some of these texts are available at: http://jerome-segal.de/Publis/Papers.html

SIMON Grard
CNRS U.M.R. 8163 (STL) E-mail: simger@wanadoo.fr or thill@univ.lille3.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science Philosophy of physics

148

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 1979, Kepler astronome astrologue, Paris: Gallimard. 1988, Le Regard, l'tre et l'apparence dans l'optique de l'antiquit, Paris: Seuil. 1996, Sciences et savoirs aux XVI et XVII sicles, Lille: Septentrion. 2000, Archologie de la vision, Paris: Seuil. Sciences et Histoire, Paris: Gallimard, paratre (2008).

Observations / Remarks: Domaine d'ensemble : connexions science-philosophie-histoire

SINGER DANIEL
Universit Paul Verlaine-Metz LITA E-mail: daniel.singer@univ-metz.fr

Domaines de recherche / Areas of research Mathematical logic Logic and computation Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 1984, Contributions l'expression logique des mcanismes d'apprentissage, Thse de 3me cycle, Universit Paris 6. 02.1984. 2003, "Pour une Thorie des Ensembles Flous base sur des Semigroupes Totalement Ordonns", in Proceedings of JIM2003, JIM2003 , Metz France, Septembre 2003.

Observations / Remarks: J'enseigne la Logique et l'Intelligence Artificielle depuis une vingtaine d'annes.

SMADJA Ivahn Abraham


Universit de Caen Recherches pistmologiques et Historiques sur les Sciences Exactes et les Institutions Scientifiques (REHSEIS) E-mail: ivahn.smadja@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic 149

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Philosophy of physics General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 2005, "quations aux drives partielles et philosophie naturelle. Remarques sur l'hritage herbartien de Bernhard Riemann", in P. Valore (ed.), Ars experientiam recte intelligendi. Saggi filosofici, Milano: Polimetrica. 2007, "Thorie de limaginaire et gomtrie abstraite selon Arthur Cayley. Rflexions philosophiques dun mathmaticien lpoque victorienne", in J.-C. Dupont (ed.), Pour comprendre le XIXme sicle. Histoire et philosophie des sciences la fin du sicle, Bibliothque dHistoire des Sciences, vol. 9. Firenze: Leo Olschki. 2007, "Gomtrie infinitsimale et philosophie du continu chez Hermann Weyl", Histoires de Gomtries (2006), Fondation Maison des Sciences de lHomme, Paris, http://semioweb.mshparis.fr/AAR/FR/video.asp?id=848&ress=2808&video=30987&format=22 2007, Quest-ce quune dmonstration ?, Paris: Vrin, coll. "Chemins Philosophiques". 2007, (Traduction, introduction et notes) Max Jammer, Concepts despace. Histoire des thories de lespace en physique (traduction partir de la troisime dition largie, New York: Dover, 1993, Prface dAlbert Einstein), Paris: Vrin, coll. "Mathesis".

SOLER Lna
Institut Universitaire de Formation des Matres de Lorraine Laboratoire de Philosophie et dHistoire des Sciences-Archives Henri Poincar (LPHS-AHP) E-mail: Lena.Soler@univ-nancy2.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science Philosophy of physics

Bibliographie slective / Selected publications 1996, Les fondements philosophiques de la mcanique quantique, Paris: Vrin, Collection "Mathesis". 1999, "Les quanta de lumire dEinstein en 1905, comme point focal dun rseau argumentatif complexe", Philosophia scientiae, 3 (3), 107-144. 2001, "Les origines de la formule de Planck e=hn, ou comment lanalogie est source de nouveaut en physique", Philosophia scientiae, 5 (2), 89-123. 2004, "The Incommensurability Problem: Evolution, Current Approaches and Recent Issues", Introduction au volume Le problme de lincommensurabilit, un demi sicle aprs, volume thmatique de Philosophia Scientiae dirig par Lna Soler, 8 (1), 138.

150

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

2006, "Une nouvelle forme dincommensurabilit en philosophie des sciences ?", Revue philosophique de Louvain, 104 (3), 554-580.

SPRANZI Marta
Universit de Versailles St-Quentin-en-Yvelines Centre Cavaills (Ecole Normale Suprieure) & Institut dHistoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: marta.spranzi@club.fr or marta.spranzi@uvsq.fr

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning Historical and sociological aspects in the philosophy of science Bioethics

Bibliographie slective / Selected publications 2000, "Interprtariat, droits du malade et thique de la communication", in C. Byk (ed.), La biothique : un langage pour mieux se comprendre, Paris: ditions ESKA/Lacassagne, 141-168. 2001, "Rhtorique, dialectique et probabilit au XVIe sicle", Revue de Synthse, 4e srie, 122 (2-3-4), 297-317. 2004, "Galileo and the mountains of the moon : analogical reasoning, models and metaphors in scientific discovery", Journal of cognition and culture, numro spcial: Studies in cognitive anthropology of science, 4, 451-484. 2004, Le "Dialogue sur les deux grands systmes du monde" de Galile: dialectique, rhtorique et dmonstration, Paris: PUF. 2004, avec Ph. Hamou, Galile, Lettre Christine de Lorraine et autres crits coperniciens, traduction, commentaire et introduction, Paris: Le Livre de Poche.

STRATULAT Sorin
Universit Paul Verlaine de Metz Laboratoire d'Informatique Thorique et Applique (LITA) E-mail: stratulat@univ-metz.fr

Domaines de recherche / Areas of research Formal languages and computation Mathematical logic Logic and computation

151

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2001, "A general framework to build contextual cover set induction provers", Journal of Symbolic Computation, 32 (4), 403-445. 2002, A. Armando, M. Rusinowitch and S. Stratulat, "Incorporating Decision Procedures in Implicit Induction", Journal of Symbolic Computation, 34 (4), 241-258. 2003, M. Rusinowitch, S. Stratulat and F. Klay, "Mechanical verification of an ideal incremental ABR conformance algorithm", Journal of Automated Reasoning, 30 (2), 153--177. 2003, G. Barthe and S. Stratulat, "Validation of the JavaCard Platform with Implicit Induction Techniques", in Proceedings of 14th International Conference on Rewriting Techniques and Applications (RTA'2003), LNCS 2706, Springer Verlag, 337351. 2005, "Automatic 'Descente Infinie' Induction Reasoning", in Proceedings of TABLEAUX'2005, LNAI 3702, Springer Verlag, 262-276.

THEYSSIER Guillaume
CNRS Laboratoire de Mathmatiques, quipe de Logique (LAMA) E-mail: guillaume.theyssier@univ-savoie.fr

Domaines de recherche / Areas of research Logic and complexity Formal languages and computation Logic and computation

Bibliographie slective / Selected publications 2004, "Captive Cellular Automata", Mathematical Foundations of Computer Science (Prague, Czech Republic, aot 2004), volume 3153 de Lecture Notes in Computer Science, 427-438. 2004, avec C. Durr & I. Rapaport, "Communication Complexity and Cellular Automata", Theoretical Computer Science, 322 (2), 355-368. 2005, "How Common Can Be Universality in Cellular Automata ?", Symposium on Theoretical Aspects of Computer Science (Stuttgart, Germany, fvrier 2005), volume 3404 de Lecture Notes in Computer Science, 121-132. 2006, avec L. Boyer & V. Poupet, "On the Complexity of Limit Sets of Cellular Automata Associated with Probability Measures", Mathematical Foundations of Computer Science 2006, volume 4162 de Lecture Notes in Computer Science, 190-201.

Observations / Remarks: Dans le choix des domaines de recherche proposs, j'ai interprt le mot anglais "computation" comme "calcul" mais aussi comme "calculabilit".

152

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

THOMAS Marion
Universit Strasbourg 2 Recherches pistmologiques et Historiques sur les Sciences Exactes et les Institutions Scientifiques (REHSEIS) E-mail: mcmthomas@wanadoo.fr

Domaines de recherche / Areas of research Philosophy of biology Philosophy of cognitive science, psychology and linguistics Ethical issues in scientific practice and technologies

Bibliographie slective / Selected publications 2004, "De nouveaux territoires dintroduction du mendlisme en France : Louis Blaringhem (1878-1958), un gnticien nolamarckien sur le terrain agricole", Revue dhistoire des sciences, 57 (1), 65-100. 2005, "Are Animals Just Noisy Machines?: Louis Boutan and the Co-invention of Animal and Child Psychology in the French Third Republic", Journal of the History of Biology, 2005, 38 (3), 425-460. 2006, "Yerkes, Hamilton, and the Experimental Study of the Ape Mind : From Evolutionary Psychiatry to Eugenic Politics", Studies in History and Philosophy of Biological and Biomedical Sciences, 37 (2), 273-294. "Lintelligence animale : objet des marges ou de lgitimation de la psychologie ?", in M. Kail (dir.), Marges et marginalisations dans lhistoire de la psychologie, Paris: LHarmattan (sous presse). "Le 'droit la mtaphore' des penseurs franais", in S. Roux (dir.), Retours sur laffaire Sokal, Paris: LHarmattan (sous presse).

TIRARD Stphane
Universit de Nantes Centre Franois Vite d'pistmologie et d'histoire des sciences et des techniques E-mail: stephane.tirard@univ-nantes.fr

Domaines de recherche / Areas of research Philosophy of biology Science and education

Bibliographie slective / Selected publications 2003, "La cryptobiose et la reviviscence chez les animaux, le vivant et la structure", in Mort biologique, mort cosmique, tudes sur la mort Thanatologie, Collection "lEsprit du Temps", 124, 81-89.

153

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

2003, "Gaston Bonnier (1853-1922) : un botaniste lamarckien", Bulletin dhistoire et dpistmologie des sciences de la vie, 10 (2), 157-186. 2006, avec Corsi, P., Gayon, J. & Gohau, G. (eds.), Lamarck : Philosophe de la nature, Paris: Presses Universitaires de France. 2007, avec Gohau, G., Les sciences des causes passes, actes des journes sur lhistoire et lpistmologie des sciences historiques, Cahiers Franois Vite, 9. "Les confrences pdagogiques de sciences naturelles de 1904 et 1905, enjeux conceptuels et diffusion des concepts biologiques fondamentaux", Actes de la journes dtude : Sciences et enseignement : accompagner une rforme Les confrences pdagogiques de 1904 et 1905, organises par Hlne Gispert, Nicole Hulin, MarieClaire Robic, ENS, rue dUlm, Paris, 13 et 14 septembre 2005, Paris: Vuibert Flash INRP, paratre.

TRONON Samuel
Universit de Provence CEPERC (UMR 6059) E-mail: troncon@iml.univ-mrs.fr

Domaines de recherche / Areas of research Mathematical logic Philosophy of cognitive science, psychology and linguistics Philosophy of social sciences

Bibliographie slective / Selected publications 2004, Interaction et signification, Actes du Colloque LMP, Paris: Presses Universitaires de la Sorbonne. 2006, "lments de smiotique cognitive", paratre dans les Actes de l'cole LIGC, Paris: Hermann. 2006, (avec J-B Joinet) Logique et interaction : vers une gomtrie du cognitif, Paris: Hermann.

UZAN Pierre
Universit Paris 1 E-mail: uzan@univ-paris1.fr

Domaines de recherche / Areas of research Philosophy of physics Logic and complexity

154

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2000, "Analyse du paradoxe de l'irrversibilit et proposition d'une conception inter-subjective du temps. La thorie du temps quantique", Philosophia Scientiae, 4 (2), 173-187. 2004, "A Cognitive Interpretation of the Notion of Uncertainty in Time within the Framework of Modern Physics", in Harris & Crawford (eds.), Study of Time, vol. XI: Time and Uncertainty, Leiden/Boston: Brill, 204-228. 2007, "The Arrow of Time and Meaning", Foundations of Science, 12 (2), 109-137. "Physique, Information Statistique et Complexit Algorithmique", Philosophia Scientiae, paratre 2007.

VAN ATTEN Mark


CNRS Institut dHistoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: Mark.vanAtten@univ-paris1.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic

Bibliographie slective / Selected publications 2002, "Why Husserl should have been a strong revisionist in mathematics", Husserl Studies, 18 (1), 1-18. 2002, with D. van Dalen, "Arguments for the continuity principle", Bulletin of Symbolic Logic, 8 (3), 329-347. 2003, with Juliette Kennedy, "On the Philosophical Development of Kurt Gdel", Bulletin of Symbolic Logic, 9 (4), 425-476. 2004, On Brouwer, Wadsworth Philosophers Series, Belmont: Wadsworth. 2006, Brouwer Meets Husserl. On the Phenomenology of Choice Sequences, Synthese Library no. 335, Berlin: Springer.

VARENNE Franck
Universit de Rouen GEMAS UMR 8598 (CNRS, Paris Sorbonne) Groupe d'tude des Mthodes de l'Analyse Sociologique E-mail: franck.varenne@univ-rouen.fr or fvarenne@wanadoo.fr

Domaines de recherche / Areas of research Formal languages and computation General problems of methodology and scientific reasoning 155

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Historical and sociological aspects in the philosophy of science

Bibliographie slective / Selected publications 2001, "What does a computer simulation prove? The case of plant modeling at CIRAD (France)", in N. Giambasi et C. Frydman (eds.), Simulation in industry ESS 2001, Proc. of the 13th European Simulation Symposium, Marseille, October 1820th, 2001, Ghent: SCS Europe Bvba, 549-554. 2003, "La simulation informatique face la mthode des modles", Natures Sciences Socits, 11 (1), 16-28. 2003, "La simulation conue comme exprience concrte", Actes des 10mes journes de rencontres interdisciplinaires sur les systmes complexes naturels et artificiels (Rochebrune, 2003), Paris: ditions de lEcole Nationale Suprieure des Tlcommunications de Paris (ENST), 299-313. 2006, avec Denis Phan, "pistmologie dans une coquille de noix : concevoir et exprimenter", in Amblard F., Phan D. (eds.), Modlisation et simulation multi-agents : applications aux Sciences de l'Homme et de la Socit, London: Hermes-Sciences, 104-119. 2006, Les notions de mtaphore et d'analogie dans les pistmologies des modles et des simulations, Paris: Ptra.

Observations / Remarks: Comme les catgories distinctives ci-dessus valent pour une reprsentation et un tat particuliers des sciences, je suggre de prciser que je travaille dans le domaine de l'pistmologie de la simulation dans les sciences non purement formelles, en lien avec l'essor gnral et transversal de la pluriformalisation dans ces sciences (depuis 15 ans, notamment via les technologies logicielles objets et agents).

VERNANT Denis
Universit Pierre Mends France Grenoble 2 Philosophie, langages et cognition (EA 3966) E-mail: denis.vernant@upmf-grenoble.fr

Domaines de recherche / Areas of research Mathematical logic Philosophical and applied logics General problems of methodology and scientific reasoning

Bibliographie slective / Selected publications 1986, Introduction la philosophie de la logique, coll. "Philosophie et langage", Bruxelles: Mardaga. 1993, La Philosophie mathmatique de B. Russell, Paris: Vrin. 2001, Introduction la logique standard, Paris: Flammarion. 2003, Bertrand Russell, Paris: Garnier-Flammarion.

156

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

2005, "The Limits of a Logical Treatment of Assertion", in D. Vanderveken (ed.), Logic, Thought and Action, Netherlands: Springer, ch. 13, 267-288.

VEZEANU Ion
Universit Pierre Mends France Grenoble 2 Philosophie, Langages et Cognition (EA 3966) E-mail: Ion.Vezeanu@upmf-grenoble.fr

Domaines de recherche / Areas of research Philosophical and applied logics General problems of methodology and scientific reasoning Philosophy of cognitive science, psychology and linguistics

Bibliographie slective / Selected publications 2005, "LAbsurdit de lidentit selon Wittgenstein", Revue de Thologie et de Philosophie, Genve, 137, 19-34. 2005, "Communication, dialogue et intelligence", Studia, Universitatis Babes-Bolyai, Cluj, coll. "Ephemerides", 2, 3-24. 2006, "Lintelligence artificielle. Le problme de la crativit dans le langage", in J.Y. Goffi (dir.), Regards sur les technosciences, Paris: Vrin, 165-183. 2006, "La thorie logique de lidentit absolue", Logique & Analyse, Bruxelles, 194, 169-190. 2006, L'Identit personnelle travers le temps. De quelques difficults en philosophie de l'esprit, Paris: L'Harmattan.

Observations / Remarks: Plus de 50 publications (dans six pays). Formation, recherche et enseignement interdisciplinaires (sciences exactes, philosophie).

VIDAL-ROSSET Joseph
Universit Nancy 2 Laboratoire de Philosophie et dHistoire des Sciences Archives Poincar (LPHS-AHP) E-mail: joseph.vidal-rosset@univ-nancy2.fr or jvrosset@free.fr

Domaines de recherche / Areas of research Philosophy of mathematics and logic Philosophical and applied logics General problems of methodology and scientific reasoning 157

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

Bibliographie slective / Selected publications 2005, "Conceptualisme", dans Notionnaires, Dictionnaire des Ides, Encyclopaedia Universalis, 180-181. 2005, "Intuitionnisme", dans Notionnaires, Dictionnaire des Ides, Encyclopaedia Universalis, 422-424. 2005, "La distinction kantienne entre jugement analytique et jugement synthtique a-t-elle un sens?", Actes du Colloque "Kant et la France Kant und Frankreich", J. Ferrari et alii (eds.), Hildesheim, Zrich, New-York: Georg Olms-Verlag, 133-147. 2006, "Does Gdel's theorem prove that truth transcends proof?" in Benthem, J.v., Heinzmann, G., Rebuschi, M., Visser, H. (Eds.), The Age of Alternative Logics, Assessing Philosophy of Logic and Mathematics Today, Series: Logic, Epistemology, and the Unity of Science , Vol. 3., Dordrecht/Boston/London: Springer, 51-73. 2006, "Pour introduire une lecture de Quine", in J.-M. Monnoyer (d.), Lire Quine Logique et ontologie, Paris: Editions de l'clat, 29-64.

VORMS Marin (PhD student)


Universit Paris 1 Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: marion.vorms@normalesup.org

Domaines de recherche / Areas of research General problems of methodology and scientific reasoning

WAGNER Frank
Universit Claude Bernard Lyon 1 Institut Camille Jordan UMR 5208 E-mail: wagner@math.univ-lyon1.fr

Domaines de recherche / Areas of research Mathematical logic

Bibliographie slective / Selected publications 1997, Stable groups, Lecture Notes of the London Mathematical Society, 240, Cambridge: Cambridge University Press. 2000, Simple Theories, Mathematics and Its Applications, 503, Dordrecht: Kluwer Academic Publishers. 2001, avec S. Buechler & A. Pillay, "Supersimple theories", Journal of the American Mathematical Society, 14, 109-124.

158

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

2001, "Fields of finite Morley Rank", Journal of Symbolic Logic, 66 (2), 703-706. 2005, avec I. Ben-Yaacov & I. Tomasic, "Constructing an almost hyperdefinable group", Journal of Mathematical Logic, 4 (2), 181-212.

WAGNER Pierre
Universit Paris 1 Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: pwag@wanadoo.fr or wagner@univ-paris1.fr

Domaines de recherche / Areas of research Historical and sociological aspects in the philosophy of science General problems of methodology and scientific reasoning Philosophy of mathematics and logic

Bibliographie slective / Selected publications 1998, La Machine en logique, Paris: PUF. 2002, Les Philosophes et la science, Paris: Gallimard. 2004, avec Laugier, S., Philosophie des sciences, vol.1, Thories, expriences et mthodes, vol.2, Naturalismes et ralismes, Paris: Vrin. 2006, avec Bonnet, Ch., L'ge d'or de l'empirisme logique, Vienne-Berlin-Prague, 19291936, Textes de philosophie des sciences, Paris: Gallimard. 2007, La logique, Paris: PUF, Coll. "Que sais-je?".

WEHRUNG Friedrich
CNRS LMNO, CNRS UMR 6139 E-mail: wehrung@math.unicaen.fr or fwehrung@yahoo.fr

Domaines de recherche / Areas of research Mathematical logic

Bibliographie slective / Selected publications 1993, Boolean universes above Boolean models, Journal of Symbolic Logic 58, no. 4, 1219-1250. 2006, "Von Neumann coordinatization is not first-order", Journal of Mathematical Logic, 6 (1), 1-24.

159

Research in Logic, Methodology and Philosophy of science in France


_____________________________________________________________________________________________________________________________________________

WIEBER Frdric
Insitut Universitaire de Formation des Matres de Lorraine de Lorraine Laboratoire de Philosophie et Histoire des Sciences Archives Henri Poincar (LPHS-AHP) E-mail: frederic.wieber@wanadoo.fr or frederic.wieber@lorraine.iufm.fr

Domaines de recherche / Areas of research Philosophy of biology

Bibliographie slective / Selected publications 2006, "Interplay between molecular biology and computational chemistry : models and simulations in the construction of a computational protein chemistry (19601980)", preprint 310, Max Planck Institute for the History of Science.

ZWIRN Herv
CNRS Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) E-mail: herve.zwirn@m4x.org

Domaines de recherche / Areas of research Formal approaches to methodology Philosophy of physics Logic and complexity

Bibliographie slective / Selected publications 2005, avec B. Walliser & D. Zwirn, "Abuctive Logic in a Belief Revision Framework", Journal of Logic, language and Information, 14 (1), 87-117. 2006, Les systmes complexes, Paris: Odile Jacob. 2006, avec A. Lambert-Mogiliansky & S. Zamir, "Type Indeterminacy: A Model of the KT (KahnemanTversky)-Man", http://arxiv.org/abs/physics/0604166 "Foundations of Physics: the Empirical Blindness", to appear in French Philosophy of Science: Contemporary Issues, Springer (2007). "Can we consider Quantum Mechanics to be a Description of Reality?", to appear in L. Soler, P. Hoyningen, H. Sankey (eds), Rethinking Scientific Change and Theory Comparison. Stabilities, Ruptures, Incommensurabilities, Springer (2007).

160

LISTE DES THSES (1998-2007) LIST OF PhD DISSERTATIONS (1998-2007)

Introduction

Les informations sur les thses de doctorat en logique, mthodologie et philosophie des sciecnes depuis 1998 ont t recueillies plusieurs sources: rponses individuelles, fichier national des thses (localis lUniversit de Nanterre), informations fournies par les units de recherche. Cette liste naurait pu tre ralise sans le concours de M. Franois Huger, responsable du fichier central des thses. Nous sommes conscients que cette liste demeure lacunaire. Une liste plus exhaustive sera consultable bientt dans la version lectronique du guide. Information on doctoral dissertations in logic and the philosophy of science since 1998 was gathered from various sources. These sources include submissions from individuals and from national institutions as well as information found on the internet. This list would not have been possible without the help of Franois Huger, administrator of the Fichier central des thses (national database of PhD in France). As soon as posible a more complete list will be made available on the guides website.

163

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Achilli Michal
L'usage d'nergie dans le mode de vie industriel et les changements globaux de l'environnement In preparation; supervisor: Claude Debru University: Universit Paris 7

Allix Louis
Perception et ralit. Essai sur la nature du visible 1999; supervisor: Jacques Bouveresse University: Universit Paris 1

Allouche Sylvie
Les interventions biotechnologiques sur le corps humain dans la "spculative Fiction" In preparation; supervisor: Jean Mosconi University: Universit Paris 1

Alsaleh Christophe
J.L Austin et le problme du ralisme 2003; supervisor: Sandra Laugier University: Universit d'Amiens

Altaghous Mohammad
Les grandes figures de la logique en France dans la premire moiti du XX sicle In preparation; supervisor: Franois Rivenc University: Universit Paris 1

164

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Altavilla Annagrazia
Recherche sur les cellules souches : enjeux thiques et juridiques pour lEurope In preparation; supervisor: Marc Gamerre, Philippe Pedrot University: Universit de la Mditerrane

Amann Jean-Paul
Problmes thiques de l'exprimentation mdicale auprs des enfants 2007; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Ambroise Bruno
Les pouvoirs de la parole: valeur symbolique et construction du sens 2005; supervisor: Sandra Laugier University: Universit d'Amiens

Ameli Hormoz
Stabilits des prdicats et thorme d'approximation 1998; supervisor: Labib Haddad University: Universit Clermont-Ferrand 2

Ansart David
Utilisation et extensions de l'algorithmique pour SAT pour la rsolution de diffrents problmes d'intelligence artificielle 2005; supervisor: Eric Grgoire University: Universit d'Artois

165

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Arapinis Alexandra
Revues critiques des thories de la rfrence directe: Quelle smantique pour le langage ordinaire? In preparation; supervisor: Franois Rivenc University: Universit Paris 1

Asselah Kenza
Arithmtique et algbre dans la seconde moiti du XVIIe sicle franais 2005; supervisor: Roshdi Rashed University: Universit Paris 7

Astier Vincent
Thorie des modles des groupes spciaux de longueur de chane finie 1999; supervisor: Max Dickmann University: Universit Paris 7

Aucouturier Etienne
Biologie, mdecine et armement au XX sicle: une perspective historico-critique In preparation; supervisor: Jean Gayon University: Universit Paris 7

Audureau Eric
Kurt Gdel, critique de la thorie de la relativit gnrale 2004; supervisor: Alain Michel University: Universit de Provence

166

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Aumonier Nicolas
Qu'est-ce qu'une cause dans un micro-organisme? Abrg de microbiologie et histoire de l'operon lactose chez Escherichia coli 1999; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Bac-Bruasse alexandra
Logique linaire indexe du second ordre 2001; supervisor: Jean-Yves Girard University: Universit Aix-Marseille 2

Bachtold Manuel
Possible, actuel et vnement en mcanique quantique, une approche pragmatiste 2005; supervisor: Michel Bitbol University: Universit Paris 1

Baillot Patrick
Approches dynamiques en smantique de la logique linaire : jeux et gomtrie de l'interaction 1999; supervisor: Jean-Yves Girard University: Universit Aix-Marseille 2

Bapteste Eric
A quoi ressemble la classification naturelle du vivant ? 2007; supervisor: Jean Gayon University: Universit Paris 1

167

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Barton Adrien
Ralisme modal en physique In preparation; supervisor: Michel Bitbol University: Universit Paris 1

Baudouin Catherine
Analyse compare de l'valuation thique des biotechnologies agricoles: fonctionnement des comits, prsupposs philosophiques et modalits d'laboration des avis In preparation; supervisor: Catherine Larrre University: Universit Paris 1

Bayle Benot
La nouvelle scne conceptionnelle : contribution lthique de la procration humaine 2004; supervisor: Dominique Folscheid University: Universit de Marne-la-Valle

Benoist Frank
Thorie des modles des corps munis d'une drivation de Hasse 2005; supervisor: Franoise Delon University: Universit Paris 7

Ben Yaacov Ita


Thories "simples": construction de groupes et interprtabilit gnralise 2002; supervisor: Daniel Lascar University: Universit Paris 7

168

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Berclemence Jean
Karl Popper et la question d'une philosophie de la rfutation 2005; supervisor: Jean-Jacques Szczeciniarz University: Universit Paris 7

Berkovitz Balatz
Sciences humaines, vrit et "biopolitique" chez Foucault In preparation; supervisor: Pierre-Henri Castel University: Universit Paris 1

Bertini Yves
La notion d'indfini en lambda calcul 2005; supervisor: Ren David University: Universit de Savoie

Bessant Brigitte
Contributions aux techniques de rvision de croyances en intelligence artificielle : aspects smantiques 1999; supervisor: Eric Grgoire University: Universit d'Artois

Bienvenu Alexis
Le statut des noncs de la physique dans l'empirisme berlinois de Helmoltz Reichenbach (1880-1930) In preparation; supervisor: Michel Bitbol University: Universit Paris 1

169

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Blanqui Frdric
Thorie des types et rcriture 2001; supervisor: Jean-Pierre Jouannaud University: Universit Paris 10

Blossier Thomas
Ensembles minimaux localement modulaires 2001; supervisor: Elisabeth Bouscaren University: Universit Paris 7

Bolanos Bernardo
Attentes normatives et personnalit. Elments de thorie de la dcision juridique 2006; supervisor: Jean Mosconi University: Universit Paris 1

Bolmont Etienne
Le rle pistmique des analogies, lexemple de llectricit, du magntisme et de llectromagntisme au 19me sicle 1999; supervisor: Gerhard Heinzmann University: Universit Nancy 2

Boniface Jacqueline
Hilbert et la notion d'existence en mathmatiques 1999; supervisor: Hourya Sinaceur University: Universit Paris 1

170

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Bonnay Denis
Qu'est-ce qu'une constante logique? 2006; supervisor: Jacques Dubucs University: Universit Paris 1

Bosser Anne-Gwenn
Rplications distribues pour la dfinition de jeux massivement multijoueurs 2005; supervisor: Emmanuel Chailloux University: Universit Paris 6

Boukhris Samir
Probabilits et Induction: Le programme de Carnap 2001; supervisor: Jacques Dubucs University: Universit Paris 1

Boyer Julien
Dflationnisme en matire de vrit et vrit mathmatique In preparation; supervisor: Gabriel Sandu University: Universit Paris 1

Braillard Pierre-Alain
L'amour philosophe: le requisit de l'amour dans la qute du fondement In preparation; supervisor: Jean Gayon & Michel Morange University: Universit Paris 1

171

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Brmond Alain
Un astronome au travail. Vesto Melvin Slipher et la naissance de l'astrophysique extragalactique In preparation; supervisor: Philippe Jaussaud University: Universit Claude Bernard Lyon 1

Brisoux Laure
Satisfiabilit propositionnelle en informatique : aspects algorithmiques et extensions du formalisme 1999; supervisor: Eric Grgoire & Lakhdar Sais University: Universit d'Artois

Brun-Rovet tienne
La survenance : une limite analytique ? In preparation; supervisor: Christiane Chauvir University: Universit Paris 1

Bustamante-Medina Ronald
Thorie des modles des corps diffrentiellement clos avec un automorphisme gnrique 2005; supervisor: Zo Chatidzakis University: Universit Paris 7

Campagnolo Gilles
Pense philosophique et discours conomique: au fondement des thories conomiques continentales de la fin du Camralisme la Querelle allemande sur les mthodes 2001; supervisor: Bernard Bourgeois University: Universit Paris 1

172

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Candau Fabien
Les politiques publiques face la mobilit des biens et des personnes, les apports de l'conomie rgionale et du commerce international 2006; supervisor: Marc Fleurbaey University: Universit de Pau et des Pays de l'Adour

Cartron Laure
L'hrdit dans la premire moiti du 19me sicle 2007; supervisor: Jean Gayon University: Universit Paris 1

erny Jindrich
Le conventionnalisme et la thorie de la signification dans l'cole de Lvov et Varsovie In preparation; supervisor: Jacques Dubucs University: Universit Paris 1

Chachoua Mohammed
Une thorie symbolique de l'entropie pour le traitement des informations incertaines 1998; supervisor: Daniel Pacholczyk University: Universit d'Angers

Chapuis Delphine
Le sens l'preuve de l'exprience, Carnap, Schlick et le vrificationnisme 2006; supervisor: Sandra Laugier University: Universit Paris 1

173

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Charmetant Eric
Biologie volutionniste et thique normative 2007; supervisor: Jean Gayon University: Universit Paris 1

Chateau Annie
Utilisation de destines pour la dcision et la complexit dans le cas de formules profondeur de quantification borne sur des structures logiques finies et infinies 2003; supervisor: Denis Richard, Malika More University: Universit Clermont-Ferrand I

Cherici Cline
Lanatomie et la physiologie du systme nerveux, du cerveau et du cervelet chez Vincenzo Malacarne (1744-1816). Une physiologie pr-exprimentale 2006; supervisor: Claude Debru University: Universit Paris 7 Denis Diderot

Cherlonneix, Laurent
Nietzsche : une philosophie de la sant et de la maladie 1999; supervisor: Jean-Franois Marquet University: Universit Paris-Sorbonne Paris 1Paris 4

Chinchilla Eugenio
Modles en arithmtique borne 2001; supervisor: Jean-Pierre Ressayre University: Universit Paris 7

174

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Choquette Genevive
La cration et l'interprtation dans la perspective d'une analyse formelle 2004; supervisor: Christiane Chauvir University: Universit Paris 1

Clavien Christine
L'thique volutionniste: limites et perspectives In preparation; supervisor: Jean Gayon & Daniel Schulthess University: Universit Paris 1 & Universit de Neuchtel

Coelho Miguel
Ralisme et empirisme de Mach Van Fraassen 2004; supervisor: Sandra Laugier University: Universit d'Amiens

Collignon Patrick
La qualit de vie des enfants et adultes dficients intellectuels profonds polyhandicaps 2004; supervisor: Jean-Franois Mattei & Jean-Robert Harl University: Universit de la Mditerrane

Coulbois Thierry
Proprits de Ribes-Zaleskii, topologie profinie, produit libre et gnralisations 2000; supervisor: Gabriel Sabbagh University: Universit Paris 7

175

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Cozic Mikael
Fondements cognitifs du choix en rationalit limite 2005; supervisor: Daniel Andler & Bernard Waliser University: Universit Paris 1Paris 4

Crocco Gabriella
Pour une dfense du pluralisme. Le choix d'une logique 1999; supervisor: Jacques Dubucs University: Universit Paris 1

Croizer Jacques
Logique et devenir de Leibniz Russell et Poincar. Une contribution l'histoire des relations entre la logique, les mathmatiques et le temps. 1998; supervisor: Jean Petitot-Cocorda University: EHESS

Curmin Philippe
Marquage des preuves et extraction de programmes 1999; supervisor: Michel Parigot University: Universit Paris 7

Darnire Luck
Etude modle-thorique d'anneaux satisfaisant un principe de Hasse non singulier 1998; supervisor: Franoise Delon Moret-Bailly University: Universit de Rennes

176

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Dascalu Camelia
La thorie frgenne du sens face au problme de l'indexalit In preparation; supervisor: Franois Rivenc University: Universit Paris 1

Daurat Alain
Convexit dans le plan discret, application la tomographie 2000; supervisor: Maurice Nivat & Denis Richard University: Universit Clermont-Ferrand I

Dekeuwer Catherine
Libert de choix et destins individuels. Examen des concepts et des problmes thiques impliqus par la mdecine prdicative 2006; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Delacoste Marc
Philosophie de la non-sparabillit quantique et cosmologie d'Alfred North Withead 2004; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Delord Julien
Etude historique et philosophique d'un concept cologique: les extinctions d'espces 2003; supervisor: Jean Gayon University: Universit Paris 7

177

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Deloustal-Jorrand Virginie
L'implication mathmatique : tude pistmologique et didactique. 2004; supervisor: Charles Payan University: Universit Pierre Mends-France Grenoble

Demaille Akim
Logiques linaires hybrides et leurs modalits : thories et applications 1999; supervisor: Patrick Bellot University: Ecole Nationale Suprieure des Tlcommunications

Demazeux Steeve
Identifier et classer les troubles mentaux: tude des problmes philosophiques et pistmologiques soulevs par la nosologie psychiatrique contemporaine In preparation; supervisor: Jean Gayon University: Universit Paris 1

Devred Caroline
Contribution l'tude des infrences argumentatives : spcialisations et gnralisations du cadre de Dung 2006 ; supervisor: Pierre Marquis University: Universit d'Artois

Doridot Fernand
Aux origines de l'arithmtique formelle : dfinitions du nombre naturel entre Frege et Quine, postures philosophiques et dterminations cognitives 2003; supervisor: Patrice Bailhache University: Universit de Nantes

178

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Douek Nadia
Les rapports entre l'argumentation et la conceptualisation dans les domaines d'exprience 2003; supervisor: Paolo Boero & Grard Vergnaud University: Universit de Gnes & Universit Paris V

Drouet Isabelle
Probabilit et causalit: une approche propensionniste In preparation; supervisor: Jacques Dubucs University: Universit Paris 1

Dubrana Frdric
Signification du corps en chirurgie In preparation; supervisor: Jean Gayon University: Universit Paris 1

Egr Paul
Attitudes propositionnelles et paradoxes pistmiques 2004; supervisor: Jacques Dubucs University: Universit Paris 1

Ekwa Robert
Les maladies prions: problmes pistmologiques In preparation; supervisor: Jean Gayon University: Universit Paris 1

179

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

El Skaf Rawad
Le dmon de Maxwell et l'pistmologie des expriences de pense In preparation; supervisor: Jean Mosconi University: Universit Paris 1

Everaere Patricia
Contribution l'tude des oprateurs de fusion: manipulabilit et fusion disjonctive 2006 ; supervisor: Pierre Marquis University: Universit d'Artois

Farkh Samir
Types de donnes en logique du second ordre 1998; supervisor: Ren David & Karim Nour University: Universit de Chambry

Fauriel Isabelle
Lgitimit des avis rendus par 19 CCPPRB : tude de leur fonctionnement respectif, des concepts utiliss et des types dthique de la discussion employs 2004; supervisor: Christian Herv University: Universit Paris V Ren Descartes

Fel Loc
L'esthtique verte: de la reprsentation la prsentation de la nature In preparation; supervisor: Pascal Acot University: Universit Paris 1

180

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Fernandez de Castro Max


La solution de Quine au problme de l'acceptation d'une ontologie abstraite dans le cadre de l'empirisme 2000; supervisor: Hourya Sinaceur University: Universit Paris 1

Ferrario Roberta
Le raisonnement contrefactuel : un modle et son application au raisonnement pratique 2003; supervisor: Andr Thibault University: Universit Strasbourg II & Universit de Milan

Fichot Jean
Langage et signification: le cas des mathmatiques constructivistes 2001; supervisor: Jacques Dubucs University: Universit Paris 1

Franceschelli Sara
Construction de signification physique dans le mtier de physicien : le cas du chaos dterministe 2001; supervisor: Michel Paty University: Universit Paris 7 Denis Diderot

Gabolde Martine
Ethique de la transplantation avec donneur vivant 2002; supervisor: Anne-Marie Moulin University: Universit Paris V

181

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Galinon Henri
Dfinition, limination, dflation : recherches sur la vrit In preparation; supervisor: Franois Rivenc University: Universit Paris 1

Gandon Sebastien
Logique et langage chez le premier Wittgenstein. Une lecture du Tractatus Logico-Philosophicus la lumire des oeuvres de Frege et de Russell 1999; supervisor: Christiane Chauvir University: Universit Paris 1

Gateau Valrie
Enjeux thiques des transplantations hpatiques avec donneurs vivants 2006; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Gauvrit Nicolas
La logique contextuelle 2005; supervisor: n.p. University: EHESS

Gheerbrant Amlie
Recherches logiques sur les noncs conditionnels In preparation; supervisor: Johannes Van Benthem & Gabriel Sandu University: Universit Paris 1

182

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Giroux Elodie
Epidmiologie des facteurs de risque : gense d'une nouvelle approche de la maladie 2006; supervisor: Jean Gayon University: Universit Paris 1

Givernaud Nicolas
Origine et dveloppement de l'anthropologie biologique In preparation; supervisor: Jean Gayon University: Universit Paris 7

Godailler Yannick
Le concept de modularit en biologie contemporaine In preparation; supervisor: Anne Fagot-Largeault University:

Gorincour Guillaume
Ethique et prise de dcision dans les interruptions de grossesse du 3e trimestre : exploitation dun questionnaire francophone In preparation; supervisor: Jean-Robert Harl & Pierre Le Coz University: Universit de la Mditerrane

Grassin Marc
Les arrts de ranimation et les arrts de vie en nonatologie. Responsabilit et transgression. Lthique clinique en question. 1999; supervisor: Michel Dehan University: Universit Ren Descartes

183

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Grenouilloux Armelle
Psychosomatique et corporit : pour un abord phnomnologique de la question psychosomatique 2007; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Grison Denis
Du principe de prcaution la Philosophie de la prcaution 2006; supervisor: Gerhard Heinzmann University: Universit Nancy 2

Guedj Muriel
Lmergence du principe de conservation de lnergie au milieu du 19me sicle : de la thorie mcanique de la chaleur la thermodynamique 2000; supervisor: Michel Paty University: Universit Paris 7 Denis Diderot

Guiler Jorge
Produits boolens d'anneaux de valuation et de corps rels clos 1999; supervisor: Max Dickmann University: Universit Paris 7

Guillaume Bruno
Un calcul de substitutions avec tiquettes 1999; supervisor: Ren David University: Universit de Savoie

184

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Guillin Vincent
Les relations entre Auguste Comte et John Stuart Mill In preparation; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Guinnebault Jean-Marc
Caractrisation des logiques non-monotones et logique conditionnelle du second ordre 1999; supervisor: Philippe Besnard University: Universit Rennes I

Gzil Fabrice
Philosophie de la maladie d'Alzheimer: histoire des sciences, pistmologie, thique In preparation; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Hachaichi Yassine
Contribution la thorie des modles finis et la complexit descriptive 2001; supervisor: Patrick Cegielski University: Universit Paris 7

Halikaki Despina
Le schmatisme arborescent en systmatique et phylognie dans les sciences de la vie, de 1766 1966 de Pallas Hennig In preparation; supervisor: Jean Gayon University: Universit Paris 7

185

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Halimi Brice
Le problme logique du rapport entre universalit et ncessit 2005; supervisor: Franois Clmentz University: Universit de Provence

Han Hee-Jin
Le programme de recherche vitaliste dans les sciences biomdicales: une tude historico-pistmologique du vitalisme franais au XVII sicle 2004; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Harada Masaki
La physique au carrefour de lintuitif et du symbolique- Une tude pistmologique des concepts quantiques la lumire de la phnomnologie hermneutique 2005; supervisor: Michel Paty University: Universit Paris 7 Denis Diderot

Hill Brian
Jouer avec le faux. Recherches sur les processus mentaux l'uvre dans la lecture des textes de fiction 2006; supervisor: Jacques Dubucs University: Universit Paris 1

Hils Martin
Fusion libre et autres constructions gnriques 2006; supervisor: Zo Chatidzakis & Frank Wagner University: Universit Paris 7 / Universit Lyon 1

186

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Huneman Philippe
Mtaphysique et biologie. Kant et la constitution du concept d'organisme 2000; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Icard Philippe
Une approche philosophique de la chirurgie: l'"uvre des mains" 2005; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Imbert Cyrille
Emergence et simulation dans les systmes complexes dterministes In preparation; supervisor: Jacques Dubucs University: Universit Paris 1

Jaeger Lydia
Lois de la nature et raisons du cur : les convictions religieuses dans le dbat pistmologique contemporain 2005; supervisor: Michel Bitbol University: Universit Paris 1

Joly Thierry
Codage, sparabilit et reprsentation de fonctions, en lambda-calcul simplement typ et dans d'autres systmes de types 2000; supervisor: Vincent Danos University: Universit Paris 7

187

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Jullien Caroline
Esthtique et modes opratoires en mathmatiques Une exploration goodmanienne 2006; supervisor: Gerhard Heinzmann University: Universit Nancy 2

Karella Catherine
Changement conceptuel et dveloppement scientifique: le cas de la logique mathmatique de Hilbert Gdel In preparation; supervisor: Jean Mosconi University: Universit Paris 1

Kauark-Leite Patricia
Vers une critique de la raison quantique : les approches transcendantales en mcanique quantique 2004; supervisor: Michel Bitbol University: Ecole polytechnique

Keiff Laurent
Le pluralisme dialogique. Vers une dynamique. 2007; supervisor: Shahid Rahman University: Universit Lille 3

Keller Agathe
Un commentaire indien du VIIe sicle : Bhaskara et le Ganitapada de lAryabhatiya 2000; supervisor: Karine Chemla University: Universit Paris 7 Denis Diderot

188

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Kennedy Neil
Antiralisme et formalisation des capacits cognitives des agents In preparation; supervisor: Jacques Dubucs & Mathieu Marion University: Universit Paris 1 & UQAM

Kleinpeter Edouard
Les fondements philosophiques de la vulgarisation scientifique In preparation; supervisor: Jacques Dubucs University: Universit Paris 1

Kotobi Henri
Approche philosophique de la douleur dite "physique" (ou la dualit du corps et de l'esprit mise malpar la douleur) In preparation; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Krmer Ralf
La thorie des catgories : ses apports mathmatiques et ses implications pistmologiques 2004; supervisor: Gerhard Heinzmann University: Universit Nancy 2 / Universit de la Sarre

Lacas Samuel
Extensionnalit, syntaxe et Prdicats de Vrit 2001; supervisor: Jean-Louis Krivien & Serge Grigorieff University: Universit Paris 7

189

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Lachenal Guillaume
Biomdecine et dcolonisation au Cameroun, 1944-1994. Technologies, figures et institutions mdicales l'preuve 2006; supervisor: Anne-Marie Moulin University: Universit Paris 7 Denis Diderot

Lambert Sylvain
La dfinition de la mort In preparation; supervisor: Jean Gayon University: Universit Paris 1

Lardreau-Cotelle Esther
Histoire et reprsentations de la migraine au 19me sicle 2007; supervisor: Jean Gayon University: Universit Paris 1

Laurent Olivier
Etude de la polarisation en logique 2002; supervisor: Jean-Yves Girard & Laurent Rgnier University: Universit Aix-Marseille 2

Lauria Philippe
Philosophie du transfini 2003; supervisor: Jean-Pierre Ginisti University: Universit Lyon 3

190

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Le Bars Jean-Marie
Probabilits asymptotiques et pouvoir d'expression des fragments de la logique du second ordre 1998; supervisor: Etienne Grandjean University: Universit de Caen

Le Bihan Soazig
Comprendre la physique quantique: concepts et conceptualisation dans la pratique de la science In preparation; supervisor: Gerhard Heinzmann & Martin Carrier University: Universit Nancy 2 & Universit de Bielefeld

Lechopier Nicolas
Normes et pratiques dans les technologies de recherche biomdicale In preparation; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Le Coz Pierre
Le moment philosophique de la dcision mdicale 2003; supervisor: Pierre Livet & Jean-Franois Matti University: Universit de la Mditerrane

Le Du Michel
Le vcu et l'arrire-plan. Psychologie et anthropologie selon Wittgenstein 1999; supervisor: Frdric Nef University: Universit Rennes 1

191

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Lefve Cline
Maine de Biran et Bergson. Science et philosophie. La question de la psychologie subjective 2003; supervisor: Dominique Lecourt University: Universit Paris 7 Denis Diderot

Le Roux Stphane
Abstraction et formalisation de la thorie des jeux In preparation; supervisor: Pierre Lescanne University: Ecole normale suprieure de Lyon

Leroy Guillaume
La contribution des algorithmes gntiques l'tude de l'mergence In preparation; supervisor: Jacques Dubucs University: Universit Paris 1

Letombe Florian
De la validit des formules boolennes quantifies : tude de complexit et exploitation de classes traitables au sein d'un prouveur QBF 2005; supervisor: Pierre Marquis University: Universit d'Artois

Lvy Julien
Principe de rflexion, codages et la structure H_{omega_2} 2006; supervisor: Stevo Todorcevic University: Universit Paris 7

192

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Litzelmann Jenny
La notion de "droit de l'"animal"" et ses consquences philosophiques In preparation; supervisor: Jean Gayon University: Universit Paris 1

Malaterre Christophe
Les enjeux philosophiques du concept d'mergence appliqu aux origines de la vie In preparation; supervisor: Jean Gayon University: Universit Paris 1

Malod Guillaume
Polynmes et coefficients 2003; supervisor: Bruno Poizat University: Universit Lyon 1

Malzac Perrine
Gntique mdicale, dterminisme et libert In preparation; supervisor: Jean-Franois Mattei & Roland Gori University: Universit de la Mditerrane

Mancuso Dominico
Libre arbitre et transcendance du futur In preparation; supervisor: Daniel Andler University: Universit Paris 1

193

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Marchal Bruno
Calculabilit, physique et cognition 1998; supervisor: Jean-Paul Delahaye University: Universit Lille I

Mariou Benot
Modles engendrs par des indiscernables et modles saturs 1999; supervisor: Elisabeth Bouscaren University: Universit Paris 7

Marmin Nicolas
La contribution de Charles Richet la psychologie franaise 2001; supervisor: Franoise Parot University: Universit Paris 5

Mazure Bertrand
De la Satisfaisabilit la Compilation de Bases de Connaissances Propositionnelles 1999; supervisor: Eric Grgoire University: Universit d'Artois

Merlin Francesca
Le concept de hasard en biochimie et biologie molculaire: analyse critique de son rle explicatif In preparation; supervisor: Jean Gayon University: Universit Paris 1

194

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Mlika Hamdi
Le platonisme de Quine et sa critique dans la philosophie contemporaine des mathmatiques 2000; supervisor: Pascal Engel University: Universit Paris 4

Moatti Alexandre
Le rvisionnisme dans les sciences exactes In preparation; supervisor: Jacques Dubucs University: Universit Paris 1

Moktefi Amirouche
La logique symbolique de Lewis Carroll In preparation; supervisor: Bernard Ancori & Gerhard Heinzmann University: Universit Louis Pasteur Strasbourg 1

Mounier Georges
Un lambda calcul intuitionniste avec exceptions 1999; supervisor: Ren David University: Universit de Savoie

Mugneret Mikal
Ontologie, sciences cognitives et identit personnelle 2006; supervisor: Roger Pouivet University: Universit Nancy 2

195

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Narboux Jean-Philippe
Aspect et paradigme dans la philosophie de Wittgenstein 2003; supervisor: Sandra Laugier University: Universit Paris 1

Ngom Ndiakhat
Dterminisme biologique, idologies politiques et raciales: de l'eugnisme la sociobiologie 2004; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Nguyen Van The Lionel


Thorie de Ramsey structurale des espaces mtriques et dynamique topologique des groupes d'isomtries 2006; supervisor: Stevo Todorcevic University: Universit Paris 7

Nizar Kouider
La ngation dans la philosophie des sciences de Karl Popper 2004; supervisor: Bertrand Saint-Sernin University: Universit Paris 1Paris 4

Oger Marie-Dominique
La thorie des orbitales molculaires et l'mergence de la chimie quantique 2003; supervisor: Andr Coret University: Universit Nancy 2

196

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Ono Kotaro
Le vital et le social chez Bergson In preparation; supervisor: Michel Bourdeau & Mitsuhiro Okada University: Universit Paris 1

Ostrowski Richard
Reconnaissance et exploitation de proprits structurelles pour la rsolution du problme SAT 2004; supervisor: Lakhdar Sais University: Universit d'Artois

Ould Houcine Abderezak


Sur quelques problmes de prolongement dans les groupes 2003; supervisor: Gabriel Sabbagh University: Universit Paris 7

Oumraou Leny
De la difficult des mathmatiques 2004; supervisor: Jacques Dubucs University: Universit Paris 1

Oury Jean-Paul
Plantes gntiquement modifies : controverses, communication et idologie 2004; supervisor: Claude Debru University: Universit Paris 7

197

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Parent Xavier
Logiques non-monotones et modes d'argumentation Le cas de l'obligation conditionnelle 2002; supervisor: Pierre Livet University: Universit d'Aix-Marseille I

Patternotte Cdric
Actions collectives et coopration In preparation; supervisor: Jacques Dubucs University: Universit Paris 6

Pedicini Mario
Excution des programmes 1999; supervisor: Jean-Yves Girard & Vincent Danos University: Universit Paris 7 / Universit Aix-Marseille 2

Peyronnet Sylvain
Model checking et vrification probabiliste 2003; supervisor: Michel De Rougemont University: Universit Paris 12

Pissavin Patrice
En quoi les thormes de Gdel de 1931 et apparents conduisent-ils une limitation des possibilits de connaissance objective? In preparation; supervisor: Philippe de Rouilhan University: Universit Paris 1

198

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Pitteloud Daniel
Le produit dans les corps de srie transfinis 1998; supervisor: Jean-Paul Ressayre University: Universit Paris 7

Plagnol Arnaud
La fondation analogique des reprsentations 2005; supervisor: Philippe de Rouilhan University: Universit Paris 1

Plaud Sabine
Image et reprsentation chez Wittgenstein : La notion de Bild et son rapport aux pistmologies de limage (Helmholtz, Mach, Boltzmann) In preparation; supervisor: Christiane Chauvir University: Universit Paris 1

Poggiolesi Francesca
Recherches en logique modale de la dmontrabillit In preparation; supervisor: Philippe de Rouilhan & Pierluigi Minari University: Universit Paris 1 & Universit de Florence

Porquet Nadge
Contribution l'tude de relations d'infrence paraconsistante sous ressources limites 2005; supervisor: Pierre Marquis University: Universit d'Artois

199

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Pradeu Thomas
Immunologie et identit biologique: l'immunit comme fondement d'une dfinition exogne de l'organisme In preparation; supervisor: Jean Gayon University: Universit Paris 1

Proietti Carlo
Le problme de l'omniscience logique en logique pistmique In preparation; supervisor: Gabriel Sandu & Mauro Mariani University: Universit Paris 1

Proust Christine
Tablettes mathmatiques de Nippur (Msopotamie, dbut du deuxime millnaire avant notre re) Reconstitution du cursus scolaire 2004; supervisor: Christian Houzel University: Universit Paris7 Denis Diderot

Quinche Florence
La dlibration thique : contribution du dialogisme et de la logique des questions (logique rottique) 2004; supervisor: Raphal Clis & Francis Jacques University: Universit de Lausanne & Universit Paris 3

Quinon Paula
Arithmtique et cognition In preparation; supervisor: Jacques Dubucs & Marcin Mostowski University: Universit Paris 1 & Institut de Philosophie et de Sociologie de l'Academie Polonaise des Sciences

200

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Radovic Rasko
La signification philosophique de l'expression des motions 1999; supervisor: Jacques Bouveresse University: Universit Paris 1

Raffin Catherine
La production et les fonctions des images en physique des matriaux et en astrophysique 2004; supervisor: Bernard Ancori & Baudoin Jurdant University: Universit Strasbourg I

Rambaud Alexandre
Quasi-analycit, o-minimalit et limination des quantificateurs 2005; supervisor: Jean-Paul Ressayre University: Universit Paris 7

Rebuschi Manuel
Peut-on dire ce qui n'est pas ? Objets mathmatiques et autres fictions : smantique et ontologie 2000; supervisor: Gerhard Heinzmann University: Universit Nancy 2

Richa Sami
Linformation du malade et le consentement aux soins dans la maladie mentale In preparation; supervisor: Jean-Robert Harl & Pierre Le Coz University: Universit de la Mditerrane

201

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Rigal Christelle
Contribution lhistoire des la recherche mdicale : autour des travaux de Jean Bernard et de ses collaborateurs sur la leucmie aigue, 1940-1970 2003; supervisor: Anne-Marie Moulin University: Universit de Nantes

Rispoli Raphal
Elments d'une mthodologie computationnelle pour la construction autonome des reprsentations 2002; supervisor: Michel De Glas University: Universit Paris VI

Rivain Thierry
"La construction logique du monde" de Rudolph Carnap : introduction, traduction et notes 2002; supervisor: Elisabeth Schwartz University: Universit Blaise Pascal Clermont-Ferrand

Robadey Anne
Diffrentes modalits de travail sur le gnral dans les recherches de Poincar sur les systmes dynamiques 2006; supervisor: Karine Chemla University: Universit Paris7 Denis Diderot

Rollet Laurent
Henri Poincar, des mathmatiques la philosophie : tude du parcours intellectuel, social et politique dun mathmaticien au dbut du 20me sicle 1999; supervisor: Gerhard Heinzmann University: Universit Nancy 2

202

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Romand David
La formation du concept dinconscient cognitif : contribution lhistoire de la psychologie et la thorie des neurosciences cognitives 2005; supervisor: Claude Debru University: Universit Paris 7 Denis Diderot

Romero Chacon Angel Enrique


La Mcanique dEuler. Prolgomnes la pense physique des milieux continus (concepts et principes physiques, et analytisation mathmatique) 2007; supervisor: Michel Paty University: Universit Paris7 Denis Diderot

Roque Tatiana
Ensaio sobre a gnese das idias matemticas : exemplos da teoria dos sistemas dinmicos 2001; supervisor: Michel Paty, Christian Houzel, Ildeu Moreira & Pinguelli Luis Rosa University: Universidade Federal do Rio de Janeiro, Brsil

Rosendal Christian
Etude descriptive de l'isomorphisme dans la classe des espaces de Banach 2003; supervisor: Alain Louveau University: Universit Paris 6

Ruyer Frdric
Preuves, types et sous-types 2006; supervisor: Christophe Raffalli University: Universit de Savoie

203

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Sabatier Xavier
Etudes sur le ralisme mathmatique 2004; supervisor: Hourya Sinaceur University: Universit Paris 1

Sacr Karim
Qu'est-ce que penser en mdecin? In preparation; supervisor: Anne Fagot-Largeault University: Universit Paris 1

Saint-Ours Alexis (de)


Temps et relation en gravitation quantique 2007; supervisor: Charles Alunni University: Universit Paris 8

Sakhri Mohsen
De la logistique la linguistique, Couturat et le parcours de l'universalit 2004; supervisor: Gerhard Heinzmann University: Universit Nancy 2

Samli Nafiz
La question des fondements des mathmatiques et la thorie des modles 1998; supervisor: Marc-Alain Rieu University: Universit Jean Moulin Lyon

204

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Sananes Paul
Histoire, objectifs et activits de la fdration internationale du planninig familial (I.P.P.F). Implications sociales, psychologiques, thiques et dmographiques. Perspectives 2000; supervisor: Anne Fagot-Largeault University: Universit Paris 1

San Gines Ruiz Aranxaxu


Quantificateur dans le langage naturel In preparation; supervisor: Gabriel Sandu University: Universit Paris 1

Sart Frdric
Elments de logique althico-dontique 2000; supervisor: Patrice Bailhache University: Universit de Nantes

Schang Fabien
Philosophie des modalits pistmiques (la logique assertorique revisite) 2007; supervisor: Gerhard Heinzmann University: Universit Nancy 2

Schmeling Michael
Corps de transsries 2001; supervisor: Jean-Paul Ressayre & Joris Van der Hoeven University: Universit Paris 7

205

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Schmetz Roland
"Le trait de l'argumentation" de C. Perelman. Quelle philosophie de l'argumentation ? 1999; supervisor: Nanine Charbonnel University: Universit Strasbourg 2

Schmitt Stphane
Histoire du problme des parties rptes, de la morphologie idaliste la gntique du dveloppement 2000; supervisor: Michel Morange University: Universit Paris7 Denis Diderot

Sigaud Olivier
Automatisme et subjectivit: l'anticipation au cur de l'exprience 2002; supervisor: Jacques Dubucs University: Universit Paris 1

Simonsen Kenneth
Reprsentations mathmatiques et interprtations physiques dans les thories physiques de Leibniz et de Newton 2003; supervisor: Michel Paty University: Universit Paris 7 Denis Diderot

Sir Zbynek
Les sections coniques chez Philippe de La Hire 2002; supervisor: Christian Houzel University: Universit Paris7 Denis Diderot

206

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Smadja Ivahn
Essai sur la notion de schmatisme en arithmtique 2002; supervisor: Hourya Sinaceur University: Universit Paris 1

Sofiane Ahcne
Contribution aux techniques de fusion de connaissance en intelligence artificielle 2003; supervisor: Eric Grgoire University: Universit d'Artois

Sonea Alina
Souffrance vs Douleur: l'investigation philosophique et mdicale In preparation; supervisor: Jean Gayon University: Universit Paris 1

Steichen olivier
Raisonnement partir de rgles et raisonnement partir de cas pour la rsolution des problmes en mdecine In preparation; supervisor: Jean Mosconi University: Universit Paris 1

Tahiri Hassan
La dynamique de la ngation et la logique avec inconsistances : quelques consquences scientifiques et pistmologiques. Vers un rapprochement entre la philosophie et l'histoire des sciences 2005; supervisor: Shahid Rahman University: Universit Lille 3

207

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Thvenon Patrick
Vers un assistant la preuve en langue naturelle 2006; supervisor: Ren David University: Universit de Savoie

Thinot Cdric
La logique pseudo-intuitionniste 1999; supervisor: Michel De Glas University: Universit Paris 6

Thomas Marion
Rethinking the History of Ethology: French Animal Behaviour Studies in the Third Republic (18701940) 2003; supervisor: Jonathan Harwood (CHSTM, Universit de Manchester) University: Universit de Manchester (Grande-Bretagne)

Tibaoui Mounir
Fondationalisme inductiviste et faillibilisme dans la philosophie contemporaine des sciences 2005; supervisor: Mlika Ouelbani & Michel Malherbe University: Universit de Nantes

Tomb Roland
Ethique et biothique dans la pense islamique contemporaine In preparation; supervisor: Jean-Robert Harl University: Universit de la Mditerrane

208

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Tortora de Falco Lorenzo


Rseaux, cohrence et expriences obsessionnelles 2000; supervisor: Vincent Danos University: Universit Paris 7

Tousseul Sylvain
Les principes de la pense ou les conditions d'impossibilits de la science In preparation; supervisor: Franois Laruelle University: Universit Paris 10 Nanterre

Uzan Pierre
Vers une logique du temps smantique. Irrversibilit, mesure quantique et processus de la reprsentation 1998; supervisor: Michel Bitbol University: Universit Paris 1

Valle Thierry
"Map Theory" et antifondation 2001; supervisor: Chantal Berline University: Universit Paris 7

Viale Matteo
Application de l'axiome de forcing propre l'arithmtique des cardinaux 2006; supervisor: Boban Velickovic & Alessandro Andretta University: Universit Paris 7 / Universit de Turin

209

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

Viciana Hugo
Qu'est-ce qu'une adaptation biologique la culture? In preparation; supervisor: Jean Gayon University: Universit Paris 1

Vidaux Xavier
10e problme de Hilbert pour les fonctions mromorphes p-adiques globales 2001; supervisor: Jean-Louis Duret & A. Pheidas Thanases University: Universit dAngers

Vorms Marion
L'identit d'une thorie scientifique face ses diffrentes versions In preparation; supervisor: Jean Gayon University: Universit Paris 1

Werling Guy-Cdric
Attitudes propositionnelles d'ordre suprieur In preparation; supervisor: Jacques Dubucs University: Universit Paris 1

Wieber Frdric
Construction et applicabilit thoriques en chimie des protines (1960-1990) : essai pistmologique et historique 2005; supervisor: Claude Debru University: Universit Paris 7

210

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Yml Jean-Pierre
Le statut de l'observateur en physique classique: Etudes sur la constitution d'une pense de l'observation et de l'objectivit 2006; supervisor: Michel Paty University: Universit Paris 7

Zabala Juan-Pablo
Conditions de production et utilisation des connaissances scientifiques: le cas de la maladie de Chagas, Argentine, 1925-2000 In preparation; supervisor: Jean Gayon & Pablo Kreimer University: Universit Paris 1

Zenil Hector
L'approche algorithmique de l'alatoire In preparation; supervisor: Jean Mosconi University: Universit Paris 1

211

LIENS ET ADRESSES UTILES USEFUL LINKS AND ADDRESSES

Recherche en logique, mthodologie et philosophie des sciences en France


_____________________________________________________________________________________________________________________________________________

Cette section sera complte progresivement sur le site web du guide. This section shall be progressively completed on the website.

Institutions et socits savants / Institutions and societies


CNFHPS - Comit National Franais d'Histoire et de Philosophie des Sciences (French National Committee of History and Philosophy of Science, the French correspondant of the IUHPS) http://www.academie-sciences.fr/cnfhps.htm COFUSI - Comit Franais des Unions Scientifiques Internationales (French Committee of the International Scientific Unions) http://www.academie-sciences.fr/comites/comite_html/COFUSI_b.htm SFP - Socit Franaise de Philosophie http://www.sofrphilo.fr/ SPS - Socit de Philosophie des Sciences (French Society of Philosophy of Science) http://www.sps.ens.fr/ SHESVIE - Socit d'Histoire et d'Epistmologie des Sciences de la Vie (French Society of History and Epistemology of the Life Sciences) http://www.bium.univ-paris5.fr/shesvie/

Actulaits et informations / News and informations


THEUTH - A website dedicated to philosophy and history of science (agenda of scientific events, publication announcements, list of PhD theses, mailing list) http://theuth.univ-rennes1.fr/

Annuaires dunits / Directories of research units


Directory of laboratories of the French National Center for Scientific Research http://web-ast.dsi.cnrs.fr/l3c/owa/annuaire.recherche Directory of courses and research units of the French Education and Research Ministry http://dr.education.fr/ed_ur.htm Website of the Mathematical logic unit of University Paris 7 Denis Diderot (UMR 7056) http://www.logique.jussieu.fr/

Edition lectronique, bibliographies et archives ouvertes / Electronic edition, bibliographies and open archives
HAL - Hyper Article en Ligne. The official French open archive http://hal.archives-ouvertes.fr/

215

Research in Logic, Methodology, and Philosophy of Science in France


_____________________________________________________________________________________________________________________________________________

BiblioSHS - Documentary website of the French National Center for Scientific Research http://biblioshs.inist.fr/ INIST - Institute for Scientific and Technical Information (CNRS) http://www.inist.fr/ CAPHES - Archives Center in Philosophy, History and Edition of Sciences (UMS 2267) http://www.caphes.eu/ SIPS - Information System in Philosophy of Science http://slhs.univ-fcomte.fr/rech/philolab/SIPSSem.html

216