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




La logique à la croisée des chemins : la controverse Goblot-Rougier sur la nature du raisonnement déductif 1907-1921 - Download this document for free, or read online. Document in PDF available to download.

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

Abstract : 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.


Résumé : 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.


Keywords : axiomatic method construction formal logic proof





Author: Michel Bourdeau -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents