CV détaillé - Sciences, normes, décision

Titres et travaux
Jacques Dubucs
Sciences, Normes, Décision
CNRS/Paris Sorbonne
Avril 2016
Curriculum Vitae
Informations
personnelles
Nom / Prénom
Fonction
Dubucs, Jacques
Directeur de Recherche
Laboratoire
Adresse
Téléphone
Fax
Courrier électronique
Sciences, Normes, Décision
28, rue Serpente, 75005 Paris
(33) (0)1 53 10 57 00
(33) (0)1 43 25 29 48
[email protected]
Institution
Adresse
Téléphone
Fax
Courrier électronique
Ministère de l’Enseignement Supérieur et de la Recherche
1, rue Descartes 75231 Paris cedex 05
(33) (0)1 55 55 82 07
(33) (0)1 55 55 84 39
[email protected]
Nationalité
Date de naissance
Française
16 mars 1953
Cursus
Position actuelle
Depuis 2014 : Président du Groupe Stratégique Social and Cultural Innovation (SCI-SWG) du Forum Européen des Infrastructures de Recherche
(ESFRI)
Depuis 2012 : Membre du Comité Individuals, Societies, Cultures and
Health (ISCH) de l’Organisation Européenne de Coopération pour la
Science et la Technologie (COST)
Depuis 2009 : Directeur scientifique du Département des Sciences de
l’Homme et de la Société à la Direction Générale de la Recherche et de
l’Innovation (Ministère de l’Enseignement Supérieur et de la Recherche)
Depuis 2001 : Membre du Comité National Français pour l’Histoire et la
Philosophie des Sciences (Académie des Sciences)
Depuis 1992 : Directeur de Recherche CNRS
Positions précédentes
2002-2010 : Directeur de l’Institut d’Histoire et de Philosophie des
Sciences et des Techniques (CNRS/Paris I/ENS)
2012-2015 : Membre du Comité Individuals, Societies, Cultures and
Health (ISCH) de l’Organisation Européenne de Coopération pour la
Science et la Technologie (COST)
2012-2014 : Membre du Comité International de Prospective d’ALSTOM
2
2005-2009 : Membre du Bureau et du Standing Committee “Humanities”
de la Fondation Européenne de la Science
2002-2006 : Chargé de Mission, puis Directeur Scientifique Adjoint du
Département SHS du CNRS
1985-1992 : Chargé de Recherche, IHPST
1980-1985 : Maître Assistant au Département de Mathématiques, fondateur puis directeur du Département d’Informatique de l’École Normale
Supérieure de Rabat (Maroc)
1978-1980 : Chargé de Cours en logique à l’Université Paris I. Professeur
de philosophie au Lycée de Longjumeau puis au Lycée Voltaire (Paris)
Formation initiale
1984 : Doctorat d’État ès-Lettres et Sciences Humaines, Université ParisI
1980 : Administrateur Civil (École Normale Supérieure des Postes et
Télécommunications)
1978 : Thèse de 3ème cycle de Logique, Université Paris V
1976 : Agrégation de Philosophie, Paris
1972-1977 Élève de l’École Normale Supérieure de Saint-Cloud
Enseignement
1999-2006, puis depuis 2009 : Cours de Logique avancée (M2) dans le
Cogmaster (Université Paris VI/EHESS/ENS) (50 H.E.T.D. annuelles)
2013-2015 : Cours de Philosophie des sciences (M2) à l’Université Paris
Sorbonne (39 H.E.T.D. annuelles)
2001-2012 : Cours de Philosophie des sciences (M2) et Cours de Logique
(M1) à l’Université Paris I (100 H.E.T.D. annuelles)
1992-2001 : Cours annuel de licence à l’Université Paris I
1980-1985 : Algèbre linéaire, Méthodes mathématiques pour les sciences
physiques, Algorithmique et programmation à l’École Normale Supérieure de Rabat
1978-1980 : Travaux dirigés de Logique à Paris I
Encadrement
Post-doctoral
Doctoral
Pré-doctoral
Depuis 2006 : 1 HDR dirigée, 3 post-doctorants encadrés
Depuis 1996 : 20 thèses soutenues
Depuis 2001 : 13 mémoires de M2 en philosophie àParis I ; 4 mémoires
de M2 en ph !losophie à Paris Sorbonne ; 8 mémoires de M2 de sciences
cognitives à l’EHESS
Animation de la
recherche
Direction de séminaires
1998-2015 : (avec M. van Atten et F. Pataut, puis M. Panza), Séminaire “Philosophie des mathématiques” de l’IHPST, puis commun
IHPST/Sciences, Normes, Décision
3
2001-2006 : (avec I. Drouet et Th. Martin), Séminaire “Philosophie des
probabilités” de l’IHPST
2000-2005 : (avec D. Andler, puis D. Bonnay et P. Egré), Séminaire
“Philosophie formelle” de l’IHPST
1987-1989 (avec D. Andler, M. Azencott, J.-L. Krivine et J. Stern), Séminaire “Logiques pour les Systèmes Experts”, Département d’Informatique
de l’École Normale Supérieure
Organisation de colloques
Depuis 1992 : 26 manifestations scientifiques internationales, dont 7 à
l’étranger
Responsabilités
scientifiques
2008-2012 : (avec W. Spohn) Programme ANR-DFG “Causality and Probability”
2004-2006 : (avec P. Engel) Programme ACI “Révision des Théories”
2002-2004 : (avec H. Zwirn) Programme ACI “Émergence dans les Systèmes Complexes”
2000-2003 : (avec Fr. Lepage) Programme CNRS Franco-Canadien “Logique et Rationalité”
1996-1998 : Programme MEN-MRT “Histoire et Philosophie de la
Logique”
1995-1997 : (avec J. Ferber) Programme MEN-MRT CLASSIC “Classification des formes de la coopération”
1993-1999 : Membre du Conseil Scientifique du Réseau Cogniseine
1993-1996 : (avec J.-P. Dupuy et B. Walliser) Programme MEN-MRT
“Condtionnels et rationalité”
1991-1994 : (avec J. Mosconi et Ph. de Rouilhan) Programme MEN MRT “Logique et Psychologie des Attitudes Propositionnelles”
Organisation de la
recherche
2007-2009 : Membre élu de la 17ème Section (Philosophie) du Comité
National des Universités
2006 : Président du Joint Committee des deux Divisions de l’Union Internationale d’Histoire et de Philosophie des Sciences
Évaluation de la
recherche
2006 : Président du Comité International d’Évaluation du Département
de Philosophie de l’Université de Leyde (Pays-Bas)
2006 : Président du Comité International d’Évaluation du Secteur
“Sciences Humaines” du Consejo Superior de Investigaciones Cientificas
(Espagne)
Jurys de thèse
Depuis 1991 : 34 participations, en France et à l’étranger, en philosophie,
informatique, mathématiques et robotique, dont 7 comme président
Depuis 2001 : 4 participations, en philosophie et en psychologie
Jurys d’HDR
4
Évaluation d’articles
Évaluation d’ouvrages
Évaluation pour des congrès
Évaluation pour des
institutions françaises
Évaluation pour des
institutions internationales
Responabilités
éditoriales
Depuis 1993 : 28 expertises pour Dialectica, Erkenntnis, Fuzzy Sets and
Systems, Grazer Philosophische Studien, Intellectica, Journal of Philosophical Logic, Journal of Philosophical Research, Philosophia Scientiae,
Revue de la Maison des Sciences de l’Homme, Revue d’Histoire des Mathématiques, Revue d’Histoire des Sciences, Synthese, Theoria et Theory
and Decision
Depuis 1990 : 9 expertises pour Belin, Birkhäuser, CNRS Éditions, Masson, Oxford U.P., Presses de l’Université de Franche-Comté, Springer
Verlag et Vrin
Depuis 1995 : 6 expertises pour Association pour la Recherche en Sciences
Cognitives (Paris), Complexity (Liverpool), ESSLI 2008 (Hambourg),
International Joint Congress for Artificial Intelligence (Sidney), International Workshop on Logic and Philosophy of Knowledge (Donostia),
Knowledge and Representation (Vancouver)
Depuis 1990 : 27 expertises pour ACI Cognitique, ACI Prosodie, Centre
National des Lettres, CNRS, Maisons des Sciences de l’Homme, Ministère
de la Recherche, Mission Scientifique Universitaire, Région Nord-Pas-deCalais, Réseau CogniSeine, Universités de Marne-La-Vallée, Nantes et
Paris I
Depuis 1992 : 13 expertises pour le Conseil des Arts du Canada, le Conseil
National de Recherche en Sciences Humaines (Canada), le Département
d’Informatique de l’Imperial College (Londres), le Fonds National de
la Recherche Scientifique (Belgique), l’Universita degli studi di Siena,
l’Université Concordia à Montréal, l’Université de Liège, l’Université de
Montréal et l’UQAM
Depuis 2007 : Membre du Comité des Publications de l’Imperial College
(Londres)
Depuis 2003 : Collection Logic, Epistemology and the Unity of Science,
(Springer Verlag), Membre du Comité Éditorial
2007-2013 : Theoria (Blackwell), Membre du Comité Éditorial
2004-2010 : Synthese (Springer Verlag), Membre du Comité Éditorial
1998-2004 : Theory and Decision (Kluwer Publ.), Membre du Comité
Éditorial
5
Thèses et HDR dirigées
Thèses soutenues
1. Gabriella Crocco (Italie), Pour une défense du pluralisme logique , 1995-1999
— Thèse soutenue le 10 mai 1999 à l’Université Paris I. Jury : D. Andler (Paris IV), J.
Dubucs, P. Gochet (Liège), A. Michel (Aix-en-Provence), Ph. de Rouilhan (IHPST)),
E. Schwartz (Clermont-Ferrand). Mention THFUJ.
— Situation actuelle : Professeur à l’Université d’Aix en Provence, Directrice de l’UMR
CEPERC http://sites.univ-provence.fr/wceperc/spip.php?article26
2. Samir Boukhris (Tunisie), Probabilité et induction : le programme de Carnap
, 1999-2001
— Thèse soutenue le 28 octobre 2001 à l’Université Paris I. Jury : B. Bru (Paris V), J.
Dubucs, Th. Martin (Besançon), J. Vickers (Claremont College, UCLA) et H Zwirn
(IHPST). Mention THFUJ
3. Jean Fichot, Langage et signification : le cas des mathématiques constructives,
1998-2002
— Thèse soutenue le 7 décembre 2002 à l’Université Paris I. Jury : J. Dubucs, M.
Guillaume (Clermont-Ferrand), J. Mosconi (Paris I), G. Sundholm (Leyden) et G.
Usberti (Sienne). Mention THFUJ
— Situation actuelle : Maître de Conférences à l’Université Paris I http://www.univ-paris1.
fr/recherche/page-perso/page/?tx_oxcspagepersonnel_pi1[page]=presentation&
tx_oxcspagepersonnel_pi1[uid]=jfichot
4. Olivier Sigaud, Les anticipations de la perception , 1999-2002
— Thèse soutenue le 10 décembre 2002 à l’Université Paris I. Jury : J. Droulez (Collège
de France), J. Dubucs, J. Petitot (CREA), I. Stewart (UTC) et B. Victorri (LATTICE). Mention THFUJ. http://www-ihpst.univ-paris1.fr/fichiers/theses/
olivier_sigaud_179.pdf
— Situation actuelle : Professeur (Informatique) à l’Université Pierre et Marie Curie
http://www.isir.upmc.fr/?op=view_profil&id=28
5. Leny Oumraou, De la difficulté des mathématiques , 2001-2004
— Thèse soutenue le 13 décembre 2004 à l’Université Paris I. Jury : J. Dubucs, G. Heinzmann (Nancy), Th. Martin (Besançon), J. Mosconi (Paris I) et G. Sandu (IHPST).
Mention THFUJ.
— Situation actuelle : Professeur Agrégé au Lycée d’Orléans
6. Paul Egré, La logique épistémique et les attitudes propositionnelles , 20012004
— Thèse soutenue le 17 décembre 2004 à l’Université Paris I. Jury : J. van Benthem (Amsterdam), J. Dokic (EHESS), J. Dubucs, P. Engel (Paris IV), B. Geurts (Niemègue)
et T. Williamson (Oxford). Mention THFUJ.
— Situation actuelle : Chargé de Recherche CNRS à l’Institut Jean Nicod http://
paulegre.free.fr/
6
7. Brian Hill (Royaume-Uni), Jouer avec le faux , 2003-2006
— Thèse soutenue le 3 juillet 2006 à l’Université Paris I. Jury : G. Currie (Nottingham),
J. Dubucs, Ph. Mongin (HEC), R. Pouivet (Nancy), J.-M. Schaeffer (CRAL) et R.
Stalnaker (MIT). Mention THFUJ. http://tel.archives-ouvertes.fr/docs/00/
10/87/65/PDF/these.pdf
— Situation actuelle : Chargé de Recherche au CNRS (section 37). https://studies2.
hec.fr/jahia/Jahia/hill
8. Denis Bonnay, Qu’est-ce qu’Une constante logique ? , 2002-2006
— Thèse soutenue le 16 novembre 2006 à l’Université Paris I. Jury : J. van Benthem
(Amsterdam et Stanford), J. Dubucs, G. Heinzmann (Nancy), G. Sandu (IHPST), G.
Sher (San Diego) et D. Westerstahl (Göteborg). Pré-rapporteur : S. Feferman (Berkeley). Mention THFUJ. https://halshs.archives-ouvertes.fr/halshs-00791916
— Situation actuelle : Maître de Conférences à l’Université Paris X. http://lumiere.
ens.fr/~dbonnay/
— Distinction : Best Student Paper Award au Congrès ESSLI de 2004
9. Cédric Paternotte, Actions collectives et coopération , 2003 - 2007
— Thèse soutenue le 29 septembre 2007 à l’Université Paris I. Jury : J. Dubucs, M.
Fleurbaey (CERSES), P. Livet (Aix en Provence), Th. Martin (Besançon), R. Tuomela
(Helsinki) et B. Walliser (ENPC-CERAS). Mention THFUJ.
— Situation actuelle : Post-doctorant au Center for Mathematical Philosophy de l’Université de Münich. https://sites.google.com/site/cedricpaternotte/
10. Isabelle Drouet, Probabilité, causalité et propensions dans les réseaux bayésiens , 2004-2007
— Thèse soutenue le 15 décembre 2007 à l’Université Paris I. Jury : J. Dubucs, D. Gillies (Londres), P. Humphreys (Charlottesville), Th. Martin (Besançon) et W. Spohn
(Constance). Mention THFUJ. https://tel.archives-ouvertes.fr/tel-00265287/
document
— Situation actuelle : Maître de Conférences à l’Université Paris-Sorbonne. http://
www.snd-sorbonne.fr/spip.php?article17
11. Cyrille Imbert, L’opacité intrinsèque de la nature. Théories connues, phénomènes difficiles à expliquer et limites de la science , 2005-2008
— Thèse soutenue le 27 novembre 2008 à l’Université Paris I. Jury : J.-P. Delahaye
(Lille), J. Dubucs, R. Frigg (Londres), M. Kistler (Grenoble), M. Morrisson (Toronto)
et H. Zwirn (ENS Cachan). Mention THFUJ. http://www.worldcat.org/title/
opacite-intrinseque-de-la-nature-theories-connues-phenomenes-difficiles-a-expliqu
oclc/690810604?referer=di&ht=edition
— Situation actuelle : Chargé de recherche CNRS aux Archives Poincaré (Nancy). http:
//poincare.univ-lorraine.fr/fr/membre-titulaire/cyrille-imbert
12. Paula Bucholc-Quinon (Pologne), Le modèle attendu de l’arithmétique. L’argument du théorème de Tennenbaum , (co-tutelle M. Mostowski, Université de
Varsovie), 2003-2010
7
13.
14.
15.
16.
— Thèse soutenue le 14 janvier 2010 à l’Université Paris I. Jury : J. Dubucs, G. Heinzmann (Université de Nancy), M. Panza (IHPST), St. Shapiro (Ohio State University),
G. Uzquiano (Université d’Oxford). Mention THFUJ. http://www.worldcat.org/
title/modele-attendu-de-larithmetique-largument-du-theoreme-de-tennenbaum/
oclc/800962591
— Situation actuelle : Chercheuse à l’Université de Lund (Suède). http://lu.academia.
edu/paulaquinon
Neil Kennedy (Canada), La manière d’une modalité : une analyse logique et
philosophique de la modalité d’ordre supérieur , (co-tutelle M. Marion, Université
de Montréal), 2006-2010
— Thèse soutenue le 7 septembre 2010 à l’Université de Montréal. Jury : J. Dubucs, Fr.
Lepage (Université de Montréal), M. Marion, R. Serge (UQAM), A. Voizard (UQAM)
— Situation actuelle : Chargé de cours à l’Université du Québec à Montréal. http://
www.cirst.uqam.ca/en-us/ListeMembre.aspx?ctl=Details&mId=1025&NoCV=239
Thomas Boyer-Kacem, La pluralité des interprétations : le cas de la mécanique
quantique , (co-direction A. Barberousse, Université de Lille), 2008-2011
— Thèse soutenue le 10 décembre 2011 à l’Université Paris 1. Jury : A. Barberousse, J.
Dubucs, A. Guay (U. de Dijon), P. Kitcher (Columbia), Fr. Laloà (LKB, CNRS/ENS),
St. Ruphy (U. de Provence). Mention THFUJ. https://tel.archives-ouvertes.
fr/tel-00667791/
— Situation actuelle : Post-doctorant à l’Université de Tilburg (Pays-Bas. http://thomasboyerkassem
yolasite.com/
Richard-Emmanuel Eastes, Processus d’apprentissage, savoirs complexes et
traitement de l’information : un modèle théorique à l’usage des praticiens,
entre sciences cognitives, didactique et philosophie des sciences (co-tutelle A.
Giordan, Université de Genève), 2010-2013
— Thèse soutenue le 11 juin 2013 à l’Espace Pierre-Gilles de Gennes (ESCPI Paris-Tech).
Jury : R. Casati (Institut Jean Nicod), M. Coquidé (IFE, Lyon), J. Dubucs, A. Giordan, Cl. Haigneré (Universcience), R. Spezia (U. d’Evry), M.-N. Schurmans (Université de Genève). Mention TH. http://cms.unige.ch/ldes/wp-content/uploads/
2012/07/Processus-d%E2%80%99apprentissage-savoirs-complexes-et-traitement-de-linf
un-mod%C3%A8le-th%C3%A9orique-%C3%A0-lusage-des-praticiens-entre-sciences-cogniti
pdf
— Situation actuelle : Recteur de la Haute École Pédagogique des cantons de Berne
(francophone), Jura et Neuchâtel. http://www.richard-emmanuel.eastes.eu/
Florent Franchette, L’hyper-calcul. De la logique à la physique (co-direction
A. Barberousse, U. de Lille), 2009-2013
— Thèse soutenue le 25 octobre 2013 à l’Université Paris I. Jury : D. Andler (U. ParisSorbonne), A. Barberousse, J. Copeland (U. of Canterbury, New-Zealand), J. Dubucs, G. Piccinini (U. of Missouri, Saint-Louis), H. Zwirn (ENS Cachan). Mention
TH http://www.academia.edu/9571432/Lhyper-calcul_de_la_logique_%C3%A0_
la_physique
8
— Situation actuelle : Assistant à l’Institut National des Sciences Appliquées de Lyon
http://insa-lyon.academia.edu/FlorentFranchette
17. Vincent Ardourel (ENS Lyon), Le continu physique et le continu mathématique (co-direction A. Barberousse, U. de Lille), 2009-2013
— Thèse soutenue le 10 décembre 2013 au Département de Mathématiques et d’informatique de l’ENS. Jury : G. Bacciagaluppi (U. of Aberdeen), A. Barberousse, N. de
Courtenay (CNAM), J. Dubucs, P. Humphreys (U. of Virginia University), H. Zwirn
(ENS Cachan). Mention THFUJ.
— Situation actuelle : Post-doctorant Université Catholique de Louvain. https://sites.
google.com/site/vincentardourel/
18. Julie Jebeile, Expliquer et comprendre par la modélisation scientifique. Les
conséquences du tournant computationnel (co-direction A. Barberousse, U. de
Lille), 2010-2013
— Thèse soutenue le 11 décembre 2013 à l’Université Paris I. Jury : A. Barberousse, J.
Dubucs, Max Kistler (U. Paris I), M. Morrisson (U. of Toronto), F. Sebbah (U. de
Compiègne), M. Suarez (U. de Madrid). Mention THFUJ
— Situation actuelle : Post-doctorante à l’U. Paris-Sorbonne. http://www.snd-sorbonne.
fr/spip.php?article113
19. Jindric Cerny (Tchékie) , Le conventionnalisme et la théorie de la signification
dans lâ Ecole de Lvov-Varsovie , (co-direction W. Miskiewicz (IHPST), co-tutelle
Tomà s Marvan, Académie des Sciences de Tchékie)), 2006-2013
— Thèse soutenue le 16 décembre 2013 au Département de Philosophie de l’Université
Charles à Prague. Jury : J. Dubucs, Tomà Marvan, P. Materna (Masaryk U., Brno),
W. Miskiewicz, U. Zeglen (U. Nicolas Copernic, Torun). Mention THFUJ. http://
www.academia.edu/9519051/Le_conventionnalisme_et_la_th%C3%A9orie_de_la_
signification_dans_l%C3%89cole_de_Lvov_et_de_Varsovie
— Situation actuelle : Entreprise privée à Prague http://independent.academia.edu/
JindrichCerny
20. Eric Raidl (Allemagne) Probabilité, Invariance et Objectivité
(co-tutelle
Wolfgang Spohn, Département de Philosophie de l’Université de Konstanz)), 2008-2014
— Thèse soutenue le 4 décembre 2014 à l’École Nationale Supérieure des Arts et Métiers.
Jury : Igor Douven (CNRS/Paris-Sorbonne), J. Dubucs, Max Kistler (U. Paris I), Theo
A.F. Kuipers (U. de Groningen), W. Spohn, Jon Williamson (U. de Kent). Mention
THFUJ.
— Situation actuelle : Mitarbeiter à l’U. de Konstanz, https://scikon.uni-konstanz.
de/en/persons/eric.1.raidl/
Encadrement post-doctoral
1. Mikaël Cozic, Risque et rationalité limitée , 2007-2008. Maître de Conférences en Philosophie à l’UPEC. http://mikael.cozic.free.fr/
9
2. (Avec Guido Bacciagaluppi) Matteo Morganti, Contemporary Issues in Metaphysics,
and Their Import on the Understanding of Physical Theory , 2006-2008. Chercheur à
l’Université Roma Tre. http://host.uniroma3.it/docenti/mmorganti/index.htm
Direction d’HDR
— Mark van Atten (DR CNRS, Sciences, Normes, Décision), Phénoménologie des mathématiques (2010). http://www.snd-sorbonne.org/themes-membres/liste-membres/
mark-van-atten/
10
Références
Thèses
[1] 1978. « Les preuves de cohérence pour l’arithmétique ». Thèse de 3 ◦ cycle (logique).
Université Paris V Sorbonne.
[2] 1984. « Recherches sur la théorie de la démonstration ». Doctorat d’État ès-Lettres.
Université Paris I Sorbonne Panthéon.
Ouvrages
[1] 1977. La Notion de transformation chez Marx. Les Cahiers du Centre d’études et de
recherches marxistes 134. Paris : Odéon-Diffusion. Google Books : W8wdOQAACAAJ.
[2] 1993e, éd. Philosophy of Probability. 1re éd. Philosophical Studies Series 56. Dordrecht :
Kluwer Academic Publishers. isbn : 978-9048143016. Kindle : ASIN:B000QECPIK.
About the book
Philosophy of Probability provides a comprehensive introduction to theoretical issues that occupy
a central position in disciplines ranging from philosophy of mind and epistemology to cognitive
science, decision theory and artificial intelligence. Some contributions shed new light on the
standard conceptions of probability (Bayesianism, logical and computational theories); others
offer detailed analyses of two important topics in the field of cognitive science: the meaning and
the representation of (partial) belief, and the management of uncertainty. The authors of this
well-balanced account are philosophers as well as computer scientists (among them, L.J. Cohen,
D. Miller, P. Gärdenfors, J. Vickers, D. Dubois and H. Prade). This multidisciplinary approach
to probability is designed to illuminate the intricacies of the problems in the domain of cognitive
inquiry. No one interested in epistemology or aritificial intelligence will want to miss it.
Related subjects Philosophy - Probability Theory and Stochastic Processes
Table of contents Introduction. 1: Personalistic Bayesianism; C. Howson. 2: On Higher Order
Beliefs; N.-E. Sahlin. 3: On the Logic of Relevance; P. Gärdenfors. 4: Diverging Distributions;
D. Miller. 5: Inductive Logic Revisited; J.-P. Dubucs. 6: Probability and Utility; J.M. Vickers. 7:
What has Probability to Do with Strength of Belief; L.J. Cohen. 8: Randomness, Unpredictability
and Absence of Order: the Identification by the Theory of Recursivity of the Mathematical
Notion of Random Sequence; J.-P. Delahaye. 9: A Glance at Non-Standard Models and Logics
of Uncertainty and Vagueness; D. Dubois, H. Prade. 10: Causal Laws are Objectifications of
Inductive Schemes; W. Spohn. 11. Probabilistic Inference in Artificial Intelligence: the Method
of Bayesian networks; J.-L. Golmard.
[3] 1995 (avec François Lepage), éds. Méthodes logiques pour les sciences cognitives. Langue,
Raisonnement, Calcul. Paris : Hermès. isbn : 8-2-86601-461-8. Google Books : AhE4PQAACAAJ.
Á propos du livre
11
Cet ouvrage présente un état de l’art dans le domaine des méthodes logiques pour les sciences
cognitives. Destiné aux linguistes, informaticiens et spécialistes dâintelligence artificielle, mais
aussi aux philosophes, psychologues et chercheurs en sciences sociales, il se construit autour
d’un triple objectif : - 1, être complet : loin de se cantonner aux problèmes traditionnels de
l’intelligence artificielle, il aborde l’etude du raisonnement taxinomique, la description formelle
des systèmes de croyances dans une société d’agents, et la théorie des actes du langage; - 2, être
actuel : plusieurs chapitres constituent la première exposition systématique en langue française
de méthodes qui n’ont pas dix ans d’âge, comme la théorie des structures de connaissance, ou
encore la planification déductive; - 3, les idées aux commandes »: une large place est donnée
non seulement à la justification informelle des méthodes présentées, mais aussi à une réflexion
critique et philosophique sur les problèmes posés et la manière traditionnelle de les aborder.
Mots clefs Logique, Méthode, Langage, Sciences cognitives, Représentation
Table des matiè res Introduction. 1: Logique, raisonnement et psychologie; D. Andler. 2:
Confirmation non probabiliste; D. Zwirn, H. Zwirn. 3: Logique possibiliste, modèles préférentiels
c
et objets conditionnels; D. Dubois, H. Prade. 4: Une application de la logique linÃaire
: la
c
planification dÃductive;
M. Masseron. 5: Approches logiques du raisonnement taxinomique; G.
Crocco. 6. Changements minimaux constructifs; L. Farinas del Cerro, A. Herzig. 7: Logique de la
c bivalentes.
connaissance: un panorama; J. Dubucs. 8: « Mondes de croyance »et probabilitÃs
c
c
Une interprÃtation
logique du thÃorèmeé
de Mertens et Zamir; Ph. Mongin. 9: Applications
épistémiques de la théorie des ensembles anti-fondés; L. Lismont. 10: Problèmes de logique de
la connaissance; P. Gochet. 11. L’analyse de la forme logique des propositions en grammaire
universelle; D. Vandervecken. 12: Logique partielle et inférence valide; Fr. Lepage. 13: Logique
constructive et donkey-anaphores; G. Usberti. 14: Approximations et négation; J.-P. Marquis.
15. Paradoxes sémantiques et programmation logique, J.-P. Delahaye.
[4] 1996 (avec Robert Blanché). La logique et son histoire. Collection U. Paris : Éditions
Colin. isbn : 9782200014728.
[5] 2001 (avec Robert Blanché). A Historia de Logica. Lisbonne : Ediçoes 70. isbn : 978-97244-1102-6. Trad. de La logique et son histoire. Collection U. Paris : Éditions Colin, 1996.
isbn : 9782200014728.
[6] 2014 (avec Michel Bourdeau), éds. Calculability and Constructivity. Historical and Philosophical Aspects. Logic, Epistemology and the Unity of Science. Dordrecht, Heidelberg,
London, New York : Springer. 214 p. isbn : 978-94-017-9217-2. url : http : / / www .
springer.com/philosophy/logic+and+philosophy+of+language/book/978-94-0179216-5.
About the book
* Offers an in depth look at the relationship between computability and constructivity
* Follows the developments from Turing’s ground-breaking linkage between computation and
the machine and the final resolution between proof theoretical semantics and canonical proof
feasibility
* Examines how to bridge differences in the area rather than providing a comprehensive view
over the work
Ranging from Alan Turing’s seminal 1936 paper to the latest work on Kolmogorov complexity
and linear logic, this comprehensive new work clarifies the relationship between computability on
12
the one hand and constructivity on the other. The authors argue that even though constructivists
have largely shed Brouwer’s solipsistic attitude to logic, there remain points of disagreement to
this day.
Focusing on the growing pains computability experienced as it was forced to address the demands
of rapidly expanding applications, the content maps the developments following Turing’s groundbreaking linkage of computation and the machine, the resulting birth of complexity theory, the
innovations of Kolmogorov complexity, and resolving the dissonances between proof theoretical
semantics and canonical proof feasibility. Finally, it explores one of the most fundamental questions concerning the interface between constructivity and computability: whether the theory of
recursive functions is needed for a rigorous development of constructive mathematics.
This volume contributes to the unity of science by overcoming disunities rather than offering an
overarching framework. It posits that computability’ adoption of a classical, ontological point of
view kept these imperatives separated. In studying the relationship between the two, it is a vital
step forward in overcoming the disagreements and misunderstandings which stand in the way of
a unifying view of logic.
Table of contents
Preface; Jacques Dubucs and Michel Bourdeau.- Chapter 1. Constructive Recursive Functions,
Church’s Thesis, and Brouwer’s Theory of the Creating Subject: Afterthoughts on a Parisian
Joint Session; Göran Sundholm.- Chapter 2. The developments of the concept of machine computability from 1936 to the 1960s; Jean Mosconi.- Chapter 3. Kolmogorov Complexity in perspective, Part I: Information Theory and Randomness; Marie Ferbus-Zanda and Serge Grigorieff.Chapter 4. Kolmogorov Complexity in perspective, Part II: Classification, Information Processing and Duality; Marie Ferbus-Zanda.- Chapter 5. Proof-theoretic semantics and feasibility;
Jean Fichot.- Chapter 6. Recursive functions and constructive mathematics; Thierry Coquand.Chapter 7. Gödel and intuitionism; Mark van Atten
Keywords BHK interpretation - Canonical Proof - Classification theory - Computing machines
- Constructive mathematics - Effective procedures - Kolmogorov complexity - Proof-theoretical
Semantics - Recursion theory - Turing machine
Related subjects Logic
Science.
Philosophy of Language - Mathematics - Theoretical Computer
Articles dans des revues à comité de lecture
[1] 1986. « Réalisme et anti-mécanisme selon K. Gödel ». In : Dialectica 40.4, p. 297–308.
issn : 1746-8361. Wiley Online Library : 10.1111/j.1746-8361.1986.tb01538.x.
Résumé Selon K. Gödel, les restrictions méthodologiques des constructivistes sont aberrantes, et le point de vue réaliste est beaucoup plus fécond: il est lui-même parvenu à ses
résultats logiques fondamentaux en donnant une place à la notion de vérité, qui n’est pas
de type combinatoire. Le premier théorème d’incomplétude est lui-même un argument
décisif en faveur du réalisme, si l’on accepte le principe d’« accessibilité »en vertu duquel
nous pouvons décider de toutes les propriétés de nos constructions intellectuelles. Par
ailleurs, il existe un large spectre d’arguments permettant de statuer sur un énoncé indé13
cidable dans un système formel. La thèse mécaniste, selon laquelle l’intelligence humaine
peut être pensée sans distorsion significative sur le modèle d’une machine de Turing, est
donc inacceptable.
Summary According to K. Gödel, the methodological restrictions of the constructivists
are aberrant, and the realist point of view is much more fruitful. He reached these fundamental logical results himself by making place for a non-cornbinatorial notion of truth.
The first incompletness theorem is itself a decisive argument in favor of realism, provided that the principle of « accessibility »is accepted, by virtue of which we are capable
of determining all the properties of our intellectual constructions. Moreover, there are
numerous arguments that permit the evaluation of an undecidable statement in a formal
system. The mechanistic thesis, according to which the functioning of the human mind,
without significant distorsion, can be compared to a Turing machine, is now unacceptable.
Zusammenfassung Nach Gödel sind die methodologischen Einschränkungen der Konstruktivisten irrig, und er hält den realistischen Standpuukt für viel fruchtbarer. Er selbst
erreichte seine grundlegenden logischen Ergebnisse dadurch, daßer Platz machte für einen nichtkombinatorischen Begriff der Wahrheit. Das erste Unvollständigkeitstheorem
ist selbst ein entscheidendes Argument zugunsten des Realismus, sofern das « Zugänglichkeitsprinzip »akzeptiert wird, wonach wir fähig sind, alle Eigenschaften unserer intellektuellen Konstruktionen zu bestimmen. Zudem gibt es zahlreiche Argumente, die
die Beurteilung einer unentscheidbaren Aussage in einem formalen System erlauben. Die
mechanistische These, nach welcher das Funktionieren des menschlichen Geistes ohne wesentliche Verzerrung mit einer Turingmaschine verglichen werden kann, ist heute nicht
mehr annehmbar.
[2] 1987. « Sur la logique des arguments plausibles ». In : Philosophie 14, p. 15–37.
[3] 1988a. « Die sogenannte Analytizität der Mathematik: für eine Radikalisierung der Theorie Hintikka’s ». In : Grazer Philosophische Studien 32, p. 83–112. doi : 10 . 5840 /
gps1988326. url : http : / / secure . pdcnet . org / gps / content / gps _ 1988 _ 0032 _
0083_0112.
Zusammenfassung. Im Hinblick auf den Herbrand’schen Satz für die Prädikatenlogik
der ersten Stufe und auf die Lehre vom Beweisverfahren mit Rechenautomaten, die daraus folgt, wird ein Beweis als komputazional synthetisch bezeichnet, wenn er sich auf
Objekte bezieht, die im erwiesenen Satz nicht erwähnt sind. Die mathematischen Beweise
sind aber auch synthetisch in einem begrifflichen Sinne: die Kontrolle oder die Begrenzung der angewandten Begriffe - die sogenannte Methodenreinheit - ist im allgemeinen
unerreichbar.
[4] 1988b. « L.J.E. Brouwer: topologie et constructivisme ». In : Revue d’Histoire des Sciences 41.2, p. 133–155. issn : 0151-4105. doi : 10.3406/rhs.1988.4094. url : http:
//www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1988_num_
41_2_4094.
Résumé. Contrairement à l’opinion reçue, il existe un lien étroit entre les travaux topologiques de Brouwer et sa philosophie des mathématiques. Brouwer a obtenu ses principaux
résultats en délaissant les méthodes abstraites de la topologie générale des ensembles
14
[5]
[6]
[7]
[8]
[9]
[10]
[11]
[12]
[13]
[14]
[15]
[16]
[17]
[18]
[19]
[20]
[21]
de points au profit d’une approche combinatoire qui cherche à arithmétiser les concepts
topologiques. L’article examine la genèse de la notion brouwérienne de « degré »d’une
application, et la découverte de l’équivalence entre l’existence de points fixes dans une
application topologique et l’existence de singularités dans les champs de vecteurs tangents
à la sphère.
1989b. « Vague et intuitionnisme ». In : Fundamenta Scientiae 10, p. 181–191.
1990a. « Carnapes ab omni naevo vindicatus ». In : Cahiers du C.R.E.A. 14, p. 97–120.
1991a. « Embedded Probabilities ». In : Theory and Decision 30 (3), p. 279–284. issn :
0040-5833. Springer Link : 10.1007/BF00132448.
1991b. « La fabrique de la preuve ». In : Espace-Temps 47-48, p. 35–51.
1991g. « On Logical Omniscience ». In : Logique et Analyse 133-134, p. 41–55.
1992a. « Arguments gödeliens contre la psychologie computationnelle ». In : Travaux de
logique de l’Université de Neuchâtel 7 : Kurt Gödel, p. 73–89.
1992e. « Le mécanisme et la thèse de Church-Turing ». In : Cahiers du C.N.R.S. 79 (n ◦
spécial sur les sciences cognitives), p. 98.
1992f. « Le raisonnement inductif ». In : Cahiers du C.N.R.S. 79, p. 98.
1992h. « Les théories psychologiques sont-elles récursives ? » In : Cahiers du C.R.E.A.
15, p. 171–191.
1992k. « Remarques sur la théorie commune de l’action ». In : Annales Littéraires de
l’Université de Franche-Comté 162, p. 231–249.
1994g. « The Logical Way of Describing Societies ». In : International Review of Systemics 7.1, p. 123–132.
1995b. « Les arguments défaisables ». In : Hermès 15 : Argumentation et rhétorique. I,
p. 271–290. doi : 10.4267/2042/15172. url : http://hdl.handle.net/2042/15172.
1995c. « Les états mentaux sur la place publique ». In : Intellectica. Revue de l’Association pour la Recherche Cognitive 21 : Fonctionnalismes. Sous la dir. d’Élisabeth
Pacherie, p. 115–134. issn : ISSN : 0769-4113. url : http : / / intellectica . org /
SiteArchives/archives/n21/21_07_Dubucs.pdf.
Nov. 1997. « Logique, effectivité et faisabilité ». In : Dialogue. Revue canadienne de philosophie 36.1, p. 45–68. doi : DOI:http://dx.doi.org/10.1017/S001221730000929X.
url : http://journals.cambridge.org/article_S001221730000929X.
1998-1999. « Beth, Kant et l’intuition mathématique ». In : Philosophia Scientiae 3.4 :
Actes du Colloque Evert Willem Beth, Avril 1998, p. 93–134. issn : 1281-2463. url :
http://archive.numdam.org/ARCHIVE/PHSC/PHSC_1998- 1999__3_4/PHSC_19981999__3_4_93_0/PHSC_1998-1999__3_4_93_0.pdf.
2002b. « Calculer, percevoir et classer ». In : Archives de Philosophie 65, p. 335–355.
url : http://www.cairn.info/article.php?ID_REVUE=APHI&ID_NUMPUBLIE=APHI_
652&ID_ARTICLE=APHI_652_0335.
2002d. « Feasibility in Logic ». In : Synthese 132 (3), p. 213–237. doi : 10.1023/A:
1020332703930. url : http://dx.doi.org/10.1023/A:1020332703930.
15
[22] 2003e. « Preuves, fondements et certificats ». In : Philosophia Scientiae 7.1. Sous la dir.
d’Alexandre Métraux et Christophe Hoffmann, p. 167–198. issn : 1281-2463. url :
http://eudml.org/doc/103685.
[23] 2003 (avec Sandra Lapointe). « Preuves par excellence ». In : Philosophiques 30.1, p. 219–
234. issn : 0316-2923. doi : 10.7202/007740ar. url : http://www.erudit.org/revue/
philoso/2003/v30/n1/007740ar.html.
[24] 2006 (avec Sandra Lapointe). « On Bolzano’s Alleged Explicativism ». In : Synthese
150.2, p. 229–246. issn : 00397857. doi : 10.1007/s11229-004-6265-8. url : http:
//dx.doi.org/10.1007/s11229-004-6265-8.
Abstract. Bolzano was the first to establish an explicit distinction between the deductive methods that allow us to recognise the certainty of a given truth and those that provide its objective
ground. His conception of the relation between what we, in this paper, call subjective consequence,
i.e. the relation from epistemic reason to consequence and objective consequence, i.e. grounding
(Abfolge) however suggests that Bolzano advocated an explicativist conception of proof : proofs
par excellence are those that reflect the objective order of grounding. In this paper, we expose
the problems involved by such a conception and argue in favour of a more rigorous demarcation
between the ontological and the epistemological concern in the elaboration of a theory of proof.
Articles dans des revues sans comité de lecture
[1] 2001c. « La logique inductive ». In : Sciences et Avenir. Hors Série 128, p. 23–29.
[2] Oct. 2002. « Simulations et modélisations ». In : Pour la Science 300 : Spécial 25 ans,
p. 156–158. issn : 0153-4092.
[3] Fév. 2003. « Les nombres transfinis sont-ils des nombres ? » In : Sciences et Avenir Hors
Série 133, p. 80–86.
[4] 2003 (avec Sylvain Moutier). « Orient et Occident: plusieurs logiques ? » In : Cerveau et Psycho 3, p. 12–15. issn : 1639-6936. Cerveau et Psycho : http : / / www .
cerveauetpsycho.fr/ewb_pages/f/fiche-article-orient-occident-plusieurslogiques-23736.php.
[5] 2005a. « Hilbert relativisé ». In : La Recherche, p. 28–29.
[6] 2006q. « Simulations et modélisations ». In : Pour la Science. Dossiers 52 : La modélisation informatique, exploration du réel), p. 6–10. url : http://www.pourlascience.
fr/ewb_pages/a/article-simulations-et-modelisations-21086.php. Réimpr. de
« Simulations et modélisations ». In : Pour la Science 300 : Spécial 25 ans, p. 156–158.
issn : 0153-4092.
[7] Jan. 2015. « Cooperation: a Key Enabler for Innovation ». In : Scientific American
447 bis : Energy, Transport, Smart Cities. New Paths for Innovation, p. 10–11. issn :
0036-8733.
Abstract. Contrary to popular belief, sharing information within an innovative organisation is relatively easy. On the other hand, updating and identifying pertinent information
remains problematic. Taken as a process of interpretation proceeding from new ideas
to fine-tuned processes that find their markets, innovation depends at least as much on
16
grouping ideas together, as on our thinking of them. How do we create this cognitive
cooperation, or in other words, this exchange of knowledge? How does it contribute to
innovation and to measures that would help it grow?
[8] Jan. 2015. « La coopèration comme outil d’innovation ». In : Pour la Science 447 bis :
Énergie, Transport, Urbanisme. Les nouveaux défis de l’innovation, p. 10–11. issn : 01534092.
[9] Sous presse. « Les algorithmes peuvent-ils tout résoudre ? » In : La Recherche.
Numéros spéciaux édités
[1] 1991 (avec Paul Gochet) éds. Logique et Analyse 133-134 : Epistemic Logic. Sous la dir.
de Jacques Dubucs et Paul Gochet.
[2] 2005h éd. Pour la Science. Dossier 49 : Les chemins de la logique. Sous la dir. de Jacques
Dubucs. Google Books : RGEaRAAACAAJ.
Contributions à des ouvrages
[1] 1989a. « En quoi les jugements de probabilité sont-ils objectifs ? » In : L’Âge de la
Science. Lectures philosophiques : 2. Épistémologie. Sous la dir. de Pierre Jacob. Odile
Jacob, p. 83–98. isbn : 2-7381-0056-2.
[2] 1990b. Logiques non classiques. In : Encyclopaedia Universalis. Corpus. T. 13. Paris,
p. 977–992. url : http : / / www . universalis . fr / encyclopedie / logiques - non classiques/.
[3] 1990c. « Logiques non classiques: bilan et perspectives ». In : Encyclopaedia Universalis.
Symposium. T. 2. Paris, p. 911–918.
[4] 1991c. « La philosophie de Kurt Gödel ». In : L’Âge de la Science. Lectures philosophiques: Philosophie de la logique et philosophie du langage. I. Sous la dir. de Jacques
Bouveresse. T. 4, p. 53–68. isbn : 2-7381-0056-2.
[5] 1991f. « L’oeuvre logique de Kurt Gödel ». In : L’Âge de la Science. Lectures philosophiques: Philosophie de la logique et philosophie du langage. I. Sous la dir. de Jacques
Bouveresse. T. 4, p. 31–51. isbn : 2-7381-0056-2.
[6] 1992b. « Correspondance entre Frege et Hilbert (introduction, traduction et notes) ».
In : Logique et fondements des mathématiques. Anthologie (1850-1914). Sous la dir. de
François Rivenc et Philippe de Rouilhan. Payot, p. 215–235. isbn : 2-228-88483-9.
[7] 1992g. « Les nouvelles logiques ». In : Encyclopaedia Universalis. La science au présent,
p. 170–171.
[8] 1992j. « Omniscience logique et frictions cognitives ». In : Epistémologie et cognition.
Colloque de Cerisy. Sous la dir. de Daniel Andler et al. Wavre (Belgique) : Mardaga,
p. 109–126. isbn : 2-87009-498-1.
17
[9] 1993a. « Inductive Logic Revisited ». In : Philosophy of Probability. Sous la dir. de
Jacques Dubucs. 1re éd. Philosophical Studies Series 56. Dordrecht : Kluwer Academic
Publishers, p. 79–108. Kindle : ASIN:B000QECPIK.
[10] 1993b. « K. Gödel ». In : Dictionnaire des philosophes. Paris : Presses Universitaires de
France, p. 1146–1149.
[11] 1993c. « L.E.J. Brouwer ». In : Dictionnaire des philosophes. Paris : Presses Universitaires
de France, p. 723.
[12] 1994c. « L’héritage de Gödel ». In : Calculabilité, décidabilité, complexité. Sous la dir. de
Jean-Paul Delahaye. Paris : Publications de l’Association Henri Poincaré (H.P.M.P.),
p. 21–47.
[13] 1994e. « Pourquoi les mathématiques sont-elles difficiles ? » In : Proceedings of the First
European Congress of Mathematics. T. 121. Progress in Mathematics. Basel : Birkhäuser,
p. 210–216. isbn : 978-3-7643-5156-4.
[14] 1994 (avec Monique Dubucs). « La couleur des preuves ». In : Rhétoriques de la science.
Sous la dir. de Vincent de Coorebyter. L’interrogation philosophique. Paris : Presses
Universitaires de France, p. 231–249. url : http : / / univ - paris1 . academia . edu /
JacquesDubucs/Papers/593805/_Mathematiques_la_couleur_des_preuves_.
[15] 1995d. « Logique de la connaissance: un panorama ». In : Méthodes logiques pour les
sciences cognitives. Sous la dir. de Jacques Dubucs et François Lepage. Langue, Raisonnement, Calcul. Paris : Hermès, p. 207–234. Google Books : AhE4PQAACAAJ.
[16] 1998 (avec Mikael Cozic). « L’expérience du présent dans La pensée et le mouvant d’Henri
Bergson ». In : L’expérience du présent. Paris : Éditions Belin, p. 7–100. isbn : 2-70112387-9.
[17] 1998d. « Hintikka et la question de l’omniscience logique ». In : Jaakko Hintikka. Questions de logique et de phénoménologie. Sous la dir. d’Elizabeth Rigal. Problèmes et
controverses. Editions Vrin, p. 139–148. isbn : 978-2-7116-1242-0.
[18] 1998f. « Logiques non classiques ». In : Dictionnaire des mathématiques. Fondements,
probabilités, applications. Paris : Albin Michel, p. 319–362.
[19] 1999a. « Constructivisme ». In : Dictionnaire d’histoire et de philosophie des sciences.
Sous la dir. de Dominique Lecourt. Paris : Presses Universitaires de France, p. 236–238.
[20] 1999c. « Rudolf Carnap ». In : Dictionnaire d’histoire et de philosophie des sciences.
Sous la dir. de Dominique Lecourt. Paris : Presses Universitaires de France, p. 133.
[21] 1999d. « Traduction française de Frege: Logik ». In : Frege. Œuvres posthumes. Sous la
dir. de Claudine Engel-Tiercelin et Philippe de Rouilhan. Rayon Philo. Nımes :
Editions Jacqueline Chambon, p. 149–177. isbn : 2877112004.
[22] 2000a. « Belief and Acceptance: A Logical Point of View ». In : Believing and Accepting.
Sous la dir. de Pascal Engel. T. 83. Philosophical Studies Series. Dordrecht : Kluwer
Academic Publishers, p. 159–178. isbn : 978-0-7923-6238-8.
[23] 2002a. « Articles de logique. 87 entrées ». In : Grand dictionnaire de philosophie. Sous
la dir. de Michel Blay. Paris : Larousse - CNRS Éditions. isbn : 978-2035861122.
[24] 2002c. « Carnap, Gödel et la nécessité mathématique ». In : Carnap aujourd’hui. Sous
la dir. de François Lepage, Michel Paquette et François Rivenc. Analytiques 14.
18
[25]
[26]
[27]
[28]
[29]
[30]
[31]
[32]
[33]
[34]
Paris et Montréal : Bellarmin & Vrin, p. 283–294. isbn : 2-89007-944-9. url : http :
//books.google.fr/books/about/Carnap_aujourd_hui.html?id=SB6mnY56AG0C.
2003 (avec Mathieu Marion). « Strict Antirealism and Substructural Logics ». In : Philosophical Dimensions of Logic and Science. Selected Conributed Papers from the 11th
International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999.
Sous la dir. d’Artur Rojsczak, Jacek Cachro et Gabriel Kurezewski. T. 320. Synthese
Library. Dordrecht : Kluwer Academic Publishers, p. 235–249. Kindle : ASIN:B000WDRLS4.
2004l. « Traduction annotée de Ramsey: “Probability and Partial Belief”, “Reasonable
Degree of Belief”, “Statistics”, “Chance”, “Knowledge”, “The Rule of Succession, Induction, and Unknown Probabilities” et “Weight of the Value of Knowledge” ». In : Ramsey.
Logique, philosophie et probabilités. Sous la dir. de Pascal Engel et Mathieu Marion.
Paris : Editions Vrin.
2005d. « La connaissance interactive. Dossier ». In : Les chemins de la logique. Sous la
dir. de Jacques Dubucs. 49. Éditions Belin, p. 80–86. Google Books : RGEaRAAACAAJ.
2006b. « Constructivisme mathématique ». In : Dictionnaire des idées. Notionnaire: Idées
et doctrines. Paris : Encyclopaedia Universalis, p. 188–190.
2006f. « Finitisme et ultra-finitisme ». In : Dictionnaire des idées. Notionnaire: Idées et
doctrines. Paris : Encyclopaedia Universalis, p. 305–307.
2006i. « Intuitionnisme mathématique ». In : Dictionnaire des idées. Notionnaire: Idées
et doctrines. Paris : Encyclopaedia Universalis, p. 424–426.
2006k. « Jean Nicod, l’induction et la géométrie ». In : Cent ans d’épistémologie française. Sous la dir. de Michel Bitbol et Jean Gayon. Paris : Presses Universitaires de
France, p. 285–300. url : http://www-ihpst.univ-paris1.fr/intranet_v2/biblab/
pdf/24_jean_nicod_l_induction_et_la_geometrie.pdf.
2006s. « Unfolding Cognitive Capacities ». In : Reasoning and Cognition. Sous la dir.
de Daniel Andler, Yoshinori Ogawwa et Mitsuhiro Okada. Interdisciplinary Conference Series on Reasoning Cognition 2. Keio (Japan) : Keio University Press, Centre
for Integrated Research on the Mind, p. 95–101. isbn : 9784902578058. Google Books :
Yo8QAQAAIAAJ. url : http://www-ihpst.univ-paris1.fr/intranet_v2/biblab/pdf/
25_unfolding_cognitive_capacities.pdf.
2006 (avec Paul Egré). « Jacques Herbrand ». In : Cent ans d’épistémologie française.
Sous la dir. de Michel Bitbol et Jean Gayon. Paris : Presses Universitaires de France,
p. 301–322. isbn : 978-2-1305-0112-1. doi : DOI : 10 . 13140 / 2 . 1 . 4518 . 3042. Google
Books : 3 - XWAAAAMAAJ. url : https : / / www . researchgate . net / publication /
270219102_Jacques_Herbrand.
2008e. « Truth and Experience of Truth ». In : One Hundred Years of Intuitionism
(1907-2007). The Cerisy Conference. Sous la dir. de Mark van Atten, Pascal Boldoni,
Michel Bourdeau et Gerhard Heinzmann. Publications des Archives Henri-Poincaré.
Basel : Birkhäuser, p. 49–58. Google Books : foM-BLI6TKgC. url : http://univ-paris1.
academia.edu/JacquesDubucs/Papers/591647/Truth_and_experience_of_truth.
19
[35] 2009e. Préface. In : Oumraou, Lény. Pourquoi les mathématiques sont-elles difficiles ?
Avec une préf. de Jacques Dubucs. Philosophie des sciences. Paris : Éditions Vuibert,
p. 4–8. isbn : 978-2711722334.
[36] 2009 (avec Wioletta Miskiewicz). « Logic, Act and Product ». In : Acts of Knowledge:
History, Philosophy and Logic. Essays Dedicated to Goran Sundholm. Sous la dir. de
Giuseppe Primiero et Shahid Rahman. London : College Publications, p. 73–94. isbn :
978-1-904987-92-5. url : http://www-ihpst.univ-paris1.fr/intranet_v2/biblab/
pdf/1530_logic_act_and_product.pdf.
[37] 2010e. « L’"absence" des objets mathématiques. Remarques sur l’aphilosophie des mathématiques de J.-T. Desanti ». In : Penser avec Desanti. Sous la dir. de Dominique Pradelle. Mauzevin : Trans-Europe-Repress, p. 149–161. isbn : 978-2-905670-52-6. url :
http://univ- paris1.academia.edu/JacquesDubucs/Papers/337133/L_absence_
des_objets_mathematiques._Remarques_sur_la_philosophie_des_mathematiques_
de_J.T._Desanti.
[38] 2011 (avec Denis Bonnay). « Philosophie des mathématiques ». In : Précis de philosophie
des sciences. Sous la dir. d’Anouk Barberousse, Denis Bonnay et Mikaël Cozic.
Paris : Éditions Vuibert, p. 293–349. isbn : 978-2-7117-2070-5. url : http : / / www .
youscribe.com/catalogue/rapports-et-theses/savoirs/sciences-humaines-etsociales/la-philosophie-des-mathematiques-1540788.
[39] 2014. « Digital Humanities. Foundations ». In : New Publication Cultures in the Humanities. Exploring a Paradigm Shift. Sous la dir. de Péter Dávidházi. Digital Humanities.
Amsterdam University Press, p. 21–36. isbn : 9048519713, 9789048519712. Open Access Publishing in European Networks : http://www.oapen.org/search?identifier=
515678. url : https://www.academia.edu/7979391/Digital_Humanities._Foundations.
Communications et conférences internationales (liste
partielle)
[1] 1991e. « L’interprétation antimécaniste des résultats d’incomplétude de Gödel ». In :
Colloque International "Kurt Gödel". (10–12 mai 1991). Université de Neuchâtel.
[2] 1991h. « Two Concepts of Probability: How Much Distinct Are They ». In : Journées Internationales "Analyse des données et apprentissage symbolique-numérique". (Université
de Versailles-St-Quentin, 19–20 sept. 1991).
[3] 1992c. « Justification, probabilité, défaisabilité ». In : Symposium "Intelligence Artificielle et Logiques non Classiques". (22–25 oct. 1992). [Conférence invitée]. Université de
Montréal, Faculté des Arts et des Sciences : Cahiers du Département de Philosophie de
l’Université de Montréal. isbn : 292128569X, 9782921285698.
[4] 1992d. « La logique et la taxinomie des représentations ». In : Congrès de l’Association
Française pour l’Intelligence Artificielle. (24–25 mar. 1992). Université de Technologie de
Compiègne.
20
[5] 1993d. « Logical Omniscience: the Problem and Its Solutions ». In : International Symposium on Epistemic Logic. (18–19 mar. 1993). Université de Liège.
[6] 1994a. « From Epistemic Logic to Logic of Knowledge ». In : International Conference
"Epistemic Logic and the Theory of Games and Decisions". (Centre International de
Rencontres Mathématiques, Université de Marseille-Luminy, 24–28 jan. 1994).
[7] 1994b. « Hintikka et les mondes possibles impossibles ». In : Colloque International
"Jaakko Hintikka". (Institut Finlandais, Paris, 12–14 mai 1994).
[8] 1994d. « Logique, types et occurrences ». In : Colloque International "Logiques et Sémantiques non classiques". (25–26 mar. 1994). Université du Québec à Montréal.
[9] 1994f. « Pourquoi les mathématiques sont-elles difficiles ? » In : First European Congress
of Mathematics. (Paris, 24–27 avr. 1994). European Association of Mathematics.
[10] 1995a. « Belief and Acceptance from a Logical Point of View ». In : International Workshop "Acceptance and Belief". (7–9 avr. 1994). Département de philosophie de l’Université
de Caen.
[11] 1997a. « Logique de la fiction ». In : Colloque International "Logique et Sciences Humaines". (12–19 juin 1997). Université Paris III.
[12] 1998a. « Beth, la logique et l’intuition ». In : Colloque International "Evert Beth and His
Philosophical Friends: From Bernays to Bochenski". (Méréville, 8–12 avr. 1998). Université de Nancy II.
[13] 1998b. « Carnap et Gödel ». In : Colloque "Sémantique contemporaine et théories de la
vérité: l’héritage carnapien". (5–9 juin 1998). Département de Philosophie de l’Université
de Montréal.
[14] 1998c. « Common Knowledge and Not-Well Foundness ». In : Rencontres Européennes
de Logique en Sorbonne. (3 nov. 1998). U.F.R de philosophie de Paris I.
[15] 1998e. « Hintikka: The Truth on Truth ? » In : Colloque international "J. Hintikka".
(Institut Finlandais, Paris, 10–11 oct. 1998).
[16] 1999b. « Dialogic Logic: Dealing with the Social Aspects of Knowledge ». In : International Conference "New Perspectives in Dialogical Logic". (27–29 juin 1999). Université
de Sarrebrück.
[17] 2000c. « Hilbert: cohérence et conservativité ». In : Journées internationales sur le programme de Hilbert. (IHPST, Paris, 5–7 mai 2000).
[18] 2000d. « Philosophical Foundations of Linear Logic ». In : International Conference on
History of Logic. (17–19 juin 2000). Département de philosophie de l’Université de Helsinki.
[19] 2000e. « Probabilité, objectivité et subjectivité ». In : Année Mondiale des Mathématiques - Colloque International "Mathématiques et autres champs du savoir". (ENS, Paris,
17 avr. 2000). ENS.
[20] 2000f. « Probabilités objectives et subjectives ». In : Colloque international sur les probabilités et la rationalité des décisions. (Université de Franche-Comté, Besançon, 11–13 nov.
2000).
21
[21] 2000g. « The Present State of Antirealism. A Rejoinder to Timothy Williamson ». In : International Conference on Justification and Meaning. (Certosa di Pontignano, 21–23 juin
2000). Universita Degli Studi di Siena.
[22] 2000h. « Truth and Logical Truth in the Philosophy of Jaakko Hintikka ». In : International Symposium on the Philosophy of Jaakko Hintikka. (25–26 nov. 2000). Département
de philosophie de l’Université de Helsinki.
[23] 2001a. « Gödel on Proof ». In : Colloque International "Kurt Gödel". (Université d’Aix
en Provence, 28–29 sept. 2001). CEPERC.
[24] 2001b. « Henrik von Wright on the Logic of Norms and Actions ». In : Colloque International "Henrik von Wright". (Institut Finlandais, Paris, 5–6 oct. 2001).
[25] 2001 (avec Paul Egré). « Gödel au pays de Ramsey: incomplétudes dans la théorie formelle des croyances ». In : Colloque International "Révision des croyances". (3–4 mar.
2001). U.F.R. de philosophie de l’Université Paris IV.
[26] 2002e. « Métaphysique des propensions ». In : Colloque international "Karl Popper".
(U.F.R. de philosophie de l’Université Paris IV).
[27] 2002f. « Rationalité et coopération ». In : Colloque franco-canadien "Logique et rationalité II". (Département de philosophie de l’Université de Montréal, 2–3 nov. 2002).
[28] 2002g. « Remarques sur la distinction du substantiel et du procédural ». In : Colloque
franco-canadien "Logique et rationalité I". (IHPST, Paris, 18–23 mar. 2002).
[29] 2003a. « Emergence and Complexity ». In : Colloque franco-finlandais de philosophie des
sciences. (Institut Finlandais, Paris, 14–15 déc. 2003).
[30] 2003d. « Perception as Computation ». In : Philosophy Seminar. (9 avr. 2003). Universita
degli Studi di Siena.
[31] 2003f. « Psychogalvanométrie et probabilité selon Ramsey ». In : Colloque international
"Frank P. Ramsey (1903-1930): croyance, probabilité et vérité". (24–25 oct. 2003). U.F.R.
de philosophie de l’Université Paris IV.
[32] 2004a. « Emergence as Uncompressibility of Unfolding ». In : Journées internationales
"Approches dynamique de la cognition: émergentisme et représentationnalisme". (24–
25 avr. 2004). Lyon, ENS-LSH.
[33] 2004b. « Emergence: Towards an Absolute Definition ». In : Colloque international "Emergence: Issues in Philosophy of Science". (Paris, ENS, 29–30 avr. 2004).
[34] 2004c. « Formalisations de la rationalité limitée ». In : Colloque franco-canadien "Logique
et rationalité III". (27–28 sept. 2004). Département de philosophie de l’Université de
Montréal.
[35] 2004d. « Inférences probabilistes selon Ajdukiewicz ». In : Colloque international "Logique, ontologie, esthétique: l’âge d’or de la philosophie polonaise". (Concordia University,
Montréal, 23–26 sept. 2004).
[36] 2004e. « Janina Hosiasson-Lindenbaum (1899-1942) and Her Contribution to the Theory
of Probability and Inductive Logic ». In : Colloque international "Jews and Polish Philosophy Between the Wars". (18–20 oct. 2004). Bergman Center for Philosophical Studies.
Jerusalem.
22
[37] 2004f. « Knowledge as a Modality ». Séminaire de logique mathématique de l’Université
de Varsovie (19 mai 2004).
[38] 2004g. « Le problème de l’applicabilité des mathématiques dans l’empirisme logique ».
In : Colloque international "Les mathématiques et l’expérience (1918-1938)". (Collège de
France, Paris, 22–24 mai 2004).
[39] 2004h. « Non Bayesian Ingredients in Theory Change ». In : Paris/London/Konstanz
Workshop in History and Philosophy of Science "Formal versus Historical Accounts of
Scientific Theory Change". (12–14 déc. 2004).
[40] 2004i. « Philosophy of Mathematics in the Lvov-Warsaw School: A Rejoinder to Roman
Murawski ». In : Colloque franco-polonais "Le rayonnement de la philosophie polonaise
au XXème siècle: l’héritage philosophique de Kazimierz Twardowski". (26–27 nov. 2004).
Paris, ENS.
[41] 2004k. « Some Remarks on Diachronic Emergence ». Séminaire du Département de philosophie de l’Université de Torun (21 mai 2004).
[42] 2005b. « How to Define Natural Numbers ? » In : Colloque international sur le logicisme.
(21–23 mai 2005). Université de Neuchâtel.
[43] 2005c. « Intended Models ». In : Joint IHPST-UCLA Conference "Set-Theoretical Formalization and Its Limits". (20–22 juin 2005). Paris.
[44] 2005e. « La formalisation des hiérarchies normatives ». In : Colloque international "Law
and Argumentation". (14–17 nov. 2005). Université de Lille III.
[45] 2005f. « Length of Proofs ». In : Colloque international sur la preuve mathématique. (21–
23 avr. 2005). Université de Lille III.
[46] 2005g. « Mathematics as Syntax of Language: Gödel’s Critique of Carnap ». In : Colloque
international sur l’empirisme logique. (7–8 oct. 2005). Collège de France. Paris.
[47] 2005k. « Unfolding and Its Ways ». In : Colloque international "Reasoning and Cognition". (17–21 déc. 2005). Center for Integrated Research on the Mind, Keio University.
Tokyo.
[48] 2006a. « Causality, Probabilities, Propensities ». In : International Workshop on Causal
and Classical Concepts in Science II. (6–7 oct. 2006). Universidad Computense. Madrid.
[49] 2006g. « Humanities and Human Sciences ». Hebrew University of Jerusalem.
[50] 2006h. « Humanities Foresight ». British Academy, London.
[51] 2006j. « Is the Continuum Problem Solvable ? » In : Colloque international "Théorie des
ensembles: histoire, enjeux et perspectives". (18–20 mai 2006). Université de Neuchâtel.
[52] 2006l. « La philosophie des probabilités dans l’École de Lvov-Varsovie ». In : Colloque
franco-polonais "Kazimierz Twardowski et ses disciples". (14–16 déc. 2006). Polish Academy of Sciences.
[53] 2006m. « Mathematics in the Unified Sciences ». In : Lisbon Colloquium for the Philosophy of Science. (26–28 oct. 2006). Université de Lisbonne.
[54] 2006o. « Real Antirealism: The Practical Stance ». In : Colloque international "(Anti)Réalismes: logique et métaphysique". (28 juin–1er juil. 2006). Université de Nancy II.
[Conférence inaugurale].
23
[55] 2007b. « Iconographic Databases and the Future of Humanities ». University of Vilnius
(8 sep. 2007).
[56] 2007c. « Janina Hosiasson-Lindenbaum et sa solution au paradoxe des corbeaux ». In :
Journées franco-polonaises "Janina Hosiasson-Lindenbaum". (5 mai 2007–6 mai 2004).
IHPST. Paris.
[57] 2007d. « On Eliminating Abstract Entities ». In : Colloque franco-britannique "Ontological Committment". (23–24 mar. 2007). ENS. Paris.
[58] 2007e. « "Sciences humaines": un accident orthographique ? » In : Congrès de la Société
de Philosophie des Sciences. (28–31 mar. 2007). Université de Genève.
[59] 2007f. « Security: A Perspective from Hard Sciences ». In : SAFE Meeting on Security.
(20–22 juin 2007). Sarajevo.
[60] 2007h. « Standard and Intended Models ». In : First European Congress of Philosophy
of Science. (15–17 nov. 2007). Universidad Computense. Madrid.
[61] 2007i. « Truth and Experience of Truth ». In : 1907-2007. Cent ans d’intuitionnisme.
(Cerisy, 5–12 juin 2007).
[62] 2008b. « French Relativism ». In : Congress of the American Philosophical Association
- Eastern Division. (27–30 déc. 2008). Philadelphie.
[63] 2008d. « The Limits of Deflationism ». In : Joint Paris-Archè Workshop. (28–29 fév.
2008). ENS. Paris.
[64] 2008f. « Unfolding Cognitive Capacities ». In : Emergence in the Physical and Biological
World. (12–16 avr. 2008). Ettore Majorana Research Center. Erice.
[65] 2009a. « Counterfactualist and This-Worldy Perspectives on Actual Causation ». In :
MICRAC Conference. (8–10 juin 2009). Université Paul Sabatier. Toulouse.
[66] 2009b. « Downhill Synthesis ? » . Department of Philosophy of Science, University of
Pittsburgh (11 déc. 2009).
[67] 2009c. « Humanities, Human Sciences and Digitalization ». In : Changing Publication
Cultures in the Humanities. (27–28 nov. 2009). Académie des sciences de Hongrie. Budapest.
[68] 2009f. « Une nouvelle interprétation de la philosophie des mathématiques de Kant ».
In : Congrès de la Société d’études kantiennes de langue française. (8–12 sept. 2009).
Université Lyon III.
[69] 2009g. « Unfolding Complexity ». In : Causality in Complex Systems. (25–27 nov. 2009).
Institut des Systèmes Complexes. Paris.
[70] 2010a. « Anisotropy of Possibilia ». In : Argumentation as a Cognitive Process. (13–
15 mai 2010). University of Torun. [Conférence inaugurale].
[71] 2010b. « Beyond Textual Electronicalities ». In : Digital Textualities. (15–16 juin 2010).
Sabancı University Karaköy Center. Istambul.
[72] 2010c. « La coopération épistémique ». Société belge de philosophie. Bruxelles (4 fév.
2010).
[73] 2010f. « Modèles attendus ». Département de philosophie, Université de Liège (3 fév.
2010).
24
[74] 2010g. « Une nouvelle interprétation de la philosophie des mathématiques de Kant ».
Département de philosophie, Université de Montréal (21 déc. 2010).
[75] 2011a. « A New Interpretation of Kant’s Philosophy of Mathematics ». In : Paris-Nancy
Workshops in Philosophy of Mathematics. (26–28 sept. 2011). Université de Nancy.
[76] 2011b. « Evaluating Research in Human and Social Sciences ». In : Coimbra Group
Meeting. (11 avr. 2011). Université de Montpellier.
[77] 2013b. « Logic of Knowledge and Its Ways ». In : Logic, Knowledge and Language. Paul
Gochet Memorial Conference. (14–15 mar. 2013). Palais des Académies, Bruxelles. url :
http://www.bslps.be/LKL2013/.
[78] 2013c. « Policy of Humanities and Social Sciences ». In : Facing the Future. European
Research Infrastructures for the Humanities and Social Sciences. (21–22 nov. 2013). Bundesministerium für Bildung und Forschung. Federal Press Conference Building, Berlin.
url : http://facingthefuture.gwi-berlin.de/style/img/FacingTheFuture2013_
Booklet.pdf.
[79] 2015d. « Social Physics and Social Logic ». In : Digital Ecosystems. (29 juin 2015).
DELab UW. University of Warsaw. url : http://www.delab.uw.edu.pl/digitalecosystems/.
Rapports techniques (liste partielle)
[1] Oct. 1991. L’effet d’entraınement des sciences cognitives sur les sciences humaines et
les sciences sociales. Rapp. tech. Paris : Ministère de l’Enseignement Supérieur et de la
Recherche.
[2] Mai 1992. Logique et sciences cognitives: évolution et perspectives. Consultant. Paris :
Rapport de conjoncture et de prospective du CNRS.
[3] Nov. 2003. Les archives numériques et la valorisation du patrimoine scientifique. Consultant. Paris : Ministère de l’Enseignement Supérieur et de la Recherche.
[4] Déc. 2003. Rapport sur la situation de la logique en France. Rapp. tech. Paris : Ministère
de l’Enseignement Supérieur et de la Recherche.
[5] Mar. 2004. "Publier pour être lu". La situation des périodiques français de philosophie
et de littérature. Rapp. tech. Lettre du Département des Sciences de l’Homme et de la
Société, 69: 57-68. Paris : Département SHS du CNRS.
[6] Déc. 2005. Priorités françaises dans HERA. Rapp. tech. Département des Sciences de
l’Homme et de la Société : Centre National de la Recherche Scientifique.
[7] Déc. 2005. The Evolution of Cooperation and Trading: From Microbes to Man (TECT).
Rapp. tech. Bruxelles : European Science Foundation.
[8] Mar. 2006. Development Program. Rapp. tech. [External Reviewer]. Vienne : Institut
für Bewußtseins- und Traumforschung.
[9] Avril 2006. Eligibility for the list of European Research Infrastructures. Rapp. tech.
[External Reviewer]. Turku University of Applied Sciences.
[10] Jan. 2006. Evaluation Report. Rapp. tech. Département de Philosophie de l’Université
de Leiden.
25
[11] Nov. 2006. Modelling Intelligent Interaction â Logic in the Humanities, Social and Computational Sciences (LOGICCC). Rapp. tech. Bruxelles : European Science Foundation.
[12] Jan. 2006. Report on the Strategic Plan of the Philology and Philosophy Divisions. Rapport d’évaluation. Madrid : Consiglio Superiore de Investigationes Scientificas.
[13] Fév. 2006. The Lund Initiative on Communication, Cognition and the Brain: Learning
Processes, Development and Intervention (LCCB). Rapp. tech. [External Reviewer]. Université de Lund.
[14] Juin 2007. Climatic Changes as Ethical Issues. Rapp. tech. Oslo : European Science
Foundation.
[15] Fév. 2007. Security: Advancing a Framework for Enquiry (SAFE). Co-sponsorship between ESF and NATO’s "Science for Peace and Security" (Programme SPS). Rapp. tech.
Bruxelles : European Science Foundation.
[16] Fév. 2007 (avec Martin Stokhof). Complex Systems in Human and Social Sciences.
Rapp. tech. Amsterdam : European Science Foundation.
[17] Juin 2008. Central Eastern Europe in the European Context since WWI. Rapp. tech.
Varsovie : European Science Foundation.
[18] Fév. 2008. Interdisciplinary Initiative (INIF) Proposal: Man/Machine Interaction. Rapp.
tech. Budapest : European Science Foundation.
[19] Déc. 2010. La nouvelle nomenclature de la recherche en SHS. Rapp. tech. Paris : Ministère de l’Enseignement Supérieur et de la Recherche. url : http://media.enseignementsuprecherche.gouv.fr/file/Innovation,_recherche_et_developpement_economique/
02/8/Nomenclature_SHS_167028.pdf.
[20] 2013 (avec Jean Behue). Sciences de l’Homme et de la Société: indicateurs des forces de
recherche françaises. Rapport technique. Paris : Ministère de l’Enseignement Supérieur
et de la Recherche. 88 p.
[21] Déc. 2015 (avec Peter Elias et al.). Societal and Cultural Innovation: Landscape Analysis.
English. Rapp. tech. Brussels : ESFRI.
Interviews
[1] Nov. 2009. « Logic in Perspective ». In : The Reasoner 4.11. http://www.kent.ac.
uk / secl / researchcentres / reasoning / TheReasoner / vol4 / TheReasoner - 4(11) screen.pdf, p. 161–162.
[2] Oct. 2013. « Les nombres premiers ». In : Sciences et Avenir 800, p. 38–40.
Vulgarisation scientifique
[1] 2015c. « Perspectives sur les infrastructures européennes en SHS ». Maison des Sciences
de l’Homme, Toulouse. url : https://www.canal-u.tv/video/fmsh/les_donnees_
en_shs_quelle_politique_table_ronde_jacques_dubucs.21155.
26
[2] 2016. « Données, informations, connaissances ». Université Pierre et Marie Curie, Paris.
url : http : / / www . upmc . fr / fr / culture / culture _ scientifique2 / sciences _ a _
coeur_2016/sciencesacoeur20160218.html.
27