Académique Documents
Professionnel Documents
Culture Documents
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.
Refaire le Time
Introduction la philosophie mathmatique
d'Alhert Lautman*
80
Jean Petiiot
(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.
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
83
84
Jean Petitot
85
86
Jean Petitoi
87
88
C'est pourquoi
ique
Jean Petitot
aussi, chez Lautman, la philosophie mathmat
89
90
Jean Petitot
91
92
Jean Petitot
93
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.
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
Ides
(Dialectique)
Existant
(Phnomne)
Mathmatiques
(Thories)
97
98
Jean Petitot
99
(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
101
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
103
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
105
Existant
Phnomnes
Mathmatisation du rel
Thories objectives
Exprience
1 Symbolisation 1
l
Ides
dialectiques
Ralisation
mathmatiques
Thories
Jean Peliiol
106
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
107
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
109
110
Jean Petitot
111
112
Jean Petitol
113
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.
115