105283254 guide de la recherche en logique methodologie en france

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

16 rue Mazarine - F-75006 Paris

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

A Guide to Research in Logic, Methodology and Philosophy of Science in France

2007

Conçu par/Conceived by Claude Debru, Jean Gayon, Marcel Guillaume,

Gerhard Heinzmann, avec la collaboration de Karine Chemla

Réalisé par/Compiled by Pierre Edouard Bour

Avec le concours de/Supported by Ministère des affaires étrangères (Paris) & Ambassade de France à Pékin

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

TABLE DES MATIÈRES/TABLE OF CONTENTS INTRODUCTION ............................................................................................................... 5 (Français) .......................................................................................................................................... 5 (English) ............................................................................................................................................7

SIGLES/ACRONYMS ....................................................................................................... 9

UNITÉS DE RECHERCHE/RESEARCH UNITS .................................... 13 Introduction ................................................................................................................................... 15 Centre d'histoire des sciences et des philosophies arabes et médiévales (CHSPAM) ........ 16 Centre de Recherche en Epistémologie Appliquée (CREA) .................................................. 17 Centre de Recherche en Informatique de Lens (CRIL) .......................................................... 18 Centre de Recherche Sens, Ethique, Société (CERSES) ......................................................... 19 Centre Georges Canguilhem ....................................................................................................... 20 Ethique et philosophie de la médecine et de la biologie ......................................................... 21 Groupe transdisciplinaire Histoire Philosophie Sciences (GHPS) ........................................ 22 Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST) .................. 23 Institut de Recherches Interdisciplinaires sur les Sciences et la Technologie (IRIST) ....... 25 Institut Jean Nicod ....................................................................................................................... 26 Laboratoire d'Algorithmique, Complexité et Logique (LACL) .............................................. 27 Laboratoire de Mathématiques - Equipe de Logique (LAMA) .............................................. 28 Laboratoire de Philosophie et d'Histoire des Sciences - Archives Henri Poincaré (LPHS-AHP) ............................................................................................................................................... 29 Laboratoire de Recherche sur les Sciences de la Matière (LARSIM) .................................... 31 Laboratoire d’Études du Phénomène Scientifique (LEPS) .................................................... 32 Logic, Interaction, Language and Computation (LILaC) ....................................................... 34 Méthodes formelles ...................................................................................................................... 35 PLUME .......................................................................................................................................... 36 Preuves – Programmes – Systèmes (PPS) ................................................................................. 37 Recherches Épistémologiques et Historiques sur les Institutions Scientifiques (REHSEIS) ...... 39 Signes linguistiques, grammaire et sens: algorithmique logique de la langue (SIGNES) ... 41

CHERCHEURS INDIVIDUELS/INDIVIDUAL RESEARCHERS 43

Introduction ................................................................................................................................... 45

THÈSES DE DOCTORAT/Ph.D. DISSERTATIONS ........................... 161

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

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

5

INTRODUCTION (Français)

La France s’est dotée en 1956 d’un comité national d’histoire et de philosophie des

sciences (CNFHPS). Créé par l’Académie des sciences, il fut initialement présidé par Louis de Broglie1. L’histoire de la création de ce comité fut étroitement liée à celle des unions internationales. L’Union Internationale d’Histoire et de Philosophie des sciences (UIHPS) fut en fait la seconde à être créée en 19552. Abrité à l’Académie des sciences de Paris, ce comité est indépendant relativement aux sociétés savantes, aux universités et organismes de recherche. Il est chargé par les académies siégeant à Paris de représenter les intérêts de la France auprès de l’Union Internationale d’Histoire et de Philosophie des Sciences, et de toute autre structure internationale pertinente pour le domaine. Le comité comprend 75 membres, dont un tiers d’académiciens.

Le présent guide donne un état de la recherche en logique, méthodologie et philosophie des sciences en France : unités de recherche, chercheurs individuels, thèses soutenues ou en cours depuis 1998. Le schéma retenu est analogue à celui du Guide de l’histoire des sciences en France, réalisé en 2005 à l’occasion du 22e Congrès de la Division Internationale d’Histoire des Sciences tenu à Pékin en 20053. Les deux guides visent à faciliter les échanges des chercheurs français avec leurs collègues d’autres pays, en offrant une image aussi précise que possible des institutions, des chercheurs, et de leurs travaux.

Le guide a été réalisé sur la base d’un questionnaire standardisé largement diffusé, que les équipes et les individus ont rempli en ligne. Le ciblage des institutions et des individus a été progressivement affiné en cours d’enquête, par le moyen de nouveaux appels, de demandes de rectifications, et surtout grace à l’affichage public de la base de données rendue accessible sur internet (http://www.univ-nancy2.fr/poincare/guideLPSF/). La liste des équipes de recherche et des individus s’est ainsi affinée et élargie à mesure que l’enquête progressait. Seules les unités de recherche et les chercheurs individuels ayant répondu figurent dans le guide, sur la base des informations fournies par eux. Le Comité a veillé à ce que ne soient inclus que des équipes et des individus dont une part significative de l’activité de recherche relève du domaine DLMPS. Mais fondamentalement, c’est le souci d’exhaustivité qui a prévalu, bien qu’à cet égard le résultat demeure insuffisant. Certaines équipes et certains individus notoirement impliqués dans le domaine ne figurent pas, pour des raisons contingentes ; nous n’avons inclus que des informations librement données en vue du guide.

1 Le nom originel était « Comité d’histoire et de philosophie des sciences français ». En 2000, le nom fut changé en « Comité national français d’histoire et de philosophie des sciences ». L’existence légale du comité en tant qu’Association régie par la loi de 1901 ne prit effet qu’en 1957. 2 Voir : http://www.academie-sciences.fr/comites/comite_html/cnfhps_histoire.htm 3 Disponible sur : http://www.academie-sciences.fr/cnfhps.htm

Research in Logic, Methodology and Philosophy of science in France _____________________________________________________________________________________________________________________________________________

6

L’élaboration du guide s’est révélée être une entreprise complexe, en raison de la grande hétérogénéité du champ « DLMPS », et de l’absence d’outil comparable préexistant. La communauté « DLMPS » a manifestement des contours plus difficiles à saisir que celle des historiens des sciences. Les historiens des sciences sont certes dispersés dans des disciplines extrêmement nombreuses, mais ils se reconnaissent sans peine comme « historiens des sciences ». Les chercheurs du domaine DLMPS, quoiqu’ils puissent en partie s’appuyer sur certaines disciplines fortement structurées, telles que la philosophie ou la logique, sont néanmoins tout aussi dispersés, mais, à la différence de l’histoire des sciences, ne se reconnaissent guère comme membres d’une communauté unique. Les pôles « logique » et « philosophie des sciences », outre qu’ils ont chacun des contours intellectuels et institutionnels très variés, renvoient globalement à des communautés largement hétérogènes. Il nous a été particulièrement difficile d’identifier les contours du pôle « logique », en raison peut-être d’une réticence de certains segments de la communauté des logiciens qui n’ont pas souhaité être identifiés dans un guide « DLMPS », ou n’en ont pas compris l’opportunité. Nous sommes conscients des imperfections de la brochure ici présentée, mais nous espérons que notre initiative, relayée par d’autres semblables dans d’autres pays ou régions du monde, stimulera les échanges internationaux en logique, méthodologie et philosophie des sciences.

Ce guide n’aurait pas vu le jour sans le travail considérable réalisé par Pierre-Edouard Bour, ingénieur d’études au CNRS, dans l’équipe de recherche « Archives Poincaré » (CNRS et Université Nancy 2, dirigée par le Professeur Gerhard Heinzmann). Que Pierre-Edouard Bour et les Archives Poincaré soient ici vivement remerciés par le CNFHPS. Il n’a pas fallu moins d’un an, et une insatiable disponibilité, pour mettre en place le questionnaire, recueillir les informations, et les compiler. M. François Huger, responsable du fichier central des thèses françaises à Nanterre, est remercié pour l’information qu’il a extraite de sources passablement hétérogènes à l’intention du comité national. Le groupe des trois individus qui ont conçu et mis en œuvre le guide (Gayon, Guillaume, Heinzmann) exprime sa profonde gratitude envers Karine Chemla, qui au stade décisif l'a rejoint et l'a fait bénéficier de l'expérience incomparable acquise lors de l'élaboration du Guide de l'histoire des sciences en France édité en 2005. Nous remercions également Bernd Buldt, Richard Tieszen et Roger Pouivet pour avoir relu et corrigé les parties du guide rédigées en anglais. Enfin nous savons gré au Ministère des Affaires Étrangères et l’Ambassade de France à Pékin pour l’aide cruciale qu’ils ont fournie pour l’édition de la brochure.

Claude Debru, Président du CNFHPS, Jean Gayon,

Marcel Guillaume Gerhard Heinzmann, & Karine Chemla

Recherche en logique, méthodologie et philosophie des sciences en France _____________________________________________________________________________________________________________________________________________

7

INTRODUCTION (English)

The French National Committee of History and Philosophy of Science (CNFHPS) was

created by the Paris Academy of Science in 19564. The origins of this committee are closely related to the history of the international scientific unions. The second international union to be created in 1955 was indeed the « International Union of History and Philosophy of Science » (IUHPS)5. Housed by the Paris Academy of Science, the CNFPHS is independent of all learned societies, universities and research organizations. It is mandated by the academies in Paris to represent the French interests before the International Union of History and Philosophy of Science, and of any other international structure relevant for the domain of history and philosophy of science. The committee is composed of 75 members, one third of them being members of the different academies.

The present guide provides data on the state of research in logic, methodology, and philosophy of science in France: research units significantly devoted to the domain of individual researchers, and PhD dissertations effectively defended since 1997, or in preparation. The general scheme is analogous to that of the Guide to the History of Science that was edited in 2005 on the occasion of the 22nd Congress of the Division of History of Science held in Beijing in 20056. The two guides aim at 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é d’Histoire et de Philosophie des Sciences Français ». In 2000, it was relabelled (« Comité National Français d’Histoire 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


8

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, ingénieur d’études in CNRS, assistant manager in the research unit « Archives Poincaré » (CNRS & Université Nancy 2; dir. Prof. Gerhard Heinzmann). Let Pierre-Edouard 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. François Huger, director of the « Fichier central des thèses » (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

9

SIGLES / ACRONYMS ATER Attaché Temporaire d’Enseignement et de Recherche C2SO Laboratoire Communication, Culture et Société CEA Commissariat à l’Energie Atomique CEPERC Centre d’Epistémologie et d’Ergologie Comparative CERSES Centre de Recherche Science, Ethique, Société CESEF Centre pour la Synthèse d'une Epistémologie Formelle CHSPAM Centre d'Histoire des Sciences et des Philosophies Arabes et Médiévales CIRIP Centre International de Recherche Interdisciplinaire en Psychiatrie CNFHPS Comité National Français d’Histoire et de Philosophie des Sciences CNRS Centre National de la Recherche Scientifique CR Chargé de Recherche CREA Centre de Recherche en Epistémologie Appliquée CRIL Centre de Recherche en Informatique de Lens DR Directeur de Recherche EA Equipe d’Accueil EHESS Ecole des Hautes Etudes en Sciences Sociales ENGREF Ecole Nationale du Génie Rural, des Eaux et des Forêts ENS Ecole Normale Supérieure Ens. Sec. Enseignant du Secondaire ERIM Equipe de Recherche en Informatique et Mathématiques ERRAPHIS Equipe de Recherches sur les Rationalités Philosophiques et les Savoirs ERSS Equipe de Recherche en Syntaxe et Sémantique FRE Formation de Recherche en Evolution GEMAS Groupe d'Étude des Méthodes de l'Analyse Sociologique GHPS Groupe transdisciplinaire Histoire Philosophie Sciences GREGHEC Groupement de Recherche et d’Etudes en Gestion à HEC GREPH Groupe de Recherche en Epistémologie Politique et Historique GRESE Groupe de Recherches Epistémologiques et Socio-Economiques HEC Ecole des Hautes Etudes Commerciales


10

IE Ingénieur d’Etudes IEP Institut d’Etudes Politiques IHPST Institut d’Histoire et de Philosophie des Sciences et des Techniques IJN Institut Jean Nicod INPT Institut National Polytechnique de Toulouse INRA Institut National de la Recherche Agronomique INRIA Institut National de Recherche en Informatique et en Automatique INSA Institut National des Sciences Appliquées IR Ingénieur de Recherche IRCAM Institut de Recherche et Coordination Acoustique/Musique IRIST Institut de Recherches Interdisciplinaires sur les Sciences et la

Technologie IRIT Institut de Recherche en Informatique de Toulouse IUFM Institut Universitaire de Formation des Maîtres IUT Institut Universitaire Technologique LaBRI Laboratoire Bordelais de Recherche en Informatique LACL Laboratoire d’Algorithmique, Complexité et Logique LAMA Laboratoire de Mathématiques LARSIM Laboratoire de Recherche sur les Sciences de la Matière LEF Laboratoire d’Economie Forestière LEF Laboratoire d’Economie Forestière LEPS Laboratoire d’Etudes du Phénomène Scientifique LIENS Laboratoire d'Informatique de l'Ecole Normale Supérieure LILaC Logic, Interaction, Language and Computation LINA Laboratoire d’Informatique de Nantes Atlantique LIP Laboratoire de l’Informatique du Parallélisme LIRDHIST Laboratoire Interdisciplinaire de Recherche en Didactique et en

Histoire des Sciences et des Techniques LITA Laboratoire d'Informatique Théorique et Appliquée LIUM Laboratoire d’Informatique de l’Université du Maine LLAIC Laboratoire de Logique, Algorithmique et Informatique LLCP Laboratoire d’études et de recherches sur les Logiques Contemporaines

de la Philosophie LMNO Laboratoire de Mathématiques Nicolas Oresme LORIA Laboratoire Lorrain de Recherche en Informatique et ses Applications LPHS – AHP Laboratoire de Philosophie et d’Histoire des Sciences – Archives Henri

Poincaré MAE Ministère des Affaires Etrangères MCF Maître de Conférences MSH Maison des Sciences de l’Homme PH Praticien hospitalier PHARE Pôle d'Histoire de l'Analyse et des Représentations Economiques PHIER Centre Philosophie et Rationalités


11

PPS Preuves, Programmes, Systèmes PR Professeur PRAG Professeur Agrégé dans l’enseignement supérieur PU Professeur des Universités PUF Presses Universitaires de France REHSEIS Recherches épistémologiques et historiques sur les sciences exactes et

les institutions scientifiques SAD-APT UMR Systèmes Agraires et Développement : Activités, Produits,

Territoires SPIN Sciences des Processus Industriels et Naturels STL UMR Savoirs, Textes, Langage UCBL Université Claude Bernard – Lyon 1 UMR Unité Mixte de Recherche : UPR Unité Propre de Recherche UPRESA Unité Propre de Recherche de l'Enseignement Supérieur Associée au

CNRS

UNITÉS DE RECHERCHE

RESEARCH UNITS

15

Introduction

Cette liste a été établie sur la base des informations transmises par les directeurs des unités de recherche. Chaque entrée fournit les coordonnées de l’unité. Elle donne une vision d’ensemble de l’unité de recherche, de ses membres et de la part des activités consacrée au domaine DLMPS. Cette partie du guide est organisée par ordre alphabétique des noms d’équipe. La rubrique « Institutions » donne les établissements ou organismes de tutelle des équipes (en France, les équipes de recherche sont souvent placées sous plusieurs tutelles, par exemple « Université Paris 7 & CNRS »). On se reportera à la liste des sigles donnée au début 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.


16

Centre d'histoire des sciences et des philosophies arabes et médiévales (CHSPAM, UMR 7062)

Institutions: CNRS / Université Paris 7 Denis Diderot / Université Paris 1 Sorbonne

Directeur / Director: Pierre Pellegrin ([email protected])

Adresse / Address:

CHSPAM, UMR 7062 7 rue Guy Moquet, B.P. 8. F-94801 Villejuif Cedex.

Téléphone / Phone: +33 (0) 149583599 - Fax: +33 (0) 149583547

Email: [email protected]

Site web / Website: http://chspam.vjf.cnrs.fr/

Membres statutaires / Regular members: 10 Membres associés / 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


17

Centre de Recherche en Epistémologie Appliquée (CREA, UMR 7656)

Institutions: CNRS / Ecole Polytechnique

Directeur / Director: Paul Bourgine ([email protected])

Address

CREA – Ecole Polytechnique 1, rue Descartes 75005 Paris

Téléphone / Phone: 33/(0)1 55 55 86 23 - Fax: 33/(0)1 55 55 90 40


Site web / Website: http://www.crea.polytechnique.fr/


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 Jean-Pierre, 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


• 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.


18

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

Institutions: CNRS / Université d'Artois

Directeur / Director: Eric Grégoire ([email protected])

Adresse / Address:

CRIL CNRS. Université d'Artois. Rue Jean Souvraz SP18. F-62307 Lens Cedex.

Téléphone / Phone: 33/(0)321791785 - Fax: 33/(0)321791795


Site web / Website: http://www.cril.univ-artois.fr/



GREGOIRE Eric, PR ; MARQUIS Pierre, PR ; SAIS Lakhdar, PR ; BENFERHAT Salem, PR ; KONIECZNY Sebastien, CR ; COSTE-MARQUI Sylvie, MCF ; COQUIDE Jean-Luc, 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-François, MCF ; LECOUTRE Christophe, MCF ; HEMERY Fred, MCF ; CHETCUTI Nathalie, MCF ; VIDAL Vincent, MCF ; CHMEISS Assef, MCF


• 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


19

Centre de Recherche Sens, Ethique, Société (CERSES, UMR 8137)

Institutions: CNRS / Université René Descartes Paris 5

Directeur / Director: Mme Edwige Rude-Antoine ([email protected])

Adresse / Address:

CERSES - UMR 8137. Centre Universitaire des Saints-Pères. 45 rue des Saints-Pères. F-75270 PARIS cedex 06.



Site web / Website: http://cerses.shs.univ-paris5.fr/

Membres statutaires / Regular members: 13 Membres associés / Associate members: 1 (postdoc) Doctorants / Doctoral students: 6


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, Danièle, IR ; TERRE, Dominique, CR


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.


20

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

Téléphone / Phone: 33/(0)1 57 27 65 14 – Fax: 33/(0)1 57 27 65 15

E-mail: [email protected]

Site web / Website: http://www.centrecanguilhem.net/

Membres statutaires / Regular members: 18 Membres associés / Associate members: 1 (postdoc) Doctorants / Doctoral students: 10


CAMMELLI Michèle, IR ; COURBAN Antoine, PR ; DELAPORTE François, 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 Céline, MCF ; LEPLEGE Alain, PR ; MADELRIEUX Stéphane, ATER ; MASQUELET Alain-Charles, PU-PH ; MISSA Jean-Noël, PR ; NOUVEL Pascal, PR ; OPINEL Annick, DR ; UTAKER Arild, PR


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


21

Ethique et philosophie de la médecine et de la biologie (EA 3783)

Institutions: Université de la Méditerranée Aix-Marseille 2

Directeur / Director: Jean-Robert Harlé ([email protected])

Adresse / Address:

Espace Ethique Méditerranéen. Hôpital de la Timone. 264 rue Saint-Pierre. F-13385 MARSEILLE Cedex 5.



Site web / Website: http://www.medethique.com



HARLÉ Jean-Robert, PR (PU-PH) ; MATTEI Jean-François, PR (PU-PH) ; LE COZ Pierre, MCF ; MALZAC Perrine, PH ; ALTAVILLA Annagrazia (PhD), MCF Associée ; CANO Nicole, PH, Attachée APHM ; DESPINOY Lidia, Psychologue, Attachée APHM ; GEORGANTELIS Cynthia, Médecin, Attachée APHM ; PEDROT Philippe, PR ; GAMERRE Marc, PR (PU-PH) ; COLLIGNON Patrick, PH ; VOELCKEL Marie-Antoinette, Conseiller Génétique, Ingénieur Recherche


• Establishing a methodology for the communication of knowledge in the field of medical ethics

• Analysing ways of justifying a medical decision


22

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

Institutions: Ecole Normale Supérieure de la rue d'Ulm

Directeur / Director: Claude Debru ([email protected])

Adresse / Address:

Ecole normale supérieure. 45 rue d'Ulm. F-75005 Paris.

Téléphone / Phone: 00 33 (0)1 44 32 30 77 - Fax: 00 33 (0)1 44 32 31 22


Site web / Website: http://www.ens.fr/



DEBRU Claude, PR ENS ; ALUNNI Charles, chercheur associé, université de Pise ; PAUL Thierry, DR Mathématiques ; ANDRÉ Yves, DR Mathématiques ; NICOLAS François, PR Associé IRCAM ; DUPOUY Stéphanie, PRAG ENS ; JOINET Jean-Baptiste, MCF Paris 1 ; HAUTCOEUR Pierre-Cyrille, PR ENS ; BENOIST Jocelyn, PR Paris 1 ; LONGO Giuseppe, DR ENS


This original transdisciplinary structure belonging to the Ecole normale supérieure 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.


23

Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST, UMR 8590)

Institutions: CNRS / Université Paris 1 / Ecole Normale Supérieure

Directeur / Director: Jacques Dubucs ([email protected])

Adresse / Address:

13, rue du Four. F-75006 Paris.



Site web / Website: http://www-ihpst.univ-paris1.fr/



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 (Collège de France); BRAUNSTEIN Jean-François, MCF (Un. Paris 1); CASTEL Pierre-Henri, CR ; CHAPOUTHIER Georges, DR ; DUBUCS Jacques, DR ; DUCHESNEAU François, Pr (Université de Montréal) ; DUPONT Jean-Claude, MCF (Un. de Picardie) ; FAGOT-LARGEAULT Anne, PR (Collège de France) ; FOREST Denis, PR (Un. Lyon 3); GALPERIN Charles, Pr émérite (Un. Lille 3); HUNEMAN Philippe, CR ; GAYON Jean, PR (Un. Paris 1); LAMBERT Jacques, Pr (Un. Piere Mendès-France, Grenoble); LONGY Françoise, 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 Françoise, MCF (Un. Paris 5) ; PICAVET Emmanuel, MCF (Un. Paris 1) ; PLAGNOL Arnaud, MCF (Un. Paris 8) ; de ROUILHAN Philippe, DR ; SOLER Léna, MCF (IUFM de Nancy) ; SPRANZI Martha, MCF (Un. Saint-Quentin en Yvelines) ; SYMONS John, PR ; SCHAAR (van der) Maria, Ass. PR (Un. d’Utrecht); VICKERS John, PR (Un. du Texas) ; WAGNER Pierre, MCF (Un. Paris 1) ; ZWIRN Hervé, DR.


• Philosophy of Logic and Language


24

• Philosophy of Biology and Medecine

• Philosophy of Physics and Complexity

• History of Philosophy of Science

• Philosophy of Social Sciences


25

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

Institutions: Université Louis Pasteur Strasbourg 1

Directeur / Director: Bernard Ancori ([email protected])

Adresse / Address:

7, rue l'université. F-67000 Strasbourg.



Site web / Website: http://irist.u-strasbg.fr/



ALLAMEL-RAFFIN Catherine, MCF ; ANCORI Bernard, PR ; GANGLOFF Jean-Luc, Chercheur associé ; MOKTEFI Amirouche, doctorant ; SCHAPPACHER Norbert, PR


• Philosophy of experiment

• History of logic

• History of mathematics

• Models

• Scientific Images


26

Institut Jean Nicod (IJN, UMR 8129)

Institutions : CNRS / EHESS / ENS

Directeur / Director: Pierre Jacob ([email protected])

Adresse / Address:

CNRS - IJN ENS - Pavillon Jardin 29 rue d'Ulm 75005 Paris.

Téléphone / Phone: 33/(0)1 44 32 26 97 - Fax : 33/(0)1 44 32 26 99

Email : [email protected]

Site web / Website: http://www.institutnicod.org/



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


• language & communication

• perception, action & situated cognition

• social cognition & metacognition

• ontological & epistemological issues in the cognitive & social sciences


27

Laboratoire d'Algorithmique, Complexité et Logique (LACL)

Institutions: Université Paris 12

Directeur / Director: Gaétan Hains ([email protected])

Adresse / Address:

LACL. Université Paris-12. 61 avenue du Général de Gaulle. F-94000 Créteil.

Téléphone / Phone: 0145171647 - Fax: 0145176601


Site web / Website: http://www.univ-paris12.fr/lacl/

Membres statutaires / Regular members: 18 Membres associés / Associate members: 3 Doctorants / Doctoral students:


BEAUQUIER Danièle, Pr ; BÈS Alexis, MCF ; CASPARD Nathalie, MCF ; CEGIELSKI Patrick, Pr ; COHEN Joëlle, MCF ; CROLARD Tristan, MCF ; DIMA Catalin, MCF ; DUFLOT-KREMER Marie, MCF ; GAVA Frédéric, MCF ; HAINS Gaétan, Pr ; LALEAU Régine, Pr ; MOURLIN Fabrice, MCF ; PELZ Elisabeth, Pr ; POLONOWSKI Emmanuel, MCF ; POMMEREAU Franck, MCF ; SLISSENKO Anatol, Pr ; VALARCHER Pierre, MCF ; VERLAN Serghei, MCF


• Temporal and probabilistic models

• Communicating systems

• Logic, automata and specifications


28

Laboratoire de Mathématiques - Equipe de Logique (LAMA, Equipe de logique, UMR 5127)

Institutions: CNRS / Université de Savoie

Directeur / Director: René David ([email protected])

Adresse / Address:

LAMA, Equipe de Logique. Campus Scientifique. F-73376 Le Bourget du lac.



Site web / Website: http://www.lama.univ-savoie.fr



BERNARD Noel, MCF ; DAVID René, PR ; HYVERNAT Pierre, MCF ; NOUR Karim, MCF ; RAFFALLI Christophe, MCF ; THEYSSIER Guillaume, CR ; VUILLON Laurent, PR (directeur du LAMA)


• Proof theory

• Lambda Calculus

• Discrete mathematics

• Tiling

• Word combinatorics

• Cellular automata

• Discrete Geometry


29

Laboratoire de Philosophie et d'Histoire des Sciences – Archives Henri Poincaré (LPHS-AHP, UMR 7117)

Institutions: CNRS / Université Nancy 2

Directeur / Director: Gerhard Heinzmann ([email protected])

Adresse / Address:

Université Nancy 2. 23 bd Albert Ier. BP 33-97. F-54015 NANCY Cedex.



Site web / Website: http://www.univ-nancy2.fr/poincare/



ANDRIEU Bernard, Pr ; BARREAU Hervé, DR ; BASTIT Michel, Pr ; BEAULIEU Liliane, CR ; BENATOUIL Thomas, MCF ; BETTAHAR Yamina, MCF ; BLANC-BENON Laure, Docteur ; BOLMONT Etienne, MCF ; BOURIAU Christophe, MCF ; CHARGOIS François, MCF ; CHOFFEL-MAILFERT Marie-Jeanne, MCF ; CORET André, DR ; FLAMENT Dominique, CR ; GUINGAMP Corinne, MCF ; HEINZMANN Gerhard, Pr ; KRÖMER 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-Françoise, MCF ; SOLER Léna, MCF ; TRIZIO Emiliano, Docteur ; VAX Louis, Pr ; VIDAL-ROSSET Joseph, MCF ; VOLKERT Klaus, Pr ; WALTER Scott, MCF ; WIEBER Frédéric, MCF


• 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


30

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)


31

Laboratoire de Recherche sur les Sciences de la Matière (LARSIM)

Institutions: Commissariat à l'Energie Atomique

Directeur / Director: Etienne Klein ([email protected])

Adresse / Address:

CEA/Saclay DSM/DRECAM/SPEC/LARSIM. Bâtiment 772. Ormes des Merisiers. F-91191 Gif-sur-Yvette Cedex.



Site web / Website: http://www-drecam.cea.fr/spec/Phocea/Vie_des_labos/Ast/ast_groupe.php?id_groupe=748



KLEIN Étienne, directeur de recherche ; COHEN-TANNOUDJI Gilles, chercheur émérite ; GRINBAUM Alexei, chercheur ; BONTEMS Vincent, postdoctorant.


• Philosophical, Technical and Formal Foundations of Modern Physics.

• Epistemology and Ethics of Nanoscience and Nanotechnology.

• Communication between Philosophy, Science and Society.


32

Laboratoire d’Études du Phénomène Scientifique (LEPS, EA 4148)

Institutions: Université Lyon 1 (équipe LIRDHIST) / École normale supérieure lettres et sciences humaines (équipe C2SO) / Institut d’Études Politiques de Lyon (équipe GREPH) / INSA Lyon (équipe STOICA) / École nationale vétérinaire de Lyon (équipe LIRDHIST)

Directeur / Director: Philippe Jaussaud ([email protected])

Adresse / Address:

Université Lyon 1 Domaine scientifique de La Doua Bd du 11 novembre 1918, Bâtiment La Pagode 38 Bd Niels Bohr. F-69622 VILLEURBANNE CEDEX.

Téléphone / Phone: +33 (0) 478872630 ou +33 (0) 472448013 - Fax: +33 (0) 478878012 ou +33 (0) 472431535


Site web / Website: see the remarks below



• groupe LIRDHIST (UCBL) : 19 chercheurs (responsable : Philippe Jaussaud) - BATTIE Véronique ; BLANC Floriane ; CHABOT Hugues ; CLÉMENT Pierre ; GOFFETTE Jérôme ; BISSUEL Geneviève ; BRUGUIÈRE Catherine ; DURAND-GUERRIER Viviane ; HÉRAUD Jean-Loup ; JAUSSAUD Philippe ; KHANTINE-LANGLOIS Françoise ; 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 Joëlle ; GINDIS David ; GUILLAUD Franck ; HARPET Cyrille ; N’GUYEN Céline

• groupe C2SO (ENS-lsh) : 8 chercheurs (responsable : Joëlle Le Marec) - BABOU Igor ; BELAEN Florence ; LE MAREC Joëlle ; MASSIT-FOLLEA Françoise ; REBEYROTTE François ; TOPALIAN David


33

• 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)


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/


34

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

Institutions: CNRS / Université Paul Sabatier, INPT

Directeur / Director: Philippe Balbiani ([email protected])

Adresse / Address:

Université Paul Sabatier. IRIT-LILaC. Andreas Herzig. 118 route de Narbonne. F-31062 Toulouse Cedex 9.

Téléphone / Phone: +33 56155-8123 - Fax: +33 56155-6258


Site web / Website: http://www.irit.fr/LILaC



ASHER Nicholas, DR ; BALBIANI Philippe, CR ; BESNARD Philippe, DR ; DOUTRE Sylvie, MCF ; FARIÑAS DEL CERRO Luis, DR ; GASQUET Olivier, PR ; HERZIG Andreas, DR ; LONGIN Dominique, CR ; MULLER Philippe, MCF ; PERRUSSEL Laurent, MCF ; VIEU Laure, CR


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).


35

Méthodes formelles (UMR 5800)

Institutions: LaBRI, Laboratoire Bordelais de Recherche en Informatique

Directeur / Director: Igor Walukiewicz

Adresse / Address:

351, cours de la Libération F-33405 Talence cedex.


Site web / Website: http://www.labri.fr/equipes/MethodesFormelles/



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


• Graph decompositions

• Language theory, recognizability

• Monadic second-order logic, program logics

• Proof assistants, CoQ

• Verification, Games

• Computational linguistics, Formal grammars, Lambek calculus


36

PLUME (PLUME, UMR 5668)

Institutions: LIP / ENS de Lyon

Directeur / Director: Daniel Hirschkoff ([email protected])

Adresse / Address:

46, Allée d'Italie. F-69364 LYON CEDEX 07.



Site web / Website: http://www.ens-lyon.fr/LIP/PLUME/plume.fr.html



AUBEDAUD Philippe ; DUPRAT Jean ; HIRSCHKOFF Daniel ; LESCANNE Pierre


• Rewriting and explicit substitution

• Modularity

• Static and Dynamic modularity

• Models for distributed and mobile computation

• The Curry-Howard correspondence

• Constructive Geometry

• Game theory


37

Preuves-Programmes-Systèmes (PPS, UMR 7126)

Institutions: CNRS / Université Paris 7 Denis Diderot

Directeur / Director: Pierre-Louis Curien ([email protected])

Adresse / Address:

Laboratoire PPS. Université Paris Diderot - Paris 7, Case 7014. F-75205 PARIS Cedex 13.



Site web / Website: http://www.pps.jussieu.fr



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 ; LEGRANDGÉRARD Yves, IR ; LETOUZEY Pierre, MCF ; MANOURY Pascal, MCF ; MELLIÈS Paul-André, CR ; MÉTAYER François, MCF ; MIQUEL Alexandre, MCF ; PADOVANI Vincent, MCF ; PARIGOT Michel, CR ; RIFFLET Jean-Marie, PR ; ROZIÈRE Paul, MCF ; VARACCA Daniele, MCF ; VOUILLON Jérôme, CR


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


38

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


39

Recherches épistémologiques et historiques sur les sciences exactes et les institutions scientifiques (REHSEIS, UMR 7596)

Institutions: CNRS / Université Paris 7 – Denis Diderot

Directeur / Director: Karine Chemla ([email protected])

Adresse / Address:

Université Paris Diderot - Centre Javelot. 2 Place Jussieu. F-75251 Paris Cedex 05.


Email: vmaouchi@ univ-paris-diderot.fr

Site web / Website: http://www.rehseis.cnrs.fr/



BELNA Jean-Pierre, Ecoles d'ingénieurs ; BONIFACE JACQUELINE, MCF Université Nice ; CHEMLA Karine, DR, CNRS ; CHERICI Céline, ATER, U. Paris 7 ; DARRIGOL Olivier, DR, CNRS ; DE COURTENAY Nadine, MCF CNAM ; DEBRU Claude, DR, CNRS & ENS Ulm ; D’HOMBRES Emmanuel, post-doctorant ; DURAND-RICHARD Marie-José, MCF, U. Paris 8 ; FERREIROS Jose, PR, U. Séville ; FOX KELLER Evelyn, PR, MIT -Chaire Blaise Pascal, Fondation ENS ; FRANCESCHELLI Sara, MCF, ENS-LSH 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, post-doctorant, CNRS ; LACKI Jan, DR, CNRS ; LECOURT Dominique, PR, U. Paris 7 ; LEFEVE Céline, MCF, U. Paris 7 ; LEPLEGE Alain, PR, U. Paris 7 ; LE RU Véronique, MCF, U. Reims ; MOSSIO Matteo, ATER, U. Paris 7 ; NOUVEL Pascal, MCF, U. Paris 7 ; PANZA Marco, DR, CNRS ; PATY Michel, DR Emérite, 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 Stéphane, MCF, U. Nantes


40


• 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 d’Alembert.

• 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.


41

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 Rétoré ([email protected])

Adresse / Address:

LABRI & INRIA Futurs. Université Bordeaux 1. 351, cours de la Libération. F-33405 Talence Cedex .

Téléphone / Phone: +33540003872 - Fax: +33540006669


Site web / Website: http://signes.labri.fr/



RETORE Christian, PR ; DURAND Irène, MCF ; MOOT Richard, CR ; PORTINE Henri, PR ; HUET Gérard, DR ; LECOMTE Alain, PR ; KOBELE Greg, Postdoc ; MUSKENS Reinhard, Visitor


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 syntax-semantics 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


42

resolution, and the study of the relationship between the predicative structure of a

sentence and the logic structure of discourse

CHERCHEURS INDIVIDUELS

INDIVIDUAL RESEARCHERS

45

Introduction

Nous avons réalisé cette liste à partir des informations fournies par les chercheurs individuels qui ont répondu au questionnaire. Chaque entrée contient, outre les coordonnées du chercheur, ses domaines d’étude et une bibliographie sélective de cinq titres au maximum. L’affiliation est donnée immédiatement après le nom. Sont données dans l’ordre: institution de rattachement (par exemple université ou organisme de recherche), et unité de recherche. Assez souvent, l'équipe de recherche indiquée n'appartient pas à l'établissement d'affiliation professionnelle. Ceci signifie que l'individu x est employé par tel établissement, mais développe sa recherche au sein du domaine DLMPS dans telle équipe ailleurs. Ceci est une situation assez fréquente en France. On se reportera au répertoire des unités de recherche pour les adresses des unités de recherche. Dans certains cas, l’équipe de recherche indiquée n’apparaît pas dans le répertoire de recherches figurant dans ce guide. Ceci signifie soit que l’équipe en question n’a pas répondu au questionnaire, soit que le domaine DLMPS n’est pas prioritaire pour elle. Nous avons renoncé à donner une adresse physique pour chaque chercheur, car les adresses obtenues à partir de l’enquête en ligne étaient trop hétérogènes dans leur format. L’adresse électronique nous a paru plus sûre. Pour la rubrique libre "Observations / Remarks", nous avons respecté le choix des personnes de s'exprimer soit en français, soit en anglais. La liste inclut les étudiants en thèse qui en ont fait la demande et dont la liste de publication indique une reconnaissance académique. Enfin, le guide ne couvre par les chercheurs francophones, mais seulement ceux exerçant en France. Que nos collègues de pays francophones ayant répondu au questionnaire ne s’en offusquent pas : le guide a été conçu 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 individual’s 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.

mailto:[email protected]

mailto:[email protected]


47

• 2005, "Autres mondes ou notre monde ? Le futur biotechnologique en science-fiction adulte et jeunesse", Cahier Robinson, 17, Autres Mondes, Revue du CRELID, Université d'Artois, Arras.

• 2006, "Greg Egan, variations sur l’être humain", Critique, 709-710, Les Mutants, Paris: Editions de Minuit.

• 2006, "Politique de l’altération des corps et des facultés reproductrices humaines dans quatre utopies féministes de science-fiction", in F. Dupeyron-Lafay (dir.), Les Représentations 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'intérêt: théorie des mondes possibles ; expériences de pensée ; théorie de la fiction, philosophie de la médecine et de la biologie.

ALTAVILLA Annagrazia (PhD student)

Université d'Aix-Marseille 2 — Ethique et Philosophie de la Médecine et de la Biologie

• E-mail: [email protected]


• Bioethics

Bibliographie sélective / Selected publications

• 2004, avec Dell'Erba A. & Quaranta R., "La liberté de disposer de son corps: droit fondamental déclaré 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 Générale de Droit Médical, 14, 159-196.

• 2005, "La recherche embryonnaire en Europe: analyse comparée", in "La loi Bioéthique de 2004", Cahier de Droit de la Santé du Sud-Est, PUAM, 3, 47-67.

• 2005, "La liberté de soins en Europe à la lumière des arrêts de la Cour de Justice des Communautés européennes: quelles perspectives ?", Revue Générale de Droit Médical, 15, 27-64.

• 2006, "Le droit européen de la bioéthique entre progrès scientifique, intérêts économiques et principes éthiques", Revue Générale de Droit Médical, 21, 87-107.

Observations / Remarks: Domaines de recherche : Droit européen et éthique de sciences biologiques et médicales. Droit de la santé.


48

ALUNNI Charles

École Normale Supérieure — Laboratoire diciplinaire "Pensée des Sciences"



• General problems of methodology and scientific reasoning • Philosophy of physics • Philosophy of mathematics and logic


• 1999, "Relativités et puissances spectrales chez Gaston Bachelard", Revue de Synthèse, Pensée des sciences, 120 (1), Paris: Albin Michel.

• 2005, "Diagrammes & catégories comme prolégomènes à la question : Qu'est-ce que s'orienter diagrammatiquement dans la pensée ? ", Théorie, littérature, enseignement, 22, Presses Universitaires de Vincennes.

• 2005, "Albert Lautman et le souci brisé du mouvement", in Revue de Synthèse, Sciences et philosophie au XX° siècle. L'École de Zürich 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 Synthèse, Sciences et philosophie au XX° siècle. L'École de Zürich 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 supérieure — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST) (CNRS/Paris 1/ENS) & équipe "Rationalités contemporaines" (Paris 4)



• Philosophy of cognitive science, psychology and linguistics • General problems of methodology and scientific reasoning • Philosophical and applied logics


• 2000, "The normativity of context", Philosophical Studies, 100, 273-303


49

• 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 d’ouvrage et 3 chapitres), Introduction aux sciences cognitives, édition augmentée, 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: [email protected] or [email protected]


• Formal languages and computation • Logic and computation • Mathematical logic


• 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 bibliothèque Coq pour le traitement des langues naturelles", JFLA : Journéees Francophones des Langages Applicatifs, Obernai: Mars 2005.

• 2005, "Méta-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 dernière année de thèse et je m'intéresse à l'application de la logique dans le domaine de la linguistique computationnelle.

AUCOUTURIER Etienne (PhD student)

Université Paris I — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST).


50



• Philosophy of biology • Ethical issues in scientific practice and technologies • Bioethics


• 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 d’effondrement des sociétés humaines", Études, 404 (9), 129-131.

BACHTOLD Manuel

Dortmund Universität, Institut für Philosophie — IHPST



• Philosophy of physics


• 2006, "An Instrumentalist Criticism of Popper’s 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-Gaël

CNRS — UMR 7102 et Recherches épistémologiques et historiques sur les sciences exactes et les institutions scientifiques (REHSEIS)



51


• Historical and sociological aspects in the philosophy of science • Philosophy of biology • Formal approaches to methodology


• 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 siècle", in Cherici, C. & Dupont, J.-C. (eds.), L’organe de la pensée à l’âge classique (XVIe-XVIIIe siècles), à paraître.

• "L’étude du vivant chez Georges Canguilhem : des concepts aux objets biologiques", Actes de la Journée d'étude en Hommage à Georges Canguilhem « Philosophie et Médecine », organisateurs : Anne Fagot-Largeault (Collège de France), Claude Debru et Michel Morange (École Normale Supérieure), à paraître.

• "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)



• Philosophy of physics • Philosophy of biology


• 2000, La physique face à la probabilité, Paris: Vrin, coll. "Mathesis". • 2001, avec P. Ludwig, "Les modèles comme fictions", Philosophie, 68, 16-43. • 2003, avec L. Pinon (dir.), Ecriture scientifique, numéro spécial 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. Löwe, W. Malzkorn, T. Räsch (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.


52

BAROT Emmanuel

Université Touloluse 2 - Le Mirail, département de philosophie - EA ERRAPHIS



• Philosophy of mathematics and logic • Philosophical and applied logics • Philosophy of social sciences


• 2002, "Dialectique de la nature pensante : la construction de la cognition mathématique", Philosophia Scientiae, 6 (1), Biologie et cognition, 33-72.

• 2003, "L’objectivité mathématique selon Albert Lautman : entre Idées dialectiques et réalité physique", Cahiers François Viète, n°6, 3-27.

• 2003, "Le rasoir hégélien : déconstruire les forces suspectes de la mécanique newtonienne", Archives Internationales d'Histoire des Sciences, Académie Internationale d’Histoire des Sciences, n°150-151, Vol. 53, 198-211.

• 2005, "En quoi la crise des fondements des mathématiques est-elle terminée ?", Philosophia Scientiae, 9 (2), Aperçus philosophiques en logique et mathématiques, 23-39.

• 2005, "Ecrire avec science comment l’Autre existe son aliénation. Sartre et les concepts fondamentaux de la sociologie", Etudes sartriennes, n°10, Dialectique, Littérature, 55-75.

Observations / Remarks: Né en 1976. MCF en logique et philosophie des sciences au département de philosophie du Mirail depuis 2005. (Plusieurs ouvrages en cours à partir de la thèse de doctorat soutenue en novembre 2004, sur les philosophies dialectiques des mathématiques depuis Hegel).

BARREAU Hervé

CNRS (retired) — Laboratoire de Philosophie et d’Histoire des Sciences-Archives Poincaré



• Philosophy of physics • General problems of methodology and scientific reasoning • Bioethics


53


• 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, 195-201.

• 2001, "La physique et la nature", Annales de la Fondation Louis de Broglie, 26 (1-3), 43-53.

• 2003, "La flèche 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 l’Homme Paris-Nord — Laboratoire LLCP de l'Université de Paris 8

• E-mail: jh.barthelemy [at] wanadoo.fr


• General problems of methodology and scientific reasoning • Philosophy of physics • Philosophy of social sciences


• 2005, Penser l'individuation. Simondon et la philosophie de la nature, Paris: L'Harmattan, préface de Jean-Claude Beaune.

• 2005, Penser la connaissance et la technique après Simondon, Paris: L'Harmattan. • 2006, Coordination du numéro "Gilbert Simondon" de la Revue philosophique

(n°3/2006).

Remarks : Recherches en théorie de la connaissance, et poursuite de l'entreprise de

l'Encyclopédisme génétique initiée par le philosophe français Gilbert Simondon.

Directeur du Programme "Simondon, ou l'Encyclopédisme génétique" de la Maison des

Sciences de l'Homme de Paris-Nord

BASSAC Christian

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


54



• Mathematical logic • Formal languages and computation • Philosophy of cognitive science, psychology and linguistics


• 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, à paraître.

BASTIT Michel

Université de Bourgogne — Laboratoire de Philosophie et d’Histoire des Sciences – Archives Henri Poincaré (CNRS / Nancy Université)



• Philosophy of biology • Philosophical and applied logics


• 2002, Les quatre causes de l'être selon la philosophie première d'Aristote, Louvain: Peteers. • 2003, Les tables de logique de Giacomo Zabarella, Paris: L'Harmattan. • 2003, "Du démiurge platonicien au Premier Moteur aristotélicien", Methexis,

Academia Verlag, XVI, 23-42. • Recherches sur l'embyologie des poumons, des reins et des glandes interrénales de Typhlonectes

compressicauda, Mémoire EPHE. • 2006, "De l'activité du Principe", Mélanges Vetô, Beyrouth, Iris, 27, 49-72.

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


55

BECQUEMONT Daniel

Université Lille 3 — C.E.C.I. L. Lille 3



• Historical and sociological aspects in the philosophy of science • Philosophy of biology • Bioethics


• 1992, Darwin, darwinisme, évolutionnisme, Paris: Kimé. • 1998, Le cas Spencer, Paris: PUF. • 2000, "Eugénisme et socialisme en Grande Bretagne 1880-1914", Mil neuf cent, 18,

53-79. • 2006, "Samuel Butler critique de Darwin", Revue de la Société Française d’Histoire de la

Biologie, 13 (1). • 2006, "Charles Darwin et Herman Melville aux Iles Galagapos", Bulletin de la Société

d’Histoire des Sciences Humaines, 29, 28-40.

BELLIS Delphine (PhD student)

Université Paris 4 — EA 3552 Métaphysique, histoires, transformations, actualité



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


• 2005, "La déprise du sensible": présentation de Voir et connaître à l'âge classique de Philippe Hamou, Sciences et Avenir Hors-série 142.

• 2005, "Les faits théoriques": présentation de Galilée, Newton lus par Einstein de Françoise Balibar, Sciences et Avenir Hors-série 142.

• "La reconstruction physique du monde à partir de l'expérience de pensée: Descartes - La Fable du Monde", in E. Brun-Rovet & D. Bellis (dir.), De l'expérience de pensée à l'expérience concrète ?, à paraître.

Observations / Remarks: Allocataire-monitrice à l'Université Paris 4, je mène une thèse, sous la direction de Michel Fichant, sur « Le visible et l'invisible dans la pensée


56

cartésienne ». Ma recherche, essentiellement centrée sur la physique cartésienne, aborde, entre autres, des champs tels que l'optique, la microscopie, la structure de la matière.

BELNA Jean-Pierre

Université Paris 7 Denis Diderot — Recherches Épistémologiques et Historiques sur les Institutions Scientifiques (REHSEIS)



• Philosophy of mathematics and logic


• 1996, La notion de nombre chez Dedekind, Cantor, Frege, Paris: Vrin. • 1997, "Les nombres réels: 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 géométrie 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é)



• Historical and sociological aspects in the philosophy of science • Philosophy of social sciences


• 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, août 1999, 379-396.

• 2003, "La méthode épicurienne des explications multiples", in T. Bénatouïl, V. Laurand, A. Macé (éd.), "Etudes épicuriennes", Cahiers philosophiques de Strasbourg, n° 15, printemps 2003, 15-47.


57

• 2004, "L’usage 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, "Cléanthe contre Aristarque : stoïcisme et astronomie à l'époque hellénistique", Archives de philosophie, vol. 68, n° 3, 207-222.

BENIS SINACEUR Hourya

CNRS — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST)





• 1999, Corps et Modèles. Essai sur l'histoire de l'algèbre réelle, 2ème édition, Paris: Vrin. Traduction américaine sous presse, Boston: Birkhäuser-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.

• "Tarski’s practice and philosophy : between formalism and pragmatism", in S. Lindström, 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)



• Philosophy of physics • Historical and sociological aspects in the philosophy of science • Ethical issues in scientific practice and technologies


58


• 1999, "Atomism and Positivism : A Legend about French Chemistry", Annals of Science, 56, 81-94.

• 2003, La science contre l’opinion : histoire d’un divorce, Paris: Seuil. • 2004, Se libérer de la matière? 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, 627-648.

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

BERLINE Chantal

CNRS — UMR 7126 (Laboratoire PPS – Preuves, Programmes, Systèmes)



• Mathematical logic • Formal languages and computation


• 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, 4-23.

• 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 Epistémologie Appliquée (CREA)



59


• 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


• 2002, "Helmholtz, critique de la géométrie kantienne", Revue de Métaphysique et de Morale, 35 (3), 391-396.

• 2002, Traduction et présentation de textes de H. v. Helmholtz (traduits de l’allemand) in Revue de Métaphysique et de Morale, 35 (3), 397-410 (présentation : 391-396). (« L’espace peut être transcendantal sans que les axiomes le soient » / « L’applicabilité des axiomes au monde physique »)

• 2006, "Les propositions non vérifiables ont-elles un sens ? Probabilité, action et signification chez H. Reichenbach", Dialogue. Revue canadienne de philosophie, 45 (1), 46-68.

• 2006, Traduction et présentation de textes de H. Reichenbach (traduits de l’allemand), in Ch. Bonnet et P. Wagner (dir.), L’âge d’or de l’empirisme logique, Paris: Gallimard. ("Le concept de vérité en physique", 231-251 [présentation : 223-229] / "Les fondements logiques du concept de probabilité", 375-404 [présentation : 364-374]).

BITBOL Michel

CNRS — Centre de Recherche en Épistémologie Appliquée



• Philosophy of physics • General problems of methodology and scientific reasoning • Philosophy of cognitive science, psychology and linguistics


• 1996, Schrödinger's philosophy of quantum mechanics, Boston Studies in the philosophy of science, Kluwer.

• 1996, Mécanique quantique, une introduction philosophique, Collection Nouvelle Bibliothèque Scientifique, Flammarion. Réédition 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

neurophénoménologie de Francisco Varela", Intellectica, 43, 135-157.


60

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-HESPERIÈS Annie

Université Paris 4 — Centre d'Etudes Cartésiennes



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


• 1990, Le principe de vie chez Descartes (et ses prédécesseurs), Paris: Vrin (livre issu de la thèse 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 médecine 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



• Philosophical and applied logics • Logic and computation • Formal languages and computation


61


• 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 Frédéric

Institut de Recherche en Informatique et Automatique — LORIA


• Formal languages and computation


• 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 d’Histoire des Sciences – Archives Henri Poincaré (CNRS / Nancy Université)



• General problems of methodology and scientific reasoning • Science and education


62


• 1999, Le rôle épistémique des analogies à l’exemple de l’électricité, du magnétisme et de l’électromagnétisme au XIXe siècle, Lille: Septentrion (thèse 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. L’exemple de l’analogie électricité-chaleur", Philosophia Scientiae, 7 (2), 115-146.

• 2005, "Les analogies théories — artefacts : le cas des modèles hydrauliques au 19ème siècle", Philosophia Scientiae, 5 (2), 1-25.

• 2005, "Expériences de savants, expériences d’élèves", in Andrieu B. et al. (dir.), Expérimenter pour apprendre, Paris: L’Harmattan, coll. "Mouvement des savoirs", 33-52.

BONNAY Denis

École Normale Supérieure, Département d'Études Cognitives — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST)



• Philosophical and applied logics • Formal languages and computation • Philosophy of mathematics and logic


• 2004, “Preuves et jeux sémantiques”, in M. Rebuschi & T. Tulenheimo (eds), Logique & Théorie 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, 41-62.

• 2005, avec B. Simmenauer, “Tonk Strikes back”, Australasian Journal of Logic, 3, 33-44.

• 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. Kölbel (eds), Relative Truth, Oxford: Oxford UP, forthcoming.


63

BONNET Christian

Université Paris 1 — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST) (CNRS/UMR8590)



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


• 1999, Traduction française de Karl Popper, Les deux problèmes fondamentaux de la théorie 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


• E-mail: [email protected] or


• Philosophy of mathematics and logic • Historical and sociological aspects in the philosophy of science


• 1999, Pensée symbolique et intuition, Paris: Presses Universitaires de France, coll. Philosophies.

• 2000, Locus logicus, essai sur le statut de l’ontologie catégoriale dans la philosophie analytique comtemporaine, Paris: L’Harmattan.

• 2005, “L'idée de point de vue sociologique”, Cahiers internationaux de sociologie, CXVII, (n°1)

• 2005, “La théorie constructive de la référence”, Logique et analyse, vol. 189-191, 169-188.

• 2006, Les trois états : science, théologie et métaphysique chez Comte, Paris: Editions du Cerf.


64

BOYER Alain

Université de Paris 4 Sorbonne — Rationalités contemporaines (Paris 4)



• General problems of methodology and scientific reasoning • Philosophy of social sciences • Philosophical and applied logics


• 1992, L'Explication en histoire, Lille: Presses Universitaires de Lille. • 1994, Introduction à la lecture de Karl Popper, Paris: Presses de l’Ecole Normale

Supérieure. • 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.), Précis de Philosophie analytique,

Paris: PUF. • 2001, "Schlick et Popper", Etudes Philosophiques, 2001 (3).

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

BRAUNSTEIN Jean-François

Université Paris 1 — Panthéon-Sorbonne — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST)



• Philosophy of medicine • Historical and sociological aspects in the philosophy of science • Philosophy of cognitive science, psychology and linguistics


• 1986, Broussais et le matérialisme. Médecine et philosophie au XIXe siècle, Paris: Méridiens-Klincksieck.

• 1998, Actualité de Georges Canguilhem. Le normal et le pathologique, Paris: Les empêcheurs de penser en rond, Paris.


65

• 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 français" en épistémologie", in

P. Wagner (éd.), Les philosophes et la science, Paris: Gallimard.

BRENNER Anastasios

Université Paul Valéry-Montpellier 3 — EA 738 Philosophie



• Philosophy of physics • General problems of methodology and scientific reasoning


• 2002, "The French Connection: Conventionalism and the Vienna Circle", in M. Heidelberg et F. Stadler (dir.), History of Philosophy of Science, Dordrecht: Kluwer, 277-287.

• 2003, Les Origines françaises de la philosophie des sciences, Paris: PUF. • 2004, "Géométrie et genèse de l’espace selon Poincaré", Philosophiques, 31 (1), 115-

130. • 2005, "Histoire et logique dans l’écriture encyclopédique", in E. Nemeth, A. Roudet

(dir.), Paris-Wien Enzyklopädien im Vergleich, Wien: Sprdansger, 89-105. • 2006, "Quelle épistémologie historique ? Kuhn, Feyerabend, Hacking et l’école

bachelardienne", Revue de métaphysique et de morale, 49, 113-127.

BRUN-ROVET Etienne (PhD student)

Université Paris 1 (Panthéon-Sorbonne) — Équipe Philosophies Contemporaines



• General problems of methodology and scientific reasoning • Historical and sociological aspects in the philosophy of science • Formal approaches to methodology


66


• 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, Genèse et développement d’un fait scientifique", Pour la Science, 346, août 2006.

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

CAMPAGNOLO Gilles

CNRS — Centre d’épistémologie comparée: CEPERC



• 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


• 2000, "La bibliothèque viennoise de Carl Menger conservée au Japon : étude des sources d’une pensée é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 d’échange selon Aristote. Éthique à Nicomaque V et VIII-IX", Dialogues, Revue de la société canadienne de philosophie, 43 (3), 443-469.

• 2004, Critique de l’économie politique classique. Marx, Menger et l’École historique, Paris: PUF, coll. "Fondements de la politique".

• 2005, "Money as Measure of Value. An English Translation and Presentation of Menger’s Essay in Monetary Thought", History of Political Economy, 37 (2), 233-262.

• 2006, "Seuls les extrémistes sont cohérents", Murray Rothbard et l'Ecole austro-américaine, 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.


67

CANO Nicole

Assistance Publique des Hôpitaux de Marseille — Equipe d'accueil "Ethique et philosophie de la médecine et de la biologie" EA 3783



• Philosophy of medicine


• 2005, "De la nécessité d'un recentrage éthique de la psychiatrie", Revue Forum. L'Espace Ethique Méditerranéen, 11.

• 2006, "Fondements éthiques de la psychothérapie institutionnelle", L'Encéphale, 32 (1), 205-12.

• 2006, Article sur Le médecin et la mort, approches éthiques et philosophiques de P. Le Coz (Paris: Vuibert, 2006), Cliniques méditerranéennes, 74, 307-309.

• 2006, De l’utopie de la psychothérapie institutionnelle au pragmatisme de la santé mentale. Point de vue éthique sur l’évolution des pratiques psychiatriques Mémoire pour le Master 2 Recherche Mention Ethique Sciences Santé et Société Spécialité "Ethique des pratiques scientifiques biomédicales et de la santé", Marseille.

Observations / Remarks: PREMIER AXE. Objectif : comprendre la façon dont les pratiques actuelles se réfèrent aux principes éthiques afin d’en dégager les problématiques et légitimer la recherche de références communes, de principes éthiques partageables pour que la psychiatrie contemporaine poursuive une visée éthique. Méthodologie : interroger la décision dans l’expérience clinique et thérapeutique psychiatrique à la lumière des concepts fondamentaux et de la méthodologie de l’éthique médicale appliqués au domaine du soin psychiatrique et dégager les règles qui actualisent les principes éthiques dans l’activité quotidienne.

DEUXIEME AXE. Interroger la décision dans l’acte psychiatrique dans son rapport avec les émotions.

TROISIEME AXE. La place de la rigueur épistémologique et de la définition du champ de compétence de la psychiatrie dans la décision.

CARVALLO Sarah

Université Lyon I — LIRDHIST (EA 1658, Lyon)



68


• Philosophy of medicine • General problems of methodology and scientific reasoning


• 2004, Stahl-Leibniz : la controverse sur la vie, l’organisme et le mixte (édition critique, traduction commentée et préface), Paris: Vrin.

• 2005, "La logique des sciences contingentes appliquée à la médecine", Corpus, 49, 199-224.

• 2006, "Stahl, Leibniz, Hoffmann & la respiration", Revue de Synthèse, 5e série, 127 (1), 43-75.

• 2007, "Histoire du tonus : ruptures ou continuité ?", Actes du séminaire d’histoire et philosophie des sciences, Grenoble: Presses Universitaires de Grenoble.

• The Stahl – Leibniz controversy : philosophy, chemistry and medicine, Series Controversies, Amsterdam/Philadelphia: John Benjamins, à paraître 2007.

CASTEL Pierre-Henri




• Historical and sociological aspects in the philosophy of science • Philosophy of cognitive science, psychology and linguistics • Philosophy of medicine


• 1998, La Querelle de l'hystérie: La formation du discours psychopathologique en France (1881-1913), Paris: PUF.

• 1998, Introduction à "L'interprétation du rêve" de Freud: Une philosophie de l'esprit inconscient, Paris: PUF.

• 2003, La métamorphose impensable : Essai sur le transsexualisme et l’identité personnelle, Paris: Gallimard.

• 2003, Freud : Le moi contre sa sexualité, sous la direction de P.-H. Castel, Paris: PUF. • 2006, A quoi résiste la psychanalyse ?, Paris: PUF, coll. "Science, histoire et société".

CHABOT Hugues

Université Lyon 1 — LIRDHIST


69



• Historical and sociological aspects in the philosophy of science • Philosophy of physics • Science and education


• 2003, "Georges-Louis Lesage (1724-1803), Un théoricien de la gravitation en quête de légitimité", Archives Internationales d’Histoire des Sciences, n°150-151, vol. 53, 157-183.

• 2003, "Une théorie fausse et ses avatars, L’explication cinétique de la gravitation de Lesage à la fin du XIXème siècle", Sciences et Techniques en Perspective, 2ème série, 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 5ème 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, n°1, 165-177.

• 2006, "La Physique dans l'Encyclopédie méthodique, entre sciences naturelles et sciences mathématiques", in C. BLANCKAERT & M. PORRET (dir.), L'Encyclopédie méthodique (1782-1832) : des Lumières au positivisme (Colloque international, Genève, 17-19 mai 2001), Genève: Droz, 467-492.

• 2006, "Les origines d'un nouvel élément 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 déploie 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'Académie des sciences – 2. description et analyse sur le long terme de la généalogie des théories et des disciplines sur l'exemple de la gravitation – 3. inventaire et examen des représentations 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 d’Histoire et Philosophie des Sciences et des Techniques (IHPST))



70


• Philosophy of biology • Bioethics • Ethical issues in scientific practice and technologies


• 1990, Au bon vouloir de l'homme, l'animal, Paris: Denoël. • 1992, Les droits de l'animal, Collection "Que sais-je ?", Paris: Presses Universitaires de

France. • 1998, G. Chapouthier, J.C. Nouët (eds.), The universal declaration of animal rights,

comments and intentions, Paris: Editions Ligue Française des Droits de l’Animal. • 2001, L'homme, ce singe en mosaïque, Paris: Odile Jacob. • 2006, J.-C. Nouët, G. Chapouthier (dirs.), Humanité, Animalité : quelles frontières ?,

Paris: Connaissances et savoirs.

CHAPUIS-SCHMITZ Delphine

Collège de France — Chaire de Philosophie du langage et de la connaissance (Jacques Bouveresse)



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


• 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), L’Empirisme logique à la limite, Paris: CNRS Editions, 87-108.

• "Définitions implicites, définitions explicites et applicabilité des théories", in J. Bouveresse and P. Wagner (eds), Mathématiques et expérience, Paris: Editions Odile Jacob, forthcoming 2008.

CHARMETANT Eric

Facultés jésuites de Paris — Centre Sèvres


71



• Philosophy of biology • Bioethics • Philosophy of medicine


• 2002, "La personne et l’être 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 Gérard

Université de Bourgogne — Centre Gaston Bachelard



• Historical and sociological aspects in the philosophy of science • Philosophy of physics • Ethical issues in scientific practice and technologies


• 1995, Eléments de logique formelle, Cachan: Hermès. • 1995, Le miroir automate, pour une philosophie de l'informatique, Seyssel: Champ Vallon. • 2002, Interfaces, enquête sur les mondes intermédiaires, Seyssel: Champ Vallon. • 2004, Les médiations théoriques, Seyssel: Champ Vallon. • 2006, Les femmes et la science, Paris: Ellipses.

CHEMLA Karine

CNRS — Recherches Épistémologiques et Historiques sur les Institutions Scientifiques (REHSEIS)





72

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


• 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 mathématique 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 Céline

Université Paris 7 Denis Diderot — Recherches Épistémologiques et Historiques sur les Institutions Scientifiques (REHSEIS)



• Philosophy of medicine • Philosophy of biology


• 2003, "L’innéisme organique des facultés intellectuelles chez Vincenzo Malacarne (1744-1816)", Bulletin d’Histoire et d’épistémologie des Sciences de la Vie, 10 (2), 245-263.

• 2004, "Les différentes écoles de neurologie à Marseille", Actes du congrès de la Société Française d’Histoire des Sciences et des Techniques, Poitiers, 20-22 mai 2004.

• 2005, "Le rôle fondateur des carnets d’observations sur la pensée médicale de Vincenzo Malacarne (1744-1816)", article accepté pour publication par Maria-Teresa Monti (éditrice scientifique) dans le cadre des Actes du colloque préliminaire au XIe Congrès de la Société d’Histoire et Epistémologie des Sciences de la Vie, 17-18 mars 2005, Milan, "Ecriture et mémoire dans les carnets du laboratoire medico-biologique (XVIIème-XIXéme siècles)", publication dirigée par Maria-Teresa Monti (CNR-Italie), édition du CNR italien.

• 2006, "Vincenzo Malacarne : a reserchear in neurophysiology between anatomophysiology and electrical physiology of the human brain", Comptes Rendus


73

Biologie, 329, numéro spécial des Comptes-Rendus de l’Académie des Sciences coordonné par Pierre Buser et Jean-Gaël Barbara, 319-329.

CHERLONNEIX Laurent

CNRS/MAE — Centre Marc Bloch, URA 1795, Berlin



• Philosophy of biology • Philosophy of medicine • Bioethics


• 2002, vol. 1 : Nietzsche : santé et maladie, l’art, Paris: L’Harmattan, L’Ouverture philosophique ; vol. 2 : Philosophie médicale de Nietzsche : la connaissance, la nature, Paris: L’Harmattan, L’Ouverture philosophique.

• 2005, "De Nietzsche à Canguilhem et aujourd’hui", Bulletin d’Histoire et d’Épistémologie 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", à paraître novembre 2007.

• "La dialectique de la Vie et de la Mort dans les modèles biologiques contemporains de l’initiation et de la suspension de la Mort cellulaire", in La vie vécue et la vie expliquée, publication collective du séminaire de Paul Antoine Miquel et Michel Morange, ENS/Centre Cavaillès, Noesis, Centre de recherche d’histoire des idées CRHI, Université de Nice-Sophia-Antipolis, Vrin, à paraître décembre 2007.

• "Recherches sur l’auto initiation de la Mort cellulaire à la fin du 19ème siècle", Gesnerus, à paraître 2007.

COLLIGNON Patrick

Espace Ethique Méditerranéen — EA 3783



• Bioethics


74


• 2002, "Le devenir des enfants handicapés", Archives de pédiatrie, 9, 1014-1016. • 2004, "Le droit à la qualité de vie pour les personnes polyhandicapées : analyse des

textes qui règlementent les établissements et services de l’éducation spéciale accueillant des enfants et adolescents polyhandicapés", Revue francophone de la déficience intellectuelle, 15 (1), 137-147.

• 2005, "Quelle utilisation des connaissances génétiques en médecine ?", in P. Pédrot (ed.), Génétique, biomédecine et société, Grenoble: Presses Universitaires de Grenoble, coll. Libres Cours, 17-27.

• 2006, "Révision de la loi d’orientation en faveur des personne handicapées en France : fondements éthiques", in H. Gascon, D. Boisvert, MC. Haelewyck, JR. Poulain & JJ. Detraux (eds.), Déficience intellectuelle : savoirs et perspectives d’action, Cap Rouge Québec: Presses Inter Universitaires, 117-124.

• 2006, "Prise en charge de la douleur", in B. Chabrol et J. Haddad (eds.), Handicaps de l’enfant, Rueil-Malmaison: Doin, coll. Progrès en Pédiatrie, 95-105.

COZIC Mikaël

ENS Ulm, Département d'Etudes Cognitives — Institut d’Histoire et de Philosophie des Sciences et des Techniques (IHPST)



• Philosophy of economics, theories of rationality, decision theory, game theory • Philosophical and applied logics • Philosophy of mathematics and logic


• 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 Supérieure — Département de philosophie



75


• Philosophy of mathematics and logic • Philosophy of physics • Philosophical and applied logics


• 2005, "The role of transformation groups for the ontology of geometrical objects", abstract, published in ECAP 2005 booklet.

d'ESPAGNAT Bernard

Institut de France





• 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




• Philosophy of social sciences • Philosophy of biology • Philosophy of medicine


76


• 2004, "L'"utopie" d'une thérapeutique sociale : portée et limites d'une idée", Araben, 1, mai 2004, 62-69.

• 2005, "Migrations et transformations du concept de division du travail au XVIIIe et XIXe siècles", Araben, 2, janv. 2005, 6-24.

• 2006, "Régulation par qui ? Régulation de quoi ? La signification du vocable "régulation" en sociologie et en science politique : une mise en perspective historique", article soumis à Politix, nov. 2006.

• 2006, "La régulation du "milieu intérieur" : étude sur le devenir physiologique de la terminologie de la régulation (XVIIIe-XIXe siècles)", Archives Internationales d'Histoire des Sciences, 56.

• 2006, "Sur l'évolutionnisme culturel et ses avatars modernes en sciences sociales : jalons pour une réflexion épistémologique", Araben, 3, janv. 2006, 115-125.

DAVID René

Université de Chambéry — LAMA (laboratoire de mathématiques), UMR 5127 du CNRS

• E-mail: [email protected] or


• Mathematical logic • Logic and computation


• 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 n°300/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 supérieure (Ulm) — Groupe transdisciplinaire Histoire Philosophie Sciences



77


• Philosophy of biology • Philosophy of cognitive science, psychology and linguistics • Philosophy of medicine


• 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 rêve, deuxième édition Paris: Hermann. • 2006, "Time, from psychology to neurophysiologie", in Jean-Gaël Barbara, Claude

Debru et Pierre Buser (éds.), Facets of the History of Neurosciences, Comptes Rendus de l'Académie des sciences.

• 2006, Unité et globalité de l'homme : des humanités 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 générale des sciences

DEHORNOY Patrick

Université de Caen — Laboratoire de Mathématiques Nicolas Oresme



• Mathematical logic • Logic and complexity


• 2004, "Les travaux de Woodin sur l'hypothèse du continu", Encyclopedia Universalis, La science au présent, 123-128.

• 2004, "Progrès récents sur l'hypothèse du continu, d'après Woodin". Séminaire Bourbaki, Exposé 915 (2003), Astérisque, Société Mathématique de France, 294 (2004) 147-172.

• "Théorie axiomatique des ensembles", Encyclopedia Universalis, Corpus, sous presse. • Au-delà du forcing: la notion de vérité essentielle en théorie des ensembles, sous presse. • "Elementary embeddings and algebra", in Foreman, Kanamori, Magidor (Eds.),

Handbook of Set Theory, to appear.


78

DELORD Julien

Konrad Lorenz Institute for Evolution and Cognition Research (Vienna)



• Philosophy of biology • Ethical issues in scientific practice and technologies


• 2005, "La sauvageté : un principe de réconciliation entre l'homme et la biosphère", Natures, Sciences, Sociétés, 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'espèce, Paris: Publications scientifiques du Muséum national d'histoire Naturelle, à paraître 2008.

DESBOIS Dominique

INRA — LEF (Laboratoire d'Economie Forestière) — UMR Engref -Inra



• Ethical issues in scientific practice and technologies • Philosophy of social sciences • Historical and sociological aspects in the philosophy of science


• 1999, "L’éthique du libre, fondement d’un nouveau paradigme ?", in D. Desbois, N. Jullien, A. Poulain-Maubant, Th. Penard, J. Vetois et J-B.Zimmermann (eds.), Les logiciels libres : de l’utopie au marché, numéro spécial 80/81 de Terminal, Paris: L’Harmattan, 77-90.

• 1999, "Ne bougez plus, ne respirez plus ! Vous êtes fichés !", Etudes, 3901, 43-52. • 1999, "Les politiques du développement dans le secteur des télécommunications",

pp. 129-149, in A. Chéneau-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 ?, numéro spécial 90 de Terminal, édité par D. Desbois, Paris: L’Harmattan.


79

• 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) — Rationalités contemporaines



• Ethical issues in scientific practice and technologies • Bioethics


• 2004, Un crime contre l’espèce humaine? Enfants clonés, enfants damnés, Paris: Les Empêcheurs de Penser en Rond (Seuil).

• 2004, "Enfants clonés, enfants damnés", in Recueil Dalloz, 1er juillet 2004, n°26/7167e, 1819-1820.

• 2005, "Les déboires d’une incrimination : le crime contre l’espèce humaine", in Denis Müller et Hugues Poltier (eds.), Un homme nouveau pour le clonage reproductif ?: Fantasmes raisons, défis, Labor et Fides.

• 2006, "Faut-il interdire le clonage ?" in L. Thiaw-Po-Une (dir), Questions d’éthique contemporaine, « Les essais », Paris: Stock.

• 2006, "Sur la consécration de la notion d’espèce humaine, quand la bioéthique bouleverse le droit", in Raison Publique n°4.

DOWEK Gilles

Ecole polytechnique — Laboratoire d'Informatique



• Logic and computation


• 2001, "À propos de quelques démonstrations pas très convaincantes", manuscrit, Séminaire de Philosophie et Mathématiques.

• 2004, "La théorie des types et les systèmes informatiques de traitement des démonstrations mathématiques", Mathématiques et Sciences Humaines, 165, 13-29.


80

• "La notion de modèle supose-t-elle une conception réaliste de la vérité mathématique ?", Logique, Mathématique, Informatique et Philosophie, à paraître.

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 d’Histoire et Philosophie des Sciences et des Techniques (IHPST)



• Philosophy of mathematics and logic • General problems of methodology and scientific reasoning


• 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 thèse porte sur les analyses probabilistes de la causalité.

DUBUCS Jacques




• Mathematical logic • Philosophy of mathematics and logic • Philosophy of cognitive science, psychology and linguistics


• 1988, "Die sogenannte Analytizität der Mathematik", Grazer Philosophische Studien, 32, 83-112.


81

• 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 rhétoriques 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 Anne-Françoise Schmid



• Philosophy of mathematics and logic • Philosophical and applied logics


• 2002, Philosophie des Mathématiques, Paris: Ellipses. • 2002, La Tradition de la Mathesis Universalis. Platon, Leibniz, Russell (Cahiers de

l'Unebévue, Unebévue-éditeur). • 2002, "La Philosophie des Mathématiques au temps du postmoderne", History &

Philosophy of Logic, 23, 121-132. • 2004, "Le Transfini, les Structures & la Logique. La philosophie mathématique de

Russell revisitée", Cahiers de l'Unebévue, hiver 2003-2004. • 2006, "Catégories & Structures. La réconciliation 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 d’Histoire et Philosophie des Sciences et des Techniques (IHPST)- Paris)



• Philosophy of biology • Philosophy of cognitive science, psychology and linguistics • Philosophy of medicine


82


• 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 gène. Histoire des concepts de l'embryologie moderne (fin

XVIII-XXe siècle), Paris: Presses de l'ENS. • 2005, Histoires de la mémoire, édité par J.-C. Dupont, Paris: Vuibert. • 2006, "Carnap, Feigl : réduction et mémoire", 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 Épistémologiques et Historiques sur les Institutions Scientifiques (REHSEIS)



• Philosophy of mathematics and logic • Historical and sociological aspects in the philosophy of science • Science and education


• 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, "Révolution industrielle : logique et signification de l'opératoire", Mélanges en l'honneur d'Ernest Coumet, n° spécial de la Revue de Synthèse, "Histoire des jeux, jeux de l'histoire", T. 122, 4e S. n° 2-3-4, avril-décembre 2001, Centre International de Synthèse, 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 pensée aux constructivismes", in Marie-José Durand-Richard (ed.), Intellectica, Revue de l’Association pour la Recherche Cognitive, 2004/2, n° 39, 23-53

• 2006, "Opération, fonction et signification : de Boole à Frege", Cahiers Critiques de Philosophie, n° 3, 53-81.

Observations / Remarks: Compléments sur mes domaines de recherche : Histoire des relations entre algèbre, logique, et signification des mathématiques du 19ème au 20ème siècle. Histoire de la mécanisation du calcul.


83

ENGEL Pascal

Université de Genève & Université Paris IV



• Philosophy of mathematics and logic • Philosophy of cognitive science, psychology and linguistics


• 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:

King’s 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 — Département de Philosophie, Equipe d'Accueil 2326 Philosophie



• Philosophy of physics • General problems of methodology and scientific reasoning • Philosophy of mathematics and logic


• 1997, Les mathématiques et le monde sensible, Paris: Ellipses. • 1998, Théorie de l'intelligibilité, Paris: Ellipses. • 2000, Philosophie de la nature, Paris: Ellipses. • 2004, avec R. Torretti, Pensar la ciencia, Madrid: Tecnos. • 2006, Théorie du déterminisme causal, Paris: L'Harmattan.


84

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 mathématiques.

FAGOT-LARGEAULT Anne

Collège de France — Chaire de philosophie des sciences biologiques et médicales



• Formal approaches to methodology • Philosophy of medicine • Bioethics


• 1982, Médecine et probabilités, Paris: Didier-érudition. • 1985, L'homme bio-éthique. Pour une déontologie 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, associée au LPHS – Laboratoire de Philosophie et d’Histoire des Sciences – Archives Henri Poincaré (UMR 7117)



• General problems of methodology and scientific reasoning • Science and education


• 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.


85

• 2006, Dossier du groupe Academos : Philosophies et sciences : pour une "brique interdisciplinaire", in Natures, Sciences, Sociétés, 14 (1), 54-68. (EDPSciences).

• 2007, avec G. Amar, Ph. Boudon, A.-M. Boutin, Ph. Doublet, A.-F. Garçon, A. Hatchuel, P. Le Masson, Ch. Midler, A.-F. Schmid, B. Segrestin, H. Verin & B. Weil, Les nouveaux régimes de la conception, Paris: Vuibert, à paraître décembre 2007.

FISCHER Jean-Louis

CNRS – Centre Alexandre Koyré (EHESS/CNRS/Muséum)



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


• 1997, avec K. Sander, S.J. Counce, P.E. Fässler et K. Nübler-Jung, Landmarks in Developmental Biology 1883-1924, Berlin: Springer.

• 1994, Camille Dareste 1822-1899, Schöpfer experimentellen Teratologie, préface de Jacques Roger, Acta Historica Leopoldina, Deutsche Akademie des Naturforscher Leopoldina Halle/Saale, N°21.

• 1999, "Les manuscrits égyptiens d'Etienne Geoffroy Saint-Hilaire", in P. Bret (ed.), L'expédition d'Egypte, une entreprise des Lumières, Paris: Académie 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 années 1931-1935", in Ecriture et Mémoire 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 d’Histoire et Philosophie des Sciences et des Techniques (IHPST)



• Philosophy of cognitive science, psychology and linguistics • Philosophy of biology • Historical and sociological aspects in the philosophy of science


86


• 2001, "Fatigue et normativité", Revue philosophique, 126 (4), 3-25. • 2002, "Fonctions biologiques et causalité naturelle", Revue philosophique, 127 (4), 417-

432. • 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 sélectivité de l'oubli comme argument", in J.-C. Dupont (ed.), Histoires de

la mémoire, Paris: Vuibert, 61-77.

FRANCESCHELLI Sara

École Normale Supérieure de Lettres et Sciences Humaines (Lyon) — Institut Jean Toussaint Desanti & Recherches Épistémologiques et Historiques sur les Institutions Scientifiques (REHSEIS)



• Philosophy of physics • Philosophy of biology • General problems of methodology and scientific reasoning


• 2005, avec T. Roque, "L'attracteur étrange entre physique et mathématique", Actes du XXIè Congrès International d’Histoire des Sciences, CD-ROM.

• 2006, "Morphogenèse, stabilité structurelle et paysage épigénétique", in A. Lesne, P. Bourgine (éds.), Morphogenèse. L’origine des formes, Paris: Belin, Echelles.

• "Epigenetic landscape and catastrophe theory: commentary on a correspondence", in Bouchaud J.-P. & Mézard M. (eds.), Les Houches Summer School – Session 85 — Complex Systems, Amsterdam: Elsevier, à paraître 2007.

• Avec Paty M., Roque T. (eds.), Eléments pour une épistémologie des systèmes dynamiques, Paris: Hermann, coll. "Visions des Sciences", à paraître 2007.

• "Construction de signification physique pour la transition vers la turbulence", in Franceschelli S., Paty M., Roque T. (eds.), Eléments pour une épistémologie des systèmes dynamiques, Paris: Hermann, coll. "Visions des Sciences", à paraître 2007.

GALINON Henri (PhD student)

Université Paris-1 — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST)


87



• Philosophical and applied logics • Philosophy of mathematics and logic • Philosophy of cognitive science, psychology and linguistics

Observations / Remarks: Doctorant (actuellement en 2ème année de thèse). Sujet de recherche principal : les théories de la vérité, en particulier les théories dites "déflationnistes", sous leurs aspects philosophiques, logiques et linguistiques. Titre de la thèse : Définition, élimination, déflation : recherches sur la vérité (Directeur de recherche : Pr. F. Rivenc (Paris-1))

GALPERIN Charles




• Philosophy of biology


• 1999, avec S. F. Gilbert et B. Hoppe, Fondamental changes in cellular Biology in the 20th Century, Thurnout: Brepols.

• 2000, "Aspects du développement dans la biologie du 20e siècle. Introduction. De l'embryologie experimentale à la biologie du développement. 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'Epistémologie 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 l’Ecole de la Drosophile, l'emboîtement des modèles", in G. Gachelin (ed.), Les organismes modèles dans la recherche médicale, Paris: PUF, 206-229.

Observations / Remarks: je ne sépare pas l'épistémologie philosophique de l'histoire et m'intéresse à la naissance et au développement d'une discipline, nommément, la Génétique du développement.


88

GAN-KRZYWOSZYNSKA Katarzyna

Université de Poznan & Université Nancy 2 — –Laboratoire de Philosophie et d’Histoire des Sciences-Archives Henri Poincaré (LPHS-AHP)



• Philosophical and applied logics • Philosophy of mathematics and logic


• 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", à paraître 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, à paraître.

GANASCIA Jean-Gabriel

Université Paris 6 — Laboratoire d'Informatique de Paris 6 (UMR CNRS)



• Formal languages and computation • Logic and computation • Formal approaches to methodology


• 2005, "Rational Reconstruction of Wrong Theories", in Petr Hajek, Luis Valdes-Villanueva & 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", à paraître dans la revue Ethics and Information Technology, Berlin: Springer.

• avec Claude Debru, "CYBERNARD: A Computational Reconstruction of Claude Bernard's Scientific Discoveries", à paraître in Actes de la conférence "Model-Based Reasoning in Science and Medicine" (Guangzhou, Chine, juillet 2006)


89

GANDON Sébastien

Université Blaise Pascal (Clermont-Ferrand) — Centre Philosophie et Rationalités (PHIER)



• Philosophy of mathematics and logic • General problems of methodology and scientific reasoning • Historical and sociological aspects in the philosophy of science


• 2002, Logique et langage: études sur le premier Wittgenstein, Paris: Vrin. • 2004, "Russell et l'Universal Algebra de Whitehead: la géométrie projective entre

ordre et incidence (1898-1903)", Revue d'Histoire des Mathématiques, 10 (2), 187-256. • 2005, "Pasch entre Klein et Peano: empirisme et idéalité en géométrie", Dialogue, 44

(4), 653-692.

GANGLOFF Jean-Luc

Université Louis Pasteur-Strasbourg 1 — Institut de Recherches Interdisciplinaires sur les Sciences et la Technologie (IRIST)



• General problems of methodology and scientific reasoning


• 2007, avec C. Allamel-Raffin, La raison et le réel, Paris: Editions Ellipses. • avec C. Allamel-Raffin, "Le style collectif de la philosophie analytique au XXème

siècle" in Le style des philosophes, Besançon:Presses Universitaires de Franche-Comté, à paraître 2007.

GARRETA Guillaume

Université Paris 1 - Panthéon Sorbonne - Equipe Philosophies contemporaines



90


• méthodologie et raisonnement scientifique • philosophie de la physique • philosophie des sciences cognitives, de la psychologie et de la linguistique


• 1999, "Le sujet comme 'point de fuite': Dewey et la psychologie de James", Philosophie, 64, 31-53

• 2002, "D’un empirisme sans entraves à une science sans lois : l'agnosticisme épistémologique de Bas van Fraassen", Critique, 661-662, 501-516

• 2002, "Mach : l'épistémologie comme histoire naturelle de la science", in P. Wagner (dir.), Les philosophes et la science, Paris : Gallimard, 624-658

• 2004, "Enquête et observation. Dewey et les ressources de l'observable", in B. Karsenti & L. Quéré (dir.), La croyance et l’enquête, Coll. “Raisons pratiques”, 15, Paris: Editions de l’EHESS, 111-140

• "Science, éthique et société : Dewey et l'enquête pragmatiste", in P. Goujon & S. Lavelle (dir.), Technique, communication et société, à paraître 2007

GAUTERO Jean-Luc

Université de Nice Sophia Antipolis — Centre de Recherche d'Histoire des Idées



• Ethical issues in scientific practice and technologies • Historical and sociological aspects in the philosophy of science • Philosophy of mathematics and logic


• 1998, "Raisonner sans entraves", in Impostures scientifiques, Paris: La Découverte/Alliage.

• 1998, "Dialectique matérialiste et post-modernité", Philosophie et société, 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 métrique pour la vérité ?", in Actes du XXIXe Congrès de l’A.S.P.L.F.,

Paris: Vrin.


91

GAYON Jean




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


• 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, Académie des Sciences: Elsevier).

• 2006, "Les organismes modèles en biologie et en médecine", in G. Gachelin (ed.), Les organismes modèles dans la recherche médicale, Paris: Presses Universitaires de France, 9-43.

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

GIREL Mathias (PhD student)

Université Paris 1 — Equipe « Philosophies Contemporaines »



• Philosophy of cognitive science, psychology and linguistics • General problems of methodology and scientific reasoning


92


• 2005, "Pragmatisme, Enquête et normes, Quelques doutes de Peirce au sujet du pragmatisme", in B. Karsenti & L. Quéré (dir.), La croyance et l’enquête, Coll. "Raisons pratiques", 15, Paris: Editions de l’EHESS, 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, à paraître 2007.

GIROUX Elodie




• Philosophy of medicine • Philosophy of biology • Bioethics


• 2003, "Concepts de santé et de maladie : problèmes et controverses depuis les années 1950", Bulletin de la Société d’Histoire et d’Épistémologie 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 réductionnisme en épidémiologie et la question de la continuité entre santé et maladie", in Premier Congrès de la Société de Philosophie des Sciences (SPS), Paris: Éditions du CNRS, à paraître.

• "N’y a-t-il de santé que de l’individu ?", in C. Debru, A. Fagot-Largeault, M. Morange (dir.), Journée d’étude en Hommage à Georges Canguilhem, à paraître.

GOHAU Gabriel

Université Paris 7 — Recherches Épistémologiques et Historiques sur les Institutions Scientifiques (REHSEIS)


93





• 1990, Les sciences de la terre aux XVIIe et XVIIIe siècles. Naissance de la géologie, 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 géologie à son histoire — en hommage à François

Ellenberger, Paris: CTHS. • 2003, Naissance de la géologie historique — La terre des " théories" à l'histoire, Paris:

Vuibert-Adapt. • 2004, "De Stahl à Dolomieu, la notion de molécule intégrante", Travaux du comité

français histoire de la géologie, XVIII (3), 79-91.

Observations / Remarks: Je précise que je suis principalement historien et philosophe de la géologie.

GREGOIRE Eric

Université d'Artois — Centre de recherche en informatique de Lens



• Logic and computation • Logic and complexity


• 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.


94

• 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 de Logique, Algorithmique et Informatique (LLAIC, EA 2146)



• Mathematical logic • Philosophical and applied logics • Philosophy of mathematics and logic


• 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 négation dans certaines représentations associées 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 Nézondet’s results on Erdös-ods conjecture", Synthese, 125, 133-146.

• 2001, D. Hilbert et P. Bernays, Fondements des Mathématiques, vol 1 et 2. Traduction française, par François Gaillard et Marcel Guillaume, avec la collaboration de Eugène 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. Béziau, W.A. Carnielli and D.M. Gabbay (eds.), Handbook of Paraconsistency and Negation, Amsterdam: Elsevier, Vol I. In press.

GUILLIN Vincent






95

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


• 2004, "L’éthologie de John Stuart Mill: le libéralisme et les sciences morales", Pour l’histoire des sciences de l’homme (Bulletin de la SFHSH), 26, 47-66.

• 2004, "Théodule Ribot’s 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, "Présentation: Atomisme et réalisme structural, par Elie Zahar", in S. Laugier & P. Wagner (eds.), Philosophies des sciences. Naturalismes et réalismes Paris: Vrin, 373-382.

• "La question de l’égalité des sexes dans la correspondence Comte-Mill: une approche méthodologique", Archives de philosophie, n° spécial sur la politique positive, à paraître 2007.

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

GUY Bernard

École nationale supérieure des mines de Saint-Etienne — Centre SPIN (Sciences des processus industriels et naturels) et UMR CNRS 6524 ("Magmas et volcans")



• General problems of methodology and scientific reasoning • Philosophy of physics • Ethical issues in scientific practice and technologies


• 1995, "Réflexions sur la formation des skarns de Costabonne (Pyrénées). La compréhension des événements singuliers. Une épistémologie de la Trace", in ouvrage en mémoire de P. Wegman, Eléments pour une histoire de la Géologie, Mémoires de la Société Géologique de France, n° 168, 139-144.

• 1997, Guy B. et Magnin T., "Quelques réflexions sur la place de l'homme dans la recherche scientifique", in Humanités et Grandes Ecoles, Conférence des Grandes Ecoles, Paris, 201-208.

• 1998, "Réflexions sur les notions de faits et de lois géologiques. Comparaison avec la physique", Travaux du Comité Français d’Histoire de la Géologie, 3° série, T. XII, 25-37.


96

• 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 re-considered. Consequences in physics (relativity). A preliminary discussion". Ecole n.s. des mines de Saint-Etienne, unpublished.

Observations / Remarks: Je m'intéresse aux domaines suivants: épistémologie de la géologie / fondements de la physique: concepts de temps, espace et mouvement (à la frontière entre la théorie physique -relativité-, la philosophie et la logique, et les sciences cognitives) / épistémologie des sciences de l'ingénieur (les sciences de l'ingénieur à la croisée entre l'épistémologie et l'éthique).

HAN Hee-Jin

Collège de France — Chaire de Philosophie des sciences biologiques et médicales (Professor Anne Fagot-Largeault)



• Philosophy of medicine • Philosophy of biology • Bioethics


• 2004, “Four Principles of French Vitalism according to Pierre-Jean-Georges Cabanis” [“Les quatre principes du vitalisme français 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 médecine à la fois ‘empirique’ et ‘scientifique’ de Pierre-Jean-Georges Cabanis : une source lointaine de la médecine fondée sur des preuves”], in A. Fagot-Largeault (ed.), Histoire et philosophie de la médecine 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 français : remarques sur les “Aspects du vitalisme””], in A. Fagot-Largeault, C. Debru & M. Morange (dir.), Philosophie et médecine, en hommage à Georges Canguilhem, Paris: Odile Jacob, forthcoming 2008.

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


97

HEINZMANN Gerhard

Université Nancy 2 — Laboratoire de Philosophie et d'Histoire des Sciences – Archives Henri Poincaré (LPHS-AHP)



• Philosophy of mathematics and logic • General problems of methodology and scientific reasoning • Philosophical and applied logics


• 1995, Zwischen Objektkonstruktion und Strukturanalyse. Zur Philosophie der Mathematik bei Henri Poincaré, Göttingen: 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 rénovation des fondements philosophiques des mathématiques", Sciences et Philosophie au XXe siècle. L'Ecole de Zurich et le programme surrationaliste, Revue de Synthèse, 126, 5e S., (2005/2), 317-329.

• 2005, "La géométrie comme paradigme de la philosophie des sciences : une relecture de Ferdinand Gonseth à partir d’une position naturaliste", in J. Kouneiher/D. Flament/Ph. Nabonnand/J.-J. Szczeciniarz (éds.), Géométrie au vingtième siècle. 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)



• Logic and computation • Philosophical and applied logics • Logic and complexity


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


98

• 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 d’Histoire et Philosophie des Sciences et des Techniques (IHPST)



• Philosophical and applied logics • Philosophy of economics, theories of rationality, decision theory, game theory • Mathematical logic


• 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 thèse, à l'Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST), sous la direction de Jacques DUBUCS.

HIRSCHKOFF Daniel

École Normale Superieure de Lyon — Laboratoire de l’informatique du parallélisme


99



• Formal languages and computation • Mathematical logic


• 1997, “A Full Formalisation of pi-Calculus Theory in the Calculus of Constructions”, TPHOLs 1997, 153-169.

• 2003, avec Christine Röckl, “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, 325-339.

• 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)



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


• 2002, "La bibliothèque botanique de Benjamin Delessert". Bulletin du Bibliophile, 1, 100-141.

• 2005, Buffon : histoire naturelle et philosophie, Paris: Honoré Champion. • 2006, "Bricolages. Les biotechnologies ou l’espérance 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 l’Histoire naturelle (1749-1767), Paris: Éditions du

Muséum national d'histoire naturelle (collection Archives). • 2007, Buffon/Linné - Éternels rivaux de la biologie ? Paris : Dunod (collection Quai des

Sciences).


100

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 Gérard

Institut de Recherche en Informatique et Automatique (INRIA), Rocquencourt



• Mathematical logic • Formal languages and computation • Philosophy of cognitive science, psychology and linguistics


• 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




• Philosophy of biology • General problems of methodology and scientific reasoning • Philosophy of cognitive science, psychology and linguistics


101


• 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 : Kant’s 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 d’Histoire et Philosophie des Sciences et des Techniques (IHPST) (UMR 8590)



• Philosophy of physics • Logic and complexity • Formal approaches to methodology


• 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 system’s evolution by imitating its dynamics. I focus on systems for which the underlying dynamics and the interactions between parts are well-known 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.


102

JACOB Marie






• 2004, "De la quadrature du cercle au siècle des lumières quelques amateurs mal éclairés?", Sciences et techniques en perspective, deuxième série, vol8 N°1, 257-283.

• 2005, "Interdire la quadrature du cercle à l'Académie: une décision autoritaire des Lumières?", Revue d'Histoire des Mathématiques, 11, 89-139.

• 2006, La quadrature du cercle: un problème à la mesure des Lumières, Paris: Fayard. • "L'Ecole royale militaire 1751-1776, un modèle pour l'Encyclopédie?", Recherches sur

Diderot et sur l'Encyclopédie, à paraître.

Observations / Remarks: Actuellement je fais partie du groupe d'Alembert qui travaille à une édition critique des oeuvres complètes de cet homme des lumières (http://dalembert.univ-lyon1.fr).

Par ailleurs, je monte un axe de recherche, au laboratoire REHSEIS, autour des amateurs de sciences au 18ème siècle.

JACOB, Pierre

Institut Jean Nicod (UMR 8129) – EHESS / ENS (Département d’études cognitives) / CNRS



• Philosophy of cognitive science, psychology and linguistics


• 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/)


103

• 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



• General problems of methodology and scientific reasoning • Philosophy of physics


• 1999, Croire et connaître : Einstein, Polanyi et les lois de la nature, Nogent-sur-Marne/Cléon d’Andran, Éditions de l’Institut Biblique de Nogent/Excelsis.

• 2000, Pour une philosophie chrétienne des sciences, Nogent-sur-Marne/Cléon d’Andran, Éditions de l’Institut 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 cœur : les convictions religieuses dans le débat épistémologique contemporain, thèse soutenue le 3 juin 2005 à l'Université de Paris 1, Lille: Atelier national de reproduction des thèses, 457 p.

• "Bas van Fraassen on religion and knowledge: is there a third way beyond foundationalist illusion and bridled irrationality?", American Catholic Philosophy Quarterly, à paraître.

Observations / Remarks: Domaine de spécialisation : rapports entre science et théologie

JOINET Jean-Baptiste

Université Paris 1 — "Preuves-Programmes-Systèmes" (UMR 7126 CNRS-Paris 7, maths-info) et « Philosophies Contemporaines »" (Paris 1)





104



• 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

Collège de France — Chaire de Philosophie et histoire des concepts scientifiques (Ian Hacking)



• General problems of methodology and scientific reasoning • Philosophy of biology • Ethical issues in scientific practice and technologies


• 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 réflexions à propos du texte de Jürgen Habermas, L'avenir de la nature humaine", Pouvoir et vie, Organisation francophone de formation et recherche européenne en sciences humaines, Cluj.

• 2005, "La connaissance des choses : définition, description, classification", in La connaissance des choses, coll. Skepsis, Agrégation de philosophie 2006, Paris: Delagrave.

• 2006, Entrées "émotion" et "nature humaine", in M. Marzano (dir.), Dictionnaire du Corps, Paris: PUF.


105

KISTLER Max

Université Paris 10 — Equipe d'accueil Histoire de la philosophie, histoire des sciences (EA373)



• General problems of methodology and scientific reasoning • Philosophy of cognitive science, psychology and linguistics • Philosophy of physics


• 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.), Nature’s Principles, Dordrecht: Springer, 201-227.

• 2005, "Réduction « rôle-occupant », réduction « micro-macro », et explication réductrice 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), 79-102.

KNAPIK Teodor

Université de la Nouvelle Calédonie — ERIM



• Logic and computation • Formal languages and computation


• 2001, avec D. Caucal, "An internal presentation of regular graphs by prefix-recognizable 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.


106

• 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 Angèle

Université de Picardie (Amiens) — Groupe d'Etudes et de Recherches Epistémologiques



• General problems of methodology and scientific reasoning • Historical and sociological aspects in the philosophy of science • Ethical issues in scientific practice and technologies


• 1999, Philosophie des sciences de la nature, Paris: PUF. • 2005, Epistémologiques, philosophiques, anthropologiques, Paris: L'Harmattan. • 2006, "Comment Popper comprit Einstein et comment Einstein pensait

réellement", Colloque de Tunis 2005, Dogma (http://dogma.free.fr ). Texte disponible à : http://dogma.free.fr/txt/AKM-PopperEinstein.htm

• 2006, avec J. Dhombres, L'épistémologie, état des lieux et positions, Paris: Ellipses. • 2006, Le positivisme d'Auguste Comte, Paris: L'Harmattan.

KRÖMER Ralf

CNRS — LPHS-Laboratoire de Philosophie et d’Histoire des Sciences-Archives Poincaré (LPHS-AHP)





107


• 2005, "Le pragmatisme peircéen, la théorie des catégories 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" dirigée par G. Sica, Milano: Polimetrica, 205-220.

• 2006, "Le concept de fonction dans les mathématiques du 20e siècle: quelques éléments d'une interprétation 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", dirigée par E. Scholz et E. Knobloch, Bâle: Birkhäuser.

Observations / Remarks: Autre domaine de travail: histoire des mathématiques

LACKI Jan

CNRS — Recherches Épistémologiques et Historiques sur les Sciences Exactes et les Institutions scientifiques (REHSEIS)



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


• 1999, "The road to Stueckelberg’s covariant perturbation theory as illustrated by successive treatments of Compton’s 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 Hilbert’s 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 Août 2000, Hamburg: DESY, 49-92.


108

• 2003, "Styles of physical thinking versus mathematical ones", Logic and Mathematical Reasoning, numéro spécial de Synthese, 134, 273–288.

• 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 Jérôme

Université René Descartes (Paris 5) — PHARE/GRESE



• Philosophy of economics, theories of rationality, decision theory, game theory • Philosophy of social sciences


• 2002, "A la recherche des objets de l’économie", Sciences de la société, 55, 9-20. • 2002, avec X. Greffe & M. De Vroey (dir.), Dictionnaire des grandes œuvres économiques,

Paris: Dalloz. • 2005, "Walras et les mathématiques, un malentendu persistant", in R. Baranzini, A.

Diemer & Cl. Mouchot (dir.), Études walrassiennes, Paris: L’Harmattan, 81-104. • 2006, "Éléments pour une histoire de l’équilibre général, de Walras à Arrow et

Debreu", Œconomia, Economies et Sociétés, série PE 38, 1705-1752. • 2007, "Le modèle déductif-nomologique et l’explication en économie", in A.

Leroux et P. Livet (dir.), Science économique et philosophie des sciences, Paris: Economica.

LASSEGUE Jean

CNRS — Centre de Recherche en Épistémologie Appliquée



• Historical and sociological aspects in the philosophy of science • Philosophy of cognitive science, psychology and linguistics


• 2003, "La genèse des concepts mathématiques, entre sciences de la cognition et sciences de la culture", Revue de Synthèse, 124, Cinquième série, 223-236.

• 2004, "L'évolution du constructivisme turingien : de la logique du mental à la morphogenèse de l'idée", Intellectica, 39 (2), 107-124.


109

• 2005, "Formes symboliques et émergence de valeurs : pour une cognition culturalisée", Revue d’Intelligence Artificielle, 19 (1-2), 45-55.

• 2006, "Turing… et l’informatique fut", Pour La Science, série Les génies 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, à paraître.

LAURENT Catherine

Institut National de Recherche Agronomique — UMR SAD-APT 1048





• 2003, Pour une épistémologie de l'interdisciplinarité, Université Paris 1, Sorbonne / INRA.

• 2003, avec F. Maxime, A. Maze, M. Tichit, "Multifonctionnalité de l'agriculture et modèles 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-Panthéon 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, bio-technical science, ecology and the philosophy of science.

LE BIHAN Soazig (PhD student)

Illinois Institute of Technology (Chicago), Humanities Department — Laboratoire de Philosophie et d’Histoire des Sciences-Archives Poincaré (LPHS-AHP)





110

• General problems of methodology and scientific reasoning • Formal approaches to methodology


• 2004, "Saving incommensurability: Semantic theory of meaning or semantic theory of science?", Philosophia Scientiae, 8 (1), 97-105.

• 2006, "La conception sémantique des théories scientifiques, I. En quoi a-t-elle pu se dire 'sémantique' ?", Matière première, revue d’épistémologie et d’études matérialistes, 1 : Nature et naturalisations.

LE BLAY Frédéric

Université de Nantes — Modernité de l'Antique, EA 3258 & Centre François Viète



• Historical and sociological aspects in the philosophy of science • Philosophy of medicine


• 2004, "Les Controversiae de Sénèque le Rhéteur et la Préface du De medicina de Celse : l’artiste et le médecin, 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: Pàtron 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 XIème Colloque international hippocratique, Newcastle-upon-Tyne, 28-30 août 2002, Studies in Ancient Medicine, 31, Leiden-London-New York: E. J. Brill, 251-269.

• 2006, "Penser la douleur dans l’Antiquité : enjeu médical ou enjeu philosophique ?", in F. Prost & J. Wilgaux (eds.), Penser et représenter le corps dans l’Antiquité, Cahiers d’histoire du corps, 1, Rennes: Presses Universitaires de Rennes, 79-92.

• "Des tempéraments à l’idiosyncrasie : évolution et permanence d’une définition physiologique de l’individu", Mélanges, crases, tempéraments : la chimie du vivant dans la médecine et la biologie anciennes, Colloque international, Universités de Lausanne et de Genève, 6-8 mai 2004 (publication des actes en cours sous la direction de V. Barras, B. Maire et A.-F. Morand, Institut Universitaire Romand d’Histoire de la Médecine et de la Santé).

• "Le poème sur l’Etna, témoin d’un savoir oublié", in C. Cusset (éd.), Musa docta, La poésie didactique à Rome, Centre Jean Palerne, Presses de l’Université de Saint-Étienne (volume à paraître).


111

LECHOPIER Nicolas (PhD student)

Université Paris-1 — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST)



• Ethical issues in scientific practice and technologies • Historical and sociological aspects in the philosophy of science • Philosophy of social sciences


• 2004, "L'émergence de normes pour la recherche biomédicale. A l'origine de la loi Huriet (1975-1988)", Médecine/Sciences, 20, 377-81.

• 2007, "Confidentialité et confiance. L'émergence de normes en recherche épidémiologique", in Quiviger P.Y. et Martin T. (eds.), Action médicale et confiance, Presses Universitaires de Franche-Comté, Agon.

• 2007, Nature, sciences, philosophies. Actes de la journée d’étude du 5 juin 2004 à Lyon, édité par Marmasse G. et Léchopier N., Cahiers de la Société Française d’Histoire des Sciences et de Techniques, Vuibert.

• Avec Leplège, A., "Perspectives contemporaines sur la mesure de la santé perçue", in Debru C., Han H.-J., Morange M., Fagot-Largeault A.(eds.), Actualité de Georges Canguilhem. à paraître 2007.

LECOURT Dominique

Université Paris 7 — Centre Georges Canguilhem & REHSEIS (UMR7596)

• E-mail: Centre Canguilhem : [email protected] or Assistant : [email protected]


• Ethical issues in scientific practice and technologies • Bioethics • Historical and sociological aspects in the philosophy of science


• 1995, Lyssenko, histoire réelle d’une "science prolétarienne" (1976, réed. Paris: Quadrige/PUF, 1995)

• 2002, L’épistémologie historique de Gaston Bachelard (1969, 11ème édition augmentée Paris: Vrin, 2002)


112

• 2004, Dictionnaire de la pensée médicale, sous la direction de D. Lecourt (2004, réédition Paris: PUF/Quadrige, 2004)

• 2006, Dictionnaire d'histoire et philosophie des sciences, sous la direction de D. Lecourt (1999, 4ème édition augmentée Paris: PUF/Quadrige, 2006)

• 2006, La philosophie des sciences (2001, 3ème édition. Paris: PUF/Que sais je ?, 2006)

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

LELOUP Gérard

Université du Maine (Le Mans) — U.P.R.E.S.A. 7056 (Equipe de Logique, Paris 7)



• Mathematical logic


• 1990, "Théories complètes de paires de corps valués 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 Maël

Université François-Rabelais de Tours — EA 2115 (Histoire des représentations) &Recherches Épistémologiques et Historiques sur les Sciences Exactes et les Institutions Scientifiques (REHSEIS)





113


• "Medicine as Disunity of Science. The Plurality of Scientific Explicative Values", submitted to Philosophy of Science, november 2006.

• "La naissance de la méthode statistique en médecine : le XVIIIe S. et la querelle de l'inoculation", à paraître dans le Bulletin de la Société d’Histoire et d’Epistémologie des Sciences de la Vie (décembre 2006)

LEPLÈGE Alain

Université Paris 7 — Recherches Épistémologiques et Historiques sur les Sciences Exactes et les Institutions Scientifiques (REHSEIS)



• Philosophy of medicine • General problems of methodology and scientific reasoning • Ethical issues in scientific practice and technologies


• 1997, Leplège 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, Définitions, Enjeux" in Leplège A. et Joël Coste (eds.), Mesure de la Santé Perceptuelle et de la Qualité de Vie — méthodes et applications, Éditions ESTEM.

• 2003, "Note technique : invariance et modèles de mesure dans les sciences sociales, introduction à l’oeuvre de Georg Rasch", Social Science Information, Sage Publication, 42 (4), 535-555.

• 2004, "La qualité de vie", in D. Lecourt (ed.), Dictionnaire de la pensée médicale, 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 Supérieure de Lyon — Laboratoire de l’informatique du parallélisme



114


• Logic and computation • Formal languages and computation • Philosophy of economics, theories of rationality, decision theory, game theory


• 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.

LÉVY-LEBLOND Jean-Marc

Université de Nice-Sophia Antipolis — Institut Robert Hooke



• Philosophy of physics • Historical and sociological aspects in the philosophy of science • Ethical issues in scientific practice and technologies


• 1992, "Why does Physics need Mathematics?", in E. Ullmann-Margalit (ed.), The Scientific Enterprise, Dordrecht: Kluwer.

• 1996, Aux contraires (l'exercice de la pensée et la pratique de la science), Paris: Gallimard. • 2000, "Mots et maux de la physique quantique (Critique épistémologique et

problèmes terminologiques)", Revue internationale de philosophie, 2, 243-265. • 2000, "Une matière sans qualités ? (Grandeur et limites du réductionnisme

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.


115

LHERMINIER Philippe

CNRS — UPR 9034





• 1978, "Leibniz et la philosophie spontanée du généticien", La Pensée, 200, 55-69. • 1997, "Modèles instructifs et modèles sélectifs de l'origine des espèces", in Laurent

G. (éd.), Jean-Baptiste Lamarck (Congrès d'Amiens 1994), Paris: CTHS, 409-423. • 1998, "L'hérédité avant la génétique", Médecine-Science, 14 (3), I-XI. • 2001, "Locke, Leibniz et le problème moderne de l'espèce", Bulletin d’Histoire et

d’Epistémologie des Sciences de la Vie, sous presse. • 2005, Lherminier P. & Solignac M., De l'espèce, Paris: Syllepse.

LIHOREAU Franck

Université Nancy 2 — Laboratoire de Philosophie et d’Histoire des Sciences-Archives Poincaré (LPHS-AHP)



• Philosophical and applied logics


• Avec Rebuschi, M., "Raisonner sur la connaissance en contexte", Actes du colloque "Computers and Philosophy 2006", à paraître. Disponible sur HAL à l'adresse: http://halshs.archives-ouvertes.fr/halshs-00113447

LIVET Pierre

Université de Provence — Centre d’Épistémologie et d’Ergologie Comparative, CEPERC, UMR CNRS 6059



116


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


• 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, Enquête, Paris: Editions de l’EHESS, 2005, 229-254.

• 2005, Qu’est ce qu’une 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 Supérieure (LIENS)



• Formal languages and computation • Philosophy of mathematics and logic • Philosophy of biology


• 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, Mathématiques 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.


117

• Avec P.-E. Tendero, "L'ADN et l'incomplétude causale de la théorie de la programmation en biologie moléculaire", à paraître 2007, in Evolution des concepts fondateurs de la biologie du XXIe siècles, Paris: DeBoeck.

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

LONGY Françoise

Université Strasbourg 2 — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST)



• General problems of methodology and scientific reasoning • Philosophy of biology • Philosophy of mathematics and logic


• 2001, "Mathématiques et intuitions : Zermelo et Poincaré face à la théorie axiomatique des ensembles et à l’axiome du choix", Philosophia Scientiae, 5 (2), 51-87

• 2005, "Normes, Fonctions et Contenu : le Défi de Neander", Publications électroniques de Philosophia Scientiæ, 2, Actes du colloque de la SOPHA – Montréal 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 Synthèse d'une Epistémologie Formelle (CESEF)



118


• General problems of methodology and scientific reasoning • Philosophy of physics • Philosophy of social sciences


• 1996, La théorie quantique et le schisme en physique, trad.fr. de K. Popper, Quantum Theory and the Schism in Physics, Paris: Hermann.

• 2001, Paul Feyerabend : épistémologie, anarchisme et société libre, Paris: PUF. • 2004, Karl Popper. Langage, falsificationnisme et science objective, Paris: PUF. • 2005, Mathématique pharaonique égyptienne et théorie moderne des sciences, Paris: Dianoia,

coll. "Maât Cogitationes". • 2005, Réalisme, rationalisme et méthode 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) — Société médico-psychologique



• General problems of methodology and scientific reasoning • Philosophy of cognitive science, psychology and linguistics • Logic and complexity


• 2000, Marchais P. et Grize J.-B., "Le concept de protologique dans les processus de pensée", Annales Médico-Psychologiques, 158, 3, 193-208.

• 2003, L’Activité psychique. De la psychiatrie à une théorie de la connaissance, Paris: L’Harmattan.

• 2004, "L’angoisse et l’anxiété. Variations conceptuelles. Ouverture à la théorie des catégories", Annales Médico-Psychologiques, 2004, 162, 3, 196-202.

• 2005, "Rencontre entre la psychiatrie et la théorie des catégories", Cahiers de topologie et géométrie différentielle catégoriques, vol. XLVI-3, http://perso.wanadoo.fr/vbm-ehr/CT/

• 2006, Marchais P. et Grize J.-B.- "Du quantitatif et du qualitatif dans l’observation en psychiatrie", Annales Médico-Psychologiques, 164, 1, 41-47.


119

MARTIN Thierry

Université de Franche-Comté — Laboratoire Logiques de l'agir



• Philosophy of economics, theories of rationality, decision theory, game theory • Philosophy of mathematics and logic • Philosophy of social sciences


• 1996, Probabilités et critique philosophique selon Cournot, Paris: Vrin, coll. Mathesis. • 2003, (dir.) Probabilités subjectives et rationalité de l’action, Paris: CNRS Éditions. • 2003, "Buffon et l’arithmétique politique", in Th. Martin (dir.), Arithmétique politique

dans la France du XVIIIe siècle, Paris: I.N.E.D., 163-194. • 2005, (avec Bernard Bru) "Le baron de Férussac, la couleur de la statistique et la

topologie des sciences", in Journ@l électronique d’histoire des probabilités et des statistiques, www.jehps.net, vol. 1/2.

• 2006, "La logique probabiliste de Gabriel Cramer", Mathématiques et Sciences humaines – Mathematics and Social Sciences, 44e année, 176 (4), 43-60.

MARZANO Maria Michela

CNRS — Centre de Recherche Sens, Éthique, Société (CERSES)



• Bioethics • Ethical issues in scientific practice and technologies • Science and education


• 2002, Penser le corps, Paris: PUF. • 2003, La Pornographie ou l'épuisement du désir, Paris: Buchet/Chastel. • 2005, La Fidélité 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.


120

MAYRARGUE Arnaud

Institut Universitaire de Formation des Maîtres de Créteil — Recherches Épistémologiques et Historiques sur les Institutions Scientifiques (REHSEIS)





• 2004, "Calorique et éther lumineux : rôle historique dans les modes d’explication", Bulletin de l’Union 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 l’HST, l’épistémologie et la didactique des disciplines ?", Trema, 26.

• "Bouguer et la réfraction astronomique", Revue d’histoire des Sciences, à paraître 2007.

MIJOULE Richard

Éccole Nationale Supérieure d’Informatique pour l’industrie et l’Entreprise





• 1975, "Le forcing pour l'étude des fondements", 2ème Colloque internationnal de Catégories, Amiens 1975, Cahiers de Topologie et Géométrie différentielle, Vol XVI-3.

• 1987, "La théorie des fonctions indexées en récursivité", Archivum Mathematicum, 23 (4).

• 1995, "Fibrations and recursivity", Theoretical informatics and applications, 29 (3). • 2002, "Fibrations bornées, localement bornées et applications à la logique linéaire",

Séminaire Itinérant de Catégories, Amiens 2001, Compte-rendu n°13/janvier 2002 LAMFA-CNRS FRE 2270.

• 2004, "Objet des preuves dans une 2-catégorie", Séminaire Itinérant de Catégories, Paris 2004, Compte-rendu LAMFA-CNRS UMR 6140


121

Observations / Remarks: Je me suis surtout intéressé à l'approche catégorique de la logique. Que ce soit au début avec la théorie des esquisses, puis avec la théorie 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 d’Histoire des Sciences – Archives Poincaré (LPHS-AHP)



• Mathematical logic • Philosophy of mathematics and logic • Historical and sociological aspects in the philosophy of science


• 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 congrès 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 Carroll’s 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




• Philosophical and applied logics • Philosophy of cognitive science, psychology and linguistics • Formal approaches to methodology


122


• 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



• Philosophy of economics, theories of rationality, decision theory, game theory • Philosophy of social sciences • Philosophical and applied logics


• 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, 257-

286. • 2006, "A Concept of Progress for Normative Economics", Economics and Philosophy,

22, 19-54.

MORANGE Michel

Université Paris 6 & École Normale Supérieure — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST) & Centre Cavaillès de l'ENS





123


• 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 expliquée? 50 ans après la double hélice, Paris: Odile Jacob. • 2005, Les secrets du vivant: contre la pensée unique en biologie, Paris: La Découverte. • 2005, "What is Life? A new look at an old question", in P. Hajek, L. Valdès-

Villanueva and D. Westerstähl (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 d’Histoire et Philosophie des Sciences et des Techniques (IHPST))





• 1983, "Charles BABBAGE : vers une théorie du calcul mécanique", Thalès, numéro spécial de la Revue d'Histoire des Sciences, 36 (1), 69-107.

• 1991, "Sur quelques capacités et incapacités des machines", Bulletin de la Société Française de Philosophie, juillet-septembre 1991.

• 1998, "Calculabilité et formalisation", in F. Nef et D. Vernant (dir.), Le formalisme en question : Le tournant des années trente, Paris: Vrin, 49-65.

• 2002, "Règles de formation et règles de transformation : de Carnap à Harris", in F. Lepage, M. Paquette, F. Rivenc (dir.), Carnap aujourd’hui, Montréal/Paris: Bellarmin/Vrin, 39-57.

• 2003, "Quelques difficultés du structuralisme mathématique", in M. Serfati (dir.), De la méthode, Recherches en histoire et philosophie des mathématiques, Besançon: PUFC, 341-356.

MOSSIO Matteo

Université Paris 7 — Recherches Épistémologiques et Historiques sur les Scienes Exactes et les Institutions Scientifiques (REHSEIS)



124


• Philosophy of biology • General problems of methodology and scientific reasoning • Philosophy of cognitive science, psychology and linguistics


• 2005, "Une esquisse critique des fonctionnalismes", in Siksou M. (Ed.), Symétries, Londres: Hermès.

MUGNERET Mikaël

Université Nancy 2 — Laboratoire de Philosophie et d'Histoire des Sciences-Archives Henri Poincaré (LPHS-AHP)



• Philosophy of cognitive science, psychology and linguistics


• 2006, Ontologie, Sciences Cognitives et Identité Personnelle, Thèse 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 envisagés pour les prochaines années : épistémologie de la croyance religieuse, éthique et bioéthique.

NICOLAS François

École Normale Supérieure — Laboratoire disciplinaire "Pensée des Sciences"



• Philosophy of mathematics and logic • Philosophical and applied logics • Mathematical logic


125


• 1986, "Partages d’écriture : Mathématique et Musique sont-elles contemporaines ?", Cahiers du CREM, 1-2.

• 2001, "Qu'espérer des logiques musicales mises en oeuvre au XX° siècle ?", in Deliège, I. et Paddison, M. (dir.), Musique contemporaine — Perspectives théoriques et philosophiques, Liège: 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 mathématiques ?, Sampzon: Delatour.

NOUR Karim

Univerité de Savoie — Laboratoire de Mathématiques, Équipe de Logique (LAMA)





• 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 mono-sorted 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, 162-178.

• 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 Valéry - Montpellier 3 - Département de philosophie


126



• Philosophy of biology • Philosophy of medicine • Ethical issues in scientific practice and technologies


• 2000, L’art d’aimer la science, Paris: P.U.F. • 2002, Enquête sur le concept de modèle, 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 amphétamines, à paraître.

OLIVE Frédéric

Université de Provence — Laboratoire d'Informatique Fondamentale de Marseille



• Logic and complexity


• 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



127


• Philosophy of cognitive science, psychology and linguistics • Philosophy of social sciences • General problems of methodology and scientific reasoning


• 2002, "On the Proper Function of Language", in P. Carruthers and A. Chamberlain (eds.), Evolution and the Human Mind: Modularity, Language and Meta-cognition, Cambridge: Cambridge UP.

• 2004, "Is Trust an Epistemological Notion?", Episteme, 1 (1), 61-72. • 2005, "Le sens des autres. Ontogenèse de la confiance épistémique", Raisons

Pratiques, 17. • 2006, "Peut-on être anti-réductionniste à propos du témoignage?", Philosophie, 88,

47-57.

PANZA Marco






• 2003, "Mathematical proofs", Synthese, 134 (1-2), 119-158. • 2005, Newton et les origines de l'analyse: 1664-1666, Paris: Blanchard. • 2006, "François Viète, between analysis and cryptanalysis", Studies in History and

Philosophy of Sciences, 37, 269-289. • 2007, Nombres. Eléments de mathématiques pour philosophes, Lyon: ENS Editions. • "Il dibattito sul platonismo aritmetico", in A. Coliva (éd.), Manuale di filosofia

analitica, Roma: Carocci, à paraître.

PARENT Xavier

CNRS — Center for Comparative Ergology and Epistemology (CEPERC)



128


• Philosophical and applied logics • Philosophy of cognitive science, psychology and linguistics • Logic and computation


• 2001, "Cumulativity, identity and time in deontic logic", Fundamenta Informaticae, 48, 237-252.

• 2002, with P. Livet, "Argumentation, révision et conditionnels", in P. Livet (ed.), Révision 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 : [email protected]


• Philosophical and applied logics (logic and language) • Historical and sociological aspects in the philosophy of science


• 2002, Le Langage à l’œuvre, 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 : Théorie des idées et théorie de la

connaissance", in Corpus, 49, Paris, 227-248. • 2006, "Criticisme et réalisme chez Augustin Cournot", in M. Bitbol et J. Gayon

(eds.), L’Épistémologie française, 1830-1970, Paris: P.U.F., 213-230. • 2006, "De quelques usages impropres du nom propre", in Corpus, 50, Paris, 227-

248.

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


129

PARISOLI Luca

Université de Calabre, Italie — Centre de théorie et analyse du droit, UMR 7074



• Philosophical and applied logics • Bioethics


• 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 génétiste", 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 dépassement de la logique classique et les paradoxes des normes fondamentales", in D. de Béchillon, V. Champeil-Desplats, P. Brunet, E. Millard (eds.), L'architecture du droit. Mélanges en l'honneur de Michel Troper, Paris: Economica, 763-773.

PAROT Françoise

Université Paris 5 — Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST)



• Philosophy of cognitive science, psychology and linguistics • Historical and sociological aspects in the philosophy of science • Philosophy of social sciences


• 2000, Introduction à I. Meyerson, Existe-t-il une Nature humaine ? Psychologie historique, objective, comparative, Paris: Sanofi–Synthélabo, 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.


130

• 2004, "Mais pourquoi ces enfants ne tiennent-ils pas en place ?", Le Débat, décembre.

• 2006, "Les fonctions du rêve et du sommeil paradoxal — approche épistémologique", Sociétés et Représentations.

PARROCHIA Daniel

Université Jean Moulin - Lyon III – Centre d’Etudes des Formes, Institut de Philosophie de Lyon.



• Philosophy of mathematics and logic • Formal approaches to methodology • General problems of methodology and scientific reasoning


• 1993, Philosophie des Réseaux, 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 problèmes formels", Bulletin de la société francophone

de classification • 2003, L’homme volant, philosophie de l’aéronautique 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)



• Philosophy of mathematics and logic • Mathematical logic • General problems of methodology and scientific reasoning


131


• 2001, Shizai Lun, Kepandingxing, he Guoqu, trad. chin., Zhang Qing Yu, Hua Xia Publishing House, Coll. «Modern Thinking Library», Beijing, République Populaire de Chine.

• 2002, "Truth, Meaning, Modalities and Ethics (A Second Interview with Michael Dummett)", Philosophical Investigations, vol. 25, n°3, July, 225-271.

• 2005, "Savoir mathématique, temporalité et négation", Revue Roumaine de Philosophie, vol. 49 (1-2), Editura Academiei Române, Bucarest, 135-147.

• 2006, "Holisme de l’interprétation, holisme sémantique et asymétrie", Site Web de l’Institut d’Histoire et de Philosophie des Sciences et des Techniques, Paris, http://www-ihpst.univ-paris1.fr, partie Intranet.

• 2007, [à paraître, accepté pour publication], "Holisme, anatomicité et hiérarchie", Archives de Philosophie [Numéro spécial consacré à Quine], Paris.

PATY Michel

CNRS — Recherches Épistémologiques et Historiques sur les Sciences Esactes et les Institutions Scientifiques (REHSEIS)



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


• 2003, "The concept of quantum state: new views on old phenomena", in Ashtekar, Abhay, Cohen, Robert S., Howard, Don, Renn, Jürgen, 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 mathématiques et des sciences formalisées", 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 épistémologique", in Lachièze-Rey, Marc (éd.), L'espace physique, entre mathématiques et philosophie, Coll. « Penser avec les sciences », Paris-Les Ulis: EDP-Sciences, 41-79.

• 2006, "Les analogies mathématiques au sens de Poincaré et leur fonction en physique", in Durand-Richard, Marie-José (éd.), Le statut de l'analogie dans la démarche scientifique, Paris: L'Harmattan.


132

PECKER Jean-Claude

Collège de france & Académie des sciences (Paris)



• General problems of methodology and scientific reasoning • Ethical issues in scientific practice and technologies • Science and education


• 2001, Understanding the Heavens: thirty centuries of astronomical ideas from ancient thinking to modern cosmology, Berlin: Springer.

• 2004, L’univers exploré peu à peu expliqué, Paris: Odile Jacob. • Avec S. Dumont, Lalandiana, I & II, Correspondances de J. de Lalande, Paris: Vrin, à

paraître 2007.

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

PELLEGRIN Pierre

CNRS — Centre d’Histoire des Sciences et des Philosophies Arabes et Médiévales (CHSPAM)



• Philosophy of biology • Formal approaches to methodology • Philosophical and applied logics


• 1982, La Classification des animaux chez Aristote. Statut de la biologie et unité de l’aristotélisme, Paris: Belles Lettres.

• 2005, Aristote, Seconds analytiques, présentation, traduction et notes de P. Pellegrin, Paris: Flammarion.


133

PERAIRE Yves

Université Clermont 2 — UMR 6620, Laboratoire de Mathématiques



• Philosophical and applied logics • Philosophy of mathematics and logic • Philosophy of physics


• 1992, "Théorie relative des ensembles internes", Osaka Journal Of Mathematics, 29 (2).

• 2005, "Le replacement du référent dans les pratiques de l'Analyse issues de Edward Nelson et de Georges Reeb", Philosophia Scientiae, Cahier spécial 5 : "Fonder les mathématiques 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. (Réd.), The Strength of Nonstandard Analysis.

• "A mathematical Framework For Dirac Calculus", Société Belge de Mathématique Simon Stevin, à paraître.

Observations / Remarks: Je suis mathématicien, mais acculé à la philosophie devant les blocages liés à la spécificité de mon travail. Les articles 2 et 3 sont des articles de mathématiques mais obtenus en application de ma réflexion sur la sémantique des langues mathématiques.

PERRU Olivier

Université Lyon 1 — LIRDHIST



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


134


• 2000, "Zoonites et unité organique : les origines d’une lecture spécifique du vivant chez Alfred Moquin-Tandon (1801-1863) et Louis-Antoine Dugès (1797-1838)", History and philosophy of the life sciences, 22, 247-270.

• 2003, De la société à la symbiose, 1870-1930. Une histoire des découvertes sur les associations dans le monde vivant, vol. 1, Paris: Vrin.

• 2004, "Le modèle, le vivant et la complexité", Revue des questions scientifiques, 175 (2), 113-132.

• 2005, Le Vivant, Approches pour aujourd’hui, Paris: Cerf. • 2006, "Stratégies de coopération, signaux et symbiose", Comptes-rendus de l’Académie

des Sciences.

PETIT Jean-Luc

Université Marc Bloch Strasbourg II & Collège de France, Paris — Laboratoire de physiologie de la perception et de l'action UMR 7152



• Philosophy of cognitive science, psychology and linguistics • Philosophy of biology • Historical and sociological aspects in the philosophy of science


• 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. Phénoménologie et neurosciences",

in "Géométrie et cognition", Revue de Synthèse, 5ème série, Année 2003, 139-171. • 2005-2006, "Les systèmes résonnants : 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 phénoménologie, Paris: Odile Jacob.

PIGEAUD Jackie

Université de Nantes (Professeur émérite)



135




• 1981, La Maladie l'âme, Etude sur la relation de l'âme et du corps dans la tradition médico-philosophique antique, Paris: Les Belles Lettres, 3e édition 2006.

• 1987, Folie et cures de la folie chez les médecins de l'Antiquité gréco-romaine, La Manie, Paris: Les Belles Lettres, 2e édition à paraître 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 Mélancolie, fragments de poétique et d'histoire, Paris: Dilecta.

PLAGNOL Arnaud

Université de Paris 8 — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST)



• Philosophy of cognitive science, psychology and linguistics • Philosophical and applied logics • General problems of methodology and scientific reasoning


• 2004, Espaces de représentation : théorie élémentaire et psychopathologie, Paris: Editions du CNRS.

PLAUD Sabine (PhD student)

Université Paris 1 — Equipe Philosophies Contemporaines



• General problems of methodology and scientific reasoning • Philosophy of cognitive science, psychology and linguistics


136


• 2006, "La volonté n’est-elle qu’une expérience ?", in S. Laugier et Ch. Chauviré (eds.), Lire les Recherches Philosophiques, Paris: Vrin.

• 2006, avec E. Brun-Rovet, "Ludwik Fleck, Genèse et développement d’un fait scientifique", Pour la Science, 346, août 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, à paraître 2007.

• "Modélisation et expérience de pensée chez Mach : une méthode entre rationalisme et empirisme", in D. Bellis & E. Brun-Rovet (dir.), Expériences de pensée, à paraître 2007.

POIZAT Bruno

Universite Claude Bernard (Lyon 1) — Institut Camille Jordan (UMR CNRS 5208)



• Mathematical logic • Logic and complexity


• 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 intrinsèque de l'univers, Almaty: Eco Study. • 2007, avec I. Ben-Yaacov, "Fondements de la Logique Positive", Journal of Symbolic

Logic, 72. • "Définir l'espace dans le calcul des polynômes selon Valiant", soumis.

POLLET Charlotte Victorine

Université Paris 7 — Recherches Épistémologiques et Historiques sur les Sciences Exactes et les Institutions Scientifiques (REHSEIS)





137



• 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 mathématiques chinoises et indiennes. Thèse en cours : l'algèbre de l'art de l'inconnue céleste de Li Ye et une comparaison avec l'algèbre du XIII° siècle en Inde.

PRADEU Thomas (PhD student)

Université de Paris 1 — Institut d'Histoire et de Philosophie des Sciences et des Techniques (IHPST)



• Philosophy of biology • Philosophy of medicine • General problems of methodology and scientific reasoning


• 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 systèmes naturels, Paris: Vuibert, coll. "Philosophie des sciences".


138

PROUST Joëlle

CNRS — Institut Jean-Nicod



• Philosophy of cognitive science, psychology and linguistics • Philosophy of biology • Philosophical and applied logics


• 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 self-awareness: issues in philosophy and psychology, Oxford: Oxford University Press, 296-320.

• 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



• Philosophical and applied logics • Mathematical logic • Philosophy of mathematics and logic


• 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)


139

of the new series "Cahiers de Logique et d'Epistémologie" 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)



• Philosophical and applied logics


• 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), 1-14.

• 2005, "Quantification et indépendance informationnelle", in P. Joray (ed.), La quantification dans la logique moderne, Paris: L'Harmattan (Coll. Epistémologie 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, à paraître.

RETORE Christian

Université Bordeaux 1 — LaBRI UMR 5800



140


• Mathematical logic • Logic and computation • Philosophy of cognitive science, psychology and linguistics


• 1996, "Calcul de Lambek et Logique Linéaire", 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), 473–488.

• 2003, with E. Stabler, "Generative grammars in resource logics", Research on Language and Computation, 2 (1), 3–25.

• 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 Iégor

Université de Paris 10 — Département de Philosophie



• Mathematical logic • Formal approaches to methodology • General problems of methodology and scientific reasoning


• 1965, "Tout ensemble de formules de la logique classique est équivalent à un ensemble indépendant", 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 dénombrables de formules", C.R.Acad.Sc., 318 (I), 875-878.

• 1994, "Axiomatisations libres d'ensembles non dénombrables 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, à paraître 2007.


141

RICROCH Agnès

Institut National d’Agronomie de Paris — Sciences de la Vie et Santé



• Ethical issues in scientific practice and technologies • Bioethics • Science and education


• 2006, avec A. Gallais, Plantes transgéniques : faits et enjeux, Versailles: Editions QUAE, coll. "Synthèses".

• 2007, avec C. Baudoin, Jusqu'où breveter le vivant ?, Revue Esprit. à paraître 2007. • Avec F. Jésus, "Consultations of stakeholders on the roles of research in relation to

genetically modified plants in France", à paraître 2007 in Public Understanding of Science.

• Avec C. Dekeuwer, "Médecine prédictive et ses enjeux éthiques", à paraître 2007 in Droit, Déontologie et Soin.

RIVENC François

Université de Paris 1 — Institut d’Histoire et Philosophie des Sciences et des Techniques (IHPST)



• Philosophical and applied logics • Philosophy of mathematics and logic


• 1993, Recherches sur l'universalisme logique: Russell, Carnap, Paris: Editions Payot. • 1998, Sémantique et Vérité, de Tarski à Davidson, Paris: Presses Universitaires de

France, Coll. Philosophies. • 2003, avec Lepage, F. & Paquette, M., Carnap aujourd'hui, Actes du colloque Carnap

de Montréal, Paris: Vrin-Bellarmin. • 2005, Introduction à la Logique pertinente, Paris: Presses Universitaires de France. • 2006, Introduction à la Logique, (manuel), Paris: Editions Payot.


142

ROLLET Laurent

École Nationale Supérieure en Génie des Systèmes Industriels, Institut national Polytechnique de Lorraine — Laboratoire de Philosophie et d'Histoire des Sciences —Archives Henri Poincaré (LPHS-AHP)



• Historical and sociological aspects in the philosophy of science • Science and education


• 1997, "Henri Poincaré et l'action politique — Autour de l'Affaire Dreyfus". Séminaire de l'Institut de Recherche sur les Enjeux et les Fondements des Sciences et des Techniques, Strasbourg.

• 1999, Poincaré, Jules Henri, Science et méthode. Nouvelle édition de l'ouvrage de Poincaré, accompagnée d'une préface et d'un appareil critique. Edité par Laurent Rollet. N° spécial de la revue Philosophia Scientiae, Paris: Kimé.

• 2000, Henri Poincaré : Des mathématiques à la philosophie. Étude du parcours intellectuel social et politique d'un mathématicien au tournant du siècle, Lille: Éditions du Septentrion.

• 2002, Poincaré, Jules Henri, Henri Poincaré : Scientific Opportunism, An Anthology Compiled by Louis Rougier. Edited by Laurent Rollet. Berlin: Birkhäuser.

• 2003, Rollet, Laurent & Nabonnand, Philippe, "An Answer to the Growth of Mathematical Knowledge? The Répertoire Bibliographique des Sciences Mathématiques", European Mathematical Society Newsletter, 47 (mars 2003), 9-14.

ROMAND David

Université Paris 7 — Recherches Épistémologiques et Historiques sur les Institutions Scientifiques (REHSEIS)



• Philosophy of cognitive science, psychology and linguistics • Philosophy of biology


• 2005, avec M. Jeannerod, "De la conception du mouvement à la théorie des schémas. Evolution des idées sur la planification de l’action", in J.-C. Dupont (dir.), Histoires de la mémoire (19e-20e siècles), Paris: Vuibert, 215-40.


143

• "Johannes Müller (1801-1858) et la théorie des énergies sensorielles spécifiques", in C. Cherici & J.-C. Dupont, Les querelles du cerveau, 18e-19e siècles, Paris: Vuibert, à paraître 2007.

• "L’entrée du programme cognitif dans les neurosciences françaises : la contribution d’Alfred Fessard", in C. Debru, J.-G. Barbara, C. Cherici & D. Romand, Actes du colloque Histoire des neurosciences – France (1945-1975), à paraître 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)



• Philosophy of mathematics and logic • Philosophical and applied logics • Mathematical logic


• 1988, Frege. Les paradoxes de la représentation, Paris: Editions de Minuit. • 1996, Russell et le cercle des paradoxes, Paris: Presses Universitaires de France (Prix

Cavaillès). • 2004, "The Basic Problem of the Logic of Meaning (I)", Revue Internationale de

Philosophie, vol. 58 / n° 229, 329-372 • 2005, "Russell’s 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 Mendès France Grenoble 2 — Philosophie, Langages et Cognition (EA 3966)



144


• Philosophy of physics • Historical and sociological aspects in the philosophy of science


• 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 l’horizontale. L’émergence d’un principe mécanique et son devenir cosmologique", Galilaeana, 3, 123-147.

• 2006, "Découvrir 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 Stéphanie

Université de Provence 1 — CEPERC (UMR 6059)



• General problems of methodology and scientific reasoning • Historical and sociological aspects in the philosophy of science • Ethical issues in scientific practice and technologies


• 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, 189-214.

• 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.


145

SAINT OURS Alexis (de)

Université Paris 8 — Laboratoire Pensée des Sciences



• Philosophy of physics • General problems of methodology and scientific reasoning • Philosophy of mathematics and logic


• 2003, "Bergson et la théorie de la relativité restreinte", Théorie, Littérature, Enseignement, 21, Presses Universitaires de Vincennes.

• 2004, "Les sourires de l'être. Sur les diagrammes en mathématiques et en physique", Théorie, Littérature, 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 Châtelet, challenging the traditional relationship between mathematics and logic.

SAN GINÉS RUIZ Aránxaxu (PhD student)




• Formal languages and computation • Philosophical and applied logics • Mathematical logic


• 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 lógica de primer orden a la teoría de los cuantificadores generalizados: una nueva concepción de la cuantificación", Libro de actas, Comunicación, "V congreso de la sociedad lógica, metodología y filosofía de la ciencia en España", Granada 2006.


146

Observations / Remarks: Je travaille actuellementsur le problème de l’anaphore dans le langage naturel.

SCHANG Fabien

Nancy-Université — LPHS Archives Henri Poincaré (UMR 7117)



• Philosophical and applied logics • Philosophy of mathematics and logic • Formal approaches to methodology


• 2005, "Le principe psychologique de non-contradiction d'Aristote", Publications électroniques de Philosophia Scientiæ, 2, Actes du colloque de la SOPHA – Montréal 2003, http://philosophiascientiae.free.fr/

• 2005, "Entre naturalisme et esthétisme: Quine l'extensionaliste", in G. Heinzmann & M. Rebuschi (eds.), Aperçus philosophiques en logique et en mathématiques, Philosophia Scientiæ, 9 (2), 279-293.

• "Comment hintikkiser un Frege", Noésis, à paraître

SCHMID Anne-Françoise

INSA de Lyon — –Laboratoire de Philosophie et Histoire des Sciences-Archives Henri Poincaré (LPHS-AHP)



• General problems of methodology and scientific reasoning • Philosophical and applied logics • Ethical issues in scientific practice and technologies


• 1998, L’Âge de l’épistémologie. Science, Ingénierie, Éthique, Paris: Kimé. • 2001, Henri Poincaré, les sciences et la philosophie, Paris: L’Harmattan (réédition

augmentée de Une Philosophie de savant. Henri Poincaré et la logique mathématique, Paris:


147

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-Françoise Schmid, Paris: Kimé, 2 volumes.

• 2001, Que peut la Philosophie des sciences ?, Paris: Pétra. • 2004, avec J.-M. Legay, Philosophie de l’interdisciplinarité. Correspondance (1999-2004) sur

la recherche scientifique, la modélisation et les objets complexes, Paris: Pétra.

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

SCHMIDT Colin

Université du Maine — LIUM



• Philosophy of cognitive science, psychology and linguistics • Ethical issues in scientific practice and technologies • Philosophical and applied logics


• 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'", à paraître in Communication et langage.

• "Children, Robots and… Parents", à paraître in Minds and Machines. Journal for Artificial Intelligence, Philosophy and Cognitive Science.


148

SEGAL Jérôme

Institut Universitaires de Formation des Maîtres de Paris — Centre Cavaillès (Ecole Normale Supérieure). Actuellement détaché comme attaché de coopération scientifique et universitaire à l’Ambassade de France à Vienne

• E-mail: jerome.segal [at] gmail.com or segal [at] ens.fr


• Philosophy of economics, theories of rationality, decision theory, game theory • Philosophy of biology • Philosophy of cognitive science, psychology and linguistics


• 2003, Le Zéro et le Un — Histoire de la notion scientifique d'information, Paris: Editions Syllepse.

• 2004, "Du comportement des avions ennemis aux modélisations 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, Zürich-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 mésusages de la théorie de l'information", in J. Dubessy, G. Leointre et M. Silberstein (eds.), Les matérialismes et leurs détracteurs, Syllepse, Paris, 593-605.

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

SIMON Gérard

CNRS — U.M.R. 8163 (STL)





149


• 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è siècles, Lille: Septentrion. • 2000, Archéologie de la vision, Paris: Seuil. • Sciences et Histoire, Paris: Gallimard, à paraître (2008).

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

SINGER DANIEL

Université Paul Verlaine-Metz — LITA



• Mathematical logic • Logic and computation • Philosophy of cognitive science, psychology and linguistics


• 1984, Contributions à l'expression logique des mécanismes d'apprentissage, Thèse de 3ème cycle, Université Paris 6. 02.1984.

• 2003, "Pour une Théorie des Ensembles Flous basée sur des Semigroupes Totalement Ordonnés", in Proceedings of JIM´2003, JIM´2003 , Metz France, Septembre 2003.

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

SMADJA Ivahn Abraham

Université de Caen — Recherches Épistémologiques et Historiques sur les Sciences Exactes et les Institutions Scientifiques (REHSEIS)





150

• Philosophy of physics • General problems of methodology and scientific reasoning


• 2005, "Équations aux dérivées partielles et philosophie naturelle. Remarques sur l'héritage herbartien de Bernhard Riemann", in P. Valore (ed.), Ars experientiam recte intelligendi. Saggi filosofici, Milano: Polimetrica.

• 2007, "Théorie de l’imaginaire et géométrie abstraite selon Arthur Cayley. Réflexions philosophiques d’un mathématicien à l’époque victorienne", in J.-C. Dupont (ed.), Pour comprendre le XIXème siècle. Histoire et philosophie des sciences à la fin du siècle, Bibliothèque d’Histoire des Sciences, vol. 9. Firenze: Leo Olschki.

• 2007, "Géométrie infinitésimale et philosophie du continu chez Hermann Weyl", Histoires de Géométries (2006), Fondation Maison des Sciences de l’Homme, Paris, http://semioweb.msh-paris.fr/AAR/FR/video.asp?id=848&ress=2808&video=30987&format=22

• 2007, Qu’est-ce qu’une démonstration ?, Paris: Vrin, coll. "Chemins Philosophiques". • 2007, (Traduction, introduction et notes) Max Jammer, Concepts d’espace. Histoire des

théories de l’espace en physique (traduction à partir de la troisième édition élargie, New York: Dover, 1993, Préface d’Albert Einstein), Paris: Vrin, coll. "Mathesis".

SOLER Léna

Institut Universitaire de Formation des Maîtres de Lorraine — –Laboratoire de Philosophie et d’Histoire des Sciences-Archives Henri Poincaré (LPHS-AHP)





• 1996, Les fondements philosophiques de la mécanique quantique, Paris: Vrin, Collection "Mathesis".

• 1999, "Les quanta de lumière d’Einstein en 1905, comme point focal d’un réseau argumentatif complexe", Philosophia scientiae, 3 (3), 107-144.

• 2001, "Les origines de la formule de Planck e=hn, ou comment l’analogie 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 problème de l’incommensurabilité, un demi siècle après, volume thématique de Philosophia Scientiae dirigé par Léna Soler, 8 (1), 1-38.


151

• 2006, "Une nouvelle forme d’incommensurabilité en philosophie des sciences ?", Revue philosophique de Louvain, 104 (3), 554-580.

SPRANZI Marta

Université de Versailles St-Quentin-en-Yvelines — Centre Cavaillès (Ecole Normale Supérieure) & Institut d’Histoire et de Philosophie des Sciences et des Techniques (IHPST)



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


• 2000, "Interprétariat, droits du malade et éthique de la communication", in C. Byk (ed.), La bioéthique : un langage pour mieux se comprendre, Paris: éditions ESKA/Lacassagne, 141-168.

• 2001, "Rhétorique, dialectique et probabilité au XVIe siècle", Revue de Synthèse, 4e série, 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, numéro spécial: Studies in cognitive anthropology of science, 4, 451-484.

• 2004, Le "Dialogue sur les deux grands systèmes du monde" de Galilée: dialectique, rhétorique et démonstration, Paris: PUF.

• 2004, avec Ph. Hamou, Galilée, 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 Théorique et Appliquée (LITA)



• Formal languages and computation • Mathematical logic • Logic and computation


152


• 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, 337-351.

• 2005, "Automatic 'Descente Infinie' Induction Reasoning", in Proceedings of TABLEAUX'2005, LNAI 3702, Springer Verlag, 262-276.

THEYSSIER Guillaume

CNRS — Laboratoire de Mathématiques, Équipe de Logique (LAMA)



• Logic and complexity • Formal languages and computation • Logic and computation


• 2004, "Captive Cellular Automata", Mathematical Foundations of Computer Science (Prague, Czech Republic, août 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, février 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 proposés, j'ai interprété le mot anglais "computation" comme "calcul" mais aussi comme "calculabilité".


153

THOMAS Marion

Université Strasbourg 2 — Recherches Épistémologiques et Historiques sur les Sciences Exactes et les Institutions Scientifiques (REHSEIS)



• Philosophy of biology • Philosophy of cognitive science, psychology and linguistics • Ethical issues in scientific practice and technologies


• 2004, "De nouveaux territoires d’introduction du mendélisme en France : Louis Blaringhem (1878-1958), un généticien néolamarckien sur le terrain agricole", Revue d’histoire 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.

• "L’intelligence animale : objet des marges ou de légitimation de la psychologie ?", in M. Kail (dir.), Marges et marginalisations dans l’histoire de la psychologie, Paris: L’Harmattan (sous presse).

• "Le 'droit à la métaphore' des penseurs français", in S. Roux (dir.), Retours sur l’affaire Sokal, Paris: L’Harmattan (sous presse).

TIRARD Stéphane

Université de Nantes — Centre François Viète d'épistémologie et d'histoire des sciences et des techniques



• Philosophy of biology • Science and education


• 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 "l’Esprit du Temps", 124, 81-89.


154

• 2003, "Gaston Bonnier (1853-1922) : un botaniste lamarckien", Bulletin d’histoire et d’épistémologie 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 passées, actes des journées sur l’histoire et l’épistémologie des sciences historiques, Cahiers François Viète, 9.

• "Les conférences pédagogiques de sciences naturelles de 1904 et 1905, enjeux conceptuels et diffusion des concepts biologiques fondamentaux", Actes de la journées d’étude : Sciences et enseignement : accompagner une réforme – Les conférences pédagogiques de 1904 et 1905, organisées par Hélène Gispert, Nicole Hulin, Marie-Claire Robic, ENS, rue d’Ulm, Paris, 13 et 14 septembre 2005, Paris: Vuibert Flash – INRP, à paraître.

TRONÇON Samuel

Université de Provence — CEPERC (UMR 6059)



• Mathematical logic • Philosophy of cognitive science, psychology and linguistics • Philosophy of social sciences


• 2004, Interaction et signification, Actes du Colloque LMP, Paris: Presses Universitaires de la Sorbonne.

• 2006, "Éléments de sémiotique cognitive", à paraître dans les Actes de l'école LIGC, Paris: Hermann.

• 2006, (avec J-B Joinet) Logique et interaction : vers une géométrie du cognitif, Paris: Hermann.

UZAN Pierre

Université Paris 1



• Philosophy of physics • Logic and complexity


155


• 2000, "Analyse du paradoxe de l'irréversibilité et proposition d'une conception inter-subjective du temps. La théorie 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, à paraître 2007.

VAN ATTEN Mark

CNRS — Institut d’Histoire et de Philosophie des Sciences et des Techniques (IHPST)





• 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 Gödel", 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 Méthodes de l'Analyse Sociologique



• Formal languages and computation • General problems of methodology and scientific reasoning


156



• 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 18-20th, 2001, Ghent: SCS Europe Bvba, 549-554.

• 2003, "La simulation informatique face à la méthode des modèles", Natures Sciences Sociétés, 11 (1), 16-28.

• 2003, "La simulation conçue comme expérience concrète", Actes des 10èmes journées de rencontres interdisciplinaires sur les systèmes complexes naturels et artificiels (Rochebrune, 2003), Paris: éditions de l’Ecole Nationale Supérieure des Télécommunications de Paris (ENST), 299-313.

• 2006, avec Denis Phan, "Épistémologie dans une coquille de noix : concevoir et expérimenter", in Amblard F., Phan D. (eds.), Modélisation et simulation multi-agents : applications aux Sciences de l'Homme et de la Société, London: Hermes-Sciences, 104-119.

• 2006, Les notions de métaphore et d'analogie dans les épistémologies des modèles et des simulations, Paris: Pétra.

Observations / Remarks: Comme les catégories distinctives ci-dessus valent pour une représentation et un état particuliers des sciences, je suggère de préciser que je travaille dans le domaine de l'épistémologie de la simulation dans les sciences non purement formelles, en lien avec l'essor général et transversal de la pluriformalisation dans ces sciences (depuis 15 ans, notamment via les technologies logicielles à objets et agents).

VERNANT Denis

Université Pierre Mendès France Grenoble 2 — Philosophie, langages et cognition (EA 3966)



• Mathematical logic • Philosophical and applied logics • General problems of methodology and scientific reasoning


• 1986, Introduction à la philosophie de la logique, coll. "Philosophie et langage", Bruxelles: Mardaga.

• 1993, La Philosophie mathématique de B. Russell, Paris: Vrin. • 2001, Introduction à la logique standard, Paris: Flammarion. • 2003, Bertrand Russell, Paris: Garnier-Flammarion.


157

• 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 Mendès France Grenoble 2 — Philosophie, Langages et Cognition (EA 3966)



• Philosophical and applied logics • General problems of methodology and scientific reasoning • Philosophy of cognitive science, psychology and linguistics


• 2005, "L’Absurdité de l’identité selon Wittgenstein", Revue de Théologie et de Philosophie, Genève, 137, 19-34.

• 2005, "Communication, dialogue et intelligence", Studia, Universitatis Babes-Bolyai, Cluj, coll. "Ephemerides", 2, 3-24.

• 2006, "L’intelligence artificielle. Le problème de la créativité dans le langage", in J.-Y. Goffi (dir.), Regards sur les technosciences, Paris: Vrin, 165-183.

• 2006, "La théorie logique de l’identité absolue", Logique & Analyse, Bruxelles, 194, 169-190.

• 2006, L'Identité personnelle à travers le temps. De quelques difficultés 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 d’Histoire des Sciences – Archives Poincaré (LPHS-AHP)



• Philosophy of mathematics and logic • Philosophical and applied logics • General problems of methodology and scientific reasoning


158


• 2005, "Conceptualisme", dans Notionnaires, Dictionnaire des Idées, Encyclopaedia Universalis, 180-181.

• 2005, "Intuitionnisme", dans Notionnaires, Dictionnaire des Idées, Encyclopaedia Universalis, 422-424.

• 2005, "La distinction kantienne entre jugement analytique et jugement synthétique a-t-elle un sens?", Actes du Colloque "Kant et la France — Kant und Frankreich", J. Ferrari et alii (eds.), Hildesheim, Zürich, New-York: Georg Olms-Verlag, 133-147.

• 2006, "Does Gödel'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)





WAGNER Frank

Université Claude Bernard Lyon 1 — Institut Camille Jordan UMR 5208





• 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.


159

• 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




• Historical and sociological aspects in the philosophy of science • General problems of methodology and scientific reasoning • Philosophy of mathematics and logic


• 1998, La Machine en logique, Paris: PUF. • 2002, Les Philosophes et la science, Paris: Gallimard. • 2004, avec Laugier, S., Philosophie des sciences, vol.1, Théories, expériences et

méthodes, vol.2, Naturalismes et réalismes, Paris: Vrin. • 2006, avec Bonnet, Ch., L'Âge d'or de l'empirisme logique, Vienne-Berlin-Prague, 1929-

1936, Textes de philosophie des sciences, Paris: Gallimard. • 2007, La logique, Paris: PUF, Coll. "Que sais-je?".

WEHRUNG Friedrich

CNRS — LMNO, CNRS UMR 6139





• 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.


160

WIEBER Frédéric

Insitut Universitaire de Formation des Maîtres de Lorraine de Lorraine — Laboratoire de Philosophie et Histoire des Sciences – Archives Henri Poincaré (LPHS-AHP)





• 2006, "Interplay between molecular biology and computational chemistry : models and simulations in the construction of a computational protein chemistry (1960-1980)", preprint 310, Max Planck Institute for the History of Science.

ZWIRN Hervé




• Formal approaches to methodology • Philosophy of physics • Logic and complexity


• 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 systèmes complexes, Paris: Odile Jacob. • 2006, avec A. Lambert-Mogiliansky & S. Zamir, "Type Indeterminacy: A Model of

the KT (Kahneman—Tversky)-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).

LISTE DES THÈSES (1998-2007)

LIST OF PhD DISSERTATIONS (1998-2007)

163

Introduction

Les informations sur les thèses de doctorat en logique, méthodologie et philosophie des sciecnes depuis 1998 ont été recueillies à plusieurs sources: réponses individuelles, fichier national des thèses (localisé à l’Université de Nanterre), informations fournies par les unités de recherche. Cette liste n’aurait pu être réalisée sans le concours de M. François Huger, responsable du fichier central des thèses. Nous sommes conscients que cette liste demeure lacunaire. Une liste plus exhaustive sera consultable bientôt 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 François Huger, administrator of the “Fichier central des thèses” (national database of PhD in France). As soon as posible a more complete list will be made available on the guide’s website.

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

164

Achilli Michaël

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 réalité. Essai sur la nature du visible

1999; supervisor: Jacques Bouveresse


Allouche Sylvie

Les interventions biotechnologiques sur le corps humain dans la "spéculative Fiction"

In preparation; supervisor: Jean Mosconi


Alsaleh Christophe

J.L Austin et le problème du réalisme

2003; supervisor: Sandra Laugier

University: Université d'Amiens

Altaghous Mohammad

Les grandes figures de la logique en France dans la première moitié du XX° siècle

In preparation; supervisor: François Rivenc



165

Altavilla Annagrazia

Recherche sur les cellules souches : enjeux éthiques et juridiques pour l’Europe

In preparation; supervisor: Marc Gamerre, Philippe Pedrot

University: Université de la Méditerranée

Amann Jean-Paul

Problèmes éthiques de l'expérimentation médicale auprès des enfants

2007; supervisor: Anne Fagot-Largeault


Ambroise Bruno

Les pouvoirs de la parole: valeur symbolique et construction du sens



Ameli Hormoz

Stabilités des prédicats et théorème d'approximation

1998; supervisor: Labib Haddad

University: Université Clermont-Ferrand 2

Ansart David

Utilisation et extensions de l'algorithmique pour SAT pour la résolution de différents problèmes d'intelligence artificielle

2005; supervisor: Eric Grégoire

University: Université d'Artois


166

Arapinis Alexandra

Revues critiques des théories de la référence directe: Quelle sémantique pour le langage ordinaire?



Asselah Kenza

Arithmétique et algèbre dans la seconde moitié du XVIIe siècle français

2005; supervisor: Roshdi Rashed


Astier Vincent

Théorie des modèles des groupes spéciaux de longueur de chaîne finie

1999; supervisor: Max Dickmann


Aucouturier Etienne

Biologie, médecine et armement au XX° siècle: une perspective historico-critique

In preparation; supervisor: Jean Gayon


Audureau Eric

Kurt Gödel, critique de la théorie de la relativité générale

2004; supervisor: Alain Michel

University: Université de Provence


167

Aumonier Nicolas

Qu'est-ce qu'une cause dans un micro-organisme? Abrégé de microbiologie et histoire de l'operon lactose chez Escherichia coli



Bac-Bruasse alexandra

Logique linéaire indexée du second ordre

2001; supervisor: Jean-Yves Girard

University: Université Aix-Marseille 2

Bachtold Manuel

Possible, actuel et événement en mécanique quantique, une approche pragmatiste

2005; supervisor: Michel Bitbol


Baillot Patrick

Approches dynamiques en sémantique de la logique linéaire : jeux et géométrie de l'interaction

1999; supervisor: Jean-Yves Girard


Bapteste Eric

A quoi ressemble la classification naturelle du vivant ?

2007; supervisor: Jean Gayon



168

Barton Adrien

Réalisme modal en physique

In preparation; supervisor: Michel Bitbol


Baudouin Catherine

Analyse comparée de l'évaluation éthique des biotechnologies agricoles: fonctionnement des comités, présupposés philosophiques et modalités d'élaboration des avis

In preparation; supervisor: Catherine Larrère


Bayle Benoît

La nouvelle scène conceptionnelle : contribution à l’éthique de la procréation humaine

2004; supervisor: Dominique Folscheid

University: Université de Marne-la-Vallée

Benoist Frank

Théorie des modèles des corps munis d'une dérivation de Hasse

2005; supervisor: Françoise Delon


Ben Yaacov Itaï

Théories "simples": construction de groupes et interprétabilité généralisée

2002; supervisor: Daniel Lascar



169

Berclemence Jean

Karl Popper et la question d'une philosophie de la réfutation

2005; supervisor: Jean-Jacques Szczeciniarz


Berkovitz Balatz

Sciences humaines, vérité et "biopolitique" chez Foucault

In preparation; supervisor: Pierre-Henri Castel


Bertini Yves

La notion d'indéfini en lambda calcul

2005; supervisor: René David

University: Université de Savoie

Bessant Brigitte

Contributions aux techniques de révision de croyances en intelligence artificielle : aspects sémantiques



Bienvenu Alexis

Le statut des énoncés de la physique dans l'empirisme berlinois de Helmoltz à Reichenbach (1880-1930)

In preparation; supervisor: Michel Bitbol



170

Blanqui Frédéric

Théorie des types et récriture

2001; supervisor: Jean-Pierre Jouannaud


Blossier Thomas

Ensembles minimaux localement modulaires

2001; supervisor: Elisabeth Bouscaren


Bolanos Bernardo

Attentes normatives et personnalité. Eléments de théorie de la décision juridique

2006; supervisor: Jean Mosconi


Bolmont Etienne

Le rôle épistémique des analogies, à l’exemple de l’électricité, du magnétisme et de l’électromagnétisme au 19ème siècle

1999; supervisor: Gerhard Heinzmann

University: Université Nancy 2

Boniface Jacqueline

Hilbert et la notion d'existence en mathématiques

1999; supervisor: Hourya Sinaceur



171

Bonnay Denis

Qu'est-ce qu'une constante logique?

2006; supervisor: Jacques Dubucs


Bosser Anne-Gwenn

Réplications distribuées pour la définition de jeux massivement multijoueurs

2005; supervisor: Emmanuel Chailloux


Boukhris Samir

Probabilités et Induction: Le programme de Carnap



Boyer Julien

Déflationnisme en matière de vérité et vérité mathématique

In preparation; supervisor: Gabriel Sandu


Braillard Pierre-Alain

L'amour philosophe: le requisit de l'amour dans la quête du fondement

In preparation; supervisor: Jean Gayon & Michel Morange



172

Brémond 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 Grégoire & Lakhdar Sais


Brun-Rovet Étienne

La survenance : une limite analytique ?

In preparation; supervisor: Christiane Chauviré


Bustamante-Medina Ronald

Théorie des modèles des corps différentiellement clos avec un automorphisme générique

2005; supervisor: Zoé Chatidzakis


Campagnolo Gilles

Pensée philosophique et discours économique: au fondement des théories économiques continentales de la fin du Caméralisme à la Querelle allemande sur les méthodes

2001; supervisor: Bernard Bourgeois



173

Candau Fabien

Les politiques publiques face à la mobilité des biens et des personnes, les apports de l'économie régionale et du commerce international

2006; supervisor: Marc Fleurbaey

University: Université de Pau et des Pays de l'Adour

Cartron Laure

L'hérédité dans la première moitié du 19ème siècle



Černy Jindrich

Le conventionnalisme et la théorie de la signification dans l'école de Lvov et Varsovie

In preparation; supervisor: Jacques Dubucs


Chachoua Mohammed

Une théorie 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'expérience, Carnap, Schlick et le vérificationnisme




174

Charmetant Eric

Biologie évolutionniste et éthique normative



Chateau Annie

Utilisation de destinées pour la décision et la complexité dans le cas de formules à profondeur de quantification bornée sur des structures logiques finies et infinies

2003; supervisor: Denis Richard, Malika More

University: Université Clermont-Ferrand I

Cherici Céline

L’anatomie et la physiologie du système nerveux, du cerveau et du cervelet chez Vincenzo Malacarne (1744-1816). Une physiologie pré-expérimentale

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-François Marquet

University: Université Paris-Sorbonne Paris 1Paris 4

Chinchilla Eugenio

Modèles en arithmétique bornée

2001; supervisor: Jean-Pierre Ressayre



175

Choquette Geneviève

La création et l'interprétation dans la perspective d'une analyse formelle

2004; supervisor: Christiane Chauviré


Clavien Christine

L'éthique évolutionniste: limites et perspectives

In preparation; supervisor: Jean Gayon & Daniel Schulthess

University: Université Paris 1 & Université de Neuchâtel

Coelho Miguel

Réalisme et empirisme de Mach à Van Fraassen



Collignon Patrick

La qualité de vie des enfants et adultes déficients intellectuels profonds polyhandicapés

2004; supervisor: Jean-François Mattei & Jean-Robert Harlé


Coulbois Thierry

Propriétés de Ribes-Zaleskii, topologie profinie, produit libre et généralisations

2000; supervisor: Gabriel Sabbagh



176

Cozic Mikael

Fondements cognitifs du choix en rationalité limitée

2005; supervisor: Daniel Andler & Bernard Waliser

University: Université Paris 1Paris 4

Crocco Gabriella

Pour une défense du pluralisme. Le choix d'une logique



Croizer Jacques

Logique et devenir de Leibniz à Russell et à Poincaré. Une contribution à l'histoire des relations entre la logique, les mathématiques et le temps.

1998; supervisor: Jean Petitot-Cocorda

University: EHESS

Curmin Philippe

Marquage des preuves et extraction de programmes

1999; supervisor: Michel Parigot


Darnière Luck

Etude modèle-théorique d'anneaux satisfaisant un principe de Hasse non singulier

1998; supervisor: Françoise Delon Moret-Bailly

University: Université de Rennes


177

Dascalu Camelia

La théorie frégéenne du sens face au problème de l'indexalité



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 problèmes éthiques impliqués par la médecine prédicative



Delacoste Marc

Philosophie de la non-séparabillité quantique et cosmologie d'Alfred North Withead



Delord Julien

Etude historique et philosophique d'un concept écologique: les extinctions d'espèces




178

Deloustal-Jorrand Virginie

L'implication mathématique : étude épistémologique et didactique.

2004; supervisor: Charles Payan

University: Université Pierre Mendès-France Grenoble

Demaille Akim

Logiques linéaires hybrides et leurs modalités : théories et applications

1999; supervisor: Patrick Bellot

University: Ecole Nationale Supérieure des Télécommunications

Demazeux Steeve

Identifier et classer les troubles mentaux: étude des problèmes philosophiques et épistémologiques soulevés par la nosologie psychiatrique contemporaine



Devred Caroline

Contribution à l'étude des inférences argumentatives : spécialisations et généralisations du cadre de Dung

2006 ; supervisor: Pierre Marquis


Doridot Fernand

Aux origines de l'arithmétique formelle : définitions du nombre naturel entre Frege et Quine, postures philosophiques et déterminations cognitives

2003; supervisor: Patrice Bailhache

University: Université de Nantes


179

Douek Nadia

Les rapports entre l'argumentation et la conceptualisation dans les domaines d'expérience

2003; supervisor: Paolo Boero & Gérard Vergnaud

University: Université de Gênes & Université Paris V

Drouet Isabelle

Probabilité et causalité: une approche propensionniste



Dubrana Frédéric

Signification du corps en chirurgie



Egré Paul

Attitudes propositionnelles et paradoxes épistémiques



Ekwa Robert

Les maladies à prions: problèmes épistémologiques




180

El Skaf Rawad

Le démon de Maxwell et l'épistémologie des expériences de pensée



Everaere Patricia

Contribution à l'étude des opérateurs de fusion: manipulabilité et fusion disjonctive

2006 ; supervisor: Pierre Marquis


Farkh Samir

Types de données en logique du second ordre

1998; supervisor: René David & Karim Nour

University: Université de Chambéry

Fauriel Isabelle

Légitimité des avis rendus par 19 CCPPRB : étude de leur fonctionnement respectif, des concepts utilisés et des types d’éthique de la discussion employés

2004; supervisor: Christian Hervé

University: Université Paris V René Descartes

Fel Loïc

L'esthétique verte: de la représentation à la présentation de la nature

In preparation; supervisor: Pascal Acot



181

Fernandez de Castro Max

La solution de Quine au problème de l'acceptation d'une ontologie abstraite dans le cadre de l'empirisme



Ferrario Roberta

Le raisonnement contrefactuel : un modèle 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 mathématiques constructivistes



Franceschelli Sara

Construction de signification physique dans le métier de physicien : le cas du chaos déterministe

2001; supervisor: Michel Paty


Gabolde Martine

Ethique de la transplantation avec donneur vivant

2002; supervisor: Anne-Marie Moulin

University: Université Paris V


182

Galinon Henri

Définition, élimination, déflation : recherches sur la vérité



Gandon Sebastien

Logique et langage chez le premier Wittgenstein. Une lecture du Tractatus Logico-Philosophicus à la lumière des oeuvres de Frege et de Russell

1999; supervisor: Christiane Chauviré


Gateau Valérie

Enjeux éthiques des transplantations hépatiques éavec donneurs vivants



Gauvrit Nicolas

La logique contextuelle

2005; supervisor: n.p.

University: EHESS

Gheerbrant Amélie

Recherches logiques sur les énoncés conditionnels

In preparation; supervisor: Johannes Van Benthem & Gabriel Sandu



183

Giroux Elodie

Epidémiologie des facteurs de risque : genèse d'une nouvelle approche de la maladie



Givernaud Nicolas

Origine et développement de l'anthropologie biologique



Godailler Yannick

Le concept de modularité en biologie contemporaine

In preparation; supervisor: Anne Fagot-Largeault

University:

Gorincour Guillaume

Ethique et prise de décision dans les interruptions de grossesse du 3e trimestre : exploitation d’un questionnaire francophone

In preparation; supervisor: Jean-Robert Harlé & Pierre Le Coz


Grassin Marc

Les arrêts de réanimation et les arrêts de vie en néonatologie. Responsabilité et transgression. L’éthique clinique en question.

1999; supervisor: Michel Dehan

University: Université René Descartes


184

Grenouilloux Armelle

Psychosomatique et corporéité : pour un abord phénoménologique de la question psychosomatique



Grison Denis

Du principe de précaution à la Philosophie de la précaution



Guedj Muriel

L’émergence du principe de conservation de l’énergie au milieu du 19ème siècle : de la théorie mécanique de la chaleur à la thermodynamique



Guiler Jorge

Produits booléens d'anneaux de valuation et de corps réels clos

1999; supervisor: Max Dickmann


Guillaume Bruno

Un calcul de substitutions avec étiquettes




185

Guillin Vincent

Les relations entre Auguste Comte et John Stuart Mill



Guinnebault Jean-Marc

Caractérisation 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, épistémologie, éthique



Hachaichi Yassine

Contribution à la théorie des modèles finis et à la complexité descriptive

2001; supervisor: Patrick Cegielski


Halikaki Despina

Le schématisme arborescent en systématique et phylogénie dans les sciences de la vie, de 1766 à1966 de Pallas à Hennig




186

Halimi Brice

Le problème logique du rapport entre universalité et nécessité

2005; supervisor: François Clémentz

University: Université de Provence

Han Hee-Jin

Le programme de recherche vitaliste dans les sciences biomédicales: une étude historico-épistémologique du vitalisme français au XVII° siècle



Harada Masaki

La physique au carrefour de l’intuitif et du symbolique- Une étude épistémologique des concepts quantiques à la lumière de la phénoménologie herméneutique



Hill Brian

Jouer avec le faux. Recherches sur les processus mentaux à l'œuvre dans la lecture des textes de fiction



Hils Martin

Fusion libre et autres constructions génériques

2006; supervisor: Zoé Chatidzakis & Frank Wagner

University: Université Paris 7 / Université Lyon 1


187

Huneman Philippe

Métaphysique et biologie. Kant et la constitution du concept d'organisme



Icard Philippe

Une approche philosophique de la chirurgie: l'"œuvre des mains"



Imbert Cyrille

Emergence et simulation dans les systèmes complexes déterministes



Jaeger Lydia

Lois de la nature et raisons du cœur : les convictions religieuses dans le débat épistémologique contemporain



Joly Thierry

Codage, séparabilité et représentation de fonctions, en lambda-calcul simplement typé et dans d'autres systèmes de types

2000; supervisor: Vincent Danos



188

Jullien Caroline

Esthétique et modes opératoires en mathématiques — Une exploration goodmanienne



Karella Catherine

Changement conceptuel et développement scientifique: le cas de la logique mathématique de Hilbert à Gödel



Kauark-Leite Patricia

Vers une critique de la raison quantique : les approches transcendantales en mécanique quantique


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 siècle : Bhaskara et le Ganitapada de l’Aryabhatiya

2000; supervisor: Karine Chemla



189

Kennedy Neil

Antiréalisme et formalisation des capacités cognitives des agents

In preparation; supervisor: Jacques Dubucs & Mathieu Marion

University: Université Paris 1 & UQAM

Kleinpeter Edouard

Les fondements philosophiques de la vulgarisation scientifique



Kotobi Henri

Approche philosophique de la douleur dite "physique" (ou la dualité du corps et de l'esprit mise à mal…par la douleur)



Krömer Ralf

La théorie des catégories : ses apports mathématiques et ses implications épistémologiques


University: Université Nancy 2 / Université de la Sarre

Lacas Samuel

Extensionnalité, syntaxe et Prédicats de Vérité

2001; supervisor: Jean-Louis Krivien & Serge Grigorieff



190

Lachenal Guillaume

Biomédecine et décolonisation au Cameroun, 1944-1994. Technologies, figures et institutions médicales à l'épreuve



Lambert Sylvain

La définition de la mort



Lardreau-Cotelle Esther

Histoire et représentations de la migraine au 19ème siècle



Laurent Olivier

Etude de la polarisation en logique

2002; supervisor: Jean-Yves Girard & Laurent Régnier


Lauria Philippe

Philosophie du transfini

2003; supervisor: Jean-Pierre Ginisti

University: Université Lyon 3


191

Le Bars Jean-Marie

Probabilités 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 biomédicale



Le Coz Pierre

Le moment philosophique de la décision médicale

2003; supervisor: Pierre Livet & Jean-François Mattéi


Le Du Michel

Le vécu et l'arrière-plan. Psychologie et anthropologie selon Wittgenstein

1999; supervisor: Frédéric Nef

University: Université Rennes 1


192

Lefève Céline

Maine de Biran et Bergson. Science et philosophie. La question de la psychologie subjective

2003; supervisor: Dominique Lecourt


Le Roux Stéphane

Abstraction et formalisation de la théorie des jeux

In preparation; supervisor: Pierre Lescanne

University: Ecole normale supérieure de Lyon

Leroy Guillaume

La contribution des algorithmes génétiques à l'étude de l'émergence



Letombe Florian

De la validité des formules booléennes quantifiées : étude de complexité et exploitation de classes traitables au sein d'un prouveur QBF

2005; supervisor: Pierre Marquis


Lévy Julien

Principe de réflexion, codages et la structure H_{omega_2}

2006; supervisor: Stevo Todorcevic



193

Litzelmann Jenny

La notion de "droit de l'"animal"" et ses conséquences philosophiques



Malaterre Christophe

Les enjeux philosophiques du concept d'émergence appliqué aux origines de la vie



Malod Guillaume

Polynômes et coefficients

2003; supervisor: Bruno Poizat

University: Université Lyon 1

Malzac Perrine

Génétique médicale, déterminisme et liberté

In preparation; supervisor: Jean-François Mattei & Roland Gori


Mancuso Dominico

Libre arbitre et transcendance du futur

In preparation; supervisor: Daniel Andler



194

Marchal Bruno

Calculabilité, physique et cognition

1998; supervisor: Jean-Paul Delahaye

University: Université Lille I

Mariou Benoît

Modèles engendrés par des indiscernables et modèles saturés

1999; supervisor: Elisabeth Bouscaren


Marmin Nicolas

La contribution de Charles Richet à la psychologie française

2001; supervisor: Françoise Parot


Mazure Bertrand

De la Satisfaisabilité à la Compilation de Bases de Connaissances Propositionnelles



Merlin Francesca

Le concept de hasard en biochimie et biologie moléculaire: analyse critique de son rôle explicatif




195

Mlika Hamdi

Le platonisme de Quine et sa critique dans la philosophie contemporaine des mathématiques

2000; supervisor: Pascal Engel


Moatti Alexandre

Le révisionnisme dans les sciences exactes



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



Mugneret Mikaël

Ontologie, sciences cognitives et identité personnelle

2006; supervisor: Roger Pouivet



196

Narboux Jean-Philippe

Aspect et paradigme dans la philosophie de Wittgenstein



Ngom Ndiakhat

Déterminisme biologique, idéologies politiques et raciales: de l'eugénisme à la sociobiologie



Nguyen Van The Lionel

Théorie de Ramsey structurale des espaces métriques et dynamique topologique des groupes d'isométries

2006; supervisor: Stevo Todorcevic


Nizar Kouider

La négation dans la philosophie des sciences de Karl Popper

2004; supervisor: Bertrand Saint-Sernin

University: Université Paris 1Paris 4

Oger Marie-Dominique

La théorie des orbitales moléculaires et l'émergence de la chimie quantique

2003; supervisor: André Coret



197

Ono Kotaro

Le vital et le social chez Bergson

In preparation; supervisor: Michel Bourdeau & Mitsuhiro Okada


Ostrowski Richard

Reconnaissance et exploitation de propriétés structurelles pour la résolution du problème SAT

2004; supervisor: Lakhdar Sais


Ould Houcine Abderezak

Sur quelques problèmes de prolongement dans les groupes

2003; supervisor: Gabriel Sabbagh


Oumraou Leny

De la difficulté des mathématiques



Oury Jean-Paul

Plantes génétiquement modifiées : controverses, communication et idéologie




198

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 Cédric

Actions collectives et coopération



Pedicini Mario

Exécution des programmes

1999; supervisor: Jean-Yves Girard & Vincent Danos

University: Université Paris 7 / Université Aix-Marseille 2

Peyronnet Sylvain

Model checking et vérification probabiliste

2003; supervisor: Michel De Rougemont


Pissavin Patrice

En quoi les théorèmes de Gödel de 1931 et apparentés conduisent-ils à une limitation des possibilités de connaissance objective?

In preparation; supervisor: Philippe de Rouilhan



199

Pitteloud Daniel

Le produit dans les corps de série transfinis

1998; supervisor: Jean-Paul Ressayre


Plagnol Arnaud

La fondation analogique des représentations

2005; supervisor: Philippe de Rouilhan


Plaud Sabine

Image et représentation chez Wittgenstein : La notion de Bild et son rapport aux épistémologies de l’image (Helmholtz, Mach, Boltzmann)

In preparation; supervisor: Christiane Chauviré


Poggiolesi Francesca

Recherches en logique modale de la démontrabillité

In preparation; supervisor: Philippe de Rouilhan & Pierluigi Minari

University: Université Paris 1 & Université de Florence

Porquet Nadège

Contribution à l'étude de relations d'inférence paraconsistante sous ressources limitées

2005; supervisor: Pierre Marquis



200

Pradeu Thomas

Immunologie et identité biologique: l'immunité comme fondement d'une définition exogène de l'organisme



Proietti Carlo

Le problème de l'omniscience logique en logique épistémique

In preparation; supervisor: Gabriel Sandu & Mauro Mariani


Proust Christine

Tablettes mathématiques de Nippur (Mésopotamie, début du deuxième millénaire avant notre ère) — Reconstitution du cursus scolaire

2004; supervisor: Christian Houzel

University: Université Paris7 — Denis Diderot

Quinche Florence

La délibération éthique : contribution du dialogisme et de la logique des questions (logique érotétique)

2004; supervisor: Raphaël Célis & Francis Jacques

University: Université de Lausanne & Université Paris 3

Quinon Paula

Arithmétique 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


201

Radovic Rasko

La signification philosophique de l'expression des émotions

1999; supervisor: Jacques Bouveresse


Raffin Catherine

La production et les fonctions des images en physique des matériaux 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


Rebuschi Manuel

Peut-on dire ce qui n'est pas ? Objets mathématiques et autres fictions : sémantique et ontologie



Richa Sami

L’information du malade et le consentement aux soins dans la maladie mentale

In preparation; supervisor: Jean-Robert Harlé & Pierre Le Coz



202

Rigal Christelle

Contribution à l’histoire des la recherche médicale : autour des travaux de Jean Bernard et de ses collaborateurs sur la leucémie aigue, 1940-1970



Rispoli Raphaël

Eléments d'une méthodologie computationnelle pour la construction autonome des représentations

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

Différentes modalités de travail sur le général dans les recherches de Poincaré sur les systèmes dynamiques

2006; supervisor: Karine Chemla


Rollet Laurent

Henri Poincaré, des mathématiques à la philosophie : étude du parcours intellectuel, social et politique d’un mathématicien au début du 20ème siècle




203

Romand David

La formation du concept d’inconscient cognitif : contribution à l’histoire de la psychologie et à la théorie des neurosciences cognitives



Romero Chacon Angel Enrique

La Mécanique d’Euler. Prolégomènes à la pensée physique des milieux continus (concepts et principes physiques, et analytisation mathématique)


University: Université Paris7 – Denis Diderot

Roque Tatiana

Ensaio sobre a gênese das idéias matemáticas : exemplos da teoria dos sistemas dinâmicos

2001; supervisor: Michel Paty, Christian Houzel, Ildeu Moreira & Pinguelli Luis Rosa

University: Universidade Federal do Rio de Janeiro, Brésil

Rosendal Christian

Etude descriptive de l'isomorphisme dans la classe des espaces de Banach

2003; supervisor: Alain Louveau


Ruyer Frédéric

Preuves, types et sous-types

2006; supervisor: Christophe Raffalli



204

Sabatier Xavier

Etudes sur le réalisme mathématique



Sacré Karim

Qu'est-ce que penser en médecin?



Saint-Ours Alexis (de)

Temps et relation en gravitation quantique

2007; supervisor: Charles Alunni


Sakhri Mohsen

De la logistique à la linguistique, Couturat et le parcours de l'universalité



Samli Nafiz

La question des fondements des mathématiques et la théorie des modèles

1998; supervisor: Marc-Alain Rieu

University: Université Jean Moulin Lyon


205

Sananes Paul

Histoire, objectifs et activités de la fédération internationale du planninig familial (I.P.P.F). Implications sociales, psychologiques, éthiques et démographiques. Perspectives



San Gines Ruiz Aranxaxu

Quantificateur dans le langage naturel

In preparation; supervisor: Gabriel Sandu


Sart Frédéric

Eléments de logique aléthico-déontique

2000; supervisor: Patrice Bailhache


Schang Fabien

Philosophie des modalités épistémiques (la logique assertorique revisitée)



Schmeling Michael

Corps de transséries

2001; supervisor: Jean-Paul Ressayre & Joris Van der Hoeven



206

Schmetz Roland

"Le traité de l'argumentation" de C. Perelman. Quelle philosophie de l'argumentation ?

1999; supervisor: Nanine Charbonnel

University: Université Strasbourg 2

Schmitt Stéphane

Histoire du problème des parties répétées, de la morphologie idéaliste à la génétique du développement

2000; supervisor: Michel Morange


Sigaud Olivier

Automatisme et subjectivité: l'anticipation au cœur de l'expérience



Simonsen Kenneth

Représentations mathématiques et interprétations physiques dans les théories physiques de Leibniz et de Newton



Sir Zbynek

Les sections coniques chez Philippe de La Hire

2002; supervisor: Christian Houzel



207

Smadja Ivahn

Essai sur la notion de schématisme en arithmétique



Sofiane Ahcène

Contribution aux techniques de fusion de connaissance en intelligence artificielle



Sonea Alina

Souffrance vs Douleur: l'investigation philosophique et médicale



Steichen olivier

Raisonnement à partir de règles et raisonnement à partir de cas pour la résolution des problèmes en médecine



Tahiri Hassan

La dynamique de la négation et la logique avec inconsistances : quelques conséquences scientifiques et épistémologiques. Vers un rapprochement entre la philosophie et l'histoire des sciences

2005; supervisor: Shahid Rahman

University: Université Lille 3


208

Thévenon Patrick

Vers un assistant à la preuve en langue naturelle



Thiénot Cédric

La logique pseudo-intuitionniste

1999; supervisor: Michel De Glas


Thomas Marion

Rethinking the History of Ethology: French Animal Behaviour Studies in the Third Republic (1870-1940)

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: Mélika Ouelbani & Michel Malherbe


Tomb Roland

Ethique et bioéthique dans la pensée islamique contemporaine

In preparation; supervisor: Jean-Robert Harlé



209

Tortora de Falco Lorenzo

Réseaux, cohérence et expériences obsessionnelles

2000; supervisor: Vincent Danos


Tousseul Sylvain

Les principes de la pensée ou les conditions d'impossibilités de la science

In preparation; supervisor: François Laruelle

University: Université Paris 10 — Nanterre

Uzan Pierre

Vers une logique du temps sémantique. Irréversibilité, mesure quantique et processus de la représentation



Vallée Thierry

"Map Theory" et antifondation

2001; supervisor: Chantal Berline


Viale Matteo

Application de l'axiome de forcing propre à l'arithmétique des cardinaux

2006; supervisor: Boban Velickovic & Alessandro Andretta

University: Université Paris 7 / Université de Turin


210

Viciana Hugo

Qu'est-ce qu'une adaptation biologique à la culture?



Vidaux Xavier

10e problème de Hilbert pour les fonctions méromorphes p-adiques globales

2001; supervisor: Jean-Louis Duret & A. Pheidas Thanases

University: Université d’Angers

Vorms Marion

L'identité d'une théorie scientifique face à ses différentes versions



Werling Guy-Cédric

Attitudes propositionnelles d'ordre supérieur



Wieber Frédéric

Construction et applicabilité théoriques en chimie des protéines (1960-1990) : essai épistémologique et historique




211

Ymélé Jean-Pierre

Le statut de l'observateur en physique classique: Etudes sur la constitution d'une pensée de l'observation et de l'objectivité



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


Zenil Hector

L'approche algorithmique de l'aléatoire



LIENS ET ADRESSES UTILES

USEFUL LINKS AND ADDRESSES


215

Cette section sera complétée progresivement sur le site web du guide.

This section shall be progressively completed on the website.

Institutions et sociétés savants / Institutions and societies

CNFHPS - Comité National Français 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é Français des Unions Scientifiques Internationales (French Committee of the International Scientific Unions) http://www.academie-sciences.fr/comites/comite_html/COFUSI_b.htm

SFP - Société Française de Philosophie http://www.sofrphilo.fr/

SPS - Société de Philosophie des Sciences (French Society of Philosophy of Science) http://www.sps.ens.fr/

SHESVIE - Société d'Histoire et d'Epistémologie des Sciences de la Vie (French Society of History and Epistemology of the Life Sciences) http://www.bium.univ-paris5.fr/shesvie/

Actulaités 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 d’unités / 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/


216

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

105283254 guide de la recherche en logique methodologie en france

Documents