Remerciez-le!

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

Guide de la recherche en logique methodologie en france 1

COMITÉ NATIONAL FRANCAIS D'HISTOIRE ET DE PHILOSOPHIE DES SCIENCES rue Mazarine - F- 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 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 a ?aires étrangères Paris Ambassade de France à Pékin International Union of History and Philosophy of Science Division of Logic Methodology and Philosophy of Science C CTABLE DES MATIÈRES TABLE OF CONTENTS INTRODUCTION Français English SIGLES ACRONYMS UNITÉS DE RECHERCHE RESEARCH UNITS Introduction Centre d'histoire des sciences et des philosophies arabes et médiévales CHSPAM Centre de Recherche en Epistémologie Appliquée CREA Centre de Recherche en Informatique de Lens CRIL Centre de Recherche Sens Ethique Société CERSES Centre Georges Canguilhem Ethique et philosophie de la médecine et de la biologie Groupe transdisciplinaire Histoire Philosophie Sciences GHPS Institut d'Histoire et de Philosophie des Sciences et des Techniques IHPST Institut de Recherches Interdisciplinaires sur les Sciences et la Technologie IRIST Institut Jean Nicod Laboratoire d'Algorithmique Complexité et Logique LACL Laboratoire de Mathématiques - Equipe de Logique LAMA Laboratoire de Philosophie et d'Histoire des Sciences - Archives Henri Poincaré LPHSAHP Laboratoire de Recherche sur les Sciences de la Matière LARSIM Laboratoire d ? Études du Phénomène Scienti ?que LEPS Logic Interaction Language and Computation LILaC Méthodes formelles PLUME Preuves ?? Programmes ?? Systèmes PPS Recherches Épistémologiques et Historiques sur les Institutions Scienti ?ques REHSEIS Signes linguistiques grammaire et sens algorithmique logique de la langue SIGNES CHERCHEURS INDIVIDUELS INDIVIDUAL RESEARCHERS Introduction THÈSES DE DOCTORAT Ph D DISSERTATIONS Introduction LIENS ET ADRESSES USEFUL LINKS AND ADDRESSES C CINTRODUCTION Français La France s ? est dotée en d ? un comité national d ? histoire et de philosophie des sciences CNFHPS Créé par l ? Académie des sciences il fut initialement présidé par Louis de Broglie 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 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 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 Le schéma retenu est analogue à celui du Guide de l ? histoire des sciences en France réalisé en à l ? occasion du e Congrès de