Documente Academic
Documente Profesional
Documente Cultură
LES MATHMATIQUES
Michael Detlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2011/2 - n 97
pages 153 178
ISSN 0014-2166
-------------------------------------------------------------------------------------------------------------------http://www.cairn.info/revue-les-etudes-philosophiques-2011-2-page-153.htm
-------------------------------------------------------------------------------------------------------------------Detlefsen Michael, Poincar versus Russell sur le rle de la logique dans les mathmatiques ,
Les tudes philosophiques, 2011/2 n 97, p. 153-178. DOI : 10.3917/leph.112.0153
--------------------------------------------------------------------------------------------------------------------
La reproduction ou reprsentation de cet article, notamment par photocopie, n'est autorise que dans les limites des
conditions gnrales d'utilisation du site ou, le cas chant, des conditions gnrales de la licence souscrite par votre
tablissement. Toute autre reproduction ou reprsentation, en tout ou partie, sous quelque forme et de quelque manire que
ce soit, est interdite sauf accord pralable et crit de l'diteur, en dehors des cas prvus par la lgislation en vigueur en
France. Il est prcis que son stockage dans une base de donnes est galement interdit.
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 153 / 153
Introduction
Poincar et Russell furent engags dans un clbre dbat concernant la
nature des mathmatiques (et, en particulier, la nature du raisonnement
mathmatique) dans les premires annes du xxe sicle1. Poincar, en
kantien dclar, soulignait sans surprise le caractre synthtique et intuitif du raisonnement mathmatique2. Ceci, bien videmment, rendait son
opposition gnrale la conception logiciste du raisonnement mathmatique invitable, dans la mesure o les logicistes voyaient ce type de raisonnement comme une succession dtapes de mme nature que celles du
raisonnement logique tapes que Kant aurait dcrites comme tant de
nature analytique. Frege lui aussi considrait linfrence logique comme
tant de nature analytique, et ainsi, en plaidant pour le caractre logique
du raisonnement mathmatique, il en vint lui-mme promouvoir une
approche fortement antikantienne. De fait, lune des pices matresses
du credo logiciste consistait rfuter Kant sur ce point prcisment3. En
consquence, Poincar voyait juste lorsquil considrait que sa conception
kantienne du raisonnement mathmatique constituait le point focal de son
dsaccord avec les logicistes.
Il y a cependant quelque chose dtrange dans lchange entre Russell et
Poincar, et cest par cette tranget que nous allons dbuter notre enqute.
Ltranget consiste en ceci quil y a un apparent manque dengagement des
deux cts. Russell attaquait les conceptions kantiennes en se fondant sur
le fait que les dveloppements modernes en mathmatiques et en logique
1. Les uvres dans lesquelles ce dbat a pris place sont, du ct de Poincar, [1906a],
[1906b] et [1909]. Du ct de Russell, elles incluent[1905], [1906a], [1906b] et[1910].
2. Cf. Poincar [1908], livreII, chap.3, section1.
3. Cf. Russell [1903], p. 4, 158, 259, 454, 456-61. Cf. galement Poincar [1908],
livreII, chap.3, section1.
Les tudes philosophiques, n 2/2011, p. 153-178
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
154
155
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
distance sparant la conclusion des prmisses. Dans le raisonnement mathmatique, lesprit apporte une contribution essentielle la progression des prmisses la conclusion. Linfrence mathmatique ne se rsume donc pas une
extraction de la conclusion partir des prmisses par le moyen de lanalyse
logique (un processus qui consiste essentiellement comparer le contenu des
prmisses au contenu de la conclusion), mais est bien plutt une fusion entre
une croyance ayant un contenu donn et certaines facults proprement et distinctivement mathmatiques de lesprit pour produire une croyance ayant un
contenu diffrent. En consquence, la question pour Poincar ntait pas, ce
quelle tait pour Russell, de savoir si le contenu de la conclusion dune infrence donne pouvait tre considr comme allant au-del du contenu de ses
prmisses au sens o il serait une proposition diffrente, mais plutt de savoir
sil devrait tre considr comme allant au-del des prmisses dune faon telle
que linfrence confrerait la conclusion le statut de nouveau fragment de
connaissance authentiquement mathmatique.
Ainsi peru, le dsaccord entre Russell et Poincar est donc reprsentatif de lopposition traditionnelle entre les deux approches de la question
de savoir si le raisonnement mathmatique peut tre lgitimement rduit
un raisonnement purement logique ; Russell, le leibnizien, dfend que cest
possible, Poincar, le kantien, dfend que a ne lest pas. Nous prendrons le
parti de Poincar dans ce dbat, au moins pour soutenir avec lui que le logicisme ne peut pas lgitimement tre considr comme ayant rendu intenable
le point de vue kantien. De plus, nous dfendrons lide que ceci nest pas d
lchec des logicistes accomplir leur programme comme ils lentendaient,
mais bien plutt des dfauts stratgiques dans la conception mme du
programme lui-mme. Le fait que Russell nen ait pas pris conscience est
d au fait que, la diffrence de Poincar, il concevait le raisonnement mathmatique simplement comme un raisonnement dductif partir de prmisses
mathmatiques vers une conclusion mathmatique. loppos, le kantien
Poincar voyait bien le raisonnement mathmatique comme un raisonnement dductif partir de prmisses mathmatiques vers une conclusion
mathmatique, mais un raisonnement qui tait bas sur une apprhension
proprement et distinctivement mathmatique (non pas seulement logique)
de la connexion entre les deux. Il adopta en consquence lopinion quil ny
a que peu de place, voire pas de place du tout, pour linfrence purement
logique dans le raisonnement mathmatique.
Le dsaccord de Poincar avec Russell ne portait donc pas sur les dtails
dexcution ; son objection au logicisme ne consistait pas seulement dire
que certaines preuves particulires, ou certains genres particuliers de preuves,
ntaient pas formalisables dans le systme propos1. Poincar pouvait bien
1. Il se pourrait que, cet gard, Poincar et plus gnralement le kantianisme
discut dans cet article, soient moins radicaux que Kant lui-mme. Car, dans Kant[1781]
(cf. Mthodologie Transcendantale, Ch.1, sec.1), Kant soutenait que lalgbriste et le gomtre parviennent des conclusions quils nauraient jamais pu obtenir partir de leurs prmisses
par un raisonnement purement discursif ou une analyse des concepts.
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
156
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 157 / 153
157
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 158 / 153
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
158
2m
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 159 / 153
159
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 160 / 153
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
160
2m
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 161 / 153
161
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
spcificits du sujet examin qui nest pas reflte dans les infrences, neutres
lgard du sujet, du logicien1. Dans cette perspective, la matrise logique
dun ensemble daxiomes ne tmoigne en elle-mme daucune apprhension mathmatiquement significative du sujet axiomatis. Pour reprendre la
figure utilise par Poincar, le logicien est comme un crivain qui serait ferr
en grammaire, mais qui naurait pas dide2. Le mathmaticien, en revanche,
est guid par sa comprhension de l architecture du sujet, et ses infrences
se rglent ainsi sur la mtrique dtermine par son motif propre et distinctif. La sensibilit larchitecture locale est, selon Poincar, le facteur cl
sparant la condition pistmique du mathmaticien de celle du logicien.
Notre corps est form de cellules et les cellules datomes ; ces cellules et ces
atomes sont-ils donc toute la ralit du corps humain ? La faon dont ces cellules
sont agences, et dont rsulte lunit de lindividu, nest-elle pas aussi une ralit et
beaucoup plus intressante ?
Un naturaliste qui naurait jamais tudi llphant quau microscope croirait-il
connatre suffisamment cet animal ? Il en est de mme en mathmatiques. Quand le
logicien aura dcompos chaque dmonstration en une foule doprations lmentaires, toutes correctes, il ne possdera pas encore la ralit tout entire ; ce je-ne-saisquoi qui fait lunit de la dmonstration lui chappera compltement.
Dans les difices levs par nos matres, quoi bon admirer luvre du maon
si nous ne pouvons comprendre le plan de larchitecte ? Or, cette vue densemble,
la logique pure ne peut nous la donner, cest lintuition quil faut la demander3.
1. Cf. [1905], introduction et Pt.I, Ch.1 ; [1908], Liv.I, Ch.II, III, et Liv.II, Ch.III, IV.
2. Cf. Poincar [1908], Liv.II, Ch.II.
3. Poincar [1908], Liv.II, Ch.II. Cf. Poincar [1905], Chap.1, pour des remarques
similaires.
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 162 / 153
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Poincar, en revanche, avait la fois une conception diffrente de lextension pistmique et de la faon dont linfrence la fait advenir. Lextension
pistmique, au moins dans le cas de la connaissance mathmatique, tait
conue comme consistant en lextension dun genre distinctif de jugement
(lacte de connatre mathmatique) en un nouveau contenu propositionnel.
Dans cette perspective, la reconnaissance dune relation dimplication entre
une vrit mathmatique p connue (et mme, connue mathmatiquement)
et une vrit mathmatique diffrente q noffre pas un support suffisant
une croissance pistmique du genre appropri (i.e., une croissance de la
connaissance mathmatique). Bien au contraire, une telle croissance prsuppose la satisfaction dau moins deux conditions supplmentaires : (1) que
p et q soient perues comme mathmatiquement diffrentes (i.e., que leur
diffrence soit perue comme tant mathmatiquement significative), et (2)
que p soit perue comme impliquant mathmatiquement q (i.e., que p et q
soient perues comme unifies par une architecture mathmatique commune
de sorte que linfrence de lune lautre soit perue comme constituant le
dveloppement dun thme structurel pertinent pour le mathmaticien).
Telles sont donc les deux conceptions diffrentes de linfrence qui soustendent les conceptions que se font Russell et Poincar de la preuve. Mais
sont-elles si diffrentes ? On pourrait tre tent de dire quelles ne le sont
pas que lapproche de Poincar est ultimement rductible la position
de Russell, en ce que lon peut utiliser un dispositif consistant encoder
la connaissance de l architecture locale du sujet qua celui qui raisonne
comme Poincar le dcrit dans autant daxiomes quil faut la preuve de
prmisses. Au fond, cela revient dire que, chaque fois quune architecture
locale est considre par le disciple de Poincar comme tant ce qui autorise
une infrence non logique de p q, le disciple de Russell encode cette infrence comme un axiome de la forme si p, alors q , et quil effectue ensuite
le passage de p q par le moyen de linfrence purement logique (modus
ponens) en utilisant cet axiome comme une prmisse additionnelle. De cette
faon, laccent mis par le disciple de Poincar sur limportance de la connaissance du sujet local peut tre maintenu tout en prservant, dans le mme
temps, la demande russellienne que toutes les infrences apparaissant dans
une preuve mathmatique soient des infrences purement logiques.
Une telle tentative de rduire linfrence la Poincar une infrence
logique repose cependant sur une incapacit marquer la diffrence subtile
mais crucialement importante entre les deux. Cette diffrence consiste dans
le fait que, l o le disciple de Poincar soutient que linfrence de p q
implique de faon dcisive lapprhension ou lintuition dune connexion
architecturale entre les deux propositions, le logiciste requiert simplement la reconnaissance du fait que la vrit de lune justifie la vrit de
lautre. Il se peut, bien entendu, que la saisie du lien architectural entre p
et q nous procure une garantie permettant daccepter la proposition conditionnelle si p, alors q . Il ne sensuit cependant pas que la premire soit
rductible la seconde. En effet, le disciple de Poincar maintiendra quelle
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
162
2m
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 163 / 153
163
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 164 / 153
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
mathmatique (i.e., sans elle-mme constituer une apprhension authentiquement spcifique du sujet mathmatique donn)1.
Une infrence de p q, selon Poincar, ne peut en consquence pas tre
rduite linfrence logicise modus ponens
p
Si p, alors q
.:q
Penser le contraire est se montrer proprement incapable de comprendre la diffrence entre une vidence mathmatique et ses effets classiques
ou gnriques. Ce nest pas lassurance que la relation entre les valeurs de
vrit de p et de q soit du type appropri2 qui constitue lessence de la preuve
mathmatique de q partir de p, mais plutt la perception de p et de q
comme subsumes par un universel ou une architecture proprement et distinctement mathmatique3.
Deux conceptions de la rigueur mathmatique
Le disciple de Poincar (celui de Kant plus gnralement) opre ainsi
partir dune position qui pourrait tre caractrise comme une conception
locale du raisonnement. Pour lui, le raisonnement est htrogne. Il nest
pas un. Il nest pas gouvern par un seul ensemble de lois fondamentales, mais
plutt organis en groupes locaux ayant chacun son ensemble de lois propres
et distinctives. Les principes du raisonnement mathmatique sont en consquence non pas des lois qui sappliquent la conduite de toute activit pensante,
mais bien plutt des principes dont la validit drive de, et est donc restreinte
1. Il est important de remarquer que ce principe nimplique pas que les infrences logiques ne puissent pas tre utilises pour produire des extensions pistmiques de genre absolument quelconque. En effet, comme not plus haut, ce principe peut tre utilis pour tendre
la connaissance gnrique dune vrit mathmatique. Le disciple de Poincar nest pas en
consquence tenu de souscrire la thse gnrale selon laquelle linfrence logique est incapable de contribuer tout accroissement pistmique, quel que soit son genre.
2. savoir, la relation par laquelle la vrit de p garantit la vrit de q.
3. Et pour quelle raison attacher tant dimportance la saisie de larchitecture mathmatique ? Pour Poincar, cette saisie est ncessaire lorsque lon veut rendre compte des donnes de base de lpistmologie mathmatique telle que mentionne prcdemment ;
savoir, des diffrences apparentes qui sparent la condition pistmique du logicien (i.e., de
celui dont le raisonnement nest pas bas sur lapprhension de ce qui singularise le sujet
examin, mais sur les principes dinfrence qui valent pour tous les sujets indiffremment) de
celle du mathmaticien (i.e., de celui dont le raisonnement est bas sur lapprhension de ce
qui singularise le sujet en question). Une telle connaissance est llment cl dans nimporte
quelle infrence susceptible de produire une extension de notre connaissance mathmatique,
et elle est ce qui est requis pour expliquer de faon satisfaisante les diffrences dtat pistmique du mathmaticien et du logicien. Elle est ce qui donne au raisonnement mathmatique
sa vertu crative , pour utiliser lexpression de Poincar (cf. [1903]), et elle constitue ainsi
la cl de vote sur laquelle repose le principe fondamental de la conception du raisonnement
mathmatique de Poincar, savoir le principe de conservation pistmique.
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
164
2m
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 165 / 153
165
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 166 / 153
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
166
2m
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 167 / 153
167
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Le but dune preuve (et plus gnralement, de la justification) est apparemment, dans cette conception, de rvler la hirarchie des vrits dont
dpend la vrit de la proposition prouve. De cette manire on explique
de la faon la plus complte et la plus satisfaisante pourquoi la proposition
en question est vraie. Cependant, pour rvler les fondements dune vrit
donne avec le maximum de clart, on doit prendre garde ce quaucun
fondement non dclar ne soit dissimul dans nos preuves. Leibniz na
pourtant pas grand-chose dire sur la manire dy parvenir. Ceci restera ainsi
un problme que les logicistes venant aprs Leibniz devront chercher rgler.
Citant Leibniz avec approbation (bien que ce soit un autre passage,
savoir le livreIV, chap.VII, 9, dans lequel Leibniz dcrit la fin de lenqute
comme tant la dcouverte de lordre naturel des vrits ), Frege dcrivait le but du programme logiciste comme tant celui de rvler les fondements ultimes des vrits de larithmtique3. Il faisait lhypothse que, en
dernire instance, ceux-ci apparatraient comme tant relis aux lois les plus
1. Russell [1919], p.144-145.
2. Leibniz [1765], Liv.IV, Ch.XVII, para.3.
3. Rappelons que le logicisme de Frege tait restreint larithmtique. Frege pensait que
Kant avait eu raison de considrer les vrits de la gomtrie comme synthtiques a priori.
Cf. [1884], paras.14, 88-89.
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 168 / 153
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
fondamentales de la pense les lois de la pense rationnelles per se, les lois de
la logique dune manire peu prs similaire la faon dont les thormes
de gomtrie sont relis aux lois les plus basiques du raisonnement spatial1.
Pour le montrer, Frege pensait cependant quil tait ncessaire de prsenter chaque lment de la justification idale dune loi arithmtique de sorte
que lon puisse dterminer si oui ou non il tait une loi logique gnrale
ou une dfinition . Une telle tche, disait Frege, exigeait une adhsion des
standards de rigueur considrablement plus stricts que ceux qui avaient cours
dans les mathmatiques ordinaires. Comme Frege le formulait lui-mme :
() le mathmaticien est satisfait quand le passage un nouveau jugement
simpose par lvidence, et il ne sinterroge pas sur la nature de cette vidence,
quelle soit logique ou intuitive. Or, un tel progrs est souvent un acte complexe qui
quivaut plusieurs infrences simples, parmi lesquelles peut sinsrer un lment
intuitif. Dans les preuves telles quon les connat, on avance par sauts. () De tels
passages, nanmoins, simposent souvent notre vidence sans que nous prenions
conscience des tapes intermdiaires ; et comme on ny reconnat aucun des modes
dinfrence logiques connus, on incline tenir cette vidence pour intuitive et la
vrit dduite pour une vrit synthtique. () 2
Quant Russell, rien nindique, ma connaissance, quil acceptait la conception leibniziano-fregenne dune hirarchie objective de vrits, ou lopinion
subsidiaire que la justification idale doit retracer lengendrement dune
vrit donne jusqu ses origines dans une telle hirarchie3. Il adoptait
1. Cf. [1884], paras14, 17. Frege utilisait ce concept de systme de fondements objectifs
pour dfinir les notions danalytique, de synthtique, da priori et da posteriori. Ces notions
servent caractriser les proprits qui distinguent les traits de la justification idale dune
proposition de la justification qui remonte la hirarchie objective des vrits jusquaux vrits primitives (cf. [1894], para.3). Ainsi, une vrit analytique est dfinie comme une vrit
dont la ligne contient des lois logiques gnrales et des dfinitions ; une vrit synthtique
est une vrit dont la ligne contient des vrits qui ne sont pas de logique gnrale, mais
concernent un domaine particulier . Une vrit a priori est une proposition dont la preuve
idale contient seulement des lois gnrales qui elles-mmes ne se prtent pas une preuve
ni nen requirent et une vrit a posteriori est une proposition dont la justification idale
contient toujours un appel des propositions de fait, cest--dire des vrits indmontrables et sans gnralit, des noncs portant sur des objets dtermins.
2. Frege [1884], para.90. Cf. p.4-5 de Frege [1893] pour des remarques similaires.
3. Ceci pourrait tre mis au crdit de Russell dans la mesure o la conception leibniziofregenne rencontre de srieuses difficults. La plus vidente est peut-tre celle concernant le
problme de savoir si une preuve donne fournit la ligne objective de la proposition prouve.
Supposons que nous ayons dcouvert une certaine preuve dune proposition p. Cette preuve identifie certaines autres propositions comme fondements de p. Cependant, dautres preuves identifient dautres fondements. Comment dcider laquelle correspond lordonnancement objectif
des vrits et fournit ainsi la justification idale de p la justification selon laquelle les fondements
objectifs (et en consquence, dans la conception de Frege, son caractre analytique ou synthtique) doivent tre dtermins ? Ceci met le disciple de Frege dans la position de devoir explorer
tous les fondements possibles dune proposition donne (une tche quil nest pas possible, cause
du thorme de Church, de raliser de faon effective). Cela requiert galement du disciple de
Frege quil dveloppe un critre de slection de la preuve idale, qui, tout le moins, interdise la
possibilit quil y ait la fois une preuve analytique et une preuve synthtique parmi les possibles
preuves fondamentales, au sens que le critre donne ce mot. Cest une chose difficile faire de
faon non arbitraire, mais nous manquons ici de place pour montrer pourquoi.
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
168
2m
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 169 / 153
169
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 170 / 153
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
nous venons de mentionner. Ainsi, si les axiomes sont complets, nous devons
tre capables de vrifier la validit dune infrence sans faire appel quelque information substantielle que ce soit, et ainsi tre mme de traiter les
termes non logiques du sujet comme de simples symboles dnus de toute
signification substantielle. En dautres mots, nous devrions tre capables de
progresser des axiomes aux thormes dune manire purement formelle
une manire qui nous garantit que nous nintroduisons pas la moindre
information substantielle non dclare en contrebande dans nos preuves.
Laxiomatisation, donc, devrait permettre celui qui raisonne de ne
pas prendre en compte les significations des termes non logiques dun sujet
lorsquil vrifie si un argument donn a ou non une forme juge correcte.
Celui qui raisonne peut encore avoir utiliser sa connaissance des catgories
grammaticales auxquelles un terme non logique donn appartient, et il doit
encore se reposer sur une comprhension intuitive des significations des termes logiques qui apparaissent dans les preuves, mais il na plus besoin du tout
de faire appel sa comprhension de la signification des termes non logiques.
En consquence, il a limin de son raisonnement sur le sujet toute rfrence
aux significations des termes non logiques du sujet dans cette mesure, on
peut dire quil a rendu son raisonnement neutre eu gard au sujet.
Le second composant de la formalisation ce que nous appelons la formalisation au sens propre fait pour les lments logiques du sujet ce que
laxiomatisation ralise pour les lments non-logiques. Par ce moyen, les
dclarations explicites de toutes les informations, quel que soit leur genre
(non-logique, logique, ou grammaticale), utilises dans une preuve doivent
tre explicitement dclares. De cette manire, tout appel la signification
( lintuition) de quoi que ce soit, except des informations spatiotemporelles du genre le plus rudimentaire quil soit, est limin des jugements de ce qui doit compter comme une preuve.
Nous allons ici concentrer notre attention plutt sur laxiomatisation que
sur la formalisation au sens propre. Comme nous lavons not, elle est cense
contribuer lacquisition de la rigueur en repoussant toute information substantielle utilise dans la preuve dans les prmisses, et ainsi ultimement dans
les axiomes de la thorie. Les infrences substantielles savoir, les infrences
qui requirent une connaissance substantielle ou non-logique afin de juger
si la vrit de leurs conclusions est garantie par la vrit de leurs prmisses
sont limines et nonces comme prmisses : soit comme des axiomes, soit
comme des thormes prcdemment drivs des axiomes. Ceci ralis, les
seules infrences restantes sont des infrences logiques savoir, des infrences qui ne requirent pas de connaissance substantielle pour leur vrification.
Laxiomatisation concentre ainsi toute linformation substantielle dans les prmisses originelles ou axiomes explicitement dclars de la thorie.
Ceci constitue, je le crois, la description la plus basique de la connexion
entre logicisation de la preuve et amlioration de la rigueur laquelle auraient
adhr les mathmaticiens modernes ( savoir Dedekind et Weierstrass) que
Russell identifiait comme ses champions de la rigueur. Il est crucial de noter,
cependant, que Russell admet comme prsupposition fondamentale quil y
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
170
2m
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 171 / 153
171
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 172 / 153
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
172
2m
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 173 / 153
173
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 174 / 153
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
sa capacit justifier les propositions) est lie son contenu particulier. Elle sera
dite tre mallable selon le degr dont son pouvoir justificatif est transfrable
des propositions trangres celles qui forment son contenu.
Pour le logiciste, donc, le pouvoir justifiant dune justification est transfrable toute proposition qui peut tre extraite de son contenu de faon fiable par
lanalyse logique. Ceci parce quil conoit la fonction dune garantie ou dune
justification comme tant simplement celle didentifier une proposition comme
vraie ; comme lanalyse logique dune proposition donne identifie comme
vraie peut conduire lidentification comme vraies dautres propositions, elle
(i.e., lanalyse logique) peut tre utilise pour tendre la justification dune proposition une autre. En consquence, puisquun bon nombre de propositions
de ce genre sont distinctes du contenu en question, il sensuit que la conception
logiciste de la justification rend le concept relativement mallable.
Dans la perspective logiciste, les propositions sont donc identifies
leurs conditions de vrit ou, en termes plus modernes, la classe de leurs
modles. Conformment cela, une proposition q est tenue pour tre une
consquence dune proposition p chaque fois quil ny a aucun modle de p
qui ne soit pas galement un modle de q1. De faon correspondante, lidal
de rigueur qui opre ici demande llimination des lacunes sparant les
conditions de vrit des prmisses de celles de la conclusion, et pour raliser
ce but le logiciste requiert une analyse qui rende l inclusion manifeste
des secondes dans les premires. Dans les termes de la thorie des modles,
ceci revient dire que lanalyse des prmisses et de la conclusion doit rvler
que, en construisant un modle pour les prmisses, on doit avoir galement
construit un modle pour la conclusion. Si cest le cas, alors aucun modle
ne peut prendre place entre la classe des modles des prmisses et la classe
des modles de la conclusion, ce qui signifie quil ny a aucune lacune
sparant les conditions de vrit de la conclusion de celles des prmisses.
Poincar, la manire des kantiens en gnral, accordait un plus grand
degr dautonomie (i.e., un plus faible degr de mallabilit) la justification mathmatique que ne le faisait le logiciste. Pour lui, la forme fondamentale de la justification l intuition devait tre conue comme se
distribuant la faon dune espce naturelle. Selon cette manire de voir les
choses, une proposition est mathmatiquement justifie seulement dans le
cas o elle forme le contenu dune justification mathmatique une intuition . Les justifications mathmatiques sont les primitives de ces schmes
pistmologiques, et les propositions entrent sur la scne de faon drive
comme les contenus abstraits des justifications. Ceci signifie quil y a autant
de propositions mathmatiquement justifies quil y a dintuitions dont elles
forment le contenu. Cela signifie galement que la garantie ne fonctionne
1. Imposer la conception tarskienne de la consquence, en termes de thorie des modles, est bien entendu commettre un anachronisme eu gard la fois Frege et Russell. De
plus, cette imposition va lencontre de la conception fregenne, en termes de domaines
fixs , de la smantique. Pour notre prsent propos, les diffrences entre les conceptions fregennes et tarskiennes de la consquence nont aucune importance.
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
174
2m
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 175 / 153
175
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 176 / 153
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
une relation entre les contenus des prmisses et la conclusion que laction de
lesprit de celui qui infre sur les jugements constituant les prmisses. Selon
cette manire de voir linfrence, les prmisses et les conclusions ne doivent
pas tre caractrises laide de modles mais bien plutt laide densembles desprits idaliss (de sujets de la croyance, de sujets de la connaissance)
dun certain type cognitif. Le jugement constituant la conclusion est alors dit
tre un rsultant du(es) jugement(s) constituant la(es) prmisse(s) seulement
dans les cas o la classe des esprits (idaliss) du type cognitif appropri qui
caractrise la(es) prmisse(s) forme un sous-ensemble de la classe des esprits
(idaliss) du mme type qui caractrise la conclusion1.
Le philosophe kantien est ainsi dtermin employer une conception
alternative de la rigueur une conception qui mesure les lacunes ou les failles
dans le raisonnement, non en termes de distance sparant des pas conscutifs,
mais en termes de proximit de ces pas lintrieur dune forme proprement
mathmatique dapprhension et de comprhension. Selon cette conception,
une infrence est sans lacune lorsque larchitecture mathmatique dans laquelle
la justification mathmatique de la conclusion est prise est saisie comme un
dveloppement de la justification mathmatique des prmisses. Llimination
des lacunes nest en consquence plus caractrise par lexclusion de toute
information relevant spcifiquement du sujet trait dans linfrence (qui est
ce qui est demand par labsence logique de lacune) mais plutt par linclusion
dune apprhension mathmatique transformant une preuve de la prmisse
en une preuve de la conclusion. Ce genre dapprhension dynamique [transforming insight] fournit la pleine reconnaissance de ce qui tient ensemble les
prmisses et la conclusion dans une preuve mathmatique. Les lacunes logiques
doivent ainsi tre compltes (et non pas limines ) par lapprhension
mathmatique, et les lacunes dans la comprhension mathmatique doivent
tre compltes mme lorsquelles ne correspondent aucune lacune logique.
Dans la conception kantienne, labsence logique de lacune nest ainsi ni une
condition ncessaire, ni une condition suffisante la vritable rigueur.
Conclusion
La description de la conception kantienne de linfrence que lon trouve
ici ne constitue, bien entendu, pas une dfense de celle-ci. Le but poursuivi na
1. Une telle conception de linfrence et de la consquence semble ultimement dpendre
soit dune conception de la rationalit pratique selon laquelle la rationalit dactes (y compris
dactes pistmiques) arrangs squentiellement opre selon une mtrique qui est relativement
insensible aux relations logiques entre les contenus des diffrents actes, soit dune conception
de la rationalit non pratique qui mesure la rationalit dactes pistmiques successifs en termes
de relations entre leurs contenus, mais qui voit les actes de lagent rationnel idal comme tant
clos sous certaines relations de contenu perues, qui constituent des actes distincts de la pense rationnelle, mais aussi fondamentaux pour la rationalit que linfrence purement logique.
Pour plus concernant la premire alternative, voir Detlefsen [1990]. La seconde est traite avec
un peu plus de dtail dans un manuscrit non publi intitul Les pouvoirs de la rflexion .
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
176
2m
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 177 / 153
177
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
1. Par prservation des traits pistmiques du translatum, jentends la satisfaction dune condition plutt faible, savoir que ce qui est essentiel une comprhension authentiquement mathmatique dun thorme soit captur par au moins une des preuves logicises de sa traduction.
2. Certains des sujets abords dans cet article sont traits de faon plus dtaille dans
Detlefsen [1990], [1992].
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
2 mai 2011 - Philosophie des mathmatiques - Reboul - Etudes philosophiques - 155 x 240 - page 178 / 153
178
2m
MichaelDetlefsen
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Document tlcharg depuis www.cairn.info - Universit de Nanterre - Paris 10 - - 193.50.140.116 - 08/02/2015 12h13. Presses Universitaires de France
Bibliographie