000			01713cam a2200133 4500500
005			20251214003954.0
041			_afre
042			_adc
100	1	0	_aGardies, Jean-Louis _eauthor
245	0	0	_aLe raisonnement par l'absurde
260			_bPresses Universitaires de France, _c1991.
520			_aL'emploi du raisonnement par l'absurde a été source de contestations au cours de l'histoire des sciences. On en propose d'abord ici une définition qui puisse subsumer tous les cas particuliers, puis on montre comment un tel raisonnement indirect peut se retourner en un raisonnement direct qui lui soit logiquement équivalent, ce dont Aristote avait déjà pressenti la possibilité. Cette équivalence des deux procédures incite alors à chercher les raisons pragmatiques qui conduisent à privilégier l'une ou l'autre selon les problèmes ou leur contexte. Tantôt présent, tantôt absent, ce mode d'inférence peut jouer un rôle de révélateur dans l'histoire des mathématiques. Des exemples empruntés à Euclide ou à Archimède, aussi bien qu'à Cantor et aux logiciens modernes, viennent le confirmer. Les résultats obtenus sont l'occasion d'un retour critique sur la faveur ou la défaveur que le recours à l'absurde a rencontrée chez des philosophes comme Platon, Aristote, Descartes, Pascal, Spinoza ou Kant. Structurale et épistémologique, mais constamment référée à l'histoire, la présente étude est de celles qui recherchent dans les conditions mêmes de la connaissance mathématique l'explication de la forme que peut y prendre l'appareil de la preuve.
856	4	1	_uhttps://shs.cairn.info/le-raisonnement-par-l-absurde--9782705922481?lang=fr&redirect-ssocas=7080
999			_c1568086 _d1568086