Reductio ad absurdum (français)

From RationalWiki
Jump to navigation Jump to search
This is a French translation of Reductio ad absurdum.
Cogito ergo sum
Logique et rhétorique
Icon logic.svg
Articles clés
Logique générale
Mauvaise logique (anglais)

La locution latine Reductio ad absurdum désigne la réduction à l'absurde d'une hypothèse ou d'un argument en poussant les conclusions jusqu'à un certain niveau où elles deviennent impossible à soutenir (car contradictoires), invalidant ainsi l'assertion.

Ce raisonnement trouve ces racines dans la méthode de Socrate, il a été utilisé tout au long de l'histoire des mathématiques, de la logique et de la philosophie.

Pour donner un exemple, discréditer la théorie de la mémoire de l'eau soutenue par les homéopathes en indiquant que si l'eau avait une mémoire, alors n'importe quelle eau effectivement trouvée dans la nature aurait déjà acquise toute les propriétés bénéfiques comme néfaste est une forme de reductio ad absurdum.

Validité et usage fallacieux[edit]

L'utilisation de reductio ad absurdum est valide logiquement pour peu que l'argument/l'hypothèse rendue absurde soit effectivement présent dans la thèse réfutée (sinon paralogisme de l'homme de paille).

L'argumentum ad consequetiam ressemble au reductio ad absurdum sauf que la conséquence n'est pas absurde, elle est juste néfaste d'une manière ou d'une autre, est n'est donc pas valide pour établir des vérités.

Dans les mathématiques[edit]

Dans les mathématiques et en logique formelle, le reductio ad absurdum, aussi connu sous le nom de preuve ou de raisonnement par l'absurde est l'établissement de la vérité d'une propriété en montrant que sa négation aurait des conséquences absurdes.

(Non A implique B et non B implique A)

C'est une méthode de preuve clef depuis Euclide.

exemple :

hypothèse à démontrer : le seul ensemble tel que tous les éléments lui appartenant ne lui appartiennent pas (A) est l'ensemble vide

Soit S un ensemble vérifiant A, on suppose S non vide, alors il existe x appartenant à S et n'appartenant pas à S, donc S doit être vide, donc l'hypothèse est démontrée.

Voir aussi[edit]

Versions en autres langues[edit]

If you're looking for this article in English, it can be found at Reductio ad absurdum.