Revue germanique

internationale
13 (2011)
Phnomnologie allemande, phnomnologie franaise

................................................................................................................................................................................................................................................................................................

Dominique Pradelle
La phnomnologie des objets
mathmatiques chez Desanti
................................................................................................................................................................................................................................................................................................

Avertissement
Le contenu de ce site relve de la lgislation franaise sur la proprit intellectuelle et est la proprit exclusive de
l'diteur.
Les uvres figurant sur ce site peuvent tre consultes et reproduites sur un support papier ou numrique sous
rserve qu'elles soient strictement rserves un usage soit personnel, soit scientifique ou pdagogique excluant
toute exploitation commerciale. La reproduction devra obligatoirement mentionner l'diteur, le nom de la revue,
l'auteur et la rfrence du document.
Toute autre reproduction est interdite sauf accord pralable de l'diteur, en dehors des cas prvus par la lgislation
en vigueur en France.

Revues.org est un portail de revues en sciences humaines et sociales dvelopp par le Clo, Centre pour l'dition
lectronique ouverte (CNRS, EHESS, UP, UAPV).

................................................................................................................................................................................................................................................................................................

Rfrence lectronique
Dominique Pradelle, La phnomnologie des objets mathmatiques chez Desanti, Revue germanique
internationale [En ligne], 13|2011, mis en ligne le 15 mai 2014, consult le 15 mai 2014. URL: http://
rgi.revues.org/1126; DOI: 10.4000/rgi.1126

diteur : CNRS ditions

http://rgi.revues.org
http://www.revues.org

Document accessible en ligne sur : http://rgi.revues.org/1126

Ce document est le fac-simil de l'dition papier.
Tous droits rservs
 La phnomnologie des objets
mathmatiques chez Desanti

Dominique Pradelle

Des tres parfaits, imprvus, soffriront tes expriences

Rimbaud, Illuminations, Jeunesse

Le problme fondamental de Desanti snonce comme une question donto-

logie rgionale, savoir celle du mode dtre spcifique aux thories mathmatiques
et du statut dobjectualit de leurs objets thmatiques : Lobjet de ce travail est
de faire comprendre quel est le statut des objets mathmatiques et quel est le mode
dexistence des thories 1 ; lobjet des Idalits mathmatiques : montrer et
dployer les modalits de co-prsence du thorme et de la thorie 2. Linter-
rogation porte sur le mode de prsence des thories mathmatiques, ce qui implique
trois problmes distincts. Dune part, une interrogation sur le mode dapparatre des
thories : prises dans le comment de leur manifestation au sujet mathmaticien, quel
est le statut ontologique des thories ? ont-elles un mode dtre analogue celui
des choses matrielles, cest--dire un mode didentit et de persistance face la
conscience ? comment se caractrise leur mode dapparatre subjectif, cest--dire
larticulation entre les actes du sujet et les modes dvidence en lesquels elles sattes-
tent comme valides ? Dautre part, une interrogation sur le mode darticulation avec
les autres domaines dobjets au sein du monde : les thories se trouvent-elles dans
une connexion spcifique avec les choses matrielles, ainsi quavec les objets cultu-
rels ? leurs structures spcifiques se laissent-elles entrevoir dans celles des choses
perceptives, et leur connaissance est-elle conditionne et prfigure par les activits
culturelles ? Enfin, en de de lapparatre des thories, une interrogation sur leur
mode de production dans lhistoire : celui-ci renvoie-t-il aux actes producteurs dune

1. Jean-Toussaint Desanti, Les Idalits mathmatiques , entretien avec Maurice Caveing, in :

Le Philosophe et les pouvoirs et autres dialogues, Paris, Hachette Littratures, 2008, p. 186.
2. Jean-Toussaint Desanti, Un destin philosophique, Paris, Hachette Littratures, 2008, p. 340. Nous
rectifions le texte, videmment fautif.
76 Phnomnologie allemande, phnomnologie franaise

conscience absolue ? La position husserlienne, qui reconduit les objets leur mode
de vise et dattestation par les actes de la conscience pure, permet-elle dlucider
le mode de production des objectits mathmatiques ? Dans sa critique de la phno-
mnologie husserlienne, Cavaills avait mis en doute la possibilit de reconduire la
production des objets idaux aux actes producteurs dune conscience pure, et appel
la repenser de faon non subjective, partir de la structure des champs didalits ;
le mode dtre et lhistoricit sui generis des mathmatiques imposent-ils donc de
renoncer au primat de la conscience constituante ?

Inversion du sens de lpoch husserlienne

Posons un problme de mthode : sagit-il, pour lpistmologue qui interroge
le mode dapparatre subjectif des thories, de mettre en suspens ltre en soi de
leurs champs dobjets, afin de revenir la corrlation a priori entre les actes inten-
tionnels et modes dvidence du sujet pur, et le sens et la validit des objets
intentionnels qui sy donnent ? Thories et champs dobjets mathmatiques sont-ils
pris comme un exemple de transcendance quil conviendrait de mettre entre paren-
thses ?
Non. De la dmarche husserlienne dpoch, Desanti ne retient que lpoch
pistmique mise en suspens de tout savoir pralable, consistant faire vu de
pauvret en matire de thorie pr-constitue , mais non lpoch ontologique
suspension de ltre des objets pris pour thmes dlucidation philosophique :
interdiction dimporter dans lexamen du domaine dobjets dont lanalyse
mincombait les exigences propres une thorie pr-constitue 3. Pratiquer la
bonne poch , cest se placer dans la disposition dtre anankasthentes hypal-
thias, contraints par le manifeste 4 : il sagit de mettre en suspens la validit des
thories toutes faites, de dconstruire les blocs de certitudes (notamment philoso-
phiques), bref de dtruire la forme reue du concept ou de tuer le Phnix :
la forme traditionnelle de la conscience philosophante 5, afin de laisser se mani-
fester selon ses modalits propres et daccueillir ce dont il est question, sans criblage
pralable par une conceptualit pr-constitue et ce pour la raison que les
concepts et thse livres par la tradition ont pu tre labors dans dautres rgions
de phnomnes que celle des thories mathmatiques. Cest l une application du
principe des principes nonc par Husserl au 24 des Ideen I, qui impose
comme matrice mthodique de toute dmarche phnomnologique le retour
lintuition originairement donatrice de lobjet en laquelle il atteste les contours de
son sens ontique et de sa validit ontologique. Mais au lieu dtre interprt, dans
le cadre de la rduction phnomnologique, comme une exigence de rcession
depuis la sphre transcendante des objets celle des donnes immanentes que sont

3. Ibid, p. 323.
4. Formule de la Physique dAristote cite par Desanti dans lIntroduction de la deuxime dition
de Jean-Toussaint Desanti, Introduction la phnomnologie, Paris, Gallimard, 1994, pp. 16, 28.
5. Jean-Toussaint Desanti, Les Idalits mathmatiques, Avant-propos, Paris, Seuil, 1968, p. IV.
La phnomnologie des objets mathmatiques chez Desanti 77

les phnomnes ou modes dapparatre subjectifs, il sagit dun retour aux objets
apparaissants, pris dans leur mode dapparition. Il sagit donc dune phnomnologie
nomatique, qui demeure dans lorientation directe sur les objets afin de laisser
la chose son pur paratre, sans la poser 6, sans amorcer le retour aux actes
notiques o la consistance des objets est suppose trouver son origine. Loin
dimposer la suspension de validit de toute transcendance, la description impose
au contraire de dpayser le regard philosophique 7 en linvestissant dans les
savoirs positifs et leurs exigences propres : il sagit dabord de refaire les math-
matiques, de suivre la lettre leurs enchanements dmonstratifs et opratoires,
afin de laisser apparatre les contours de lobjet corrlatifs ces exigences. Loin de
neutraliser la donation de lobjet, on la laisse au contraire simposer.
Sagissant des thories mathmatiques, cela implique une ascse du regard philo-
sophant : il ne faut pas se laisser guider par un ensemble de thses pralables entre
lesquelles il sagirait de trancher lintuitionnisme, selon lequel lobjet est le corrlat
dune procdure de construction effectuable, le formalisme, selon lequel lobjet est
le corrlat ontologique dun systme formalis daxiomes cohrent et complet, le
ralisme, selon lequel les objets et vrits mathmatiques existent indpendamment
de la conscience, le kantisme, selon lequel les objets mathmatiques sont le produit
de constructions synthtiques dans les intuitions pures, etc. La philosophie des
mathmatiques nest pas rductible au choix argument dune thse pr-constitue
parmi lensemble des thses disponibles, par rapport auquel lexamen des thories
ne servirait que de mine dexemples o trouver des arguments destins fonder
une thse ou en rfuter une autre ; il sagit au contraire de mettre en suspens
toutes ces thses, dans la mesure o elles font cran la manifestation effective
des thories mathmatiques, et de se laisser capter par les exigences deffectuation
propres au savoir positif tel quil se lit, sapprend, se transmet et se reformule8.
Lpoch ne sexerce pas sur les savoirs positifs pr-constitus, mais sur les thses
philosophiques traditionnelles.

Ltre en soi et lidalit en question

Quel est le statut phnomnologique des thories et champs dobjets math-
matiques, pris dans leur mode dapparition ? Possdent-ils, linstar des choses du
monde extrieur, le statut dob-jets (Gegen-stnde), cest--dire de quelque chose
qui stend l devant (-jectum), possde une consistance propre face la conscience
(gegen-) et une identit persistante indpendante de ses actes (Stand, stans) ? Ce
statut est exprim par le concept husserlien didalit ou dobjet idal :
Un objet mathmatique nest pas une chose, ce nest pas une table ou un caillou,
mais cest un objet idal. Cela veut dire que, pour pouvoir poser un tel objet comme

6. Jean-Toussaint Desanti, Le Langage des idalits , in : Le Philosophe et les pouvoirs, op. cit.,
p. 291.
7. J.-T. Desanti, Idalits, Avant-propos, p. IV.
8. Id., Les idalits mathmatiques , art. cit., pp. 190-191.
78 Phnomnologie allemande, phnomnologie franaise

existant et le maintenir comme existant, il importe deffectuer les systmes de propri-

ts qui le caractrisent, ou au moins de disposer dune loi permettant une telle
effectuation9.
Que signifie le concept husserlien dobjet idal ? Ce dernier soppose lobjet
ral, qui appartient la ralit spatio-temporelle de la nature. Celui-ci est individu
par une dure concrte dcoupe sur le temps mondain et une tendue concrte
dcoupe sur la spatialit mondaine ; il est donn dans une perception sensible et
une forme de synthse passive et continue, cest--dire une apprhension en une
seule strate qui ne prsuppose pas dobjets pr-donns, mais se fonde sur des
affections sensibles qui ne sont pas elles-mmes donnes comme objets10. Par
contraste, les objets idaux ne sont pas individus par une position temporelle dans
la dure et ltendue mondaines, mais sont en quelque sorte partout et nulle part,
susceptibles de se rpter et dtre donns lidentique en nimporte quel temps,
donc caractriss par lidentit omni-temporelle11 ; ils se donnent en tant produits
(erzeugt) dans une synthse didentification multi-radiale (vielstrahlig) qui est la
fois articule et fonde sur la donation dobjets pr-donns de rang infrieur, et
engendre par un acte de liaison une nouvelle objectit ; une fois produits, ils sont
saisissables nouveau comme les mmes par quiconque effectue les oprations
ncessaires ; enfin, les idalits ne possdent pas simplement un sens au mme titre
que tout objet ral (le sens objectal, gegenstndlicher Sinn), mais un sens de second
degr (Sinn zweiter Stufe) ou sens de sens (Sinnes-Sinn), dans la mesure o il leur
appartient par essence dtre sens de, signification de, et dtre viss par la
mdiation dobjets corporels rals dont elles forment la signification12.
Ce concept didalit exprime-t-il le mode dtre des thories mathmatiques ?
Desanti exige lpoch des concepts pr-constitus, au motif que de tels concepts
ont t labors dans dautres rgions dobjets et de manifestation que celle dont
il sagit. Or tel est justement le cas du concept dobjet idal : loin de se restreindre
aux thories mathmatiques et aux objets formels corrlatifs, il dsigne tout
objet culturel en gnral, qui se prsente sur un soubassement ral comme poss-
dant une identit intersubjective et omnitemporelle ; nest-il pas, en consquence,
trop large pour exprimer la spcificit des mathmatiques ?
La spcification des idalits adquate ltre des thories mathmatiques est
la suivante : sil existe quelque chose de tel que des objets mathmatiques, ils sont
strictement corrlatifs un ensemble de procdures opratoires (dfinissant les
oprations ou calculs possibles dans leur domaine) et dmonstratives (qui permet-
tent den tablir les proprits). Par exemple, lobjet 1 na de consistance que
comme lment primitif de lopration de comptage, puis comme lment neutre
pour la multiplication, comme unit fondamentale permettant de dfinir les entiers
par rcurrence, comme classe dquivalence de tous les singletons, etc. Dune part,

9. Ibid., p. 186.
10. Edmund Husserl, Erfahrung und Urteil, Hambourg, Glaassen & Goverts, 1954, 64b,
pp. 306-308 (trad. fr. de D. Souche, Exprience et jugement, Paris, PUF, 1970, pp. 309-311).
11. Ibid., 64c, pp. 65, 311-314, 319 (trad. fr., pp. 313-316, 322).
12. Ibid., 65, p. 323 (trad. fr., pp. 325-326).
La phnomnologie des objets mathmatiques chez Desanti 79

de tels objets ont prcisment le statut dob-jets ou dobstants, cest--dire de ples

intentionnels qui ne soffrent qu une conscience qui se fait mathmaticienne en
acceptant daccomplir les gestes ncessaires au maintien de leur sens ; dautre part,
ils impliquent une certaine praxis thortique opre sur des signes sensibles, donc
sincarnent dans des idalits morphologiques doues dune invariance graphique
idale sur lesquelles le mathmatisant doit oprer en formant des suites correctes ;
enfin, loin davoir une forme dexistence isole ou autonome, ils possdent un statut
intra-thorique ou holiste, cest--dire interne une thorie, systme rgl de signes
o sexplicitent et se dmontrent leurs proprits. Tout cela permet repenser le
statut ontologique de tels objets :
ces sortes dobjets qui nont de statut que relationnel et ne sont accessibles que
dans le systme de possibilits rgles ouvertes par les relations qui les dfinissent.
[] une idalit mathmatique nest rien dautre quune indication de procdure
opratoire ou dmonstrative. Seule une procdure dcriture le fixe comme objet 13.
dans le champ mathmatique, lexpression il y a un objet dsign par a
veut dire a est un terme qui dsigne un oprable . Cela veut dire que lon ne
peut parler de lexistence dun objet mathmatique que dans une rgion intra-
thorique (intra-discursive) bien dtermine et stabilise14.
Ce statut intra-thorique des idalits a un sens radicalement anti-cartsien : il
ny a pas dessence simple qui serait intuitionnable isolment, en labsence de tout
contexte thorique enveloppant un domaine de co-objets, doprations et de proc-
dures dmonstratives ; lessence de cercle ou de triangle nest pas isolable du
domaine des figures planes, ni de ses relations avec les essences de droite, dangle,
de segment ou de distance, ainsi quavec la relation de non-paralllisme entre
droites. De ce statut holiste ou intra-thorique tmoigne une simple ncessit : loin
dassimiler lidentit dun objet lauto-subsistance dun substrat ontologique idal
hors de la conscience et indpendamment de ses actes, on ne peut parler didentit
que si lon dispose de la relation dgalit comme relation dquivalence (rflexive,
symtrique et transitive), cest--dire comme objet intra-thorique relationnel ;
lidentit cesse ainsi de dsigner lidentit extra-thorique et en soi de substrats
idaux, mais se rfre lgalit comme relation intra-thorique15. Aussi le statut
des idalits exclut-il par principe tout ralisme ou platonisme mathmatique ce
quexprime la thse selon laquelle les mathmatiques ne sont pas du Ciel :
Il nexiste nulle part un univers dtres mathmatiques, un en soi mathmatique
auquel les mathmatiques pratiques par les hommes donneraient accs. Le ralisme
des structures me parat absurde et en dernier ressort ne pouvoir se soutenir que
dune thologie16.

13. Jean-Toussaint Desanti, La Philosophie silencieuse, Paris, Seuil, 1975, p. 226-227.

14. J.-T. Desanti, Le langage des idalits , in Le Philosophe et les pouvoirs, p. 304.
15. Entre des Objets il faut pouvoir dfinir une relation didentit (rflexive symtrique
transitive), la plus fine des relations dquivalence (J.-T. Desanti, Langage , p. 303) ; de mme
Jean-Toussaint Desanti, Sur la notion dobjet en mathmatiques , in : Le Trimestre psychanalytique,
1991, pp. 60-61.
16. Id., La Philosophie silencieuse, 225.
80 Phnomnologie allemande, phnomnologie franaise

Ralisme des structures est un titre qui vise la thse dAlbert Lautman
selon laquelle il existe des structures mathmatiques purement formelles (groupe,
anneau, corps, idal, relation dquivalence, relation dordre) qui prexistent
la production historique effective de thories mathmatiques, lesquelles ne font
que les incarner et les approcher17 ; admettre ltre en soi de telles structures, cest
poser des entits mathmatiques en-dehors de toute discursivit rgle et de toute
praxis thortique effective ; or, ces structures ne pouvant tre vises, thmatises
et dfinies que par la mdiation denchanements discursifs et grce une praxis
norme par un ensemble de rgles, il est absurde de poser leur subsistance ind-
pendamment de toutes ces procdures qui garantissent leur accessibilit.
Cependant, si lide didalit permet dvacuer lartfact conceptuel de len soi
mathmatique, les proprits qui dfinissent un objet idal (omni-temporalit, inter-
subjectivit) ne sont-elles pas trop fortes pour convenir aux objectits mathmati-
ques ? Les objets et thories mathmatiques possdent-ils une identit et une
validit omni-temporelles, la fois rtrospectives et prospectives ?
En premier lieu, si la notion dobjet est strictement corrlative lemploi rgl
de la relation dgalit, le domaine des objets nest pas dlimit une fois pour toutes,
mais peut tre enrichi en fonction des procdures opratoires et des proprits
dobjets et de champs dobjets18. Lhistoricit des idalits ne signifie pas simple-
ment linscription de leur connaissance subjective dans le temps des gnrations
de savants, mais aussi et surtout leur mode dexistence intra-historique : elles appa-
raissent dans le temps de la productivit historique. Plusieurs modalits de cet
enrichissement des domaines didalits ont t dsignes par les analyses de Cavail-
ls : adjonction didaux permettant de transformer en loi de composition interne
une opration non toujours effectuable au sein dun ensemble initial (la soustraction
dans N) ; thmatisation pour elle-mme dune structure au dpart inhrente un
domaine initial, que lon prend dsormais pour objet dinvestigation en dehors de
cet investissement naturel (structure de groupe en gnral) ; enfin, rflexion dun
oprateur sur lui-mme (topologie des transformations topologiques). Les domaines
dobjets ne sont pas fixs sub specie aeternitatis, mais ont un mode dmergence
dans le temps de la productivit idale : on ne saurait poser leur omni-temporalit
rtrospective, sauf idaliser les conditions de leur accessibilit et scinder celle-ci
de toute effectivit ; ainsi le zro et les nombres ngatifs taient-ils par principe
inaccessibles aux Grecs.
Quen est-il, en second lieu, des proprits corrlatives que sont lomni-tempo-
ralit prospective et lintersubjectivit ? Une fois constitues, les idalits ne demeu-
rent-elles pas accessibles comme acquis permanents dune communaut intersub-
jective indfiniment extensible ? Ne jouissent-elles donc dune persistance et dune

17. Albert Lautman, Essai sur les notions de structure et dexistence en mathmatiques , in Les
mathmatiques, les ides et le rel physique, Paris, Vrin, 2006, p. 125.
18. Il ny a pas de raison [] pour que le domaine des objets acceptables soit limit une fois
pour toutes. (J.-T. Desanti, Langage , p. 303). De mme J.-T. Desanti, Sur la notion dobjet ,
p. 61 : ces clauses dgalit [] permettent, dans le champ quelles dlimitent, denrichir les domaines
dobjets. [] Pour qui respecte ces rgles il ny a pas, a priori, de borne impose ces possibilits
dextension .
La phnomnologie des objets mathmatiques chez Desanti 81

intersubjectivit indfinies ? Certes, les thories et objets intra-thoriques dj

constitus jouissent dune certaine stabilit : on peut y revenir, les comprendre, en
reffectuer les dmarches opratoires et dmonstratives. Cependant cette stabilit
porte en soi la marque de sa relativit et de son essentielle fragilit : la thorie
ancienne tant toujours refaire, un texte mathmatique nest quun document,
cest--dire un simple indicateur de procdures opratoires reffectuer, et la
subsistance de la thorie ne possde aucun sens en dehors de cette possibilit de
reffectuation19. En dautres termes, le maintien de lunit dun objet, domaine ou
thorie est le corrlat dun horizon de ractivation du sens, qui reconduit lui-mme
un horizon deffectuation de procdures discursives20 :
Une thorie mathmatique nest jamais donne une fois pour toutes. Bien
entendu, elle conserve toujours une certaine stabilit, mais en mme temps, elle
manifeste une mobilit essentielle21.
Or y a-t-il des limites la ractivabilit du sens, cest--dire la reffectuabilit
des oprations ? Se peut-il quune thorie, bien que consigne en un corpus de
documents, disparaisse, savrant non ractivable ? En droit, il nexiste pas de borne
la ractivation ; mais de facto, certaines thories peuvent nous devenir trangres.
Desanti cite lexemple des mathmatiques babyloniennes : consignes sur des tablet-
tes anciennes, elles ne sont pas radicalement inaccessibles tout effort de racti-
vation, puisquon peut y lire un systme de numration, des systmes de nombres,
des procdures et algorithmes calculatoires, des types de problmes ; mais ces
champs didalits sont inertes, au sens o personne ne peut plus sy installer comme
en un domaine o produire de nouveaux thormes ; ils ont le statut de vestige,
darrire-monde mathmatique qui ne peut plus tre mobilis comme un chantier
de thorisation22. Bref, ces mathmatiques sont ractivables, mais non ractualisa-
bles ; leur sens est prsentifiable, peut faire lobjet dune vidence, mais ne peut
tre rendu actuel ; elles sont disponibles comme horizon de ractivation, mais ont
disparu comme horizon deffectuation. Cest dire que lomni-temporalit rtros-
pective demeure fragile, car suspendue aux possibilits de re-thmatisation et de
remise en chantier des domaines thoriques.
Certes, objectera-t-on, mais il convient ici comme le fait Husserl de distinguer
identit et validit (Geltung) omni-temporelles23 : que les mathmatiques babylo-
niennes soient mortes pour nous, cela signifie quelles nont plus pour nous de
validit thorique susceptible de servir de sol une nouvelle productivit ; mais
elles demeurent toutefois accessibles dans lidentit idale de leur sens, qui peut
tre toujours nouveau ralise. Lomni-temporalit de la validit serait donc fragile
et susceptible dvanescence, tandis que celle de lidentit demeurerait inaltrable,
et garante de la prennit des objets. Cependant cette invariance omni-temporelle
du sens est son tour fragilise par lessence mme de linterprtation, prise comme

19. J.-T. Desanti, La Philosophie silencieuse, p. 157.

20. Ibid., p. 156.
21. J.-T. Desanti, Le langage des idalits , art. cit., p. 186.
22. J.-T. Desanti, La Philosophie silencieuse, p. 155-156.
23. E. Husserl, Erfahrung und Urteil, op. cit., 64c, p. 313 (trad. fr., p. 316).
82 Phnomnologie allemande, phnomnologie franaise

acte pistmologique rtrospectif qui demeure fonction de lhorizon de sens actuel :

certes le lecteur dEuclide, en son travail de ractivation, est cens neutraliser son
horizon contemporain pour redevenir mathmaticien la manire dEuclide, dont
il tentera de raccomplir les procdures et de remobiliser les contextes ; mais la
lecture seffectue toujours depuis la perspective du prsent de la thorisation, dans
la mesure o cest toujours laide de la conceptualit actuelle que lon ractive
les difices thoriques anciens. Ainsi, on ne pouvait lire Archimde avant la
dcouverte du calcul infinitsimal, comme on la lu aprs 24 ; de mme, on ne lit
plus la thorie des proportions dEuclide de la mme faon depuis larithmtisation
de lanalyse et la thmatisation par Dedekind du corps des nombres rels ; et
Dirichlet et Gau soffrent en perspective depuis Riemann et sa thorisation des
espaces n-dimensionnels courbure variable25. Cest dire que lidentit du sens idal
doit tre affranchie du paradigme de lidentit substantielle des choses matrielles :
un concept, une thorie sont corrlatifs un projet thortique, et sont par l
rductibles des moments dun procs gntique ancien ; mais le projet, dans
son prsent, a eu se raliser dans un champ dont il ntait pas entirement
matre 26, cest--dire dont le sens dbordait les possibilits de thmatisation de
lpoque, et porte en soi la marque de son inachvement et de son surplus de sens ;
cest la thmatisation actuelle qui manifeste rtrospectivement ce sens dans son
inachvement, comme horizon porteur de potentialits notiques venir. Le sens
mathmatique nest donc pas referm sur soi comme un noyau invariant et ind-
pendant de toute effectuation notique ; il possde au contraire le mode dtre de
lhistoricit (Geschichtlichkeit), cest--dire quil dploie son ipsit sous forme dun
horizon de thorisation en devenir.

Lobjet et le remplissement en question

Mettre en question la statut dobjet des idalits, cest interroger la possibilit
et la pertinence de lanalogie entre les ontologies matriales et formelle, sur laquelle
repose le dgagement de concepts essentiels de la phnomnologie. Ainsi en va-t-il
des concepts dintuition, de perception et dobjet : la Sixime Recherche affirme
la ncessit dlargir les concepts corrlatifs de perception et dobjet27, et le premier
chapitre des Ideen I pose que les essences sont des objets au mme titre que les
choses perceptives individuelles, et quil existe une intuition des essences analogue
lintuition de ces dernires avant dajouter quil ne sagit pas l dune analogie
extrinsque, mais de lidentit gnrique des essences corrlatives dobjet et dintui-
tion28. Or cette dernire se dfinit par les caractres suivants : tout dabord le fait

24. J.-T. Desanti, Idalits, p. 9.

25. Jean-Toussaint Desanti, Sur le devenir de la science , in Ren Poirier (d.) : Entretiens en
marge de la science nouvelle, Paris, Mouton et Co, 1963, p. 262-263.
26. Ibid., p. 263.
27. Edmund Husserl, Logische Untersuchungen, VI. Unt., Einleitung, Hua XIX/2, p. 541-542 (trad.
fr., Recherches logiques, tome III, Paris, PUF, 19742, pp. 15-16).
28. Edmund Husserl, Ideen I, 3, Hua III/1, 14 (trad. fr. de Paul Ricur, Ides directrices pour
La phnomnologie des objets mathmatiques chez Desanti 83

dtre une donation directe de lobjet lui-mme (Selbstgegebenheit), commun la

perception, limagination, au ressouvenir et lintuition dessence par opposition
tous les modes de donation indirects ou par reprsentation (conscience dimage
ou de signe de lobjet) ; ensuite, le caractre spcifique dincarnation de la donne
(Leibhaftigkeit), qui distingue la perception ou lintuition (quel quen soit le type
dobjet intentionnel, individuel ou gnral) de limagination et du ressouvenir, et
renvoie la fois lactualit temporelle de lobjet (pour la perception sensible) et
lancrage dans des donnes sensibles effectives29. Ces traits eidtiques gnriques
de lintuition sont censs valoir pour lintuition dessence, en particulier pour lintui-
tion catgoriale au sens troit, savoir lintuition donatrice dessences purement
formelles, dpourvues de teneur matriale et rfres de purs moments structurels
de connexion entre objectits (les formes syntaxiques comme et, ou, etc., et les
formes ontologiques comme ensemble, nombre cardinal, nombre ordinal) : de telles
formes sont censes tre donnes dans une forme dvidence qui les livre directe-
ment et en personne comme des objets, cest--dire des significations ou concepts
formels qui, sattestant comme valides, font lobjet dune position et acquirent
ainsi le statut dessences30.
Or est-ce rellement le cas ? La vise prsomptive dun sens ou dune significa-
tion doit se transformer en intuition donatrice grce au remplissement (Erfllung)
de la vise ; mais quel est le statut de ce qui remplit la vise et se donne titre de
corrlat ? La Premire Recherche comporte une ambigut fondamentale quant
ltre du contenu remplissant : il est dcrit tour tour comme sens remplissant
(erfllender Sinn) et comme objet (Gegenstand)31. Or, selon que le contenu remplis-
sant est dcrit comme sens ou comme objet, le statut du procs de remplissement
se dfinit de manire foncirement distincte : sil sagit du sens, le remplissement
conserve un statut discursif et demeure dans llment de la signification ; sil sagit
en revanche dun objet, il acquiert le statut proprement intuitif dune donation
directe dobjet. La question fondamentale savre donc la suivante : le remplisse-
ment a-t-il toujours un statut discursif, ou dpasse-t-il la discursivit vers la posses-
sion en chair et en os dun objet ? Telle est la question que Desanti pose dune
manire transversale tous les types dintuition, avant de la restreindre au champ
des idalits formelles.
Dans larticle Trajet dans les Idalits mathmatiques 32, il trace un parallle
entre le remplissement de plusieurs expressions types un nom propre visant un

une phnomnologie, Paris, Gallimard, 1950, p. 21). E. Husserl, Logische Untersuchungen, 53,
Hua XIX/2, p. 694 (trad. fr., III, p. 200).
29. E. Husserl, Ideen I, 3, Hua III/1, p. 14-15 (trad. fr., pp. 21-22) ; Martin Heidegger,
Prolegomena zur Geschichte des Zeitbegriffs, 5c, GA 20, pp. 48-55 (trad. fr. dA. Boutot, Prolgomnes
lhistoire du concept de temps, Paris, Gallimard, 2006, pp. 66-72 ; leibhaft y est hlas traduit par
corporellement, Leibhaftigkeit par corporit) ; Didier Franck, Chair et corps, Paris, Minuit, 1981,
pp. 20-28.
30. Edmund Husserl, Ideen III, 15, 16, Hua V, pp. 82, 85-86 (trad. fr. de Dorian Tiffeneau,
La Phnomnologie et les fondements des sciences, Paris, PUF, 1993, pp. 99, 102).
31. E. Husserl, Logische Untersuchungen, 14, Hua XIX/1, pp. 56-57 (trad. fr., tome II/1, pp.
57-59).
32. Vincent Grard a donn de ce texte une prsentation complte loccasion de journes dtudes
organises par Jocelyn Benoist et nous-mme les 5 et 6 juin 2009 luniversit Paris IV et aux Archives
84 Phnomnologie allemande, phnomnologie franaise

objet inanim ( le Panthon ), une description dfinie visant un vnement pass

( la bataille de Waterloo ), un nonc mta-mathmatique ( 1+0=1 est un
thorme de larithmtique ) et un objet mathmatique ([1,0])33. Vu que, selon
Husserl, la vise des noms propres peut servir de paradigme pour lanalyse du
remplissement en gnral, ce sont les deux premiers exemples qui fournissent le
fil conducteur analogique de lanalyse de lintuition catgoriale ; que nous appren-
nent-ils ? Lon sait que pour Husserl, la vise reposant sur le nom propre Colo-
gne se remplit lorsque je my rends et que jai la ville de Cologne sous les yeux,
ou que je prsentifie limage que jen garde si jy suis all par le pass34. Or est-ce
vraiment le cas ? Le remplissement est-il toujours identique lauto-donation de
lobjet ?
Lanalyse de la vise du Panthon rvle tout autre chose. Le Panthon se situe
en effet au confluent de toutes les vises que je puis effectuer en situation perceptive,
et se caractrise par un excdent par rapport tout ce que je puis en dire ; cest
lindex rejet linfini de toutes les explicitations que jen puis faire, le substrat de
tout ce que jen puis dire, cest--dire le foyer de lhorizon interne infini des dter-
minits que je puis dvoiler en lnonant comme tant ceci ou cela .
Panthon apparat par consquent, non comme un dsignateur rigide rfr
un objet donn en personne dans la perception la vise de signification tant
alors appele se dpasser vers la perception , mais comme lindicateur dun
horizon discursif de dterminits infini, rfr la possibilit de parler de lobjet ;
laisser se remplir la vise vide aiguille par un nom propre, ce nest donc pas laisser
se prsenter dans lintuition lobjet individuel quil dsigne, mais enrichir discur-
sivement le faisceau de dterminits qui sy attache. Le remplissement de la vise
ne se rfre pas un pouvoir percevoir dans la sphre solipsiste, mais un pouvoir
parler dans le champ discursif et intersubjectif :
Lintervention de signification de lexpression Panthon , bien quelle
concerne en dernire instance un objet individuel physique , quun geste peut
dsigner dans le champ de perception, nest jamais remplie par la seule donne de cet
objet en personne . Pour peu quune variation du champ de perception affecte le
mode de manifestation de lobjet, cet objet ne vit plus que de la possibilit de parler
un sujet qui se trouve en suspens dans son intention de discours35.
Lexemple de la bataille de Waterloo est plus net encore. Il sagit cette fois
dun vnement pass dont je nai pas t tmoin, qui ne se rfre donc pas lun
de mes vcus originaires et ne saurait soffrir en personne dans une prsentification
par le ressouvenir. Cela exclut-il radicalement tout remplissement de la vise de
lvnement ? lvidence, non : prendre connaissance de cet objet historique,
cest lire des traits dhistoire qui en retracent et en expliquent le surgissement, les
enjeux, le dnouement et les effets ultrieurs ; mesure que jenrichis le substrat

Husserl de Paris : Reconnatre, vrifier, confirmer : autour de la thorie phnomnologique du

remplissement .
33. J.-T. Desanti, Trajet dans les Idalits mathmatiques , in Analytica, vol. 36, 1984.
34. E. Husserl, Logische Untersuchungen, VI. Unt., 40, Hua XIX/2, p. 659 (trad. fr., III, p. 161).
35. Trajet dans les Idalits mathmatiques , in Analytica, vol. 36, 1984, p. 60 (nous soulignons).
La phnomnologie des objets mathmatiques chez Desanti 85

bataille de Waterloo des dterminits fournies par la recherche historienne se

remplit la vise, non de la simple signification de lexpression, mais de lobjet quelle
dsigne ; le substitut de lintuition donatrice de lobjet est, en ce cas, la prise de
connaissance progressive de ses proprits par le discours que je puis tenir
discours qui se rfre ceux que les autres, acteurs et tmoins, puis historiens,
ont pu tenir. Se dvoile ainsi, derechef, ltat de suspens du sujet dans un champ
de discursivit ouvert qui le place en situation intentionnelle relativement aux
effectuations de sens 36. Dune part, jamais le domaine de la discursivit nest
dpass par la donation intuitive et en personne de lobjet, mais le remplissement
demeure leffectuation dun sens remplissant ; dautre part, le sujet plac dans cette
situation discursive demeure en suspens, dans la mesure o lobjet vis demeure
lindex rejet linfini de toutes les nonciations discursives que je puis effectuer
son propos ; enfin, mon discours dterminant se situe dans un champ de discur-
sivit intersubjectif o le discours premier nest pas le mien, lequel est toujours dj
prcd par un pass culturel plus vieux que ma subjectivit.
Tentons dappliquer aux vises dobjets purement catgoriaux cet arrachement
du remplissement au paradigme de la donation intuitive, et du thme celui de
lobjet perceptif. La question du remplissement des intentions de signification pure-
ment catgoriales est pose par Husserl propos des catgories syntaxiques du
type et, ou, tous les, etc., qui doivent avoir une valeur paradigmatique pour les
catgories ontologiques ensemble, cardinal, ordinal, etc. , et rsolue de manire
prsomptive. Il sagit en effet de savoir si toutes les parties de la signification peuvent
donner lieu un remplissement intuitif, notamment les parties purement formelles
ou syntaxiques : le est de la proposition je vois que ce papier est blanc , le quelque
et le tous les des propositions quelque S est P et tous les S sont P peuvent-ils
se donner dans une intuition37 ? De telles formes syntaxiques, ne correspondant
rien dans les objets papier ou S, ne sauraient se remplir par lintuition perceptive
de ces objets ; cependant, sur le fondement de la perception du papier blanc a lieu
lintuition de ltat de choses tre-blanc de ce papier, qui son tour enveloppe, ou
du moins doit impliquer la donation catgoriale de ses moments formels :
Le est [] est donn en personne, ou du moins prsum donn (vermeintlich
gegeben) dans le remplissement qui, ventuellement, sajuste au jugement : savoir
dans laperception de ltat de choses prsum38.
[] il faut en tout cas quil y ait l un acte (es mu jedenfalls ein Akt da sein) qui,
aux lments catgoriaux de la signification, rende les mmes services que ceux que
la simple perception sensible rend ses lments matrials39.
Le geste essentiel de Desanti consiste ici prendre au srieux le caractre
purement prsomptif, et non proprement phnomnologique, de ces thses. Husserl

36. Trajet , op. cit., p. 61.

37. E. Husserl, Logische Untersuchungen, VI. Unt., 40, Hua XIX/2, p. 658 (trad. fr., III, p. 161).
38. E. Husserl, Logische Untersuchungen, VI. Unt., 44, Hua XIX/2, p. 668 (trad. fr., III, p. 172,
nous soulignons).
39. E. Husserl, Logische Untersuchungen, VI. Unt., 45, Hua XIX/2, p. 671 (trad. fr., III, p. 175,
nous soulignons).
86 Phnomnologie allemande, phnomnologie franaise

reconnat en effet la ncessit analogique quadvienne un remplissement de la vise

des lments formels, comme cest le cas pour les lments matrials ; mais jamais
na lieu lostension intuitive, grce la rflexion sur les vcus, de la structure
effective dun tel procs de remplissement ; la seule chose quon en sache, cest
quil ne peut avoir lieu isolment, mais se fonde sur lintuition dun tat de choses
et laccompagne40 :
Donc quelque intuition devait remplir les intentions catgoriale (du type + ou
du type des connexions logiques). Mais Husserl na jamais pu exhiber une telle
intuition. Il lui a donc cherch un tenant lieu , un reprsentant. Et il a t si peu
satisfait du rsultat de sa recherche quil a abandonn la notion de reprsentant .
Peut-tre a-t-il eu tort de renoncer. Peut-tre [] et-il d rflchir neuf aux raisons
pour lesquelles il lui avait fallu prcisment chercher un tenant lieu de cette intuition
absente.
Il est bien possible en effet que le sujet mathmatisant nait jamais affaire
autre chose qu des tenant lieu 41.
Cest ici que se joue le dplacement essentiel. Que signifie le concept de
reprsentation reprsentative (Reprsentation) dans la thorie husserlienne ? Il inter-
vient dans lanalyse intentionnelle de tous les actes, quils soient objectivants (par
exemple la perception du papier) ou aient pour fondement une objectivation (par
exemple son valuation esthtique) : en tout acte, on peut distinguer la qualit
(cest--dire le mode de croyance, de souhait, de doute) et la Reprsentation qui
leur sert de fondement ; celle-ci enveloppe la fois la forme de lapprhension
(signitive ou intuitive, perceptive ou imaginative), la matire de lapprhension (
savoir le sens qui reprsente lobjet) et les contenus apprhends (signes ou
contenus exposants)42. Dans le cas dobjets perceptifs, la Reprsentation inclut la
modalit perceptive, le nome perceptif (lobjet pris dans son mode dapparition,
p. ex. donn sous une seule face) et les contenus sensoriels qui exposent les aspects
sensibles de lobjet ; dans le cas dobjets individuels dsigns par un signe, elle
inclut la conscience de signe, le signe comme dsignateur et le sens qui dfinit
lobjet. Mais quenveloppe-t-elle dans le cas de la catgorie syntaxique et, ou de
lidalit mathmatique [0,1] ?
Pour Husserl simpose un rupture de paralllisme avec la sphre sensible. En
effet, alors quen celle-ci un mme objet peut sexposer par des contenus rels
variables, dans la sphre catgoriale en revanche la forme du et est partout la
mme , cest--dire que la matire dapprhension (le nome) est absolument
invariante ; la catgorie syntaxique et ne sesquisse pas travers des profils chan-
geants, mais se donne toujours par un seul et mme sens. Quant au vcu subjectif
quest la saisie de ce sens (analogue la perception sensible de la face de lobjet
qui soffre), il demeure certes indtermin ; mais il doit y avoir une diffrence entre

40. E. Husserl, Logische Untersuchungen, IV. Unt., 9b, Hua XIX/1, p. 323 (trad. fr., II/2,
p. 108).
41. Trajet , op. cit., pp. 63-64.
42. E. Husserl, Logische Untersuchungen, VI. Unt., 27, Hua XIX/2, p. 624 (trad. fr., III,
p. 119).
La phnomnologie des objets mathmatiques chez Desanti 87

les formes dapprhension que sont les vises vide et remplie de la catgorie,
laquelle doit correspondre une distinction entre les contenus exposants et les sens
dterminants corrlatifs : dans le cas de la vise vide, les contenus sont les signes
et le sens rside dans la signification dterminante, tandis que dans le cas de la
vise remplie, ce sont les reprsentants mentaux de la forme et la catgorie saisie.
Le concept de Reprsentation ne dsigne donc pas un tenant lieu, mais lensemble
form par les contenus exposants et le sens dterminant.
Or linterprtation, par Desanti, de la Reprsentation comme tenant lieu
implique un glissement de sens essentiel. Loin de sidentifier la catgorie elle-
mme, la matire de lapprhension rside alors dans les significations qui la
dterminent diffremment , cest--dire dans lensemble du sens discursif qui
permet dexpliciter lhorizon interne de ses proprits ; corrlativement, loin dtre
des contenus exposants internes la conscience, les contenus saisis se limitent
des signes figurant dans les propositions o sexplicitent les proprits de la cat-
gorie ; enfin, loin dtre une donation perceptive de la catgorie, la forme de
lapprhension est la conscience discursive dun ensemble de propositions. Au total,
lensemble du procs de remplissement bascule dans la discursivit, sans jamais rejoin-
dre le niveau dune intuition donnant lobjet catgorial en personne :
Aussi loin que vous poursuiviez lanalyse, vous ne serez jamais en prsence dun
tel objet , qui soffre toujours en abme 43.
Cest ce que confirme lanalyse de lexemple offert par lintervalle ferm [0,1].
En apparence, lexpression possde la fonction dun nom propre dsignant un objet
bien dtermin, savoir lensemble des nombres compris entre 0 et 1 ; lindication
des bornes suffit en effet exclure tout nombre ngatif et tout nombre positif
suprieur 1. Cependant, que trouve-t-on rellement lintrieur des bornes ? Un
intervalle continu, qui ne comprend pas seulement les entiers, ni mme les nombres
rationnels, mais les nombres rels compris entre 0 et 1. Or cela suppose que lon
ait construit lensemble des rels par une procdure dengendrement partir des
rationnels (coupures de Dedekind, suite convergentes de Cantor), distingu la
proprit de continuit de la simple densit, dmontr la validit ou la non-contra-
diction du rsultat obtenu, et dfini dans cet ensemble la relation dordre < :
autant de procdures purement discursives et dmonstratives normes par des lois
logiques et des possibilits opratoires, et offrant un caractre de progressivit
indpassable. Jamais, donc, lintervalle [0,1] ne semble accessible comme nature
simple de type cartsien en un acte dintuition directement donateur. Il y a plus.
La construction de [0,1] suppose la pr-donation de strates thoriques dj consti-
tues, cest--dire dun contexte thorique dj labor : lensemble des entiers
naturels, donc une logique de second ordre laquelle on a adjoint les axiomes
dune thorie abstraite des ensembles, puis lensemble des rationnels muni des
quatre oprations lmentaires et inverses, la relation dordre <, la possibilit de
construire des suites ; la construction mobilise ainsi une stratification de couches
thoriques dj constitues, sans quon rejoigne jamais un sol infra-mathmatique

43. Trajet , op. cit., p. 64.

88 Phnomnologie allemande, phnomnologie franaise

partir duquel on assisterait lmergence du mathmatique comme tel44. Inver-

sement, une fois dfini lintervalle [0,1], il est possible den rechercher les propri-
ts, p. ex. de lui attribuer la puissance du continu ce qui mobilise une nouvelle
couche thorique, savoir une thorie de la cardinalit et des cardinaux transfinis.
Le remplissement de lobjet catgorial ne prsente donc jamais la structure de
simple donation en personne dun objet sous le regard, mais celle, complexe et
progressive, de louverture dun chantier de thorisation o le concept catgorial
forme un thme ou un ple en suspens, ouvert sur un double horizon de discursivit :
dune part, lhorizon de provenance cest--dire celui des strates de sens pr-consti-
tues quenveloppe sa construction ; dautre part, lhorizon de thmatisation
cest--dire dexplicitation indfinie de proprits et de structures de cet objet,
puis des proprits elles-mmes ou des champs et structures connexes. Ainsi, la
notion dobjet perd toute connotation raliste de substantialit ou de subsistance
indpendante, autant que de consistance invariable. Il nous faut dsormais distin-
guer trois sens du concept dobjet : en premier lieu, le corrlat dun acte de thma-
tisation ( ce titre, un prdicat ou une relation peuvent tre pris pour thmes dans
lunit dune conscience) ; en second lieu, le substrat de proprits ou terme de
relations, cest--dire argument ou variable possible de prdicats dans un
domaine45 ; enfin, le tode ti, ceci l accessible dans une donation en personne et
pourvu dun fonds de proprits essentielles explicitables sur le fondement de cette
donation. De ces trois acceptions, dont la premire est la plus primitive et la seconde
davantage que la troisime, nous ne pouvons, dans le champ des idalits math-
matiques, conserver que la premire : est objet le ple en suspens dun intrt
thortique, foyer dune pluralit dactes discursifs, sans quon puisse en faire la
rfrence dune intuition donatrice, ni mme lui accorder le statut ontologique de
substrat de proprits et de relations. Objet : ple dun chantier de thorisation en
devenir. Le statut de lobjet se dfinit ainsi uniquement par rfrence la structure
intentionnelle de toute conscience, selon laquelle tout penser est orient sur un
point darrt 46, sans prsupposition quant la possibilit de donation et au statut
ontologique de ce point darrt, qui demeure en suspens et en attente de sens
vrifiable. Le manifeste savre dessence irrductiblement signitive47.

La conscience constituante en question

Quen est-il, enfin, du sujet comme instance constituante, productrice du sens
objectal et opratrice des vidences en lesquelles se donnent les objets ? Est-il la
rgion-source o les idalits trouvent lorigine de leur sens et la garantie de leur
validit ? Si les idalits ne sont pas proprement parler des objets subsistants,
mais les thmes en suspens dactes discursifs, et si lattente du sens mathmatique

44. Jean-Toussaint Desanti, Production des concepts en mathmatiques , in : La Philosophie

silencieuse, p. 87.
45. Cfr. J.-T. Desanti, Les Idalits mathmatiques, p. 85.
46. Trajet , op. cit., p. 59.
47. J.-T. Desanti, Introduction la Phnomnologie, p. 21.
La phnomnologie des objets mathmatiques chez Desanti 89

ne se soutient que de procdures normes sur des signes crits, les sujets math-
maticiens ne sont-ils pas des crateurs dobjectivit, enrichissant le monde de
nouvelles entits catgoriales dans une historicit sui generis ? Si la Mathmatique
sest produite , cest--dire offre des champs dobjets spcifiques qui ne se sont
pas donns dun seul coup, sub specie aeternitatis, mais dans une progressivit dont
les enchanements ne sont pas demble vidents48, lusage du rflchi se produire
ne renvoie-t-il pas lunit notique dun produire, dune activit mathmaticienne
qui engendrerait continment ses champs dobjets et thories ?
La position de Desanti cette question demeure invariante :
le moi ne constitue rien qui ait un statut mathmatique49 ;
la conscience ne fait rien ; elle est simplement investie dans son champ dobjets50.
un personnage sest effac : cest le sujet constituant qui, rduit au statut de spectateur
anonyme, na t rien dautre que le mode, chaque fois spcifique, de manifestation
de son objet51.
Pourquoi ? Pour quelle raison assiste-t-on, en cours danalyse, la destruc-
tion du point de vue phnomnologique 52 cest--dire de la thse selon laquelle
lego pur serait lorigine ontologique du sens et de la validit de ces objets spci-
fiques que sont les idalits mathmatiques ?
On le comprendra en se rfrant aux Rflexions sur le concept de mathesis .
La thse ontologique de lidalisme constitutif est nonce par Husserl au 41 des
Cartesianische Meditationen : tout ce qui est pour la conscience se constitue en
elle-mme , toute espce dtant, concret et idal, devient comprhensible
comme formation de la subjectivit transcendantale 53 ; autrement dit, tout tant
est rductible du sens intentionnel vis par les noses de la conscience, toute
idalit est redevable de sa teneur ses actes dinstauration originaire (Urstiftung),
et sa validit se fonde sur les actes de validation qui la reconduisent des modes
dvidence indubitable. Or cela suppose deux choses essentielles : dune part, la
position dun ego itinrant, fondateur, omni-regardant, omniprsent, omni-parlant
et, pour tout dire, omni-digrant 54 auxquels tous les tants soient par principe
accessibles dans des modes dvidence actualisables ; dautre part, que les idalits
(thories mathmatiques et champs dobjets associs) soient engendres par la
spontanit productrice dun ego dont les structures notiques essentielles demeu-
reraient invariantes. Double prsupposition : celle dun principe de fermeture phno-
mnologique qui rend tout point du champ des idalits rductible du sens et
donnable dans lvidence, et celle dun principe de fermeture constitutive qui le rend
productible par les actes de la conscience. Ce qui implique le caractre unitaire du
champ nomatique des idalits comme domaine de sens soluble dans lvidence

48. J.-T. Desanti, Les Idalits mathmatiques, p. III.

49. J.-T. Desanti, Langage , p. 292.
50. J.-T. Desanti, Les Idalits mathmatiques , art. cit., p. 194.
51. Les Idalits mathmatiques, p. 290.
52. Les idalits mathmatiques , art. cit., p. 193-194.
53. Cartesianische Meditationen, 41, Hua I, p. 116-117, 118 (trad. fr., et p. 132 133).
54. Jean-Toussaint Desanti, Rponse la premire lettre , in : Un Destin philosophique, p. 325.
90 Phnomnologie allemande, phnomnologie franaise

potentielle, de mme que celui du champ de la spontanit instauratrice de sens

comme espace de dploiement dune unique activit constituante qui ne fait que
se dcliner selon diverses formes sans perdre son unit. Or telle est prcisment la
double unit que dconstruit Desanti.
Il part en effet, dans ce texte, de la priori de corrlation husserlien, adoptant
pour fil conducteur la langue grecque o les suffixes -ma et -sis dsignent respec-
tivement le produit dune activit et lactivit elle-mme pour lappliquer aux
mathmatiques : on y trouverait une corrlation entre les mathemata corpus de
textes mathmatiques et champs didalits associs et la mathesis ensemble
des formes dactivit de la conscience mathmaticienne, normes par un ensemble
de rgles morphologiques de formation et de reproduction des noncs, et de rgles
dductives dadministration de la preuve. Partant dun corpus de textes mathma-
tiques, on oprerait une forme dpoch en les traitant comme indices dune praxis
thortique encadre par un systme de rgles explicites (dordre syntaxique), mais
aussi de normes implicites. Si lon convient alors dappeler mathesis la forme dacti-
vit mathmaticienne qui produit et maintient dans leur unit les thories et champs
dobjets idaux55, la question essentielle est de savoir sil existe une seule ou plusieurs
matheseis, cest--dire sil y a une forme invariante dactivit productrice norme
des idalits, ou sil existe dans lhistoire des fractures essentielles qui scindent des
rgions thoriques htrognes renvoyant des styles distincts de theoria. Telle est
la thse de Desanti : il existe dans lhistoire des rgions thortiques htrognes
dactivit mathmatisante, normes par des systmes distincts de rgles et de normes
plus ou moins implicites qui rglent les procdures de formation syntaxique, de
dduction et dadmission de nouveaux objets. Lhistoire nest donc pas coextensive
une forme invariante et unitaire dactivit notique, mais clate en une pluralit
de rgions idales et de styles thortiques affrents56.
Lanalyse dun exemple permet de mettre en vidence une mathesis de type
euclidien le thorme 2 du livre XII des Elments, qui affirme lgalit du rapport
des aires de deux cercles et du rapport des carrs de leur diamtre respectif. Pour
ce faire, Desanti quitte la mthode phnomnologique de description des objets et
de rflexion intentionnelle, pour entrer dans lpaisseur du champ dobjets et
dgager la relation entre limplicite et lexplicite 57, cest--dire mettre en
vidence les relations de lnonc explicite certains domaines implicites servant
de schmes rgulateurs. Dune part, une mdiation conceptuelle : le problme tant
dadmettre le cercle et larc de cercle parmi les grandeurs mesurables, il sagit
doprer une bonne extension ontologique, savoir une construction lgitime
de nouveaux objets partir des anciens ce qui renvoie un champ de possibilits
opratoires rgles et mdiatises par le concept central de proportion. Ensuite, une
mdiation heuristique : lapproximation de laire du cercle est rendue possible par
la mthode dexhaustion, multiplication loisir du nombre de cts dun polygone
intrieur au cercle. Puis une mdiation ontologique : il est interdit, au plan dductif,

55. J.-T. Desanti, La Philosophie silencieuse, p. 197, 207.

56. Ibid., p. 196-197, 217-218.
57. J.-T. Desanti, Les idalits mathmatiques , p. 193.
La phnomnologie des objets mathmatiques chez Desanti 91

dutiliser la mthode de passage la limite qui permettrait de passer du polygone

au cercle et ce en vertu du principe dimmutabilit et dincommunicabilit des
essences ou substances (ousiai) de polygone et de cercle. Mdiation dmonstrative,
enfin : la dmonstration du thorme repose sur lusage de la preuve par labsurde,
elle-mme fonde sur une logique bivalente rgie par la loi du tiers exclu, et sur
le principe de trichotomie de la relation dordre 58. Ces domaines implicites tmoi-
gnent de limmanence dune mathesis : savoir une normativit la fois conceptuelle
et intra-mathmatique (thorie des proportions), logique (tiers exclu et trichoto-
mie), ontologique et extra-mathmatique (immutabilit de lousia). La surface acces-
sible du corpus textuel renvoie ainsi implicitement la prsence oblique dune
mathesis59 : les normes de rigueur syntaxique, de mme que les interdictions dordre
mthodologique (celle du passage la limite) et ontologique (refus de lexistence
dobjets fluents comme les grandeurs infinitsimales, du zro parmi les nombres
entiers), renvoient, au plan nomatique, la co-prsence dune rgion thorique
tout objet simple, et, au plan notique corrlatif, celle dun style et dun systme
de possibilits et impossibilits deffectuation des actes de pense.
Revenons la question initiale : pourquoi Desanti refuse-t-il la thse ontologique
husserlienne, celle de lidalisme constitutif qui assimile tout tant du sens inten-
tionnel vis et valid par une conscience pure ? Cest quune telle thse prsuppose
la coextensivit de la totalit des objets intentionnels ici, celle des mathemata
lactivit constituante dune mme conscience, cest--dire une mathesis inva-
riante, entendue comme activit thortique de style mathmatisant et se dployant
dans lunit dune histoire. Or existe-t-il une telle unit omni-temporelle ou trans-
historique de la mathesis ? Est-il possible dunifier le champ de la praxis thortique
des mathmatiques ?
Il existe plusieurs manires de tenter dassurer ou de fonder lunit de la mathe-
sis : nomatique, infra-mathmatique et notique.

1/ Dabord, une unification nomatique. Au XXe sicle, les mathmatiques

paraissent unifiables par un ensemble de thories structurales susceptibles de rendre
compte la fois de la structure des thories et des champs dobjets associs. Ainsi,
partant des mathmatiques structurales contemporaines, il est possible deffectuer
une lecture rtrospective de lhistoire des mathmatiques qui en dtemporalise les
productions idales ; on peut neutraliser lhistoricit de la thmatisation effective
des mathemata p. ex. le fait que la structure de groupe ait t mise en vidence
par Galois , en effacer les dimensions dorigine et de devenir pour dcrypter dans
les thories anciennes les prfigurations inconscientes de ces structures en voyant
p. ex. dans la thorie des proportions dEudoxe (aux nombres ngatifs prs) un
quivalent de notre corps des rels. Par ce geste pistmologique rcursif, lhistorien
acquiert une ubiquit thortique qui lui permet de ractiver les anciens difices
thoriques en les traduisant dans le langage structural moderne ; les thories et
champs dobjets anciens apparaissent alors non comme du pass prim, mais

58. J.-T. Desanti, La Philosophie silencieuse, p. 201-203.

59. Ibid., p. 209.
92 Phnomnologie allemande, phnomnologie franaise

comme du pass ractivable et intgrable au champ thorique contemporain. On

peut ainsi concevoir lhistoire comme celle de linscription thorique progressive
de structures trs gnrales (groupe, corps, anneau, espace connexe, compact, etc.)
dans des difices thoriques60.
Quelle est la difficult dune telle position ? Cest quil devient impossible de
rendre compte de lhistoricit diffrencie des mathmatiques, qui a t pralable-
ment neutralise : la lecture rcurrente fait apparatre telle thorie comme dcou-
verte implicite dune structure thmatise plus tard dans sa puret, mais sans que
soit dvoil le temps spcifique de cette dcouverte, son articulation avec les champs
thoriques voisins ou implicitement convoqus. Il apparat donc ncessaire de resti-
tuer et de thmatiser ce temps de la productivit effective, o le prsent de la
thmatisation renvoie une praxis mathmaticienne effective, son inscription dans
une situation mathmatique dtermine et son rapport des domaines thoriques
implicites.

2/ Symtriquement, la deuxime solution est lunification transcendantale par

lefficace constituante dun sujet non mondain, condition de toute apparition dun
objet en gnral, quel quen soit le statut. Ce style dunification, inaugur par Kant,
fut renouvel par la phnomnologie transcendantale husserlienne. Il implique,
chez les deux philosophes, une mthode rflexive visant transposer les corpus
dnoncs mathmatiques dans le champ des possibilits subjectives, donc les
intrioriser au sujet comme des possibilits notiques qui en seraient constitutives.
Cest vrai chez Kant : partant des mathmatiques effectives quil prend comme un
systme de jugements, il sattache saisir lessence de ces derniers (leur caractre
synthtique a priori), puis la spcificit des actes subjectifs qui en garantissent la
validit (la construction de concepts), afin de postuler au sein du sujet transcen-
dantal, les structures a priori censes assurer leffectuabilit dune telle construction
(intuitions pures et catgories). Tel est le style transcendantal dunification des
mathmatiques par leur ple subjectif : loin de parcourir dans son effectivit la
production historique des idalits, on voit dans le sujet pur linstance mdiatrice
ncessaire , ou la condition de possibilit de toute apparition dnoncs portant
sur des objets idaux de ce type ; le concept de sujet dsigne ainsi lensemble des
structures notiques qui sous-tend la possibilit de production dun savoir de type
mathmatique61.
De Kant Husserl, les prsuppositions spurent, mais le style dlucidation
demeure. Dun ct, Husserl prenant au srieux lhistoricit de la raison math-
maticienne, le sujet transcendantal cesse dtre prsuppos comme un ensemble de
structures notiques invariantes et anhistoriques dont le systme des facults, la
table des jugements, celle des concepts purs et celle des principes seraient les
dclinaisons. Cependant demeure le style transcendantal et rflexif : il sagit toujours
de transcrire rflexivement les noncs mathmatiques et les objets idaux dont ils
traitent en actes judicatifs produisant ces types dnoncs, modes dvidence qui

60. Ibid., p. 209-210.

61. Ibid., pp. 17-22.
La phnomnologie des objets mathmatiques chez Desanti 93

en garantissent la validit, modes dvidence donateurs des objets thmatiss, et

vises intentionnelles qui en instaurent le sens possible. Au fil conducteur du
principe selon lequel toute espce dobjet prescrit dans le sujet une structure rgu-
latrice corrlative62, il devient ainsi possible dexpliciter rflexivement les types de
vises, dvidences et dactes judicatifs qui doivent habiter le sujet titre de possi-
bilits pour que puissent advenir une production et une validation de thories
mathmatiques. On mesure lpuration de llucidation transcendantale par rapport
Kant : plus de sujet transcendantal suppos invariant (quoique corrlatif la
physique newtonienne), plus darchitectonique fixe de facults, de formes a priori
et de catgories, mais un sujet dont les gestes notiques se rduisent lintriori-
sation du type dobjets idaux traits un moment de lhistoire.
Quy a-t-il, dans une doctrine transcendantale aussi minimale, qui apparaisse
comme un prsuppos impossible assumer ?
Tout dabord, une fois transpos au champ mathmatique, le principe ontolo-
gique selon lequel tout tant est constitu par lego pur signifie que tout objet
mathmatique, tout nonc et toute thorie sont constitus par lego : tous les
mathemata possibles sont redevables de leur sens et de leur validit aux actes
constituants du sujet transcendantal63. Le principe de fermeture constitutive devient
ainsi coextensif lhistoire totale des mathmatiques : le sujet husserlien ne corres-
pond plus un type particulier de mathmatique, mais se rapporte lhorizon
historique indfini dun avenir mathmatique de mme style64 ; et de fait, lorsquil
lucide les structures notiques qui rendent possible la praxis mathmaticienne,
Husserl nexhibe que des types dactes gnraux, susceptibles de convenir toute
forme historique dactivit mathmaticienne vidence dun objet idal en gnral,
itrabilit indfinie dune opration, vidence de la non-contradiction, acte de
formalisation donnant accs des ensembles, cardinaux et structures formelles. Or
peut-on ainsi se rfrer la multiplicit indtermine tous les mathemata possi-
bles , et en prsupposer le caractre consistant ? Peut-on, paralllement, prsup-
poser lidentit et linvariance de la structure gologique associe, cense porter en
soi la possibilit de constitution de cette totalit de mathemata ? Bref, est-il possible
dunifier le champ des mathemata possibles, afin den faire le corrlat dune praxis
thortique unitaire et progressive ?
Sur ce point, la critique formule par Cavaills a t, on le sait, dcisive. On ne
pourra jamais dcider de la question de savoir si la structure gologique, consti-
tuante , nest pas la simple intriorisation (la prise de possession) dune structure
dj constitue65.
Quest-ce dire ?
En premier lieu, il est douteux que le domaine des mathemata possibles puisse
tre considr comme un champ unitaire, et probable quil existe des rgions

62. Husserl, Cartesianische Meditationen, 22, Hua I, p. 90 (trad. fr., p. 99).

63. J.-T. Desanti, La Philosophie silencieuse, p. 210-211.
64. Cf. Edmund Husserl, Der Ursprung der Geometrie , Hua VI, 367 (trad. fr. de Jacques
Derrida, LOrigine de la gomtrie, Paris, PUF, 1962, p. 175).
65. J.-T. Desanti, La Philosophie silencieuse, p. 211.
94 Phnomnologie allemande, phnomnologie franaise

htrognes de mathemata rgis par des normes distinctes de formation dnoncs

et de construction dobjets : dans larithmtique euclidienne, 0 et les nombres
ngatifs ntaient pas des nombres ; les nombres ngatifs ntaient pas absents ;
ils nexistaient aucun degr 66 ; de mme, les espaces non euclidiens nexistent
pas dans la mathmatique classique. La totalit des mathemata possibles est une
multiplicit inconsistante, parce quen volution historique constante qui en interdit
la saisie complte et close ; ce nest que par un geste de traduction pistmique
rtrospectif que lon peut faire apparatre lobjet totalit des mathemata passs ,
mais en recouvrant les fractures entre des domaines htrognes o tel ou tel type
dobjets navait pas encore, ou plus dexistence.
Corrlativement, lhtrognit des rgions de mathemata renvoie celle des
types de mathesis : lactivit thortique correspondant aux thories et champs
dobjets est norme par des interdictions et prescriptions dordre syntaxique (usage
du tiers exclu et de la rduction labsurde), ontologique (inexistence des nombres
ngatifs, des grandeurs vanouissantes, principe dimmutabilit de lousia) et heuris-
tique (mthode dexhaustion) un ensemble de possibilits et dimpossibilits
deffectuation subjectives qui se situent dans le champ mathmatique, ou aux fron-
tires de ce champ. Or, si lon peut poser que les thories sont des productions
des sujets mathmaticiens, il est plus difficile de ladmettre pour les systmes de
normes qui rgissent la praxis thortique une poque de lhistoire : loin dins-
taurer explicitement le systme de normes, le sujet mathmaticien se dfinit
linverse par lintriorisation de structures normatives dj constitues. Le sujet nest
donc plus constituant, mais constitu : loin quune unique conscience pure puisse
parcourir lhistoire de manire totaliser lensemble des mathemata, cest la pluralit
des rgions didalits htrognes qui appelle et dfinit en retour une pluralit de
sujets thortiques norms. Telle est donc la tche ultime de lpistmologue : partir
des corpus thoriques pour y lire les indices dunification et de fracture permettant
de distinguer des poques htrognes de la theoria, donc des styles de praxis
thortique qui dterminent des types de conscience thoricienne. On sachemine
ainsi vers une doctrine de lhistoricit strie de la subjectivit.

66. Ibid., p. 207.