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




La logique à la croisée des chemins : la controverse Goblot-Rougier sur la nature du raisonnement déductif 1907-1921 - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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





Autor: Michel Bourdeau -

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



DESCARGAR PDF




Documentos relacionados