ÉTUDE ÉPISTÉMOLOGIQUE DE LA DÉMONSTRATION PAR L’ABSURDE

Le présent article a comme thème « Étude épistémologique de la démonstration par l’absurde ». Elle comporte, entre autres, l’épistémologie de la négation qui constitue la base de la démonstration par l’absurde, l’épistémologie de la démonstration par l’absurde, le lien entre la démonstration par l’absurde et d’autres types de démonstration, les types de problèmes mettant en jeu la démonstration par l’absurde et l’analyse institutionnelle de la démonstration par l’absurde. Nous avons également évoqué les conceptions de certains chercheurs sur la démonstration par l’absurde. Les questions de recherche sont libellées comme suit : Qu’est-ce que la démonstration par l’absurde en mathématique ? Existe-t-il un lien entre la démonstration par l’absurde et d’autres types de démonstration ? Existe-t-il des situations qui nécessitent l’utilisation de la démonstration par l’absurde ? Nous avons fait une classification des problèmes qui nous a permis de faire une catégorisation des types de démonstration par l’absurde à savoir les démonstrations par l’absurde directes associées aux questions fermées et les démonstrations par l’absurde indirectes associées aux questions semi-fermées (ou semi-ouvertes). L’analyse institutionnelle nous a permis de faire une revue des programmes maliens au niveau fondamental 2e cycle et au niveau de l’enseignement secondaire général. Nous terminons par une conclusion comportant nos recommandations. La typologie de la démonstration par l’absurde nous permet d’affirmer que la logique mathématique n'est pas la logique naturelle, car elle n'autorise l'esprit à porter, sur ce qui lui est présenté, que deux jugements : tenir la chose affirmée pour vraie ou pour non vraie, toute autre attitude étant exclue (le tiers exclus)