In: Revue d'histoire des sciences. 1987, Tome 40 n1. pp. 49-77. Abstract Abstract. Albert LautmarCs philosophy of science is rooted in his experience of German mathematics and physics at the beginnings of the 1930's. His view, which is strictly opposed to the one of the Vienna Circle, is to take into consideration scientific theories as totalities and to provide an exegesis of the links which exist between the technical procedures and the structural meaning of the abstract ideas expressed by them. Lautman finds the unity of science and especially the unity of modern algebra and quantum physics in the logical worries from which science emerges. By doing so, however, he creates for himself the constraint of explaining in metaphysical terms why the ideal reality is revealed in a plurality of historical theories, and this leads him to difficulties which are not solved inside his work. Rsum Rsum. La philosophie des sciences d'Albert Lautman prend source dans son exprience des mathmatiques et de la physique allemandes du dbut des annes 1930. Le projet de Lautman, oppos par lui-mme point par point celui du Cercle de Vienne, est de prendre en considration les thories scientifiques constitues, et de les soumettre un commentaire de l'intrieur qui puisse rvler les liaisons entre les techniques mises en uvre et la signification structurale des ides abstraites qui s'y expriment. En choisissant de trouver l'unit de la science et notamment celle de l'algbre moderne et de la physique quantique dans l'unit des soucis logiques qui la dterminent. Lautman se contraint cependant penser le problme mtaphysique de la pluralit et de l'historicit des thories dans lesquelles se rvle la ralit idale, ce qui le conduit des difficults que son uvre, inacheve, ne rsout pas. Citer ce document / Cite this document : Chevalley Catherine. Albert Lautman et le souci logique. In: Revue d'histoire des sciences. 1987, Tome 40 n1. pp. 49-77. doi : 10.3406/rhs.1987.4487 http://www.persee.fr/web/revues/home/prescript/article/rhs_0151-4105_1987_num_40_1_4487 Albert Lautman et le souci logique RSUM. La philosophie des sciences d'Albert Lautman prend source dans son exprience des mathmatiques et de la physique allemandes du dbut des annes 1930. Le projet de Lautman, oppos par lui-mme point par point celui du Cercle de Vienne, est de prendre en considration les thories scienti fiques constitues, et de les soumettre un commentaire de l'intrieur qui puisse rvler les liaisons entre les techniques mises en uvre et la signification structu rale des ides abstraites qui s'y expriment. En choisissant de trouver l'unit de la science et notamment celle de l'algbre moderne et de la physique quantique dans l'unit des soucis logiques qui la dterminent. Lautman se contraint cependant penser le problme mtaphysique de la pluralit et de l'historicit des thories dans lesquelles se rvle la ralit idale, ce qui le conduit des diff icults que son uvre, inacheve, ne rsout pas. ABSTRACT. Albert LautmarCs philosophy of science is rooted in his expe rience of German mathematics and physics at the beginnings of the 1930's. His view, which is strictly opposed to the one of the Vienna Circle, is to take into consi deration scientific theories as totalities and to provide an exegesis of the links which exist between the technical procedures and the structural meaning of the abstract ideas expressed by them. Lautman finds the unity of science and especially the unity of modern algebra and quantum physics in the logical worries from which science emerges. By doing so, however, he creates for himself the constraint of explai ning in metaphysical terms why the ideal reality is revealed in a plurality of histo rical theories, and this leads him to difficulties which are not solved inside his work. Albert Lautman crit son uvre philosophique entre 1935 et 1939 (1), pendant une priode marque par la double rvolution allemande de l'algbre abstraite et de la physique quantique. Les sources de sa pense sont dans les dveloppements tout rcents des sciences, que la sret et la modernit de son information lui permettent de comprendre. Mais son uvre est une uvre mta- (1) On trouvera une courte biographie et une bibliographie d'Albert Lautman dans l'Annexe I. Reo. Hist. ScL, 1987, XL/1 50 Catherine Chevalley physique, et ce caractre lui donne dans l'histoire de l'pistmo- logie moderne une situation la fois originale et solitaire (2). Pour Lautman, l'impulsion philosophique doit surgir non pas des philosophies elles-mmes, mais des problmes. Qu'est-ce qu'un problme, dans cet ailleurs de la philosophie qu'est tradition nellement le domaine des mathmatiques et de la physique ? C'est davantage qu'une difficult technique, bien que la puissance de questionnement d'un problme lui vienne de la prcision de sa formulation dans son lieu d'origine. Un problme n'existe en tant que tel que dans une pense oriente par le souci philosophique. Cela installe l'interprtation dans la ncessit de passer sans cesse d'un langage dans un autre, et dans la position difficile d'tre tou jours la fois dedans et dehors. S'exercer cet quilibre fragile est l'objet de la philosophie des sciences. Lautman partage avec ses contemporains l'ide que la science allemande, jouant le rle d'un fadum rationis, dfinit clairement une orientation et des priorits : apprhender le contenu des thories nouvelles, montrer l'unit de la connaissance. La conviction que la philosophie ne saurait se tenir l'cart du renouvellement blouissant des problmatiques en mathmatiques et en physique est la source d'uvres aussi diffrentes que celles de Carnap, de Cassirer, de Bohr et de Heisenberg, de Meyerson et de Reichenbach. L'Allemagne des annes 1930 donne d'ailleurs l'exemple de l'au dace philosophique. Dans le pays de ces gens qui, crit Lautman, ont eu Kant et Goethe, comme ils ont maintenant Hilbert ou Husserl (3), Cassirer, au sommet de sa carrire, n'hsite pas publier un livre sur la nouvelle thorie quantique (4), tandis que Heisenberg, au dbut de la sienne, donne dans la revue Die Antike un article sur la philosophie grecque (5) et que Her mann Weyl crit pour le Handbuch der Philosophie la premire (2) II n'existe pratiquement aucune tude critique de l'uvre de Lautman en philosophie des sciences. (3) Correspondance prive. (4) Ernst Cassirer, Determinismus und Indeterminismus in der modernen Physik, Gteborgs Hgskolas Arsskrift, 42 : III (1936). Traduction et dition anglaise avec une prface de H. Margenau, sous le titre de Determinism and Indeterminism in modem physics (Yale University Press, 1956). Pour une analyse rcente de ce texte, cf. l'article de Jean Seidengart, Une interprtation no-kantienne de la thorie des quanta, Revue de Synthse, CVI : 120 (1985), 395-418. (5) Werner Heisenberg, Gedanken der antiken Naturphilosophie in der modernen Physik, Die Antike, XIII (1937), 118-124. Albert Lautman et le souci logique 51 version de sa Philosophy of Mathematics and Natural Science (6). Issue de ce sol commun de proccupations, l'uvre de Lautman se dveloppe de manire indpendante, parcourue par une oppos ition constante aux stratgies de Carnap et de ses amis. Comme Jean Cavaills, et dans une fidlit ambigu Lon Brunschvicg, Lautman porte un intrt primordial la philosophie math matique, dont il veut construire une version immanente qui serait l'effet d'un commentaire de l'intrieur, d'une attention exclusive porte aux drames logiques qui se jouent au sein des thories (7). Une telle position permet de mettre en vidence des problmes auxquels chappent les discours sur la science qui adoptent le point de vue de l'extriorit. Si le rapprochement de la mtaphysique et des mathmatiques n'est pas contingent, mais ncessaire (8), de quelle nature est cette ncessit ? Et pourquoi ne se rvle-t-elle que progressivement, comme le dmontre l'apparition dans l'histoire de problmes nouveaux ? L'objet de Lautman a t de donner un contenu prcis et technique ces questions. Il a form le projet d'une philosophie des sciences directement mtaphysique, vitant ainsi le dtour par le kantisme. Ni anti-kantien comme les membres du Cercle de Vienne, ni no kantien comme Brunschvicg ou Cassirer, Lautman ne tente pas non plus d'amnager l'idalisme critique comme le fait Meyerson. Il crit dans une rfrence immdiate au platonisme ou Heidegger, cherchant produire une thorie de l'tre en tant qu'tre dont la mthode serait l'expos des thories mathmatiques. En affirmant la fois l'existence d'une ncessit interne dans le dveloppement des ides et l'historicit de leur incarnation singulire dans les thories, il est conduit des difficults considrables qui rendent finalement sa philosophie aportique. Mais son uvre garde une puissance hermneutique de mieux en mieux reconnue aujourd'hui, qui est lie la volont de se sparer des problmatiques fonda- tionnelles de l'empirisme et du criticisme pour rendre compte de l'unit fondamentale des mathmatiques et de la physique. (6) Hermann Weyl, Philosophie der Mathematik und Naturwissenschaft, in Hand- buch der Philosophie, Ed. R. Oldenburg (1927). Edition anglaise revue et augmente sous le titre de Philosophy of Mathematics and natural science (Princeton University Press, 1949). (7) A. Lautman, Essai sur les notions de structure et d'existence en mathmatiques (Thse principale) (Paris : Hermann, 1937), cit dans la suite comme Essai..., 149. (8) A. Lautman, Nouvelles Recherches sur la structure dialectique des mathmatiques (Paris : Hermann, 1939), cit dans la suite comme Recherches..., introduction. 52 Catherine Chevalley L EXPERIENCE DE LA SCIENCE ALLEMANDE ET LA TCHE DE LA PHILOSOPHIE C'est avec les mathmaticiens que Lautman dcouvre l'exi stence d'ides entirement nouvelles en Allemagne. Il passe plusieurs mois Berlin en 1929, entre son diplme d'tudes suprieures et l'agrgation de philosophie, la suite d'Andr Weil et de Jean Cavaills, et juste avant le dpart de Jacques Herbrand pour Hamburg, Berlin et Gttingen (9). En Allemagne ont lieu de faon concomitante deux bouleversements scientifiques majeurs, l'un dans le domaine de l'algbre, l'autre dans celui de la physique quantique. D'une part, le dveloppement de l'cole d'algbre autour d'Emil Artin, de Hasse et d'Emmy Noether (10) donne aux jeunes scientifiques franais nourris du Cours d'Analyse de Goursat la conviction qu'une rinterprtation de l'ensemble des disciplines mathmatiques est possible. D'autre part, la mise en place des fondements de la mcanique quantique et l'accent mis sur sa prsentation comme thorie physique axiomatise dans le groupe de Gttingen (11) rendent caduque l'ontologie qui servait trad itionnellement de base la physique classique. Dans les deux cas, l'abondance et la richesse des rsultats s'accompagnent d'un effort considrable de clarification au sujet de ce qu'est une thorie. Le renouveau des proccupations de Hilbert en logique mathmat ique et l'laboration de la Beweistheorie dans l'espoir d'en faire une mthode permettant d'tablir la consistance de tout systme formel ont une incidence presque immdiate sur les physiciens : Nous tions conduits penser crit Heisenberg dans son entretien avec Th. Kuhn (12) que nous serions peut-tre obligs de dcrire la nature au moyen d'un systme axiomatique entirement diffrent de l'ancienne physique classique. (9) Sur Jacques Herbrand, cf. Annexe II. (10) Cf. l'article de Hourya Benis-Sinaceur dans ce numro, infra, p. 5-30. (11) Sur cette question, cf. C. Chevalley, Physical reality and closed theories in Heisenberg's early papers, in Actes du VIe Congrs international de Philosophie des Sciences (Gent, 1986), paratre. (12) Werner Heisenberg, interview du 25 fvrier 1963, in Archives for the History of Quantum Physics (dposes l'American Institute for Physics). Albert Lauiman et le souci logique 53 En mathmatiques comme en physique, l'exprience de la science allemande est en premier lieu celle de la fcondit de l'abstraction corollaire du refus de toute lgitimation par une ontologie de choses et en second lieu celle du privilge des relations structurales l'intrieur des thories. Cette convergence apparente de caractres entre les nouvelles mathmatiques et la nouvelle physique laisse entrevoir le problme de l'unit de leur interprtation un niveau plus fondamental : II rgne crit H. Weyl , entre le dveloppement des mathmat iques et celui de la physique l'poque actuelle, un paralllisme aussi mystrieux qu'indiscutable (13). En regard de cette situation, l'intrt pour les problmes internes des thories classiques de la connaissance faiblit. Rei- chenbach crit par exemple en 1932 (14) : II faut, nous adresser au mouvement scientifique contemporain, qui bouil lonne d'activit , car ce n'est pas la pense en tant que facult qui est l'objet de nos investigations, ce sont ses produits, ses cristallisations, tels que nous les voyons aujourd'hui ordonns en des thories cohrentes (15). Meyerson affirmera de manire analogue que la pense ne peut tre saisie qu'indirectement dans l'tude de ses produits consti tus que sont les thories scientifiques. La ncessit d'apprhender correctement la signification des progrs rcents des mathmat iques et de la physique projette ainsi la philosophie provisoir ement hors d'elle-mme, dans une tche d'explication, de clarif ication et de commentaire. Mais ceci n'est qu'un pralable une rflexion issue de la conviction spculative de l'unit de la science, sol commun de l'abondance et de la richesse des nouvelles thories. Est-ce parce que la philosophie a vocation de penser l'un dans le multiple, ou plus prosaquement, parce qu'il lui faut trouver une certaine efectivit ? En tout cas, la science unitaire est un (13) Hermann Weyl, Gruppentheorie und Quantenmechanik (Leipzig : S. Hirzel Verlag, 1928), prface, p. vi. La seconde dition voit disparatre le terme de myst rieux . (14) Hans Reichenbach, Ziele und Wege der heutigen Natur philosophie (Leipzig : F. Meiner, 1931), trad, franc, sous le titre de La Philosophie scientifique, vues nouvelles sur ses buts et ses mthodes (Paris : Hermann, 1932), 12. (15) Ibid., 10. 54 Catherine Chevalley thme adopt par tous ceux que proccupent les bouleversements des mathmatiques et de la physique. Mais o situer l'unit ? Dans le besoin d'identification, comme le propose Meyerson, dans la structure de la connaissance, comme le suggrent de diffrentes manires les no-kantiens (16), dans la possibilit d'une rduction de tous les noncs par l'analyse logique, comme le veut le Manifeste du Cercle de Vienne ? Ou dans la rela tion dialectique entre structures et soucis logiques ? Lautman n'est gure attentif qu' ces deux dernires possibilits : l'unit de la science est soit danst sa rductibilit une base empirique, soit dans la prennit mtaphysique de la signification de ses structures. Voulant nier la premire hypothse et soutenir la seconde, il se trouve en opposition immdiate avec le Cercle de Vienne sur la question de l'objet de la philosophie des sciences. Les logiciens de l'Ecole de Vienne crit-il en 1935 (17) prtendent que l'tude formelle du langage scientifique doit tre le seul objet de la philosophie des sciences. Comment faut-il entendre tude formelle ? Si l'on se reporte au texte de lancement du Cercle de Vienne, cela signifie la recherche d'un systme formulaire neutre, d'un symbolisme purifi des scories des langues historiques (18) et la mthode en est l'analyse logique (19). Pour Moritz Schlick, la philosophie est cette activit particulire qui vise dcouvrir et tablir le sens des propositions. Il appartient ensuite aux sciences de contrler (16) Cf. par exemple les textes consacrs par Lon Brunschvicg l'indterminisme de la nouvelle physique quantique, notamment son expos la Socit franaise de Philosophie du 1er mars 1930, in Ecrits philosophiques, III, 139, et sa monographie intitule La Physique du XXe sicle et la Philosophie (Paris : Hermann, 1936). La comparaison de ces textes avec ceux de Lautman montre quel point ce dernier s'tait libr du kantisme brunschvicgien. (17) A. Lautman, Mathmatiques et ralit, in Actes du Congrs international de Philosophie scientifique, Paris Sorbonne, 1935 (Paris : Hermann, 1936). Reproduit in A. Lautman, Essai sur Vunit des mathmatiques et divers crits (Paris : uge, 1977), 281, cit dans la suite comme Essai... et divers crits. (18) La Conception scientifique du monde : le Cercle de Vienne, 2e partie, in Manifeste du Cercle de Vienne et autres crits, Ed. Antonia Solez (Paris : puf, 1985), 115, cit dans la suite comme Manifeste... (19) Manifeste..., 115 : Clarifier des problmes et des noncs, et non poser des noncs proprement "philosophiques", constitue la tche du travail philosophique. La mthode de cette clarification est celle de l'analyse logique. Albert Lautman et le souci logique 55 si elles sont vraies (20). La recherche du sens se fera par la rduc tion des noncs qu'il est possible de mettre en correspondance univoque avec les expriences, au sens de l'immdiatement donn (21). Sera par consquent rel ce qui peut tre intgr tout l'difice de l'exprience (22). Ces affirmations d'un posi tivisme pistmologique radical dfinissent pour Lautman, comme pour Cavaills et Meyerson (23), les orientations essentielles du nouveau groupe. Avec force, Lautman expose au Congrs de 1935 les raisons de son dsaccord : C'est l crit-il une thse difficile admettre pour ceux des philosophes qui considrent comme leur tche essentielle d'tablir une thorie cohrente des rapports de la logique et du rel. Une telle thorie ne peut pas tre rductionniste ; elle se doit d'analyser les mthodes et le contenu du rel physique et du rel mathmatique en tudiant la solidarit entre domaines de ralit et mthodes d'investigation (24). Or le rel en ce sens se prsente tantt comme faits scientifiques , tantt comme enti ts, tantt comme thories, et tantt comme les ides qui dominent ces thories . On ne peut concevoir de contradiction plus nette avec l'affirmation du Manifeste selon laquelle il n'y a pas de royaume des Ides au-dessus ou au-del de l'exprience (25). Pour Lautman, exposer le sens philosophique des mathmatiques consistera montrer non seulement leurs liaisons internes, mais galement leur rattachement une mtaphysique (ou Dialec tique) dont elles sont le prolongement ncessaire (26). (20) Moritz Schlick, Les Enoncs scientifiques et la ralit du monde extrieur (Paris : Hermann, 1934), 11. Il s'agit d'extraits de deux articles parus dans Erkenntnis, traduits par le gnral Vouillemin et revus par Schlick. (21) L'expression de t mise en correspondance univoque , destine remplacer le concept flou de * vrit , est reprise de la Allgemeine Erkenntnislehre de M. Schlick. Elle sert souligner que la relation d'un jugement la ralit est une relation de con cidence, puisqu'il y a htrognit entre la pense et l'objet. L' immdiatement donn est une expression du Manifeste, par exemple : seule existe la connaissance venue de l'exprience, qui repose sur ce qui est immdiatement donn , op. cit., 118. (22) Manifeste..., 118. (23) Cf. Jean Cavaills, L'Ecole de Vienne au Congrs de Prague, Revue de Mta physique et de Morale, XLII : 1 (1935), 137-149, et Emile Meyerson, Du Cheminement de la Pense (Paris : Alcan, 1931), 787-790. (24) A. Lautman, Essai... et divers crits, 281. (25) Manifeste..., 127. (26) Lettre d'Albert Lautman Frchet du 1er fvrier 1939, cite par Maurice Loi in Lautman, Essai... et divers crits, prface, 10. 56 Catherine Chevalley L ACTION ORGANISATRICE DES STRUCTURES L'exprience de la science allemande est ainsi la source dans l'uvre de Lautman d'un projet philosophique tout fait oppos celui des empiristes logiques. Lautman reproche au rduction- nisme analytique son impuissance rendre compte de l'autonomie des thories scientifiques. La conception structurale consiste au contraire considrer une thorie mathmatique comme un tout achev, indpendant du temps et voir dans les thories des tres qualitativement distincts les uns des autres (27). La ralit mathmatique n'est pas faite d' tres statiques , mais de la possibilit de dterminer certains tres partir d'autres, c'est-- dire d'un ensemble de liaisons : les distinctions qualitatives carac trisent les thories et non les tres (28). Ce sont les thories, et non des concepts isols, qui doivent tre les objets de la philoso- sophie scientifique. Un problme n'a de sens que dans une thorie ; pour Lautman, Boutroux a tort de dire qu'il y a une indpendance des tres mathmatiques par rapport aux thories o ils sont dfinis (29). En parlant du vtement logique ou algbrique sous lequel nous cherchons reprsenter un tel tre , Boutroux prsuppose une sorte de neutralit du formalisme par rapport au sens. Or, poursuit Lautman, il a surtout en vue l'ana lyse et la gomtrie du xixe sicle , alors que l'algbre moderne montre comment les proprits des tres mathmatiques peuvent varier avec le domaine dans lequel on les considre. L'introduction de la mthode axiomatique dans les mathmatiques rend donc au contraire tout fait impossible d'isoler des faits mathmatiques lmentaires, qui seraient comme des briques de construction. Il y a une dpendance essentielle entre les proprits d'un tre mathmatique et l'axiomatique du domaine auquel il appart ient (30). Par suite, le problme de la ralit mathmatique ne se pose ni au niveau des faits, ni celui des tres, mais celui des thories (31). La fin de la thse de 1937 dveloppe l'ide que (27) A. Lautman, Essai..., 12. (28) Essai..., 145. (29) Essai..., 145. Lautman discute les ides de Boutroux dans toute la conclusion de sa thse, 140-145. (30) Essai..., 146. (31) Essai..., 146-147. Albert Lautman et le souci logique 57 la physique elle-mme prsente un caractre analogue de totalit : non seulement parce qu'il n'y a pas d' expriences isoles , mais des expriences dans des systmes physiques, mais aussi parce que chaque reprsentation symbolique des phnomnes engendre une signification propre. La ralit physique n'est donc pas indiffrente cette mathmatique qui la dcrit , la structure de l'exprience n'est pas dtachable de l'exprience elle-mme (32). A l'oppos de ce point de vue, l'empirisme logique s'efforce en vain, pour Lautman, de construire les notions mathmatiques partir d'un petit nombre de notions et de propositions logiques primitives , et par suite il perd de vue le caractre qualitatif et intgral des thories constitues (33). Cet appauvrissement est la consquence de sa conception de la proposition mathmatique : Pour Wittgenstein et Garnap, les mathmatiques ne sont plus qu'une langue indiffrente au contenu qu'elle exprime (...) elles ne seraient qu'un systme de transformations formelles permettant de relier les unes aux autres les donnes de la physique (34). En d'autres termes, elles sont une syntaxe dpourvue de sens, un simple squelette, une forme (35). Les symboles sont de pures abrviations, et en dernire instance le sens est indpendant du formalisme choisi. A cette conception, Lautman oppose 1' harmon ie , 1' autonomie et la vie des thories mathmatiques et physiques, conues comme des structures organisatrices. La rigueur des relations logiques est solidaire, dans les thories constitues, d'une architecture que l'on ne peut comprendre que comme totalit : II est impossible de considrer un tout mathmatique comme rsultat de la juxtaposition d'lments dfinis indpendamment de toute consi dration d'ensemble relative la structure du tout dans lequel ces lments s'intgrent (36). (32) Essai..., 155-156. (33) Essai..., 8. (34) Essai..., 8. (35) En consquence, le spectacle de la plupart des thories modernes de philo sophie mathmatique est (...) extrmement dcevant. Le plus souvent l'analyse des mathmatiques ne rvle que trs peu de chose et des choses trs pauvres, comme la recherche de l'identit ou le caractre tautologique des propositions , in Essai..., 7. (36) Essai..., 38. 58 Catherine Chevalley Corrlativement le formalisme n'est pas indpendant de la signification relle des noncs : cela est vrai en mathmatiques, o l'introduction de la notion de groupe, par exemple, modifie l'apprhension globale des problmes, cela est vrai aussi en phys ique, o la description de l'tat d'un systme un moment donn ou de l'volution de ce systme avec le temps revient constater que les grandeurs du systme sont ordonnables selon une loi de structure mathmatique (37). Carnap, pour sa part, ne voit dans les noncs mathmatiques qu'un ensemble de propositions tauto- logiques et il rduit la physique une langue dans laquelle on exprime des noncs vrifables exprimentalement (38). Pour Lautman, cela conduit l'empirisme logique une apprhension triviale des problmes : les exemples pris ne peuvent tre que d'une grande simplicit, afin d'autoriser le libre jeu de la rduction, et la pauvret de l'interprtation est le corrlat de la sparation la hache qu'opre le Cercle de Vienne entre les mathmatiques et la ralit . Cette objection rejoint, cette poque, une critique analogue faite par Bohr, Pauli et Heisenberg : les positivistes logiques ne font pas porter la subtilit de l'analyse logique sur les problmes vritablement importants pour la thorie (39), comme en tmoigne en effet, par exemple, l'tude que fait Ph. Frank du cas de la constante de Planck (40). Lautman proteste surtout contre l'usage fait de Hilbert : Les logisticiens de l'Ecole de Vienne affirment toujours leur plein accord avec l'cole de Hilbert. Rien (37) Essai..., 155. (38) Mathmatiques et ralit, in Essai... et divers crits, 283. (39) Cf. Werner Heisenberg, Der Teil und das Ganze (Mnchen : R. Piper, 1969), trad, franc, sous le titre de La partie et le tout (Paris : Albin Michel, 1972), 280 sq. L. Rosenfeld raconte galement comment Bohr exera son humour contre Philipp Franck Copenhague en 1936 ; puisque Franck parlait de mtamathma tique et de mtalogique , pourquoi interdire la mtaphysique , qui, aprs tout, signifie seul ement l'ensemble des questions portant sur les fondements ou la cohrence du domaine considr ? (40) Philipp Franck, Was bedeuten die gegenwrtigen physikalischen Theorien fur die allgemeine Erkenntnislehre ?, Erkenntnis, I (1930-1931), 126-157, trad, franc, sous le titre de Thorie de la connaissance et physique moderne (Paris : Hermann, 1934). L'analyse de la constante de Planck se trouve aux p. 33-37. La vrit d'un systme ' symbolique est assure par la possibilit de contrler la permanence de l'univocit de sa correspondance avec l'exprience (c'est la procdure de t vrification d'une thorie physique). La grandeur h, dit Franck, peut se construire de diverses manires avec des expriences vcues, telles que le rayonnement du corps noir ou la srie de Balmer (...). Si la mme valeur de h rsulte des deux calculs, je tiens l'univocit et j'ai vrifi la vrit de ma thorie . Albert Lautman et le souci logique 59 n'est pourtant plus discutable (41). Pour deux raisons : la premire est qu'il s'agit d'un usage caractre publicitaire, et que, pour Lautman, s'adresser au mouvement scientifique contemporain , selon l'expression de Reichenbach, ce n'est pas citer des noms et revendiquer des filiations, mais bien plutt examiner et comprendre le contenu des thories. La seconde est que Lautman s'oppose l'interprtation logiciste du terme de formalisme , impropre exprimer la nature relle de la pense de Hilbert, une interprtation dans laquelle Jean Largeault trouve juste titre l'image grossir ement simplifie propose par Brouwer en 1913 (42). Lautman est amen ainsi suggrer que l'on ne peut donner au programme hilbertien toute son ampleur philosophique si l'on demeure enferm dans des expressions figes comme platonisme , intuitionnisme et formalisme , ainsi que le font les membres du Cercle de Vienne (43). Quelle doit tre la nature du travail d'interprtation ? Il doit, l'inverse de la rduction, montrer la croissance (,de l'harmonie interne (qui n'est pas seulement la consistance logique) des thories. Il faut essayer, crit Lautman, de caractriser la ralit mathmat ique de faon intrinsque, du point de vue de sa structure propre (44), en exposant comment des lments partiels et inachevs s'organisent peu peu sous l'unit d'un mme thme et laissent apercevoir dans leur mouvement une liaison qui se dessine entre certaines ides abstraites, que nous proposons d'appeler dialectiques (45). Cette phrase fait deviner l'omni prsence, dans l'uvre de Lautman, d'une mtaphore biologique pour la caractrisation des thories. Ces dernires sont comme des tres vivants il est vident que l'tre mathmatique tel que nous le concevons n'est pas sans analogie avec un tre vivant (46) , (41) Mathmatiques et ralit, in Essai... et divers crits, 282. (42) Cf. Jean Largeault, Logique mathmatique. Textes (Paris : Armand Colin, 1972), 215, introduction la traduction du texte de Hilbert Sur l'infini . (43) Par exemple in Manifeste..., 121. Lautman partage avec Jacques Herbrand le souci de librer les dbats sur les mathmatiques des simplifications accumules au cours des polmiques. Cf. par exemple Essai..., 83-84 : On peut dire qu'en 1926 les problmes de la logique mathmatique se posaient encore dans les mmes termes que les discussions du dbut du sicle, relatives l'existence du transfini. Fidle en cela ses origines leibniziennes, le formalisme considrait toujours que le passage de l'essence l'existence devait consister uniquement dans la dmonstration de la "compossibilit des essences", de la non-contradiction des axiomes qui la dfinissent. (44) Essai..., 9. (45) Essai..., 13. (46) Essai..., 29. 60 Catherine Chevalley qui cependant ne mourraient pas mais se dferaient pour se ror ganiser autrement. Leur dveloppement obit une gense qui reprsente, sous l'organisation externe, une autre histoire plus cache et faite pour le philosophe (47). L'unit d'organisation d'une thorie est dcrite par Lautman comme entrant dans une solidarit presque organique avec la diversit des parties (48), et cette unit organique (49) s'oppose l'image d'une dtermi nation mcanique partir d' priori logiques que, selon Lautman, tout le courant de pense logistique a adopte l'encontre des mathmaticiens (50). Au lieu d'une construction par empilage et embotement, que Lautman reproche galement aux intuition- nistes, il y a prformation (51). Les thories ne sont pas des montres kantiennes et l'objet d'une interprtation structurale sera de montrer leur gense, leur vie, leur mouvement. SCHMAS DE STRUCTURE ET IDES PLATONICIENNES Comment donner aux thories leur complte valeur philoso phique sans les connatre dans leur plus abstraite technicit ? Ne serait-ce que parce que la diffrence entre les thories, source de l'existence de chacune comme unit organique, nat de la diffrence entre les techniques d'investigation des domaines de ralit . Lautman en donne de nombreux exemples : introduction de l'ana lyse dans l'arithmtique, de la topologie dans la thorie des fonc tions, effet de la pntration des mthodes structurales et fnitistes de l'algbre dans le domaine de l'analyse et du continu. Par cons quent le premier travail du philosophe des sciences est de com prendre les techniques de raisonnement et l'histoire de leurs inter actions, dplacements et substitutions : Une philosophie des sciences qui ne porterait pas tout entire sur l'tude de cette solidarit entre domaines de ralit et mthodes d'inves tigation serait singulirement dpourvue d'intrt (52). (47) Essai... (48) Essai... (49) Essai... (50) Essai... (51) Essai... 13 14. 147. 39. 14 : La structure d'un tre imparfait peut parfois prformer tence d'un tre parfait en lequel toute imperfection a disparu. (52) Mathmatiques et ralit, in Essai... et divers crits, 281. Albert Lautman et le souci logique 61 Mais cette tche est immdiatement prolonge par une autre, qui consiste dans le rapprochement des mathmatiques et de la mtaphysique dj cit. Les techniques ne sont pas des moyens neutres d'appropriation d'un rel empirique, et la considration de leur efficacit sur ce plan ne peut pas faire progresser la com prhension de l'histoire des thories. Elles doivent plutt tre mises en rapport avec l'action de certaines ides abstraites domin atrices par rapport aux mathmatiques (53). Dans sa commun ication au Congrs Descartes de 1937, Lautman affirme ainsi que le mouvement propre d'une thorie mathmatique dessine, le schma des liaisons entre de telles ides abstraites , qui en constituent la ralit idale : la ralit inhrente aux thories mathmatiques leur vient de ce qu'elles participent une ralit idale qui est dominatrice par rapport la mathmatique (54). Il qualifie, comme l'on pouvait s'y attendre, cette apprciation de conclusion platonicienne . De mme en 1939, dans les Nouvelles Recherches sur la structure dialectique des mathmatiques, il prcise que : Nous n'entendons pas par Ides des modles dont les tres math matiques ne seraient que des copies, mais au vritable sens platonicien du terme, des schmas de structure selon lesquels s'organisent les thories effectives (55). Comment entendre cet appel au vritable sens platonicien du terme d'ides ? Lautman veut combattre ici une conception commune qui interprte la science comme une copie, une repro duction, une traduction, en bref une simple transposition d'l ments idaux inchangs par cette assimilation de leur substance par l'intelligence humaine. Le vritable sens platonicien en ralit tir par Lautman vers une perspective plotinienne supprime l'ide d'une distance irrductible entre l' eidos et sa reprsentation pour affirmer le pouvoir producteur des ides qui s' incarnent dans les thories : La nature du rel, sa structure et les conditions de sa gense ne sont connaissables qu'en remontant aux Ides, dont la science incarne les liaisons (56). (53) De la ralit inhrente aux thories mathmatiques, in Actes du IXe Congrs international de Philosophie (Congrs Descartes) (Paris : Hermann, 1937). Repris in Essai... et divers crits, 287. (54) Ibid., 290. (55) Recherches... (56) Essai..., 156. 62 Catherine Chevalley La domination des Ides sur la matire mathmatique a le sens d'une animation, presque d'une information gntique (57)- II s'agit donc ici d'un platonisme distinct de ce que l'on appelait ordinairement platonisme dans les dbats entre formalistes et intuitionnistes, dsignant par-l la position qui consiste tenir l'existence d'un tre mathmatique pour assure par sa dfinition alors mme que cet tre ne pourrait tre construit en un nombre fini d'tapes (58). Le platonisme revendiqu par Lautman est celui, plus pur, des historiens de la philosophie ; la fin de la thse de 1937 cite Stenzel, Becker, Robin, pour avoir montr l'engendre- ment des Ides-nombres partir de l'Un et de la Dyade, et l'exi stence d'une mtamathmatique suprieure la fois aux Ides et aux nombres et consistant dans des schmas de division. Par courant le chemin inverse de cette gnration des thories par une ralit idale qui prend chair en elles, la connaissance des math matiques est une ascension vers l'apprhension des schmas de structure. Restituer aux Ides ce vritable sens platonicien a pour consquence de dterminer la philosophie comme prioritairement philosophie mathmatique. Il n'y a pas en effet d'autre accs la connaissance des Ides : c'est dans les mathmatiques que l'action organisatrice d'une structure sur les lments d'un ensemble est pleinement intelligible transporte dans d'autres domaines, elle perd de sa limpidit rationnelle (59). Ce sont les mathmatiques qui peuvent rendre la philosophie le service eminent de lui offrir l'exemple d'harmonies intrieures dont le mcanisme satisfait aux exigences logiques les plus rigoureuses (60). Si la ralit des Ides est dominatrice par rapport l'organisation des thories, seule cependant la matire mathmatique peut rvler la richesse de ce pouvoir formateur (61). La mthode de cette philosophie mathmatique, dont l'objet est de rapporter les thories aux Ides abstraites qui s'incarnent (57) Essai..., 150. (58) Ibid. Lautman poursuit ainsi : II va sans dire que c'est l une connaissance superficielle du platonisme, et que nous ne saurions nous rfrer elle. Signalons l'intrt de Reichenbach pour Oskar Becker, dont tmoigne son article Zum Anschau- lichkeitsproblem der Gomtrie. Erwiderung auf Oskar Becker, Erkenntnis, II (1931), 61-72. (59) Essai..., 29. (60) Essai..., 30. (61) Essai..., 150. Albert Lautman et le souci logique 63 et dont le contenu exige une connaissance intrinsque de ces thories, sera celle d'une analyse descriptive . Les thories math matiques sont un donn au sein duquel nous nous efforcerons de dgager la ralit idale laquelle cette matire participe (62). Ainsi l'volution des mathmatiques depuis le milieu du xixe sicle montre-t-elle en premier lieu l'opposition entre une recherche locale de l'lment et la caractrisation globale d'une totalit indpendamment de ses parties. A la conception globale de la fonction analytique que l'on trouve chez Cauchy et Riemann (63) s'oppose par exemple la mthode locale de Weierstrass dtermi nant une fonction analytique au voisinage d'un point complexe par une srie de puissances convergeant dans un cercle de conver gence autour de ce point. En gomtrie, une mme dualit des orientations de la recherche est illustre par la diffrence entre une gomtrie au sens de Klein et une gomtrie au sens de Riemann, diffrence que Lautman voit se reproduire ensuite dans les deux thories de la Relativit. Enfin, propos des conditions d'existence des solutions des quations diffrentielles et des quations aux drives partielles, Lautman insiste sur le fait que nous retrou vons le mme conflit dans (ces) problmes d'une importance philo sophique considrable, puisque de leur solution dpend l'interpr tation du dterminisme de la physique (64). Ces trois exemples dterminent le donn sur lequel doit travailler le philosophe qui s'intresse la dualit du local et du global. Que faire de ce donn ? Une classification des mathmaticiens, une typologie des math matiques la Poincar ? L'originalit de Lautman est d'viter cet aplatissement du problme. L o les philosophes des math matiques se contentaient gnralement, cette poque, d'une psychologie assez courte, Lautman voit dans l'opposition du local et du global la source d'un mouvement interne aux mathmatiques et producteur de thories nouvelles. Ainsi c'est le dsir de dpasser synthtiquement cette opposition qui fait merger la possibilit de trouver une liaison d'implication entre la structure et les pro prits des parties : II faudrait (...) que la structure topologique de l'ensemble se rflchisse dans les proprits de ses parties (65). Lautman dveloppe alors de nouveau trois exemples : les rapports (62) Essai..., 15. (63) Essai..., 20. (64) Essai..., 25. (65) Essai..., 29. 64 Catherine Chevalley de la gomtrie diffrentielle et de la topologie dans les travaux de Hopf (66), la thorie des groupes clos de Weyl et Cartan (67) et la thorie de la reprsentation approche des fonctions (68). II existe ainsi une sorte de descente du tout vers la partie, comme une monte de la partie vers le tout , et ceci constitue le premier aspect de l'organisation interne des tres mathmatiques (69). De cette manire, l'analyse des techniques d'investigation des domaines de ralit mathmatique, et l'tude des diffrences d'approche et de solution des problmes conduisent par un mouvement ncessaire la reconnaissance de thmes structuraux comme les rapports du tout et des parties qui ont depuis longtemps une valeur phil osophique dans l'histoire de la mtaphysique, mais qui se trouvent reformuls par leur insertion dans des thories nouvelles. Que ce soit propos des liaisons entre le mme et l'autre, le tout et la partie ou propos du continu et du discontinu, de l'essence et de l'exi stence (70), l'objet de Lautman est de montrer comment les thories mathmatiques font natre l'ide de problmes nouveaux qui n'auraient pas t formuls abstraitement auparavant (71). En d'autres termes, au lieu d'appliquer la mtaphysique sur les math matiques, c'est bien plutt de la constitution mathmatique des problmes qu'il faut remonter au sens mtaphysique des Ides ainsi rendues intelligibles : La philosophie mathmatique telle que nous la concevons ne consiste pas tant retrouver un problme logique de la mtaphysique classique au sein d'une thorie mathmatique qu' apprhender globalement la structure de cette thorie pour dgager le problme logique qui se trouve la fois dfini et rsolu par l'existence mme de cette thorie (72). l'antriorit des soucis logiques et l'historicit des thories Mais pourquoi la ralit idale ainsi dgage par l'analyse descriptive des thories n'est-elle pas immdiatement et entire- (66) Essai..., 30-33. (67) Essai..., 34-35. (68) Essai..., 36-38. (69) Essai..., 38-39. (70) Essai..., 149-150. Cf. aussi, 14. Ces thmes dterminent le plan de VEssai sur les notions de structure et d'existence en mathmatiques. (71) Essai..., 150. (72) Essai..., 150. Albert Lautman et le souci logique 65 ment visible, dans une science ? Pourquoi y a-t-il des tapes dans le dveloppement de la connaissance mathmatique et physique ? Des progrs, ventuellement des rtrogradations ? Une pluralit de thories ? Lautman tente de rsoudre cette difficult invitable pour tout essentialisme en parcourant un spectre inattendu de rfrences : Lon Brunschvicg, Hilbert, Heidegger. Dans toute son uvre, Lautman est proccup avant tout par l'apparition de problmes logiques nouveaux. Bien qu'il montre une connaissance approfondie des mathmatiques du xixe sicle, ce sont surtout les progrs les plus rcents qui attirent son atten tion : en thorie des nombres les dbuts de la thorie du corps de classes (73) ; les travaux sur les algbres non commutatives ; la thorie des espaces de Hilbert et son application en mcanique quantique. De mme qu'il sait reconnatre l'importance des travaux d'Elie Cartan, de mme les recherches de Herbrand et de Gdel lui semblent inaugurer ce qu'il appelle la priode critique de l'histoire de la logique, en opposition la priode nave allant des premiers travaux de Russel jusqu'en 1929. L'apparition de la nouveaut, non pas seulement au niveau des rsultats mais celui des problmatiques par exemple, dans la priode critique de la logique on voit s'affirmer une thorie des rapports de l'essence et de l'existence aussi diffrente du logicisme des formalistes que du constructivisme intuitionniste (74) , lui fait concevoir nette ment l'impossibilit d'une dduction systmatique selon les exigences d'un rationalisme idaliste (75). Comment comprendre l'incarnation singulire et historique des Ides dans les thories successives, tout en refusant la fois l'image d'une approximation croissante des modles par les copies, et celle d'une dduction intgrale immdiate ? A ces difficults extrmes il y a souvent des solutions insatisfaisantes. Lautman fait appel une activit cratrice de l'esprit humain qui, dans une exprience spirituelle , produit des schmas de structure nouveaux partir de soucis logiques prennes. Ainsi les math matiques seraient-elles par excellence l'activit libre conform- (73) Essai..., 67 sq. C'est le second exemple, aprs la thorie de Galois, par lequel Lautman expose le thme de la monte vers l'absolu . Sur les algbres non commutat ives, cf. notamment le chapitre III de l'Essai sur Vunit des sciences mathmatiques dans leur dveloppement actuel. (74) Essai..., 86. (75) Essai..., 150. 66 Catherine Chevalley ment la conviction de Dedekind, celle de Herbrand , tout en tant cependant l'expression (au sens leibnizien) (76) des liaisons entre les Ides. Il y aurait un sol commun immuable de proccupat ions, une permanente possibilit d'prouver le souci d'un mode de liaison entre deux ides et de dcrire phnomnologiquement ce souci, indpendamment du fait que la liaison cherche peut tre ou ne pas tre oprable (77). De tels soucis sont prsents dans toutes les activits d'organi sation symbolique, et notamment dans l'histoire de la philosophie. Sans doute Lautman se souvient-il de la position qu'exprimait Hilbert la Confrence de Paris en 1900, en disant que partout o se prsentent des ides mathmatiques, soit en philosophie, soit en gomtrie, soit en physique, le problme se pose de la discussion des principes fondamentaux bases de ces ides . Mais nulle part mieux que dans les sciences ces soucis ne deviennent intelligibles, parce qu'ils se trouvent projets, comme sur un cran, en organisations rgles par la rigueur logique des thories. L'unit de la science lui vient essentiellement de l'unit des soucis logiques. L'exprience de la science allemande avait pouss Lautman dans un projet philosophique anti-positiviste ; la notion de souci logique lui fournit un accs spculatif vers la comprhension du mystrieux paralllisme entre les math matiques et la physique contemporaines. L'indpendance l'gard d'une ontologie de choses, la primaut de l'abstraction, le privi lge des structures sur les individus dans les thories s'inte rprtent de manire analogue , crit Lautman (78), dans le dveloppement des algbres abstraites et dans celui de la physique quantique. Retour une inspiration grecque, renversement complet (76) Essai sur l'unit des sciences mathmatiques dans leur dveloppement actuel, 57 : c Nous entendons (...) par rapports d'expression les cas o la structure d'un domaine fini et discontinu enveloppe l'existence d'un autre domaine continu ou infini... (77) Essai..., 149. (78) Essai sur Vunit des sciences mathmatiques dans leur dveloppement actuel, 55. Il y a seulement c analogie , parce que, pour Lautman, la coexistence de calculs du continu et de calculs du discontinu produit dans les mathmatiques une < unit pro fonde , alors qu'elle a pour effet en physique la complmentarit des points de vue, c'est--dire leur mutuelle exclusion. Il y a l une diffrence importante, sur laquelle Lautman ne donne pas d'autres indications. Albert Lautman et le souci logique 67 de points de vue, remplacement de la perspective classique attentive construire l'analyse sur la notion de nombre entier et la physique sur celle d'objet lmentaire, par une perspective moderne qui affirme le primat de la notion de domaine et la possibilit d'une physique d'objets mathmatiques. A plusieurs reprises, soit pour affirmer sa dette, soit pour appuyer sa thse, Lautman cite la prface du livre de Hermann Weyl sur la thorie des groupes et la mcanique quantique (79) : Toute cette nouvelle mathmatique, crit notamment Weyl, celle de la thorie des groupes et des algbres abstraites, est anime d'un esprit nettement diffrent de celui de la mathmatique classique qui a trouv dans la thorie des fonctions de variable complexe son plus haut pa nouissement. En ce qui concerne la physique, le continu des nombres rels y conserve bien son privilge inbranlable pour les mesures physiques ; mais le sens profond de la nouvelle mcanique quantique de Heisenberg et de Schrdinger rside n'en pas douter dans le fait d'attacher chaque difice physique un systme propre de grandeurs, une algbre non commut ative au sens mathmatique du terme et dont les lments sont forms par les grandeurs physiques elles-mmes (80). Entre les soucis logiques et les schmas de structure s'tablit ainsi une relation de ratio cognoscendi, ratio essendi : les ^premiers se manifestent dans l'Histoire grce aux seconds, mais les seconds demeureraient inintelligibles dans leur essence sans les premiers. Entre la gense des thories effectives et la dialectique qui domine les mathmatiques, il existe, dit Lautman, un accord ncessaire . Ayant pos ceci en principe, Lautman se contraint penser la forme de cette ncessit. La thse de 1937 fait une tentative pour clairer la causalit propre l'incarnation historique des Ides. Lautman s'efforce en effet d'associer la conception dynamique brunschvicgienne et la conception structurale hilbertienne et d'en proposer une synthse. Le problme de la nature de la ralit mathmatique, pour Lautman, ne se pose ni au niveau des faits, ni celui des tres, mais celui des thories (81). Si l'on considre les thories, cependant, Ton (79) Hermann Weyl, Gruppentheorie und Quantenmechanik (Leipzig : S. Hirzel Verlag, 1928). (80) Je reprends ici la traduction de Lautman qui figure la premire page de L'Essai sur l'unit des sciences mathmatiques dans leur dveloppement actuel. (81) Essai..., 141. 68 Catherine Chevalley s'aperoit que la nature du rel se ddouble et qu'elle consiste d'une part dans le mouvement propre des ides, d'autre part dans les liaisons qui font d'une thorie un systme. Comment unir ces deux aspects ? Revenons l'activit cratrice ; la production de thories s'opre sous la contrainte de ncessits de fait , par un constant renou vellement du sens des notions essentielles (82), et ce progrs de la rflexion rend les paradoxes des mathmatiques et de la physique peu peu intelligibles. Des exemples de telles ncessits de fait sont l'apparition dans l'histoire des mathmatiques des nombres irrationnels, de l'infiniment petit, des fonctions continues sans drives, du transfmi, etc. : admis, tous, par une incomprhens ible ncessit de fait, avant qu'on en et une thorie deductive (83). De mme, en physique, pour les constantes h et c (84). L'action de l'intelligence consiste former des schmas structuraux permettant de relier ces lments au savoir antrieur. La dynamique des genses mathmatiques amne par l mme considrer le point de vue structural, celui de la mtamathmatique de Hilbert (85). Si la conception brunschvicgienne interdit, juste titre, toute dduction a priori du contenu ou de la nature des thories, les ides de Hilbert, bien comprises, permettent de voir les mathmat iques la fois dans leur laboration temporelle et dans leur consis tance interne, en examinant les thories au moyen des notions logiques de non-contradiction et d'achvement (Le. de compl- tude) (86). En commentant le programme mtamathmatique de Hilbert, Lautman prend soin de montrer qu'il procde d'une inspi ration prcisment inverse de celle des logisticiens. Substituant la mthode des dfinitions gntiques celle des dfinitions axio- (82) Essai..., 9. (83) Ibid. (84) Ibid. En effet les constantes c et ft s'imposaient de faon incomprhens ible dans les domaines les plus diffrents, jusqu' ce que le gnie de Maxwell, de Planck ou d'Einstein ait su voir dans la constance de leur valeur la liaison de l'lectricit et de la lumire, de la lumire et de l'nergie . (85) Le terme est introduit par Hilbert dans Das Unendliche, Mathematische Annalen, 95 (1926), 161-190, et Hilbert, Bernays, Ackermann et von Neumann tra vaillent jusqu'en 1930 l'laboration de la Beweistheorie . Lautman connaissait directement ce texte, qu'Andr Weil avait d'ailleurs traduit immdiatement in Ada Mathematica, 48 (fvrier 1926). En outre, il reconnat plusieurs reprises sa dette l'gard de Bernays en ce qui concerne sa connaissance des ides de Hilbert cette poque. (86) Essai..., 8, 12. Cf. aussi le chapitre IV : Essence et existence. Les problmes de la logique mathmatique. Albert Lautman et le souci logique 69 matiques, Hilbert, loin de vouloir reconstruire l'ensemble des mathmatiques 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 (87). En d'autres termes, il laisse la place la nouveaut pour s'exprimer dans des thories qui se grefferaient sur des thories antrieures ou de moindre degr ; il rend compte de la croissance des math matiques en mme temps que de leur harmonie interne. C'est donc en elles-mmes que les thories auraient le principe de leur succes sion, et l'activit cratrice serait alors, au sens strict, une mise en uvre , sous la contrainte de ce principe. Tout devient immanent : de mme que la science est un pro cessus d'incarnation du devenir des Ides et non la copie d'un modle , de mme elle vit d'une vie propre, et non comme la traduction du rel empirique. La dualit de plans (88) entre la mathmatique formalise et l'tude mtamathmatique de ce formalisme libre la comprhension du contenu mathmatique de toute liaison gntique avec les objets rels . Etant en quelque sorte une mathmatique du langage , selon l'expression de Her- brand (89), la mtamathmatique permet de construire un concept logique de thorie. Ou encore : les raisons pour lesquelles une thor ie est une thorie sont maintenant indpendantes de la consid ration du degr d'adquation des propositions de la thorie l'gard du monde . Les lments dterminants sont le choix d'une certaine catgorie d'objets et de relations entre ces objets. Par exemple, crit Herbrand, l'arithmtique tudie les nombres entiers positifs, et la relation fonda mentale qu'elle considre est celle qui relie deux nombres tels qu'on obtient le deuxime en ajoutant un au premier : de mme la gomtrie tudie les points ; la relation fondamentale qu'elle considre est celle qui existe entre trois points quand ils sont sur une mme droite ; et toutes (87) Essai..., 8, 11. (88) Ibid. (89) Jacques Herbrand, Les bases de la logique hilbertienne, Revue de Mtaphys ique et de Morale, 37 (1930), 243-255. Dans une note pour Hadamard, publie in J. Herbrand, Ecrits logiques (Paris : puf, 1968), 215, Herbrand crit que la mta mathmatique apparat comme la thorie mathmatique ayant pour objet l'tude du langage mathmatique . 70 Catherine Chevalley les propositions qu'elle peut noncer peuvent s'noncer, on peut le montrer, avec ces seuls objets et cette seule relation (90). Une thorie mathmatique pourra tre dcrite entirement comme un langage : ses lments seront en effet constitus par un ensemble de signes conventionnels, un systme d'axiomes et un certain nombre de rgles de raisonnement. Les signes sont des signes purs sans signification,- dsignant soit des individus , soit des relations ; les axiomes ou les hypothses de la thorie, ou encore ses propositions primitives , sont des phrases que l'on considre comme vraies et dont on se propose de trouver les cons quences ; les rgles de raisonnement sont celles formalises par Russel et Whitehead. La thorie sera dite non contradictoire s'il n'y a pas de proposition P telle que P et HP soient vraies simultan ment, donc s'il y a compatibilit de l'ensemble des consquences des axiomes. Elle sera complte, ou complte dtermination si, pour toute proposition P, on peut dmontrer soit P soit IP (91). Pour Herbrand qui Lautman doit la conviction qu'il est possible de librer les mathmatiques de toute dtermination extrieure, un monde comprendre ou des intelligibles dvoiler la force de la mtamathmatique hilbertienne est, au-del des difficults de sa ralisation, de concevoir les mathmatiques comme un jeu rgl produisant lui-mme son sens. On considre souvent, crit-il, que, pour qu'une thorie mathmat ique ne soit pas un vain jeu de symboles, (...) elle doit tre la traduction de quelque chose de rel (...). Il ne faut pas se cacher que le rle des mathmatiques est peut-tre uniquement de nous fournir des raisonne ments et des formes, et non pas de chercher quels sont ceux qui s'appl iquent tel objet (92). Mais, philosophe, Lautman reste hant par des problmatiques de lgitimation. D'une part, il reprend entirement les ides de Herbrand et son interprtation de Hilbert ; il cherche mme utiliser la thorie des champs d'individus dveloppe par Herbrand dans sa thse (93) pour introduire un point de vue extensif (90) J. Herbrand, Les bases de la logique hilbertienne, op. cit. Repris in Ecrits logiques, op. cit., 156. (91) Tout ceci est expos galement par Lautman in Essai..., 86 sq. (92) J. Herbrand, cf. n. 90, p. 162. (93) J. Herbrand, Recherches sur la thorie de la dmonstration (1930). Repris in Ecrits logiques, op. cit., 89, 35-153. Albert Lautman et le souci logique 71 l'intrieur du point de vue structural. La notion d'interprtation d'un systme d'axiomes, rfre aux champs de ralisation, lui parat ainsi fondamentale pour allier la fixit des notions logiques et le mouvement dont vivent les thories (94). D'autre part, on le voit dchir par des dsirs contradictoires de ranimation et d'expulsion de la question transcendantale. Dans le texte de 1939, il cherche ainsi dans un Heidegger imparfaitement identifi l'ide d'une relation transcendantale de domination des Ides aux thor ies mathmatiques, qui rendrait compte de 1' manation de celles-ci par une sorte de procession . Quelques lgitimes que soient les objections de Lautman aux positions du nouvel empirisme en pistmologie, sa philosophie ne parvient donc pas sortir d'un idalisme qui hsite devant la thologie. L'uvre de Lautman est certes interrompue de manire tragique et n'a pas pu tenir les promesses que Lon Brunschvicg voyait en elle, crivant en 1943 : Vous m'avez procur quelque chose de bien rare en ce moment, le dsir d'une seconde existence pour essayer de vous suivre loisir jusqu'au bout des chemins que vous frayez (95). Il reste que les choix philosophiques de Lautman engendrent des difficults non rsolues par lui. En ralit, impuis sant trouver une forme de fondation du savoir qui expliquerait l'adquation dcale et toujours reconstruite entre les Ides et les thories, il tend vers l'image d'une spontanit biologique de la connaissance. L'aporie devient manifeste dans la description de la place de l'homme : tantt acteur d'une exprience spirituelle cratrice dans laquelle il retrouve le devenir des Ides, tantt simple milieu qui permet de catalyser la gense des thories successives. CNRS, Lp. 21 Catherine Chevalley. Boston University. ANNEXE I Albert Lautman nat en 1908 et meurt fusill par les Allemands en 1944, l'ge de 36 ans. Il fait ses tudes secondaires Marseille, o il passe le baccalaurat A' et remporte plusieurs prix au concours gnral. (94) Essai..., 12. Pour l'introduction de la mthode t extensive dans la conception structurale, cf. Essai..., 87 sq. (95) Lettre du 26 fvrier 1943. Documents S. L. 72 Catherine Chevalley Aprs son anne de lettres suprieures Paris, au lyce Condorcet o il rencontre Jacques Herbrand , il est reu l'Ecole normale suprieure, en 1926. Prfrant l'tude de la philosophie la direction de l'entreprise de son oncle, que sa famille souhaitait lui confier, il travaille sur des problmes de logique mathmatique, auxquels il consacre son diplme d'tudes suprieures. Il passe plusieurs mois Berlin et Vienne avant l'agrgation. Entre 1933 et 1939, il suit Ulm le sminaire de Gaston Julia. Il avait d'autre part pass un an au Japon sa sortie de l'Ecole, et s'y tait initi aux progrs de la physique mathmatique. Nomm dans l'enseignement secondaire, il soutient ses deux thses en 1937, et les publie immdiatement grce Freymann, directeur cette poque des ditions Hermann. Inquit comme Juif, sauv par l'intervention de Cavaills, il entre cependant dans la Rsistance, est arrt et fusill. 1936 Mathmatiques et ralit , communication au Congrs interna tional de Philosophie scientifique de Paris (1935) (Paris : Hermann). 1936 L'axiomatique et la mthode de division, in Recherches philoso phiques, VI. 1937 De la ralit inhrente aux thories mathmatiques , communic ation au Congrs Descartes de Paris (1937) (Paris : Hermann). 1937 Essai sur les notions de structure et d'existence en mathmatiques (thse principale) (Paris : Hermann). 1937 Essai sur l'unit des sciences mathmatiques dans leur dveloppe ment actuel (thse complmentaire) (Paris i Hermann). 1939 Nouvelles Recherches sur la structure dialectique des mathmatiques (Paris : Hermann). La pense mathmatique. Sance de la Socit franaise de Philo sophie du 4 fvrier 1939 (J. Cavaills et A. Lautman) publie dans le Bulletin de la Socit franaise de Philosophie, 1946. 1946 Symtrie et dissymtrie en mathmatiques et en physique (Paris : Hermann) posthume. 1977 Essai sur l'unit des mathmatiques et divers crits (Paris : Union gnrale d'Editions). Ecrits rassembls par M. Loi. Prfaces de M. Loi, J. Dieudonn et O. Costa de Beauregard. Etudes critiques Mario Castellana, La philosophie des mathmatiques chez Albert Laut man, // Protagora, 115 (1978). Jean Petitot, Morphogense du sens, I (Paris : puf, 1985), 56-61. ANNEXE II Jacques Herbrand nat en 1908 et meurt en juillet 1931, 23 ans, dans un accident de montagne. Reu premier l'Ecole normale sup rieure en 1925, puis premier l'agrgation, il s'attire cependant les cri- Albert Laulman el le souci logique 73 tiques de la Sorbonne au moment de sa soutenance de thse, juge trop philosophique . Cette thse, intitule Recherches sur la thorie de la dmonstration, et publie en Pologne en 1930, est l'aboutissement de rflexions inspires Herbrand par sa lecture de Lwenheim, Skolem, von Neumann et Hilbert. L'objet de Herbrand est d'introduire les nouvelles logiques axiomatiques hilbertiennes en France, et de faire une place , l'algbre dans un enseignement mathmatique entirement domin par l'analyse. Soutenu par les encouragements de Jacques Hada- mard, professeur au Collge de France, Herbrand proteste contre l'ostr acisme dont est victime la logique mathmatique. Il crit ainsi Vessiot, directeur de l'Ecole normale, qu'il ne voit pas pourquoi on refuse droit de cit un travail s'occupant de rsoudre des questions arithmtiques difficiles poses par une thorie que l'on peut certes considrer comme philosophique, tandis que la plupart des chapitres des mathmatiques ont pour origine une question pose par une autre science (lettre du 28 novembre 1930). Malgr ces difficults, la thse de Herbrand lui assure trs vite une rputation internationale. Parti pour l'Allemagne avec une bourse Rockefeller en octobre 1930, il travaille Berlin avec von Neumann, puis Hambourg avec Artin, puis Gttingen avec Emmy Noether. Les lettres qu'il crit pendant cette priode montrent une volution de ses intrts essentiels de la logique vers les mathmatiques, et en 1931 il fait une demande pour aller travailler Princeton auprs du mathmaticien Wedderburn. Mais, revenu en France, il se tue au cours d'une descente dans les Pyrnes. Souvent compar Galois, Herbrand a jou en quelques annes un rle essentiel dans l'histoire des mathmatiques et de la logique contemp oraines. En logique, parti de considrations de |mtamathmatique (donner une thorie concrte de la dmonstration formelle , selon l'expression de Hilbert), il concentre ses recherches sur YEntscheidungs- problem, qui tait l'une des proccupations principales des logiciens des annes 1920 : comment trouver une mthode pour dmontrer qu'une proposition donne est vraie ou non dans une certaine thorie ? Le thorme de Herbrand , qui tablit une relation systmatique entre logique propositionnelle et logique de la quantification et fait usage de mthodes de dmonstration automatiques , forme la base de nom breux travaux actuels concernant le problme de la dcision. Dans son dernier mmoire de logique, sur la non-contradiction de l'arithmtique , publi aprs sa mort, il confronte ses rsultats avec ceux de Gdel relatifs l'impossibilit d'une dmonstration gnrale intuitionniste de la non- contradiction. En mathmatiques, Herbrand s'est, l encore, intress des questions la fois trs abstraites et dveloppes hors de France : la thorie des groupes, la thorie du corps de classes. Il prend galement position dans le dbat entre formalistes et intuitionnistes , en s'oppo- sant tout autant au courant axiomatique et logiciste reprsent par Frege et Russell qu'au courant intuitionniste de Brouwer et Heyting. Ses ides sur la nature des mathmatiques et de la logique, exposes par lui-mme dans un article de la Revue de Mtaphysique et de Morale sur les bases de la logique hilbertienne , ont influenc trs profondment 74 Catherine Chevalley la philosophie mathmatique de Lautman, et, un moindre degr, celle de Cavaills, qui regretta aprs la mort de Herbrand de ne pas avoir su mieux reconnatre l'importance et la nouveaut de ses travaux. Mais Lautman et Cavaills meurent leur tour et l'uvre de Herbrand n'a, pour cette raison, pas encore t mise sa place relle. Nous publions dans ce qui suit deux lettres de Jacques Herbrand adresses Albert Lautman en 1930 et 1931. Nous devons ces lettres la gnrosit de Mme Suzanne Lautman, que nous voudrions ici remercier trs chaleureusement pour son aide et les informations qu'elle nous a donnes. Nous donnons galement ci-dessous une bibliographie critique concer nant Herbrand. L'tablissement de la bibliographie de ses uvres fait partie d'un travail de recherche actuellement en cours (1). Nous voudrions, enfin, rendre hommage ici Jean Van Heijenoort, qui avait accept, avant sa mort en 1986, de travailler avec nous la publi cation d'uvres compltes de Jacques Herbrand. BIBLIOGRAPHIE CRITIQUE A. Lautman et Cl. Chevalley, Notice biographique sur Jacques Herbrand, Annuaire des anciens lves de l'Ecole normale suprieure (1931), 66-68. Cl. Chevalley, Sur la pense de Jacques Herbrand, L'enseignement math matique, 34 (1935-1936), 97-102. J. Dieudonn, Jacques Herbrand et la thorie des nombres, in Proceedings of the Herbrand Symposium-Logic Colloquium 1981 (Amsterdam - New York - Oxford : North-Holland Publ, 1982), 3-7. B. Dreben, S. Aanderaa, Herbrand analysing functions, Bulletin of the American Mathematical Society, 70 (1964), 697-698. B. Dreben, P. Andrews et S. Aanderaa, False lemmas in Herbrand, ibid., 69 (1963), 699-706. B. Dreben, J. Denton, A supplement to Herbrand, The Journal of Symb olic Logic, 31 (1966), 393-398. W. D. Goldfarb, Introduction, in J. Herbrand, Logical Writings (Dor drecht : Reidel, 1971), 1-20. J. Van Heijenoort, Prface, in J. Herbrand, Ecrits logiques (Paris : puf, 1968), 1-12. Id., L'uvre logique de Jacques Herbrand et son contexte historique, in Proceedings..., op. cit., 57-87 (contient une bibliographie trs complte). (1) Sous la responsabilit de H. Sinaceur, P. Engel et C. Chevalley. Albert Lauiman et le souci logique 75 ANNEXE III DEUX LETTRES DE JACQUES HERBRAND ALBERT LAUTMAN (*) Lettre en date de mercredi (Berlin, le 20-XI-30 d'aprs l'enveloppe) Mon cher ami, J'aurai attendu un long temps pour t'crire ; j'espre que tu n'en auras conu aucun doute sur notre amiti, et que tu n'auras pas pris ce ralentissement de nos relations que les circonstances extrieures m'imposrent Paris, et ici mille choses pour un affaiblissement. Elle ne doit pas dpendre de si peu de chose. La vie que je mne ici est bizarre ; le manque absolu de contraintes qu'entrane le fait de vivre seul et isol, le manque de curiosit me donnent l'impression de n'exister (qu') peine ; les jours coulent avec une galit et une fluidit jusqu'ici inconnues. J'ai beau faire, je ne me retrouve pas. Ni les longues rflexions solitaires, ni le travail dsordonn, ne sont revenus, une anne m'a comme chang. Je subis quoique seul le drglement des horaires berlinois, qui me font prendre mes repas des heures inattendues, et me font dcouper mes journes de manire bizarre. Mais ce manque d'quilibre n'est pas que matriel ; je me demande encore ce que je fais ici, comment je passe mes heures ; je crois que je travaille beaucoup ; mais je ne puis arriver compter mes heures de travail. Je me sens inquiet et instable. Je prfrerais un dsespoir cette inconsc ience... J'ai parfois l'impression que je vis, trs lgrement, en marge du monde extrieur, comme dcal d'un e dans une cinquime dimension. Je sors peine ; je n'ai jusqu'ici t qu'une fois au Thtre, jamais au concert. Je vais parfois au cinma, quand deux heures risquent d'tre vides, et qu'il fait trop froid dehors. J'ai pris hier une dcision inattendue, celle d'aller voir le Gottesdammerung Dimanche... Je ne peins que trop mal cet tat nbuleux et incertain de semi-existence que je subis actuelle ment. Mais je ne le pourrais qu'en en prenant pleinement conscience, et j'en serais alors, sans doute, malheureux. Je fais beaucoup de maths. Sans intrt sauf celui que donne l'lan. La moindre question est si complique... Je finis par croire qu'il ne faut rien faire qu' peu prs ; qu'on ne peut rien connatre fond. Tout est trop long ; la vie est trop courte ; il faut inventer en dormant. La Recherche est un jeu d'adresse ; il n'y a pas de vraie intuition : on ne voit jamais tout. Je voudrais passionnment faire autre chose. N'importe quoi qui dtende le corps. Je me sens si us, mon vieux, parfois ; si vieux dj ; je ne me sens ni un corps alerte, ni un esprit vif ; tout rampe en moi. (*) Je remercie Suzanne Lautman de m'avoir communiqu ces lettres. 76 Catherine Chevalleg La vue d'une station de sports d'hiver me donne un frisson d'envie, et d'angoisse. C'est le symbole d'un corps qui bondit, d'un esprit qui joue, d'un cur qui ptille. J'ignore tout cela. Alors, trs prosaquement, je suis rduit ces combinaisons rarement fertiles, et souvent maigres (?) de signes sur du papier blanc. Il est vrai que c'est mon mtier dsormais... Ecris-moi, parle-moi de toi ; j'attends de tes nouvelles. Affectueuse ment. J. H. bei Ehrsmann Mommenstrasse 47 Berlin (Charlottenburg) J'ai vu Hesnard, il y a quinze jours ; trs aimable mais totalement inutile ; il ne m'a donn aucune adresse, et presque aucun renseignement ; Gavaills, que j'ai vu, m'a dit qu'il en fut de mme pour lui. Il donne l'impression d'en avoir assez d'avoir sur le dos tous les tudiants franais de Berlin ; et qu'il lui semble qu'il aura assez fait pour leur corporation d'avoir fond la Maison de France. En dfinitive, je ne connais personne ici, sauf v. Neumann, qui est un type charmant ; mais je ne le vois videm ment que de temps en temps, aprs ses cours. J'ai vu deux ou trois fois Cavaills, qui est reparti ; il gagne tre connu... J. H. Lettre en date de Berlin le 10 mai (1931) Quitte Berlin cette semaine. Mon adresse dsormais Paris, o l'on fera suivre (vais Hamburg et Gttingen) Pourquoi ne t' ai-je pas crit pendant tout ce sjour Berlin ? Tout autre eut cru un loignement, une amiti dfaillante. Tu n'as pas voulu y croire ; je t'en remercie. Si je cherche les raisons qui m'ont empch ou gn, peut-tre est-ce une analyse complte de ma vie actuelle que j'entreprendrais. Mais je crois que j'ai perdu le got de l'introspection. Et celui des mots. J'ai l'impression trs nette de dormir. De dormir depuis bientt deux ans. Est-ce la solitude ? Est-ce l'ennui ? L'impossib ilit de meubler ma vie ? Un peu de tout cela. Tu m'as toujours paru plus exigeant et plus croyant que moi ; maintenant plus que jamais. C'est avec foi qu'on parle. La rigueur ce que j'ai appel moi rigueur entrane le silence. C'est un refus. J'aimerais causer avec toi. J'ai toujours recul de t'crire : l'me est plus nue dans une lettre ; je me sens trop creux actuellement. Peut-tre dois-je accuser aussi Berlin ; cette ville o tout s'mousse, tout s'amortit. N'as-tu pas eu cette impression ? Je n'ai mme pas la consolation d'avoir travaill utilement. Un dplorable manque de gnie. Et bien trop de ce qu'on appelle facilit . Ici je manque Albert Lautman et le souci logique 77 d'opposition ; je manque d'amis et d'ennemis. Je n'ai pas de but en moi- mme ; les seuls que je me sois jamais proposs sont ceux o l'on m'avait sem des obstacles. Tu sais que je ne crois rien ne tends rien. Alors j'ai attendu ces mois. Tu vas partir, me dis- tu, au Japon. Tu crois en l'influence de nouveaux cieux. Tant mieux. Je n'y crois pas. Toi, comme je te connais, peux sans doute, malgr la douceur de cette vie de l-bas, faire quelque chose. Je ne le pourrais pas. Je ne pars pas aux Indes ; j'essaie Princeton. Cela ne me dit rien. S'ennuyer l, ou dans un trou de province. Paris, trop de choses m'en empchent (quoi ? rien de fondamental : certaines questions de fait, qui formrent depuis un an la trame matrielle de ma vie). J'atten drai aussi bien en Amrique qu'en France. Je ne sais pas encore quoi. Peut-tre me marierai-je. C'est mme un projet assez prcis. Cela me fournirait une rgle de vie. J'en ai assez besoin. Ici je ne me sens forc rien. Je suis libre. C'est tout (et encore, il ne faudrait pas que j'essaie de me le prouver ; cela ne serait pas si facile...). Je ne manque que de buts. Mais qui peut m'en proposer ! Excuse tout cela, mon vieux. Gure int ressant ; sinon que je le sais. Je t'ai crit au hasard ; ce que tu eus devin au travers de dix conversations. Ne crois surtout pas que j'ai voulu faire un portrait . J'ai fait ici pour toi et que tu me pardonnes quelques rflexions qu'il est en gnral inutile que je me fasse moi- mme. J'aimerais te revoir. J. H.