Revue d’histoire des sciences. Vol. 62. N° 1. p. 177-220. La logique mathématique en France entre les deux guerres mondiales : Quelques repères.

English Title : Mathematical Logic in France between the Two World Wars: Some Guidelines.

Auteur : Guillaume Marcel

Résumé

Dans cet article, l’auteur présente en particulier Jacques Herbrand, mort à 23 ans après avoir démontré un théorème fondamental qui porte aujourd’hui son nom ; ainsi qu’un large débat entre philosophes, mathématiciens et physiciens stimulés en 1935 et 1937 par la tenue à Paris de deux congrès consacrés, totalement ou en partie, à la philosophie des sciences. Paulette Février y esquisse une logique non classique où l’on postule l’existence de couples de propositions non composables pour ériger en principes les relations de Werner Heisenberg. Jean-Louis Destouches développe cette conception jusqu’à décrire comment édifier une théorie unifiante. La structuration des êtres mathématiques est l’objet d’études philosophiques d’Albert Lautman. Le rôle putatif de la notion de groupe en logique est interrogé. La notion de structure mathématique est l’objet de deux contributions : Marc Krasner généralise les conceptions d’Evariste Galois, attribuées à la logique et étendues à des langages infinitaires ; Nicolas Bourbaki, compte tenu de l’évolution des mathématiques, qualifie de structure ce que nous appelons aujourd’hui un modèle.

Abstract

The culminating point of a first period under Alessandro Padoa’s and Bertrand Russell’s mixed influences in France lies in Jean Nicod’s philosophical essays. During a second period, Jacques Herbrand’s mathematical work blossoms. Before his early death, he had given his name to a fundamental theorem. Follows a period of debates among philosophers, mathematicians and physicists, stimulated in 1935 and 1937 by two congresses, totally or partially devoted to the philosophy of science, held in Paris. On that occasion, Paulette Février sketched a non-classical logic in which the existence of pairs of propositions that cannot be composed is postulated in order to set up Werner Heisenberg’s relations as principles. These ideas are developed by Jean-Louis Destouches to the point of describing how to build a unifying theory. The structuring of mathematical beings is the subject matter of Albert Lautman’s philosophical studies. The putative role of the notion of group in logic is examined. The notion of mathematical structure gives rise to two contributions: Marc Krasner generalizes Évariste Galois’ ideas, attributed to logic and extended to infinitary languages; Nicolas Bourbaki, taking into account the evolution of mathematics, designates under the term structure what we now call model.

Notes

Article de Revue d’histoire des sciences n° 62-1.

Cet article est en libre accès sur le site https://www.cairn.info/revue-d-histoire-des-sciences.htm

Données de publication

Éditeur Armand Colin Paris , 2009 Format 16 cm x 24 cm, p. 177-220

ISBN 2-200-92598-0 EAN 9782200925987 ISSN 0151-4105

Public visé chercheur, élève ou étudiant, enseignant Niveau master Âge 21, 22, 23

Type article de périodique ou revue Langue français Support papier

Classification