Vous êtes sur la page 1sur 38

M Jean Petitot

Refaire le Time :. Introduction la philosophie


mathmatique d'Albert Lautman
In: Revue d'histoire des sciences. 1987, Tome 40 n1. pp. 79-115.

Rsum
Rsum. Bien que fort peu tudi, Albert Lautman a t dj tiquet comme no-platonicien. Considre comme trop
spculative, malgr son exceptionnelle rudition mathmatique et son rapport troit au structuralisme axio- matique hilbertien, sa
philosophie des mathmatiques n'a, jusqu'ici, fait l'objet d'aucune attention particulire. Pourtant elle est, selon nous, d'une
importance remarquable. En dgageant au-dessus des thories mathmatiques un niveau supplmentaire de ralit constitu
d'ides dialectiques problmatiques dont la comprhension quivaut la gense de thories effectives o elles se dterminent et
se ralisent, elle permet de dvelopper une doctrine (transcendantale) des rapports entre Mathmatiques et Ralit qui dpasse
le dogmatisme de l'empirisme logique sans driver pour autant vers les scepticismes post-positivistes et qui articule le
mouvement indfini d'autonomisation et d'unification des mathmatiques la production indfinie des ontogenses scientifiques.
Abstract
Summary. Although studied very little, Albert Lautman has already been labelled a neo-platonist. Regarded as too speculative
despite his exceptional mathematical erudition and his close relationship to Hilberfs axiomatic structuralism, his philosophy of
mathematics has not been a subject of specific attention until now. And yet it is, in our opinion, of noteworthy importance. In
separating from mathematical theories an additional level of reality lying above, level made up of dialectic- problematic ideas
whose understanding is equivalent to the genesis of real theories in which they are determined and achieved, this philosophy of
mathematics allows a (transcendental) doctrine of relationships between mathematics and reality to be developed, which goes
beyond the dogmatism of logical empiricism without ending up in post-positivistic skepticisms for all that and which articulates the
indefinite evolution of the autonomisation and unification of mathematics toward the indefinite production of scientific
ontogenses.

Citer ce document / Cite this document :


Petitot Jean. Refaire le Time :. Introduction la philosophie mathmatique d'Albert Lautman. In: Revue d'histoire des
sciences. 1987, Tome 40 n1. pp. 79-115.
doi : 10.3406/rhs.1987.4488
http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1987_num_40_1_4488

Refaire le Time
Introduction la philosophie mathmatique
d'Alhert Lautman*

RSUM. Bien que fort peu tudi, Albert Lautman a t dj tiquet


comme no-platonicien. Considre comme trop spculative, malgr son excep
tionnelle
rudition mathmatique et son rapport troit au structuralisme axiomatique hilbertien, sa philosophie des mathmatiques n'a, jusqu'ici, fait l'objet
d'aucune attention particulire. Pourtant elle est, selon nous, d'une importance
remarquable. En dgageant au-dessus des thories mathmatiques un niveau
supplmentaire de ralit constitu d'ides dialectiques problmatiques dont la
comprhension quivaut la gense de thories effectives o elles se dterminent
et se ralisent, elle permet de dvelopper une doctrine (transcendantale) des
rapports entre Mathmatiques et Ralit qui dpasse le dogmatisme de l'empi
risme logique sans driver pour autant vers les scepticismes post-positivistes et
qui articule le mouvement indfini d'autonomisation et d'unification des math
matiques
la production indfinie des ontogenses scientifiques.
SUMMARY. Although studied very little, Albert Lautman has already
been labelled a neo-platonist. Regarded as too speculative despite his exceptional
mathematical erudition and his close relationship to Hilberfs axiomatic structuralism,
his philosophy of mathematics has not been a subject of specific attention until now.
And yet it is, in our opinion, of noteworthy importance. In separating from mathe
matical theories an additional level of reality lying above, level made up of dialecticproblematic ideas whose understanding is equivalent to the genesis of real theories
in which they are determined and achieved, this philosophy of mathematics allows
a (transcendental) doctrine of relationships between mathematics and reality to be
developed, which goes beyond the dogmatism of logical empiricism without ending
up in post-positivistic skepticisms for all that and which articulates the indefinite
evolution of the autonomisation and unification of mathematics toward the indefinite
production of scientific ontogenses.
Bien que fort peu tudi
doute eu gard sa tragique
philosophie des sciences dans
a pourtant dj t tiquet

et tonnamment mconnu sans


fin prmature et l'clips de la
l'aprs-guerre , Albert Lautman
: platonicien (1), il reprsenterait,

* Ce texte dveloppe les aperus sur la philosophie lautmanienne donns dans


Petitot [1982] et Petitot [1985].
(1) Voire mme no-platonicien selon J. Ullmo.
Rev. Hist. Sri., 1987, XL/1

80

Jean Petiiot

malgr son exceptionnelle culture mathmatique et ses troits liens


amicaux avec Jean Cavaills, Claude Chevalley et Jacques Herbrand, comme la rmanence obsolte d'un idalisme archaque
(brunschvicgien) et, ce titre, ne serait pas vritablement
moderne. Mario Castellana l'a soulign plusieurs reprises dans
l'excellent compte rendu de YEssai sur l'unit des mathmatiques (2)
qu'il a publi dans // Prolagora (3) et o, aprs avoir rsum le
texte de Lautman, il conclut en connaisseur avis de l'pistmotogie franaise qu'alors que la philosophie mathmatique de
Cavaills est libre de toute influence philosophico-spculative
brunschvicgienne, cette influence est encore prsente chez Laut
man et que c'est ce platonisme qui a t la cause du succs
limit qu'a eu auprs des spcialistes la pense de Lautman la
diffrence de celle de Cavaills . Alors que Cavaills (suivi en cela
par Bachelard) aurait affranchi la rflexion sur les mathmatiques
et les sciences de toute lgislation philosophique que prtendrait
lui imposer une thorie de la connaissance, Lautman aurait au
contraire dvelopp en interprtant le structuralisme axiomatique hilbertien en termes d'une dialectique platonicienne et
hglienne du concept une authentique philosophie mathmat
ique
et, ce faisant, n'aurait pas assez tenu compte du mouvement
d'autonomisation des sciences.
Ce diagnostic reflte bien ce que ses quelques rares lecteurs
ont retenu de Lautman. Mais une lecture plus approfondie conduit
le rviser.
Pour le dire d'emble, Albert Lautman reprsente selon nous,
sans emphase, un des philosophes les plus inspirs de ce sicle.
Ses thses sont d'une relle importance et si on leur avait consacr
ne serait-ce qu'une faible partie des rflexions que l'on a consacres
un autre philosophe, auquel il est comparable quant la stature
et oppos quant aux ides, nommment Wittgenstein, il serait
sans doute devenu l'une des figures les plus glorieuses de notre
modernit. Ces quelques remarques sur son uvre voudraient
aider la rparation de cette injustice.

(2) Cette rdition en 1977 par Maurice Loi des crits de Lautman sera videmment
notre ouvrage de rfrence. Les pages que nous indiquons dans le texte se rapportent
cette dition.
(3) Castellana [1978]. Il s'agit d'un des (trop) rares textes rcents sur Lautman.
Il constitue une bonne introduction sa philosophie.

La philosophie mathmatique d'Albert Lautman

81

1. Un philosophe mathmaticien
Avec Lautman nous sommes en prsence d'un philosophe des
mathmatiques qui parle effectivement de mathmatiques et
effectivement de philosophie, ce qui est, il faut le dire, exceptionnel
sinon unique. Pour lui, la philosophie des mathmatiques ne se
rduit ni un commentaire pistmologique second sur des pro
blmatiques
logiques fondationnelles, ni des recherches histo
riques ou a fortiori psychosociologiques, ni des rflexions sur des
courants marginaux comme l'intuitionnisme. Jean Dieudonn y
insiste juste titre dans son avant-propos YEssai sur l'unit
des mathmatiques :
Les philosophes contemporains qui s'intressent la mathmatique
s'occupent le plus souvent de ses origines, de ses relations avec la logique
ou des "problmes des fondements" (...). Bien peu sont ceux qui cherchent
se faire une ide des grandes tendances des mathmatiques de leur
temps, et de ce qui guide plus ou moins consciemment les mathmaticiens
actuels dans leurs travaux. Albert Lautman, au contraire, semble avoir
toujours t fascin par ces questions. (...) Il avait acquis sur les math
matiques
des annes 1920-1930 des vues bien plus tendues et prcises
que n'en avaient la plupart des mathmaticiens de sa gnration, souvent
troitement spcialiss. (...) [Il] avait pressenti cet extraordinaire dve
loppement
de la mathmatique, auquel le destin ne lui a pas permis
d'assister ; il l'et rempli d'enthousiasme (4).
Le point est d'importance. Comme le dnonce Dieudonn dans
un article polmique, la philosophie mathmatique contempor
aine
est une philosophie de tendance logiciste et/ou intuitionniste qui, s'intressant prfrentiellement aux langages, aux
constructions symbolico-catgoriales et leurs grammaires, plutt
qu'aux objets rels (5) et leurs structures, possde le curieux
privilge de mconnatre l'essentiel de l'activit cratrice des
mathmaticiens. Rappelons sa boutade pinglant la sottise
de Russell voulant faire des mathmatiques une partie de la
ogique : une telle affirmation est aussi absurde que celle qui consis
terait dire que les uvres de Shakespeare ou de Gthe font partie
de la grammaire ! (6). Or, le moins que l'on puisse exiger et
(4) Dieudonn [1977], 15 et 19.
(5) Rels au sens d'idalits.
(6) Dieudonn [1981], 178.

82

Jean Petiiot

attendre d'une authentique rflexion gnosologique sur les math


matiques
est certes de dvelopper, pour reprendre une expression
de Catherine Chevalley, une philosophie des sciences intrinsque
aux thories , une philosophie qui se fonde sur le gnie, la richesse
et la nouveaut de dcouvertes fondamentales qui sont aux sciences
l'quivalent de ce que les uvres d'un Gthe ou d'un Shakespeare
sont la littrature. C'est ce qu'avait compris Lautman, et il
avait pris bras le corps la mathmatique de son temps pour en
faire un objet d'tude philosophique. Malheureusement, j'ai
l'impression qu'il n'a gure t suivi (7).
Mais, mathmaticien, Lautman est aussi rellement philosophe.
Contrairement la quasi-totalit des scientifiques (et galement,
hlas, la plupart des philosophes contemporains), il n'ignore ou ne
ddaigne ni le platonisme, ni le mtaphysique, ni le transcendantal. Il ne cherche pas, comme tant d'autres, disqualifier la
pense pure de l'tre, mais, au contraire, en raliser un nouveau
moment dialectique travers l'histoire des mathmatiques pures.
Comme il le confiait dans une lettre indite du 18 juillet 1938
Henri Gouhier (spcialiste l'poque de Descartes, Malebranche
et Comte) (8), son effort aura consist appuyer la mta
physique
non pas sur le pathtique mais sur la mathmatique .

2. Elments de philosophie lautmanienne


a) Positionnement des ides directrices
L'ide centrale d'Albert Lautman est qu'une intuition intellec
tuelleest l'uvre dans les mathmatiques, et que, dans le dve
loppement
historique de leurs thories, celles-ci ralisent une
authentique dialectique du concept (en un sens platonicien ,
mais galement quasi hglien) dveloppant leur unit, dvoilant
leur rel et dterminant leur valeur philosophique. C'est en vertu
de cette dialectique abstraite et suprieure (p. 204) que, pour
Lautman, le rapprochement de la mtaphysique et des math
matiques
n'est pas contingent mais ncessaire (9).

(7) Ibid., 186.


(8) Je remercie Juan-David Nasio de m'avoir communiqu ce document.
(9) Loi [1977], 9.

La philosophie mathmatique d'Albert Lauiman

83

A la suite de Dedekind, Cantor et Hilbert, Lautman accorde


donc une porte ontologique la libert crative en mathmatiques.
Ainsi que le note Maurice Loi, une des caractristiques des math
matiques
modernes est que les entits mathmatiques sont
introduites par de vritables dfinitions cratrices qui ne sont
plus la description d'une donne empirique (10).
En librant ainsi les mathmatiques de la tche de dcrire un domaine
intuitif et donn, on fit une vritable rvolution, dont les consquences
scientifiques et philosophiques ne sont pas toujours apprcies leur
juste valeur (11). Car, ajoute Maurice Loi, une telle conception de la
science mathmatique (...) pose en termes nouveaux le problme de ses
rapports avec le rel, de l'objectivit et de la subjectivit. Les empiristes
modernes opposent volontiers la science au subjectivisme et au volon
tarisme.
Or l'objectivit n'est jamais une donne mais une qute dont les
pointes extrmes sont l'axiomatique et la mathmatique formelle (12).
Lautman a prophtiquement compris que la conception struc
turale (hilbertienne) des mathmatiques, loin de conduire un
nominalisme et un relativisme conventionalistes, conduit au
contraire une nouvelle forme, sophistique (en fait transcendantale), de ralisme. Mais en mettant ainsi l'accent sur l'autonomie,
l'unit, la valeur philosophique, le rel idal, le rapport la
ralit empirique, et la porte ontologique des mathmatiques, il
s'est cart des tendances dominantes de l'pistmologie de son
temps.
Formaliste et structurale au sens hilbertien, sa conception
s'oppose en particulier aux interprtations nominalistes, relativistes et sceptiques du conventionalisme. Ce point est particulir
ement
dlicat. Sur le plan de l'histoire culturelle des ides, il est
vrai que Lautman est, avec Gavaills, un des introducteurs mili
tants
de l'axiomatique allemande dans un contexte franais
domin par les intuitionnismes et les instrumentalismes de
Poincar, de Borel, de Baire et de Lebesgue. Tout en demeurant
fidle certains aspects de l'idalisme de son matre Brunschvicg,
il a jou un rle dterminant dans la formation de ce qui est devenu
l'esprit bourbakiste. Mais, sur le plan philosophique, la question
du conventionalisme dpasse de trs loin ces diffrences de ten
dances
et ces conflits d'coles . D'autant plus que, tranger
(10) Ibid.
(11) Ibid.
(12) Ibid.

84

Jean Petitot

malgr ce qu'on a pu en dire tout scepticisme et tout relat


ivisme, le conventionalisme de Poincar traite des rapports entre
les mathmatiques et les a priori idtico-constitutifs de l'ontologie
rgionale physique et peut donc tre interprt en termes kantiens.
Il sufft pour cela de repartir du concept d'Esthtique transcen
dantale. On sait qu'il fait l'objet d'une double exposition, l'expo
sition mtaphysique exposant l'espace et le temps comme formes
de l'intuition sensible et l'exposition transcendantale les exposant
dans leur rapport aux mathmatiques. C'est travers cette der
nire
que les formes de l'intuition, auxquelles les phnomnes sont
videmment ncessairement a priori conformes, en deviennent
des mthodes de dtermination mathmatique. Pour bien marquer
la diffrence, Kant introduit le concept d'intuition formelle,
c'est--dire d'intuition pure dtermine comme objet. L'espace
de la gomtrie est plus qu'un continuum phnomnologique, plus
qu'une forme de l'intuition. Comme intuition formelle conceptuellement dtermine, c'est galement une forme de l'entendement.
Mais Kant croyait qu'il n'existait qu'une seule dtermination
gomtrique de l'espace phnomnologique (unicit de la gomtrie
euclidienne). Le dveloppement des geometries non euclidiennes
lui a donn tort et a conduit nombre de philosophes ultrieurs
justifier partir de l la liquidation du synthtique a priori dans
les sciences. Le conventionalisme propose une alternative cette
trop radicale conclusion antithorique (13). Car le problme est
en fait celui de la sous-dtermination entre forme de l'intuition
et intuition formelle. Pour devenir gomtrique, l'a priori de
l'espace sensible (l'espace reprsentatif) doit tre idalis. Or, bien
qu'empiriquement contraint, ce procs d'idalisation est empiri
quement
(et exprimentalement) indcidable. Il relve d'une
facult formelle et a priori d'abstraction intellectuelle qui est
autonome relativement l'exprience sensible. Etant donn la
sous-dtermination et de l'autre ct l'autonomie, il faut donc
bien disposer d'un critre de choix pour effectuer la dtermination,
par exemple celui, pragmatique, de la commodit . Si donc
l'espace intuitif comme continuum phnomnologique (comme
forme amorphe disait Poincar) prexiste bien l'exprience
et est une condition de possibilit de son organisation, il n'en va
(13) Pour une brve prsentation du conventionalisme, cf. par exemple Fvrier
[1981].

La philosophie mathmatique d'Albert Lauiman

85

pas de mme de l'espace gomtrique. Sa gomtrie est convent


ionnelle,
ni empirique ni a priori ncessaire. Mais cela ne l'empche
pas d'tre empiriquement conditionne et thoriquement consti
tutive, a priori objectivement dterminante pour la physique.
Rationaliste, la conception lautmanienne s'oppose galement,
et surtout, au logicisme du Cercle de Vienne qui reprsente pour
elle une dmission que la philosophie des sciences ne doit pas
accepter (p. 285). En rtablissant le face--face dogmatique
(i.e. prcritique) entre la connaissance rationnelle et l'exprience
intuitive, entre l'Erkennen et l'Erleben (ibid.), le logicisme
supprime les liaisons entre la pense et le rel (ibid.). Son nominalisme antithorique lui interdit toute elucidation philosophique
du fait gnosologique de l'intelligibilit mathmatique de l'univers.
Dans tous ses crits, Lautman est revenu de faon rcurrente sur
l'indigence philosophique et la mconnaissance du rel mathmat
ique
propres l'empirisme et au positivisme logiques qui sparent
comme la hache les mathmatiques et la ralit (p. 145).
b) Le structuralisme, le rel, la dialectique
Conception structurale des mathmatiques, la conception de
Lautman se rclame donc de l'axiomatique hilbertienne, axiomatique non constructiviste qui
substitue la mthode des dfinitions gntiques celle des dfinitions
axiomatiques, et loin de vouloir reconstruire l'ensemble des mathmat
iques
partir de la logique, introduit au contraire, en passant de la
logique l'arithmtique et de l'arithmtique l'analyse, de nouvelles
variables et de nouveaux axiomes qui largissent chaque fois le domaine
des consquences (p. 26).
Ne du sentiment que dans le dveloppement des mathmat
iques
s'affirme une ralit que la philosophie mathmatique a
pour fonction de reconnatre et de dcrire (p. 23), reprenant
Brunschvicg l'ide que l'objectivit des mathmatiques [est]
l'uvre de l'intelligence, dans son effort pour triompher des rsi
stances
que lui oppose la matire sur laquelle elle travaille (p. 25),
et posant qu' entre la psychologie du mathmaticien et la dduc
tionlogique, il doit y avoir place pour une caractrisation intrin
sque du rel (p. 26, nous soulignons), elle est mme, plus prcis
ment, la fois axiomatique-structurale et dynamique. Cette synthse
d'un rel qui participe la fois du mouvement de l'intelligence

86

Jean Petitoi

et de la rigueur logique, sans se confondre ni avec l'un ni avec


l'autre (p. 26) est le but vis par Lautman. Elle ne va videmment
pas de soi car
la conception structurale et la conception dynamique des mathmatiques
semblent de prime abord s'opposer : l'une tend en effet considrer une
thorie mathmatique comme un tout achev, indpendant du temps,
l'autre au contraire ne la spare pas des tapes temporelles de son la
boration
; pour la premire, les thories sont comme des tres qualitativ
ement
distincts les uns des autres, tandis que la seconde voit en chacune
une puissance infinie d'expansion hors de ses limites et de liaison avec
les autres, par quoi s'affirme l'unit de l'intelligence (p. 27).
C'est en tant que structurales, c'est dans le mouvement auto
nome et historique d'laboration de leurs thories, que les math
matiques
ralisent des ides dialectiques et, travers elles, parais
sent
raconter, mle aux constructions auxquelles s'intresse le mathmati
cien,
une autre histoire plus cache, et faite pour le philosophe (p. 28).
Des rsultats partiels, des rapprochements arrts mi-chemin, des
essais qui ressemblent encore des ttonnements s'organisent sous
l'unit d'un mme thme, et laissent apercevoir dans leur mouvement
une liaison qui se dessine entre certaines ides abstraites, que nous pro
posons
d'appeler dialectiques (ibid.). Nous n'entendons pas par Ides
des modles dont les tres mathmatiques ne seraient que des copies,
mais au vritable sens platonicien du terme, des schmas de structure
selon lesquels s'organisent les thories effectives (p. 204).
Ces schmas de structure tablissent, comme dans toute dialec
tique, des liaisons spcifiques entre notions contraires : local/global,
intrinsque/extrinsque, essence/existence, continu/discontinu, fini/
infini, algbre/analyse, etc. Ils constituent avec les faits, les tres
et les thories mathmatiques, une quatrime couche du rel
mathmatique.
On peut dfinir la nature de la ralit mathmatique de quatre
points de vue diffrents : le rel, ce sont tantt les faits mathmatiques,
tantt les tres mathmatiques, tantt les thories et tantt les Ides qui
dominent ces thories. Loin de s'opposer, ces quatre conceptions s'intgrent
naturellement les unes dans les autres : les faits consistent dans la dcou
verte d'tres nouveaux, ces tres s'organisent en thories et le mouvement
de ces thories incarne le schma des liaisons de certaines Ides (p. 135).
Ceci dit, le point clef de l'idalisme lautmanien est que, si une
Dialectique du Concept domine bien les mathmatiques (et, par
l mme, les rend intrinsquement solidaires de l'histoire de la

La philosophie mathmatique d'Albert Lautman

87

culture), elle n'existe pourtant que mathmatiquement ralise et


hisioricise, autrement dit, que la comprhension des Ides de
cette Dialectique se prolonge ncessairement en gense de thories
mathmatiques effectives (p. 203, nous soulignons). Lautman
insiste beaucoup sur ce point qui, seul, peut faire chapper sa
conception un idalisme subjectif naf.
Cherchant dterminer la nature de la ralit mathmatique, nous
avons montr (...) que l'on pouvait interprter les thories mathmatiques
comme une matire de choix destine donner un corps une dialectique
idale. Cette dialectique semble constitue principalement par des couples
de contraires et les Ides de cette dialectique se prsentent dans chaque
cas comme le problme des liaisons tablir entre notions opposes.
La dtermination de ces liaisons ne se fait qu'au sein des domaines o la
dialectique s'incarne (p. 253, nous soulignons).
On pourrait dire que, en quelque sorte, la dialectique du concept
et les mathmatiques qui lui donnent corps entretiennent selon
Lautman un rapport d'exclusion interne . En vertu de l'union
intime et de l'indpendance complte les corrlant (et cela
sans paradoxe), les thories mathmatiques se dveloppent par
leur force propre, dans une troite solidarit rciproque et sans
rfrence aucune aux Ides que leur mouvement rapproche
(p. 134).
c) Comprhension et Gense
Comme l'a soulign Gilles Deleuze (14), cela conduit naturell
ement
une philosophie des problmes. Les Ides dialectiques sont
purement problmatiques (non dterminantes d'objet) et donc
comme telles essentiellement incompltes (dcompltes de ce qui
les mne l'existence). Elles ne constituent qu'une problmatique
relative des situations ventuelles de l'existant et manifestent
donc une insuffisance essentielle (p. 211). C'est pourquoi
o les schmas logiques (les ides travaillant les thories) ne sont pas ant
rieurs leur ralisation au sein d'une thorie ; il manque en effet, ce que
nous appelons (...) l'intuition extra-mathmatique de l'urgence d'un
problme logique, une matire dominer pour que l'ide de relations
possibles donne naissance au schma de relations vritables (p. 142,
nous soulignons).
(14) Cf. Deleuze [1972], 209-212. Avec Ferdinand Gonseth et trs rcemment Jean
Largeault, Gilles Deleuze est un des (trop) rares philosophes avoir mesur l'impor
tancede Lautman.

88
C'est pourquoi
ique

Jean Petitot
aussi, chez Lautman, la philosophie mathmat

ne consiste pas tant retrouver un problme logique de la mtaphysique


classique au sein d'une thorie mathmatique, qu' apprhender global
ement
la structure de cette thorie pour dgager le problme logique qui se
trouve la fois dfini et rsolu par l'existence mme de celte thorie (p. 142143, nous soulignons).
La consquence fondamentale en est que la constitution de
nouveaux schmas logiques et le dvoilement des Ides dpendent
du progrs des mathmatiques elles-mmes (p. 142, nous soulignons).
La relation entre les Ides problmatiques incompltes et leurs
ralisations spcifiques est identifie par Lautman un passage
de l'essence l'existence. Tirant les consquences extrmes de
/' idalit des entits mathmatiques, et de la nature de la pense
comme pense de l'tre, Lautman fait de la comprhension des
Ides, la source de la gense des thories relles. En s'incarnant
dans les thories effectives, les Ides s'y ralisent comme fondement,
et donc dialectiquement comme cause d'existence.
La pense s'engage ncessairement dans l'laboration d'une thorie
mathmatique ds qu'elle veut rsoudre (...) un problme susceptible
d'tre pos de faon purement dialectique, mais il n'est pas ncessaire
que les exemples soient pris tel ou tel domaine, et en ce sens, les diverses
thories en lesquelles une mme Ide s'incarne, trouvent pareillement en
elle la raison de leur structure et la cause de leur existence, leur principe
et leur origine (p. 226).
Il est essentiel de noter ici la rfrence, explicite, de Lautman
Heidegger. Le passage de l'essence l'existence, le prolongement
d'une analyse de l'essence en gense des notions relatives l'exi
stant (p. 206) et donc la transformation de la comprhension
d'un sens en gense d'objets reprend la diffrence ontologique
heideggerienne entre tre et tant. Lautman y insiste beaucoup,
en particulier dans les Nouvelles recherches.
Gomme dans la philosophie de Heidegger, on peut voir dans la philo
sophie des mathmatiques, telle que nous la concevons, l'activit ration
nellede fondement se transformer en gense des notions relatives au
rel (p. 226).
On rejoint ainsi la problmatique transcendantale de l'ontologie
comme constitution d'objectivits. Pour Lautman, et cela pose
de srieux problmes d'interprtation (nous y reviendrons), la

La philosophie mathmatique d'Albert Lautman

89

Dialectique des Ides est ontologiquement constituante. Autrement


dit, elle assume chez lui la fonction d'une Analytique catgoriale
historicise. On peut mettre en parallle les corrlations Idesthories et ontologique-ontique parce que
la constitution de l'tre de l'existant, sur le plan ontologique, est inspa
rablede la dtermination, sur le plan ontique, de l'existence en fait d'un
domaine o prennent vie et matire les objets d'une connaissance scienti
fique (p. 206).
Ainsi transcendantalement comprise, la transformation de la
comprhension en gense permet d'articuler entre elles la trans
cendance
des Ides et l'immanence des schmas de structure
associs.
II existe (...) un lien intime entre la transcendance des Ides et
l'immanence de la structure logique de la solution d'un problme dialec
tique au sein des mathmatiques ; ce lien, c'est la notion de gense qui
nous le donne (p. 212).
Plus prcisment, la gense est ici un rapport au fondement et
l'origine (comme dans toute dialectique) :
L'ordre impliqu par la notion de gense n'est pas (...) l'ordre de la
reconstruction logique des mathmatiques, au sens o des axiomes in
itiaux
d'une thorie dcoulent toutes les propositions de la thorie, car la
dialectique ne fait pas partie des mathmatiques, et ses notions sont sans
rapport avec les notions primitives d'une thorie. (...) L'antriorit de la
Dialectique (est) celle du souci ou de la question par rapport la
rponse. Il s'agit l d'une antriorit ontologique pour reprendre
l'expression de Heidegger, exactement comparable celle de l'intention
par rapport au dessein (p. 210).
On peut se demander si, pour Lautman, il n'y a pas ici crois
ement entre une dialectique historique et une phnomnologie
de la corrlation. Tout se passe comme si dans leur urgence les
problmes formuls par les Ides admettaient pour corrlat inten
tionnel
les thories dans lesquelles ils se concrtisent et s'historialisent. Les Ides refltent une (prise de) conscience :
Le philosophe n'a ni dgager des lois, ni prvoir une volution
future ; son rle consiste uniquement prendre conscience du drame
logique qui se joue au sein des thories. Le seul lment a priori que nous
concevions est donn dans l'exprience de cette urgence des problmes,
antrieure la dcouverte de leurs solutions (p. 142).

90

Jean Petitot

C'est ce contenu intentionnel des Ides qui les rend la fois


transcendantes et immanentes au champ mathmatique.
En tant que problmes poss, relatifs aux liaisons que sont
susceptibles de soutenir entre elles certaines notions dialectiques, les
Ides de cette Dialectique sont certainement transcendantes (au sens
habituel) par rapport aux mathmatiques. Par contre, comme tout
effort pour apporter une rponse au problme de ces liaisons est, par la
nature mme des choses, constitution de thories mathmatiques effectives,
il est justifi d'interprter la structure d'ensemble de ces thories en
termes d'immanence pour le schma logique de la solution cherche
(p. 212).
d) Mlamalhmalique, platonisme, diffrence ontologique,
imitation et expression
En tant que corrlation entre le mouvement propre des
thories mathmatiques et les liaisons d'ides qui s'incarnent
dans ce mouvement , en tant que ralit gntique dfinie de
faon transcendantale comme la venue des notions relatives au
concret au sein d'une analyse de l'ide (p. 205), la ralit inh
rente aux mathmatiques (p. 140) se trouve pense par Lautman
partir de traditions philosophiques majeures qu'il fait interfrer
de faon originale.
i / La tradition platonicienne de la participation du sensible
(ici les idalits mathmatiques) 1' intelligible (ici les Ides).
Lautman la suit jusqu' la mtaphysique leibnizienne.
ii / La tradition kantienne de la constitution. La situation est
ici assez complexe dans la mesure o le rapport entre sensible
et intelligible y devient celui entre Esthtique transcendantale
et Analytique et o les mathmatiques y jouent un rle constitutif
et non pas dialectique. Or, chez Lautman, comme nous venons de
le voir, travers l'histoire effective des mathmatiques, une Dial
ectique
du Concept devient transcendantalement constituante. Un
tel geste thorique entrane de graves difficults d'valuation.
Car, bien que platonicienne, la dialectique lautmanienne n'est
videmment pas sans rapport avec la dialectique transcendantale
(il suffit de penser au lien de l'opposition thmatique continu/
discret avec la seconde antinomie). La rendre transcendantalement
constituante c'est donc en quelque sorte historiciser Va priori et,
plus prcisment, dans la mesure o les mathmatiques exercent

La philosophie mathmatique d'Albert Lautman

91

une fonction schmatisante relativement aux catgories des diverses


ontologies rgionales, historiciser le schmatisme.
ni / D'o un rapport trs ambigu de Lautman Hegel. On
retrouve chez Lautman la conception spculative hglienne de la
contradiction comme vie du concept et mouvement de la raison.
Mais alors que Hegel affirme la contradiction dans le seul concept
indpendamment de tout rapport l'objectivit formelle kantienne
et, donc, une mathmatique et une physique, Lautman affirme
au contraire l'uvre du spculatif dans le rel physico-math
matique
lui-mme.
iv / Enfin, nous l'avons vu, il existe galement une compos
ante assez strictement phnomnologique dans la conception
lautmanienne du rel mathmatique. Comme Cavaills, Lautman
en est revenu la conception critico-phnomnologique de l'objec
tivit, c'est--dire la question de la logique transcendantale.
Mais il critique dans la phnomnologie une philosophie de la
conscience rgressant rflexivement vers une subjectivit cons
tituante.
Pour tenter de clarifier ces divers points, donnons quelques
prcisions sur trois motifs particulirement dlicats.
Le passage de la mtamalhmatique la mtaphysique. La
rfrence au structuralisme axiomatique de Hilbert est fondatrice
chez Lautman. Mais par un geste authentiquement spculatif,
Lautman va considrablement largir le champ et la porte de la
mtamathmatique.
La mtamathmatique examine les thories mathmatiques du
point de vue de concepts comme ceux de non-contradiction ou de
compltude, qui sont non dfinis ceci est capital (p. 206)
dans les formalismes auxquels ils s'appliquent. Or de tels concepts
sont plus nombreux qu'il ne parat. Il existe
d'autres notions logiques, susceptibles galement d'tre ventuellement
relies l'une l'autre au sein d'une thorie mathmatique et qui sont telles
que, contrairement aux cas prcdents (de non-contradiction et de complt
ude),les solutions mathmatiques des problmes qu'elles posent puissent
comporter une infinit de degrs (p. 28, nous soulignons).
Les Ides dialectiques repensent donc la mtamathmatique en
termes mtaphysiques et, ce faisant, largissent la rgulation mta
physique
la mathmatique.

92

Jean Petitot

La question du platonisme. Dans la conclusion de sa thse


principale, propos de l'ouvrage de P. Boutroux : L' idal scientifique
des mathmaticiens, Lautman aborde la question du platonisme,
c'est--dire de la ralit des idalits mathmatiques. Pour Bou
troux,
comme pour Brunschvicg et pour la grande majorit des
mathmaticiens, il existe un rel mathmatique objectif. Ce n'est
pas parce que ce rel n'est pas celui de la perception extrieure
ou du sens intime (p. 24) que les mathmatiques ne sont pour
autant qu'un langage symbolique vide de sens comme le nominalisme logiciste voudrait le faire croire. Il existe des faits math
matiques
(l'irrationalit de \/2> la transcendance de e et de tc, le
Jdx
,
n'est pas lmentairement
^y AT ydu j
intgrable si P(x) est un polynme de degr ^ 3, la vrit ou la faus
set de la conjecture de Riemann) qui apparaissent comme ind
pendants
de la construction scientifique (p. 136) et comme dots
d'une transcendance objective analogue celle des faits physiques.
C'est pourquoi, selon Boutroux, nous sommes forcs d'attribuer
une objectivit vritable aux notions mathmatiques (p. 136).
L'aporie du platonisme provient alors du conflit ralisme/nominalisme dans la conception de l'objectivit.
i / Si l'on conoit l'objectivit comme une extriorit purement
transcendante, on adoptera, avec Boutroux, une position raliste
rendant les faits mathmatiques intuitionables indpendamment
de tout langage permettant de les formuler : Le fait mathmatique
est indpendant du vtement logique ou algbrique sous lequel
nous cherchons le reprsenter (p. 139).
il / Si l'on conoit au contraire l'objectivit comme une pure
construction, on adoptera, avec les logicistes, une position nominaliste faisant du rel mathmatique un pur tre de langage.
Mais le rel mathmatique est videmment plus subtil que ne le
laisse penser une antinomie aussi nave.
i / D'abord l'objectivit qui n'est pas douteuse des ida
lits mathmatiques ne peut tre spare des langages formels
qui les expriment car il existe une dpendance essentielle entre les
proprits d'un tre mathmatique et l'axiomatique du domaine
auquel il appartient (p. 139).
ii / Ensuite, comme nous l'avons vu plus haut, les faits math
matiques
s'organisent en concepts, puis en thories et le mouve-

La philosophie mathmatique d'Albert Laulman

93

ment de ces thories incarne le schma des liaisons de certaines


Ides (p. 135). A ce titre, le rel mathmatique dpend non seul
ement de la base factuelle des faits mathmatiques mais galement
de l'intuition globale d'un tre suprasensible (p. 136).
Il faut ajouter cela un aspect plus technique du platonisme
concernant la possibilit de matriser la fois ontologiquement et
finitairement les entits mathmatiques :
Dans le dbat ouvert entre formalistes et intuitionnistes, depuis la
dcouverte du transfini, les mathmaticiens ont pris l'habitude de dsigner
sommairement sous le nom de platonisme toute philosophie pour laquelle
l'existence d'un tre mathmatique est tenue pour assure, alors mme
que cet tre ne pourrait tre construit en un nombre fini d'tapes
(p. 143).
Mais malgr les dlicats problmes constructivistes associs, il
ne s'agit l encore que d'une connaissance superficielle du
platonisme (ibid.).
En ce qui nous concerne, la rponse la plus adquate l'aporie
du platonisme nous parat tre le principe husserlien de corrlation
nose-nome permettant de fonder la transcendance des objets dans
l'immanence des actes. Selon ce principe, des rgles de synthses
notiques d'actes (que ce soit des rgles syntaxiques normant des
usages symboliques comme en thorie des langages formels ou des
rgles idtico-constitutives comme en phnomnologie transcendantale) peuvent admettre pour corrlats nomatiques des idalits
objectives qui rsistent et manifestent tous les caractres urdoxiques de ralit que manifestent les objets transcendants. En dehors
d'une pense de la corrlation, soit l'on fait des nomes des compos
antes relles (non intentionnelles) des actes et l'on aboutit alors
un idalisme subjectiviste, soit on les hypostasie en objets
transcendants subsistants et l'on aboutit alors un ralisme
objectiviste.
Dans Les Idalits mathmatiques, J. T. Desanti a bien montr
sur quelques exemples (construction du continu et thorie cantorienne des ensembles de points) comment dvelopper une analyse
des objets mathmatiques comme objets intentionnels. A la suite
de Husserl, de Cavaills et de Bachelard, il a montr comment
par abstraction l'on extrait hors des champs d'objets des schemes
normatifs communs et des noyaux opratoires correspondant
autant de concepts structuraux axiomatisables, et comment
par thmatisation l'on transforme des proprits en de nouveaux

94

Jean Petitot

objets. Les objets sont des corrlats d'actes et, par rflexion, les
actes sont instaurateurs de positions d'objets. Les objets ainsi
construits ne sont pas intuitionables en tant que tels. Ils n'ont pas
d'essence transparente . Ce sont des objets rationnels lgaliss,
axiomatiquement domins mais non donns intuitivement (cr
itique
des intuitions donatrices husserliennes) (15). Desanti insiste
sur ce point crucial en distinguant comme espces d'actes, des
actes de position de noyaux explicites et des actes de position
d'horizon . Dans les actes de position de noyaux explicites, il y a
saisie du noyau dans une conscience d'vidence apodictique et
directe, offrant le caractre rflexif immanent de sa propre vi
dence
. Il y a bien intuition mais celle-ci y est une modalit d'acte
admettant pour corrlat objectai un noyau explicite , un objet
nomatique et non pas un objet subsistant se donnant intuitiv
ement
en personne. L'objet y est un objet intentionnel seulement
partiellement remplissable intuitivement, un objet dont la trans
parence
est produite dans la modalit de l'acte de position .
L'vidence n'est donc pas ici un mode d'apprhension spcifique ,
mais une position c'est--dire le produit d'un procs de mene
l'vidence. Quand un acte de position (dfinitions, axiomes, etc.)
dlimite le pos une fois pour toutes , la conscience d'vidence
qui vit rflexivement au cur de l'acte n'est ici qu'un caractre
phnomnologique immanent spcifique du mode d'installation,
ce moment de la constitution de l'objet, de la conscience au sein
de son objet (16). Ainsi, par rflexion sur l'immanence des actes,
les idalits mathmatiques apparaissent comme des objets inten
tionnels,
c'est--dire comme des ples nomatiques, des ples
d'unit idale, des ples normatifs pour des enchanements rgls
d'actes. La ralit de leur existence se constitue dans l'unit
de trois moments (17) : le moment de l'objet hypothtique associ
des oprations et des procdures d'un certain type, le moment
de l'objet comme ple nomatique d'unit et le moment de l'objet
mathmatique lgalis et axiomatis. C'est le deuxime moment
qui est essentiel dans la mesure o il opre le passage du premier
au troisime. Or, en tant qu'intentionnel, il est extralogique et
extramaihmatique.
(15) Cf. Desanti [1968], 48-49.
(16) Ibid., 97.
(17) Ibid., 84.

La philosophie mathmatique d'Albert Lauiman

95

On peut donc dire que, en mathmatiques structurales, Vaxiomatique formalise Vinienlionalil. Ainsi que l'affirme magnifique
ment
Desanti, l'intentionalit y est le mode d'tre de la conscience
d'objet au cur de ses objets . Le noyau intentionnel de l'objet
est un mouvement de double mdiation li la bipolarit
de l'objet dans l'a priori de la corrlation. Il n'est ni pure position
d'idalit normative , ni simple conscience d'tre assigne
un devenir non dominable . II est position de la pure possibilit
des enchanements d'actes capables d'effectuer, dans un champ
d'intuition non encore domin, les vrifications exiges par la
position de l'idalit normative . L'expression de noyau inten
tionnel
dsigne ici ce moment o la conscience d'objet saisit
un objet comme l'unit essentielle d'une norme et d'un inachve
ment
, le moment synthtique o l'objet manifeste la relation
circulaire de son idalit et de son devenir , l'unit indchirable
d'une norme et d'un devenir (18).
Sur cette base, Desanti a labor une analyse intentionnelle
non seulement des objets mais galement des thories et de la
conscience d'axiome . Celle-ci est essentielle pour prciser les
solidarits profondes existant entre la phnomnologie husserlienne
et l'axiomatique hilbertienne et permet de notablement clarifier
et selon nous, mme de rsoudre l'aporie du platonisme.
On peut considrer Les Idalits mathmatiques comme un
complment indispensable l'uvre de Lautman dans la mesure
o c'est prcisment sur la question du mouvement propre des
thories que l'analyse phnomnologique intentionnelle rejoint
chez Lautman la dialectique platonicienne en une description
phnomnologique du souci d'un mode de liaison entre deux
ides (p. 142). Dans leur double statut de corrlats intentionnels
et d'horizons de devenir, les thories mathmatiques ne se dve
loppent
pas linairement comme une extension indfiniment
progressive et unifiante (p. 140). Elles font plutt figure d'units
organiques, et se prtent ces considrations mtamathmatiques
globales qu'annonce l'uvre de Hilbert (ibid.). A travers les
Ides associes, la vrit mathmatique (...) participe du caractre
temporel de l'esprit (ibid.), car les Ides ne sont pas les essences
immobiles et irrductibles d'un monde intelligible (p. 143). Leur
dialectique est, soulignons-le encore une fois, historique.
(18) Ibid., 92-93.

96

Jean Petitot

La diffrence ontologique. En ce qui concerne le rapport


entre comprhension et gense (cf. 2.c)) issu de la domination
des mathmatiques par une dialectique suprieure, Lautman se
situe explicitement dans une perspective transcendantale : cet
engagement de l'abstrait dans la gense du concret, c'est dans une
interprtation "transcendantale" de la relation de domination
qu'on peut le mieux en rendre compte (p. 205). Insistons pour la
suite de notre propos sur le parallle tabli par Lautman :
Etre
(Ontologie)

Ides
(Dialectique)

Existant
(Phnomne)

Mathmatiques
(Thories)

Les Ides dialectiques sont aux thories mathmatiques ce que


l'tre et le sens de l'tre sont l'tant et l'existence de l'tant
(diffrence ontologique). Le fait que la comprhension adquate
des Ides et de leurs liaisons internes soit cratrice de systmes
de notions plus concrtes o s'affirment ces liaisons rpond
l'affirmation heideggerienne que la production de notions relatives
l'existence concrte nat d'un effort de comprhension de concepts
plus abstraits . La venue des notions relatives au concret au sein
d'une analyse de l'Ide rpond au fait que la vrit de l'tre est
ontologique et que l'existant qui se manifeste ne se rvle que
conformment la comprhension de la structure de son tre.
Par ce biais de la rinterprtation heideggerienne du platonisme
et de la logique transcendantale, l'on retrouve l'historicit dans la
mesure o, pour Heidegger, l'tre s'identifie l'historialit de son
sens : l'analyse conceptuelle aboutit ncessairement projeter,
comme au-devant du concept, les notions concrtes en lesquelles il se
ralise ou s'historialise (p. 206).
Il y aurait beaucoup dire ici sur l'usage que fait Lautman de
Heidegger sur le fond d'une remarquable absence de rfrence
Hegel.
i / Certes, de mme que Heidegger conoit les systmes mta
physiques
comme autant de rponses la question du sens de l'tre,
rponses orientes toutefois vers l'tant et non vers la comprhen-

La philosophie mathmatique d'Albert Laulman

97

sion de l'tre qui y demeure impens (jeu de voilement-dvoilement


de l'aletheia), de mme Lautman conoit les thories mathmat
iques
comme autant de rponses des Ides, rponses orientes
toutefois vers les objets et les faits mathmatiques et non vers la
comprhension des Ides qui y demeurent impenses. Mais, ainsi
que nous l'a fait remarquer Barbara Cassin, la diffrence ontolo
giquene peut tre homologue chez Heidegger l'opposition entre
Essence et Existence. Car celle-ci (comme l'opposition entre trans
cendance
et immanence) est mtaphysique. Or la diffrence ontolo
gique heideggerienne entre tre et tant n'est homologable
aucune diffrence mtaphysique. On ne peut donc utiliser aucune
de celles-ci pour parler ni d'elle ni des rapports qu'elle entretient
avec l'histoire des systmes de rponses qu'elle engendre.
il / II y a l un problme de mtalangage qui a conduit, on
le sait, Heidegger (pour ne pas parler de Derrida) rompre avec le
style mtaphysique. Il n'y a pas de mtalangage apte parler
adquatement de la diffrence ontologique.
ni / Mais il faut remarquer que ce problme n'est pas pertinent
pour Lautman. En effet dans la mesure o il traite de thories
mathmatiques et non de systmes mtaphysiques, les langages
mtaphysiques peuvent constituer pour lui, et constituent effe
ctivement,
nous l'avons vu, un mtalangage adquat.
iv / Enfin, la rfrence heideggerienne accentue encore l'ambi
gutdes rapports de Lautman Platon, Hegel et Husserl dans la
mesure o Heidegger entretient lui-mme un rapport ambigu
avec ces moments dcisifs de la pense. Il faudrait en particulier
approfondir ici les analogies entre la dialectique hglienne et
l'historialit heideggerienne.
e) Le dbat LautmanjCavailles du 4 fvrier 1939
Ces quelques lments de philosophie lautmanienne prennent
un singulier relief lorsqu'on les observe l'uvre dans le dbat
d'une rare intensit qui a runi Lautman et Cavaills la Socit
franaise de Philosophie. Etaient prsents, entre autres, Henri
Cartan, Paul Levy, Maurice Frchet, Charles Ehresmann et Jean
Hyppolite. C'tait le 4 fvrier 1939. Six ans jour pour jour avant
Yalta...
Cavaills commence par rappeler la faon dont la mtamathRHS
4

98

Jean Petitot

matique hilbertienne a internalise le problme pistmologique


des fondements en le transformant en un problme purement
mathmatique. Il soutient alors quatre thses (19).
i / II existe une solidarit une unit des mathmatiques
qui empche de rgresser jusqu' un commencement qui serait
absolu (critique la fois du logicisme et d'une phnomnologie
de l'origine dveloppe dans le cadre d'une philosophie de la
conscience).
il / Les mathmatiques se dveloppent suivant un devenir
singulier, autonome et originairement imprvisible, donc authentiquement dialectique.
in / La rsolution d'un problme est l'analogue d'une exp
rience s'efectuant, comme un programme, par la sanction d'actes
rgls. L'activit mathmatique est une activit exprimentale,
autrement dit un systme d'actes lgaliss par des rgles et soumis
des conditions qui en sont indpendantes.
iv / L'existence des objets est, en mathmatiques, corrlative
de l'actualisation d'une mthode. Elle est non catgorique (20)
et procde de la ralit mme de l'acte de connaissance. Comme
corrlats d'actes, les objets projettent dans la reprsentation les
tapes d'un dveloppement dialectique. Leur vidence est condi
tionne
par la mthode elle-mme.
A ces thses qu'il partage en grande partie, Lautman rpond
en mettant l'accent sur la question du Sens. La manifestation d'un
existant en acte ne prend tout son sens que comme rponse un
problme pralable concernant la possibilit de cet existant et
c'est pourquoi l'tablissement de relations mathmatiques effec
tives apparat comme rationnellement postrieur au problme de la
possibilit de telles liaisons en gnral. Lautman rsume alors la
faon dont la Dialectique idale offrant le spectacle de la gense
du Rel partir de l'Ide organise l'histoire concrte des math
matiques
sous l'unit de thmes . C'est bien sur la question du
Sens autrement dit, de la participation l'intelligible que se
(19) L'on y reconnatra celles rappeles plus haut p. 92.
(20) Cavaills tire ici des consquences philosophiques des rsultats de non catgoricit en thorie logique des modles (paradoxe de Skolem, divergence syntaxe/
smantique, existence de modles non standard). Pour une introduction lmentaire
ces questions, on pourra consulter Petitot [1979].

La philosophie mathmatique d'Albert Laulman

99

fait jour son dsaccord avec Cavaills. Pour Cavaills, il n'existe


pas de caractres gnraux constitutifs de la ralit mathmat
ique
(21). Pour Lautman au contraire :
L'objectivit des tres mathmatiques ne rvle son sens vritable que
dans une thorie de la participation des Mathmatiques une ralit
plus haute et plus cache, qui constitue (...) un vritable monde des
Ides.
Les mathmatiques sont des mixtes o s'opre dialectiquement un passage de l'essence l'existence. Lautman le rpte :
On passe insensiblement de la comprhension d'un problme dialec
tique la gense d'un univers de notions mathmatiques et c'est la
reconnaissance de ce moment o l'Ide donne naissance au rel, que doit,
mon sens, viser la Philosophie mathmatique.
Ici, la Dialectique se convertit naturellement en programme de
recherche, programme ambitieux que Lautman formule avec une
sobrit et une simplicit remarquables en l'inscrivant dans la
tradition platonicienne, critique et phnomnologique de l'ida
lisme. On voit ainsi quelle doit tre la tche de la Philoso
phie
mathmatique et mme de la Philosophie des Sciences en
gnral.
II y a difier la thorie des Ides, et ceci exige trois sortes
de recherches.
i / Celles qui assortissent ce que Husserl appelle l'idtique descriptive, c'est--dire ici, la description de ces structures
idales, incarnes dans les Mathmatiques et dont la richesse est
inpuisable.
il / La seconde des tches assignables la Philosophie math
matique
[est] d'tablir une hirarchie des Ides et une thorie
de la gense des Ides les unes partir des autres, comme l'avait
envisag Platon.
m / II reste enfin, et c'est la troisime des tches annonces,
refaire le Time, c'est--dire montrer, au sein des Ides ellesmmes, les raisons de leurs applications l'univers sensible.
Lors du dbat, les opinions ont t largement dfavorables

(21) Nous avons vu que, dans Sur la logique et la thorie de la science, Cavaills
s'tait ouvert cette problmatique transcendantale.

100

Jean Petitoi

Lautman, les mathmaticiens s'avouant gns par la spculation


philosophique et ses subtilits incomprhensibles, et les philo
sophes reprochant une certaine imprcision dans l'usage du terme
de dialectique (22). Il y avait clairement consensus pour admettre
que la philosophie devait, dans sa confrontation avec les math
matiques,
se soumettre ou se dmettre. Hyppolite qui tait cens
reprsenter la philosophie, alla mme jusqu' affirmer : Quant la
thse de M. Lautman, on pourrait craindre en l'adoptant; de voir
les notions mathmatiques s'vaporer, d'une certaine faon, dans
de purs problmes thoriques qui les dpassent.
Dans leurs rponses (en particulier Frchet qui avait soutenu
des thses ralistes naves ), Cavaills et Lautman se situent tous
deux dans une perspective transcendantale. D'abord Cavaills :
Je cherche, au moyen des Mathmatiques, savoir ce que cela
veut dire que connatre, penser ; c'est au fond, trs modestement
repris, le problme que se posait Kant. La connaissance math
matique
est centrale pour savoir ce qu'est la connaissance.
Lautman ensuite : La gense dont j'ai parl est transcendantale
et non empirique, pour reprendre le vocabulaire de Kant. Dire
(comme l'avait affirm Frchet) que c'est le Rel (physique) qui
engendre l'Ide (mathmatique) et non l'inverse, c'est penser l'Ide
par abstraction et, donc, la confondre avec un concept empirique.
Or, comme conception des problmes de structure , les Ides
sont des concepts transcendantaux autonomes par rapport
l'laboration contingente des solutions mathmatiques parti
culires
(23).
Enfin, dans une rponse finale Cavaills, Lautman revient
encore une fois sur la question du Sens, sur le spectacle admirable
d'une ralit idale transcendant les mathmatiques et, surtout,
(22) Effectivement, comme nous l'a galement fait remarquer Barbara Cassin,
la dialectique que Platon a dveloppe dans la Rpublique, concernait la contemplat
ion
des Ides et, ce titre, ne possdait pas ce caractre controversial et antinomique
qu'elle possde dans la tradition mtaphysique d'Aristote Kant. Autant Lautman
est authentiquement platonicien dans sa conception de la participation du sensible
l'intelligible, autant il semble devenir subrepticement kantien et/ou hglien dans sa
conception de la Dialectique comme Antithtique.
(23) Quant nous, la critique que nous ferons Lautman est de ne pas bien dis
tinguer
les concepts transcendantaux en catgories dterminantes et en Ides rationnelles.
Dans la justification : M. Hyppolite me dit que poser un problme, c'est ne rien
concevoir ; je lui rponds, aprs Heidegger, que c'est dj dlimiter le champ de l'exis
tant, on voit s'amalgamer une Analytique catgoriale ( dlimiter le champ de l'exis
tant) avec une Antithtique rationnelle.

La philosophie mathmatique d'Albert Lautman

101

indpendante de l'activit de l'esprit (opposition entre une Dialec


tiquedu concept et une philosophie de la conscience).
Le point prcis de notre dsaccord porte, non pas sur la nature de
l'exprience mathmatique [tous deux sont des structuralistes hilbertiens]
mais sur son sens et sa porte. Je crois qu'il faut trouver dans l'exp
rience autre chose et plus que l'exprience. II faut saisir, au-del des
circonstances temporelles de la dcouverte, la ralit idale qui est seule
capable de donner son sens et sa valeur l'exprience mathmatique.
Au-del de son mouvante signification spirituelle, ce dbat
historique montre que le nud de la Dialectique consiste faire
quivaloir la problmatique de la constitution des ralits objectives
avec une hermneutique du devenir historique autonome des mathmat
iques.
Ce point ne peut tre clairci qu' travers une valuation
de la philosophie lautmanienne, cherchant pallier son tragique
arrt prmatur.

3. Dialectique mtamathmatique
et analyse thmatique
Gomment valuer la conception lautmanienne, tant sur le plan
de la philosophie mathmatique que sur celui de la philosophie
transcendantale (rapport entre mtaphysique, ralit et math
matiques
dans le cadre d'une doctrine constitutive des objecti
vits)?
Une des premires remarques que l'on pourrait faire serait de
noter que Lautman a dvelopp une analyse comprehensive
hermneutique des mathmatiques, que l'on pourrait qualif
ierde thmatique au sens de Holton.
A partir de l'tude historique de nombreux cas concrets, Grard
Holton a redcouvert empiriquement et inductivement l'existence
de prmisses et de prsupposs dialectiques sous-jacents aux repr
sentations
et aux pratiques scientifiques et agissant inconsciem
ment
dans la gense de l'uvre des savants. Il a qualifi de thmata
ces formations de sens en gnral occultes et a labor une version
psycho-historique et socioculturelle de la Dialectique transcen
dantale. Comme systme de conflits entre notions opposes
comme Ides problmatiques les thmata dveloppent une
antithtique de la raison objective. Ils sont non rfutables et

102

Jean Petitot

manifestent une certaine stabilit mme si, videmment, l'volution


des sciences conduit de considrables variations de leur dter
mination.
Selon Holton, l'analyse thmatique des conflits (voire des antino
mies)rationnels discret/continu, simplicit/complexit, analyse/synt
hse,
mcanisme/fnalisme, dterminisme/indterminisme, holisme/
rductionnisme, constance/volution/transition brusque, etc., relve
d'une investigation de l'imagination scientifique et peut permettre
de rendre compte, de par leur nature dialectique, des conflits
d'coles. Son orientation est donc psychologique (imagination),
sociologique (controverse) et historique (tude empirique de cas),
bref anthropo-smiotique plutt qu'pistmologique et gnosologique. Comme l'a not Angle Kremer Marietti (24), son point
de vue est celui d'une anthropologie de la science reposant
sur une pistmologie essentiellement gntique . Il vise l'acti
vit du savant comme une laboration de symbolisation, sur
la base d'un rel apprhend selon certaines formes acceptables
dans l'tat d'une socit et d'une histoire . En ce sens, il est
assez proche d'une analyse hermneutico - communicationnelle
(habermassienne) des croyances rprimes par la formation de
consensus.
On pourrait alors dire que, dans un contexte o triomphait le
dogmatisme positiviste, Lautman a jet les bases d'une analyse
thmatique des mathmatiques pures. Cela est dj en soi d'une
grande importance :
i / Pour l'histoire des ides ;
il / Pour l'tude de l'imagination mathmatique dans ses rap
ports
aux diverses formations symboliques socioculturelles (dpas
sement de l'opposition traditionnelle entre les points de vue re
spectivement
internaliste et externaliste) ;
ni / Pour le dgagement des solidarits que la crativit
mathmatique entretient avec le mouvement de la pense.
Mais cela demeure trs largement insuffisant. En effet, contrai
rement celui de Holton, le projet de Lautman n'est pas anthro
pologique
et historiciste mais mtaphysique et rationaliste. Il
n'est pas orient vers l'activit du sujet pistmique mais vers la
ralit de l'objet thorique. Il possde, nous l'avons vu, une porte
(24) Article Holton du Dictionnaire des Philosophes.

La philosophie mathmatique d'Albert Lautman

103

ontologique et doit tre valu en termes transcendantaux. Mais


parler en termes de Logique transcendantale (d'une logique de
l'objectivit de l'objet de connaissance) d'une Dialectique du
concept immanente au dveloppement des thories objectives,
c'est admettre un fond aportique du rel. C'est admettre ce que
Ren Thom, prcisment propos de l'analyse thmatique de
Holton, a appel des apories fondatrices constitutives du
rel.
Dans son article Thmes de Holton et apories fondatrices (25),
Ren Thom a indiqu comment les ihemata pouvaient tre recons
truits en combinant les dyades unit/diversit et tendue/qualit
l'action du temps dans le divers empirique. C'est principalement
la tension irrductible entre les principes mtaphysiques anta
gonistes
d'unification et de diversification qui se trouve l'origine
d'apories irrductibles (comme le discret et le continu, l'espace et
la matire, etc.) dont certaines thories spcifiques et effectives
peuvent tre considres comme autant de solutions partielles,
toujours locales et toujours provisoires. Nous retrouvons bien l,
implicitement, le concept lautmanien d'Ides dialectiques pro
blmatiques.
Mais la difficult principale demeure, celle du croisement entre
objectivit et sens, c'est--dire entre une pense transcendantale
de la constitution d'objets et une pense hermneutique du devenir
historique des thories. C'est ce dernier point que nous voudrions
maintenant prciser.

4. Mathmatiques et ralit :
le schmatisme transcendantal
comme symbolisation (26)
a) La question centrale
Nous considrons en fait qu'Albert Lautman a esquiss l'une
des rares conceptions philosophiques peut-tre la seule des
(25) Thom [1982],
(26) Des contraintes d'espace ne nous permettent pas de dvelopper en dtail ces
points techniques dlicats. Le lecteur intress pourra se rfrer Petitot [1983],
[1986 (a)], [1986 (b)], [1986 (c)] et [1986 (d)].

104

Jean Peiitol

rapports entre les mathmatiques et la ralit qui soit compatible


avec les deux caractristiques suivantes de notre modernit :
i / Ct mathmatiques, leur autonomisation et leur unification,
c'est--dire non seulement leur arrachement au monde sensible des
donnes antprdicatives (dont on a considr pendant longtemps
qu'elles drivaient par idalisations et abstractions successives)
mais galement leur mancipation de l'exprience empirique
(cf. 2.6;).
ii / Ct ralit, la possibilit de gnraliser diverses onto
logies rgionales conformment au programme de la phnomn
ologieconstitutive, la doctrine critique de la constitution des
objectivits.
La question centrale est, rappelons-le, la suivante (cf. 2.c)
et 2.d)) : comment, dans leur tre et leur devenir autonomes, les
mathmatiques peuvent-elles continuer s'impliquer de faon
dterminante dans des champs d'objectivit transcendantalement
constitus ? Dans la conception transcendantale de l'objectivit,
une mtaphysique vient s'articuler sur une physique travers trois
instances :
i / Une Esthtique permettant de sparer rel empirique et
ralit en soi et, donc, une Analytique et une Dialectique ;
ii / Un Schmatisme permettant de convertir une Analytique
des concepts en une Analytique des principes ;
ni / Une mathmatique affine l'Esthtique et venant en
dterminer les formes de l'intuition en intuitions formelles.
Comment une telle conception peut-elle tre reprise, dveloppe,
diversifie, voire rectifie si, d'une part, les mathmatiques s'autonomisent et si, d'autre part, pour pouvoir gnraliser le geste
kantien, on se voit contraint comme Husserl subordonner les
diverses ontologies rgionales une ontologie formelle, c'est--dire
l'Esthtique une Analytique purement logique et donc, ainsi
qu'y a insist Cavaills, irrmdiablement insuffisante ? La
difficult est telle que, en fait, on a prfr liminer la ques
tion plutt que lui chercher une rponse. Sur ce point il y a eu
consensus entre l'empirisme logique et les divers scepticismes
postpositivistes.
Pourtant un premier lment de rponse se trouve chez Lautman, dans une des assertions concluant sa thse principale : Le

La philosophie mathmatique d'Albert Lautman

105

processus de liaison de la thorie et de l'exprience symbolise la


liaison des Ides et des thories mathmatiques (p. 146, nous sou
lignons).
b) Symbolisation et constitution :
vers une hermneutique de l'objectivit
Selon nous, l'aphorisme de Lautman reprsente l'une des penses
les plus fulgurantes de la philosophie des sciences modernes. Il
tablit un parallle, une proportion, une analogie, propos de la
diffrence ontologique. Ce que nous en avons dj expos en2.c)
et 2.d) prend ici tout son sens.
Etre
Ontologie

Existant
Phnomnes
Mathmatisation du rel

Thories objectives

une ontologie rgionale

Exprience

1 Symbolisation 1
l
Ides
dialectiques

Ralisation

mathmatiques
Thories

Remarquons alors que pour Lautman, comme pour tout ratio


naliste,
les concepts scientifiques ne sont authentiquement tho
riques
que s'ils sont dots d'une signification mathmatique. En
sciences, user de concepts thoriques pour parler de certains types
d'objets, de proprits ou de situations, c'est avoir fait choix d'un
univers du discours mathmatique : parler de phnomnes simul
tans, c'est par exemple parler le langage de la relativit restreinte ;
parler de grandeurs co-mesurables, c'est parler le langage des
oprateurs commutants ; parler d'invariance d'une grandeur, c'est
parler le langage de la thorie des groupes, etc. En consquence,
dans l'analogie transcendantale propose par Lautman, les math
matiques
interviennent en position de terme moyen et relient la
Dialectique l'exprience phnomnale.
Prcisons. Le rapport entre thories mathmatiques et thories

Jean Peliiol

106

objectives s'effectue par la conversion du smantisme des concepts


fondamentaux en constructions mathmatiques explicites. Nous
avons montr ailleurs pourquoi et comment une telle conversion
pouvait s'interprter comme une schmatisation (au sens kantien
de construction d'un concept dans une intuition pure mathmat
iquement dtermine). La schmatisation des concepts est la
clef des thorisations authentiques. Toute science conceptuelledescriptive doit en effet, un certain moment, pouvoir redployer
en une diversit construite de modles le mouvement de subsomption de la diversit empirique (donne) sous l'unit des
concepts. Pour cela le smantisme des concepts fondamentaux doit
pouvoir devenir la source de modles. Il y faut une gnrativit,
donc une mathmatisation. Ce qu'assure la schmatisation. Avec
elle, les modles des phnomnes d'une certaine rgion deviennent
conformes aux choses mmes , c'est--dire conformes une
essence objective catgorialement dtermine.

Comprhension
et analyse thmatique
A travers l'analogie transcendantale qu'est la symbolisation ,
la Dialectique se convertit donc en une hermneutique, non
seulement des mathmatiques, mais, plus profondment encore,
de V objectivit. C'est ainsi que Lautman rsout le problme central
de V unit du sens et de Vtre dans une doctrine transcendantale
o l'tre s'identifie la constitution de l'objectivit. Par leur
double fonction qui est :
i / De transformer le contenu smantique des concepts tho
riques en source de modles pour les phnomnes (schmatisation) ;
ii / De raliser une Dialectique du Concept.
i / et ii / tant relis par une symbolisation, les mathmatiques
engendrent dans leur devenir thorique autonome des
Esthtiques et des Schmatismes pour une indefinite ouverte

La philosophie mathmatique d'Albert Lauiman

107

d'ontologies rgionales. Elles transforment progressivement une


Dialectique idale en une histoire concrte et plurielle d'Analy
tiques
transcendantales. Dans leur rapport la ralit, elles historicisent l'opration kantienne en une Critique gnralise qui repr
sente une version dynamique de la phnomnologie constitutive.

Analytique

Mtaphysique
Dtermination-Ralisation

Dialectique

Comprhension-Hermneutique
Analyse thmatique la Holton
En rduisant les mathmatiques n'tre que la syntaxe des
langages dans lesquels s'expriment des noncs vrifiables expr
imentalement,
en assimilant la comprhension et l'intelligibilit
une croyance mystique , en liquidant le synthtique a priori,
l'empirisme logique et le no-positivisme rabattent ce schma
sur un simple dualisme syntaxe/smantique semblable celui que
l'on rencontre en thorie logique des modles.
Thories objectives

Exprience

Smantique

Symbolisation
Ides

Ralisation

Mathmatiques

Syntaxe
c) Un exemple
Pour prciser l'analogie transcendantale, reprenons quelques
lments du superbe texte de Lautman consacr la Symtrie
et dissymtrie en mathmatiques et en physique .

108

Jean Petitoi

Aprs avoir rappel le constat kantien (antileibnizien) ayant


conduit l'Esthtique transcendantale ( savoir que l'incongruence
des figures symtriques est intuitive, non conceptuelle) et aprs
avoir rappel l'importance des nantiomorphies en cristallographie,
en biologie (Pasteur) et en physique de la matire (Curie), Lautman
se propose de montrer dans le dtail comment c'est bien le dploi
ementmathmatique de concepts fondamentaux comme celui de
symtrie qui gouverne la physique thorique. Il exempli fie donc la
faon dont le rel mathmatique mtaphysiquement dfini, rejoint,
pour s'y impliquer normativement et constitutivement, la ralit
physique. Avec ce rle dterminant donn au concept nous sommes
vraiment trs loin de thses empiristes et positivistes selon le
squelles
les mathmatiques ne sont qu'une substruction formelle
sans porte ontologique et rduite n'tre (comme chez Carnap)
que la syntaxe logique d'explications rductionnistes. La rfrence
de base est encore le Time :
Les matriaux dont est form l'Univers ne sont pas tant les atomes
et les molcules de la thorie physique que ces grands couples de contraires
idaux comme le Mme et l'Autre, le Symtrique et le Dissymtrique,
associs entre eux selon les lois d'un harmonieux mlange (p. 241).
En analysant des exemples prcis comme l'action des symtries
de l'espace-temps sur les spineurs de Dirac en relativit restreinte,
la symtrie/antisymtrie des fonctions d'ondes en mcanique quantique (statistiques de Bose-Einstein et de Fermi-Dirac) ou l'usage
de la thorie abstraite de la dualit en logique quantique par
Birkhoff et von Neumann, Lautman insiste plusieurs reprises
sur le fait que la distinction de la gauche et de la droite dans le
monde sensible peut symboliser la non-commutativit de certaines
oprations abstraites de l'algbre (p. 244, nous soulignons) et
qu'une telle symbolisation est, sur le plan des principes et des
conditions de possibilit, beaucoup plus dterminante qu'une
relation prcise entre la description de faits objectifs et certaines
structures mathmatiques ad hoc. Si une physique mathmatique
est possible, si par exemple une gomtrie diffrentielle peut
devenir (comme en relativit gnrale) une cosmologie ou si une
thorie des oprateurs peut devenir (comme en mcanique quant
ique) une thorie des observables physiques, c'est parce que sur le
plan des concepts purs il y a analogie entre mathmatiques et
physique, leur accord tant la preuve de l'intelligibilit de l'uni-

La philosophie mathmatique d'Albert Laulman

109

vers (p. 284) et de la pntration du rel par l'intelligence


(ibid.).
A partir du moment o l'on pose une participation des thories
un monde intelligible transcendant, la participation commune de
deux thories une mme Ide manifeste ipso facto, travers
l'unit de celle-ci, une solidarit et un accord essentiels entre
celles-l, qu'il s'agisse de deux thories mathmatiques ou d'une
thorie mathmatique et d'une thorie physique.
Une commune participation une mme structure dialectique mett
rait ainsi en vidence une analogie entre la structure du monde sensible
et celles des mathmatiques et permettrait de mieux comprendre comment
ces deux ralits sont accordes l'une l'autre (p. 241).
D'o l'affirmation fondamentale que le thme symtrie /dis sy
mtrie
exemplifie la manifestation sensible d'une structure dia
lectique
qui est aussi bien gnratrice de ralits mathmatiques
abstraites que de conditions d'existence pour l'univers des phno
mnes (p. 254), ce lien entre spatialit et Ides tant peut-tre
le sens le plus actuel que puisse prendre de nos jours la notion de
l'tendue intelligible (ibid.).
Nous partageons pleinement ces thses ceci prs que, pour
nous, l'analogie est une schmatisation plutt qu'une symbolisation, ce point engageant toute la conception lautmanienne du
transcendantal et, donc, de l'objectivit. Comme nous l'avons
indiqu plus haut (4.b)), le schmatisme des catgories d'une
ontologie rgionale reste la clef de la comprhension des rapports
entre Mathmatiques et Ralit. Cavaills l'avait admirablement
compris, ainsi que Gonseth aprs lui (27). Mais, dans une doctrine
moderne de l'objectivit, il faut prolonger et rectifier Kant sur
plusieurs points (28).
i / D'abord il faut inverser le rapport de dpendance entre
exposition mtaphysique et exposition transcendantale dans
l'Esthtique transcendantale et faire des intuitions formelles des
dterminations mathmatiques volutives des formes de l'intuition.
il / En consquence, il faut, en ce qui concerne le schmatisme,
le faire dpendre non seulement, comme chez Kant, de l'exposition
mtaphysique, mais galement de l'exposition transcendantale, de
(27) Cf. Petitot [1986 (e)\.
(28) Cf. Petitot [1983] et [1986 (a)].

110

Jean Petitot

faon en faire l'origine de l'organon mathmatique dans les


sciences (cf. en 2. a) nos remarques sur l'interprtation kantienne
du conventionalisme de Poincar).
m / Ce faisant, le schmatisme devient, contrairement ce
qu'il est chez Kant, construction de concept.
iv / Mais cela ne signifie videmment pas pour autant que les
catgories ontologiques soient en tant que telles des concepts
mathmatiquement constructibles. Cela signifie qu'elles peuvent
tre analogiquement homologues des concepts qui, eux, le sont.
v / Ce schmatisme constructif se prolonge des catgories et des
principes mtaphysiques associs aux concepts drivs oprant
sur les contenus empiriques.
Le concept de symtrie en fournit un exemple prototypique.
Jouant un rle central dans l'Esthtique transcendantale, il est
un concept de nature catgoriale qui peut se trouver diversement
schmatis. Dans chaque cas, sa construction repose sur son inter
prtation
dans un certain univers mathmatique. Or une telle
interprtation n'est pas une symbolisation. Car dans la doctrine
kantienne, la symbolisation reprsente une forme dgrade de
schmatisme convenant aux Ides (qu'elles soient rationnelles ou
esthtiques), par principe non schmatisables.
Or Lautman traite prcisment le concept catgorial de symt
riecomme une Ide, peut-tre pas comme une Ide au sens
kantien strict, mais tout le moins comme un concept de la
rflexion. Au lieu d'en faire une maxime du jugement physique
(comme le principe de relativit ou le principe de moindre action),
il en fait un concept la fois constitutif et heuristique, comme si la
diffrence kantienne entre jugement dterminant et jugement
rflchissant et donc entre schmatisme et symbolisation
n'tait pas pour lui pertinente.
5. Conclusion
II y aurait videmment beaucoup ajouter sur l'importance que
pourrait revtir, pour notre actualit pistmologique, la pense
lautmanienne si on en valuait judicieusement la porte. Indiquons
brivement pour conclure quelques possibilits.
Ainsi que des pistmologues aussi minents que Gaston
Bachelard ou Ludovico Geymonat l'ont soulign, il est ncessaire,

La philosophie mathmatique d'Albert Lautman

111

pour penser correctement le mouvement des sciences objectives


modernes, d'articuler le rationalisme critique un historicisme
scientifique. Cette dialectique de la valeur historique et de la
valeur objective (29) peut toutefois concerner soit les dispositifs
techno-exprimentaux des sciences, soit leurs a priori eidticoconstitutifs. Dans le premier cas l'historicit sera celle, matrialiste,
des praxis techniciennes, dans le second cas elle sera celle, transcendantale, d'une dialectique idale. Dans ses analyses des sciences
contemporaines comme rationalisme appliqu et matrialisme
technique , Bachelard a opt pour la premire voie (30). Tout en
insistant sur la fonction constituante des mathmatiques dans les
ontogenses techno-rationnelles de la physique, tout en fondant
l'histoire des sciences sur une dialectique des obstacles pistmologiques et des actes pistmologiques (31), il a subordonn
celle-ci l'volution instrumentale des disciplines concernes. Le
propre de Lautman est d'avoir russi penser une autre dimension,
ontologique et proche de l'historialit heideggerienne, de l'histo
ricitde la reconstruction rationnelle du rel.
Une autre grande russite de Lautman est d'avoir unifi le
structuralisme axiomatique hilberto-bourbakiste avec un rationa
lisme
raliste proche sur bien des points de celui d'un Weyl, d'un
Planck, d'un Einstein ou d'un Heisenberg. Cela lui a permis de
dpasser l'opposition entre ce que Husserl appelait dans une lettre
Hermann Weyl la lgalit structurale de la nature et sa lga
lit spcifiquement causale (32).
Quoi qu'il en soit, l'explication structurale et l'explication cau
sale (par des entits non immdiatement donnes, invisibles) se
rejoignent dans le concept de Weltbild (d'image du monde),
nologisme de Planck dsignant le schma de structure qui est
la base d'une thorie (33) et concept fondamental de la philo
sophie d'Einstein :
L'homme essaye de se faire au mieux une image du monde, simple
et intelligible ; il essaye alors dans une certaine mesure de substituer ce
cosmos personnel au monde de l'exprience, de faon dpasser celui-ci.
C'est ce que font chacun leur faon, le peintre, le pote, le philosophe
(29) Geymonat [1985], 128.
(30) Cf. par exemple Bachelard [1951].
(31) Bachelard [1951], 36.
(32) Lettre du 9 avril 1922. Cf. Tonietti [1984].
(33) Wehrl [1956], 13. Cet ouvrage peu connu, prfac par Gonseth, est un bon
complment son uvre. Je remercie mon ami Guy Le Gaufey de me l'avoir signal.

112

Jean Petitol

spculatif et le savant de la nature. Chacun fait de ce cosmos et de cette


construction le pivot de sa vie motionnelle, afin de trouver ainsi la
paix et la scurit qu'il ne peut pas trouver dans le tourbillon troit de
l'exprience personnelle (34).
Comme abstrait du rel par schmatisation , un Welibild
ne doit pas tre confondu avec une axiomatisation directe des
data empiriques. C'est, en effet, une structure cache incluant un
contenu excdant sa base empirique et dont l'explicitation logique
constitue la dcouverte, qui en contrepartie doit tre soumise
au contrle de l'exprience (35). Comme schmatisme math
matique
que son interprtation dote d'une porte causale, c'est
un mixte participant au projet gnral de toute science objective
qui est de ramener l'irrationnel empirique matriel une rationalit
thorique formelle. Pour les positivistes, les empiristes logiques et
les conventionalistes, il ne s'agit l que d'un artefact sans aucune
porte ontologique : Conventionalisme de Poincar, Nominalisme
de Duhem, No-positivisme de Mach (...) ont en commun de dnier
au Weltbild physique tout rapport ontologique avec le rel (36).
Mais en fait, en rduisant la thorie n'tre qu'une systmatisation
intellectuellement conomique des faits, ces points de vue antithoriques restent dlibrment la surface des choses et ngligent
cette vrit que, ainsi que l'affirmait Einstein, la science est
l'essai de faire correspondre la diversit chaotique de notre exp
rience sensible un systme de pense logiquement uniforme (37).
Or dans leur volution historique, les Welibilder ralisent' une
dialectique . En tant que conformit schmatique au rel ,
un Welibild est toujours partiel et approximatif. Il est toujours
engag dans le processus dialectique permettant d'amliorer la
schmatisation du rel (38). Il constitue donc bien, tel que le
conoit Gonseth, l'approfondissement de la symbolisation
sur laquelle Lautman fondait sa conception des rapports entre
mathmatiques et ralit.
*
*
(34) Einstein [1918]. Confrence de 1918 en l'honneur de l'anniversaire de Planck.
Cit dans Stachel [1986].
(35) Ibid., 57.
(36) Ibid., 30. Il s'agit de l'interprtation standard mais errone du conventiona
lisme
(cf. 2. a)).
(37) Cf. Stachel [1986].
(38) Ibid., 47.

La philosophie mathmatique d'Albert Lautman

113

Aussi nigmatique soit-elle, l'intelligibilit de l'univers est un


fait. Ce dont il s'agit est d'en rendre compte. Selon nous, Lautman
tait fondamentalement dans le vrai quand il a adopt pour ce
faire un point de vue anti-empiriste et a renou avec la tradition
critico-phnomnologique. Car il existe en vrit des structures
transcendantales d'objectivit qui anticipent a priori sur la struc
ture des phnomnes empiriques (diffrence ontologique, compr
hension et gense). Toute la difficult est de conqurir une concep
tion
mathmatique de l'a priori, ce que ni Kant ni Husserl n'ont
russi faire faute d'une philosophie mathmatique approprie.
La mathmatisation permet en effet la fois de contraindre l'ant
icipation
dans sa forme et de la diversifier dans ses consquences.
Elle permet donc de la tester.
En ce qui nous concerne, la critique que nous adresserons
Lautman ne sera donc certes pas d'tre idaliste. Bien au contraire.
Elle sera de ne pas toujours maintenir la bonne distance kantienne
entre schmatisation et symbolisation, entre jugement dterminant
et jugement rflchissant, entre catgories et Ides, entre Anal
ytique
et Dialectique, bref entre Connaissance et Pense. Cette
indcision relativement l'irrversible conqute critique fait,
rptons-le, que l'on arrive en gnral assez mal saisir ce qui
empche la dialectique lautmanienne, qui se veut platonicienne,
de devenir subrepticement une dialectique hglienne restreinte
aux mathmatiques.
Une telle critique rejoint celle que Cavaills adressait l'intuitionnisme qui, selon lui, confond le moment dialectique de la
position du concept et le moment transcendantal de sa schmat
isation (39).
Mais elle n'invalide en rien la pertinence remarquable du
programme de recherche lautmanien. Il est incomprhensible et
injuste qu'un esprit aussi inspir ait pu tre aussi peu clbr.
Car il y a en vrit du gnie, gnie intellectuel et gnie spirituel, se
consacrer par vocation l'tude patiente de ce germe incr qui
contient en lui la fois les lments d'une dduction logique et
d'une gense ontologique du devenir sensible (p. 255). Oui, il reste
refaire le Time.
Jean Petitot.
EHESS
(39) Cavaills [1941], 272.
RBS 5

114

Jean Peliioi

BIBLIOGRAPHIE
Abraham, R., Marsden, J., 1978, Foundations of Mechanics, Benjamin Cumings
(New York : Reading).
Arnold, V. I., 1976 : Mthodes mathmatiques de la mcanique classique (Moscou :
Ed. Mir).
Arnold, V. I., 1980, Chapitres supplmentaires sur la thorie des quations diff
rentielles
ordinaires (Moscou : Ed. Mir).
Bachelard, G., 1951, L'Activit rationaliste de la physique contemporaine (Paris :
puf).
Bennequin, D., 1984, Caustique mystique, Sminaire Bourbaki, n 634.
Castellana, M., 1978, La philosophie mathmatique chez Albert Lautman, II
Protagora, 115, 12-24.
Cavaills, J., 1938, Mthode axiomatique et formalisme. Essai sur le problme des
fondements des mathmatiques (Paris : Hermann).
Cavaills, J., 1941, Transfini et Continu, in Philosophie mathmatique (Paris :
Hermann, 1962), 253-274.
Cavaills, J., 1947, Sur la Logique et la thorie de la Science [uvre posthume]
(Paris : puf).
Cavaills, J., Lautman, A., 1939, Discussion sur la pense mathmatique, Socit
franaise de Philosophie, sance du 4 fvrier 1939, vol. 40 (1945).
Chatelet, G., 1985, Le retour de la monade, Fundamenta Scientiae, 6, 327-345.
Chevalley, C, 1985, Complmentarit et langage dans l'interprtation de Copen
hague, Revue d'Histoire des Sciences, 38, 251-292.
Deleuze, G., 1972, Diffrence et Rptition (Paris : puf).
Desanti, J. T., 1968, Les Idalits mathmatiques (Paris : Le Seuil).
Dictionnaire des Philosophes, 1984, D. Huysmans (d.) (Paris : puf).
Dieudonn, J., 1977, Introduction Lautman [1977].
Dieudonn, J., 1981, Bourbaki et la philosophie des mathmatiques, in Orbetello
[1981], 178-188.
Einstein, A., 1954, Ideas and Opinions (New York : Crown).
d'Espagnat, B., 1979, A la recherche du rel (Paris : Gauthier-Villars).
d'Espagnat, B., 1985, Une incertaine ralit (Paris : Gauthier-Villars).
Fvrier, P., 1981, La philosophie mathmatique de Poincar, in Orbetello [1981],
151-172.
Geymonat, L., 1985, Lineamenti di filosofia dlia Scienza (Milan : Mondadori).
Gonseth, F., 1936, Les mathmatiques et la ralit (Paris : Blanchard ; rd. 1974).
Holton, G., 1982, L'imagination scientifique (Paris : puf).
Lautman, A., 1977, Essai sur Vumt des mathmatiques et divers crits (Paris :
Union gnrale d'Editions) [rdition des ouvrages parus chez Hermann
de 1937 1939 et, titre posthume, en 1946].
Loi, M., 1977, Prface Lautman [1977].
Orbetello, 1981, Un sicle dans la philosophie des mathmatiques, Archives de
l'Institut international des Sciences thoriques (Bruxelles : Office international
de Librairie).
Petitot, J., 1979, Infinitsimale, in Enciclopedia Einaudi, VII (Turin : Einaudi),
443-521.

La philosophie mathmatique d'Albert Lautman

115

Petitot, J., 1982, Unit dlie matematiche, in Encyclopedia Einaudi, XV (Turin :


Einaudi), 1034-1085.
Petitot, J., 1983, A propos de Logos et Thorie des Catastrophes , Babylone,
2/3 (Paris : Christian Bourgois), 221-260.
Petitot, J., 1985, Morphogense du Sens I (Paris : puf).
Petitot, J., 1986 (a), Morphogense du Sens II (Paris : puf), paratre.
Petitot, J., 1986 (b), Apories fondatrices et Dialectique mathmatique, Colloque
Controverses scientifiques et philosophiques , Universit d'Evora. Documents
du Centre d'Analyse et de Mathmatiques sociales (Paris : Ecole des Hautes
Etudes en Sciences sociales).
Petitot, J., 1986 (c), Mathmatique et Ontologie, in La rinascita dlia filosofia
dlia scienza e dlia storia dlia scienza in Italia dagli anni trenta ad oggi,
Universit de Varese ( paratre).
Petitot, J., 1986 (d), Schmatisme et Interprtation, in Colloque sur l'Interprta
tion,
Collge international de Philosophie ( paratre).
Prigogine, I., 1980, Physique, temps et devenir (Paris : Masson).
Stachel, J., 1986, Einstein and the Quantum : fifty years of Struggle, in From
Quarks to Quasars, R. Colodny (ed.) (University of Pittsburg), 349-385.
Thom, R., 1982, Thmes de Holton et apories fondatrices, in Logos et Thorie des
catastrophes (Colloque de Cerisy) paratre.
Tonietti, T., 1984, Quattro lettere di Edmund Husserl ad Hermann Weyl, in
E. Husserl e la crisi dlie scienze europee, Universit de Lecce.
Ullmo, J., 1969, La Pense scientifique moderne (Paris : Flammarion).
Wehrl, 1956, L'Univers alatoire (Paris : Edition du Griffon-Vrin diffusion).