La logique à la croisée des chemins : la controverse Goblot-Rougier sur la nature du raisonnement déductif (1907-1921)

Michel Bourdeau (1)

1 IHPST - Institut d'Histoire et de Philosophie des Sciences et des Techniques

Goblot's Traité de logique has been the reference book in the french universities for almost half a century. Its foreword deals exclusively with the objections raised by a former student of him, Louis Rougier. Against the conservative positions of his professor, Rougier, who was then in his twenties, took side with modern logic, as developped by Couturat, and hilbertian axiomatic method. The paper presents the positions of the two opponents and shows some of the difficulted triggered by the move from ancient philosophical logic to modern mathematical logic, in particular the ambiguities involved in the use of the notion of construction.

Le Traité de logique de Goblot a longtemps servi en France de manuel de référence. Or son Avertissement est tout entier consacré à répondre à des objections qui lui avaient été adressées en 1916 par un de ses anciens étudiants, encore inconnu, Louis Rougier. À son maître, celui-ci opposait les résultats de l'algèbre de la logique ou de l'axiomatique hilbertienne. L'article présente tour à tour les deux positions en présence et montre quelques-unes des difficultés rencontrées dans le passage d'une logique philosophique à une logique mathématique, et en particulier les équivoques qui entourent l'usage qui était fait alors de la notion de construction.

Mots clés: formal logic; proof; axiomatic method; construction

Domaines: Histoire, Philosophie et Sociologie des sciences

Michel Bourdeau. La logique à la croisée des chemins : la controverse Goblot-Rougier sur la nature du raisonnement déductif (1907-1921). Revue d'Histoire des Sciences, 2014, 67-2, pp.311-330. ⟨halshs-00795071⟩