000			02131cam a2200277 4500500
005			20250112054716.0
041			_afre
042			_adc
100	1	0	_aGuillaume, Marcel _eauthor
245	0	0	_aMathematical Logic in France between the Two World Wars: Some Guidelines
260			_c2009.
500			_a74
520			_aThe 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.
690			_agroups
690			_aNicolas Bourbaki
690			_alogic
690			_adeductive theories
690			_aJean Nicod
690			_aunifying theory
690			_aMarc Krasner
690			_astructures
690			_aAlbert Lautman
690			_aJacques Herbrand
786	0		_nRevue d’histoire des sciences | Volume 62 | 1 | 2009-06-01 | p. 177-219 | 0151-4105
856	4	1	_uhttps://shs.cairn.info/journal-revue-d-histoire-des-sciences-2009-1-page-177?lang=en
999			_c215805 _d215805