Reductio ad absurdum
La reductio ad absurdum est un procédé de démonstration indirecte par l'absurde : on suppose la négation de la conclusion à établir, puis on montre que cette supposition mène à une contradiction, ce qui force à admettre la conclusion. Aristote la formalise dans les Premiers Analytiques (I, 23). Relevant de la logique, elle est illustrée par des preuves classiques telles que l'irrationalité de la racine de deux et l'infinitude des nombres premiers, dont Euclide donne la démonstration de référence.
- Type
- Notion de logique
- Nom latin
- reductio ad absurdum
Description
Démonstration indirecte par l'absurde : nier la conclusion conduit à contradiction (Aristote, Premiers Analytiques I,23).
Fiches liées
Dans les cours
Catégorie : Notion