LogoTeluq
Français
Logo
Open access research
publication repository

Lu pour vous : Syllogistic Logic and Mathematical Proof [r-libre/3275]

Morneau-Guérin, Frédéric (2023). Lu pour vous : Syllogistic Logic and Mathematical Proof. Bulletin AMQ, LXIII (4), 51-56.

File(s) available for this item:
[img]  PDF - BulletinAMQ-Vol63no4-51-56.pdf
Content : Published Version
 
Item Type: Journal Articles
Refereed: No
Status: Published
Abstract: Parmi les réalisations intellectuelles les plus remarquables issues de la Grèce au cours de l’Antiquité, on retrouve indiscutablement la conceptualisation et l’érection de la logique en tant que discipline, codifiée par Aristote dans six traités connus sous le nom d'Organon, ainsi que le développement de la preuve mathématique qui s’incarne notamment dans les Éléments d'Euclide puis dans nombre d’ouvrages ultérieurs. Curieusement, on peine à trouver, dans les écrits antiques, la moindre manifestation d’une relation soutenue entre la démonstration logique et la preuve mathématique. C’est comme si ces deux traditions s'étaient développées sur des bases relativement autonomes. Il s’avère en effet que les textes logiques grecs (et, dans la foulée, les contributions médiévales qui s’en inspirent grandement) n'accordent pratiquement aucune attention à la preuve mathématique en tant que telle. Cela est d’autant plus étonnant que, dans l'Organon, on retrouve de nombreuses déclarations programmatiques indiquant à première vue une analyse approfondie des démonstrations mathématiques sinon de la part d'Aristote, à tout le moins de ses suivants. Cependant, lorsque des exemples mathématiques sont employés, ceux-ci servent généralement à discuter de questions spécifiques qui ne remettent pas en question l'hypothèse générale, fortement soutenue par Aristote, selon laquelle tous les types d'arguments valides, y compris les preuves mathématiques, sont, ou peuvent être rendus de manière syllogistique.
Depositor: Morneau-Guérin, Frédéric
Owner / Manager: Frédéric Morneau-Guérin
Deposited: 30 May 2024 13:18
Last Modified: 24 Sep 2025 12:37

Actions (login required)

RÉVISER RÉVISER