Une forme de démonstration indirecte en logique classique qui établit la vérité d'une proposition P en supposant sa négation (¬P), en déduisant de cette supposition une contradiction ou une falsité explicite, puis en concluant que ¬P est intenable et que P doit être retenue dans le cadre logique adopté.

Principe

Si supposer ¬P entraîne logiquement une contradiction, alors ¬P est incompatible avec les prémisses de référence et P est acceptée (la logique classique suppose la non-contradiction et, généralement, le tiers exclu pour cette inference).

Démonstration

Scénario illustratif — Situation : On veut prouver qu'il n'existe pas de plus petit nombre rationnel positif. Reconnaissance : Supposer le contraire, qu'un tel plus petit r existe. Action : Montrer que r/2 est un rationnel positif plus petit, ce qui contredit la minimalité. Conséquence : L'hypothèse d'un plus petit rationnel positif est intenable ; donc aucun tel nombre n'existe (preuve indirecte classique).

Mauvaise application

Confondre une conséquence surprenante ou peu plausible avec une contradiction formelle, ou considérer qu'une preuve produisant ¬¬P prouve P dans un contexte constructif ou intuitionniste où ¬¬P n'implique pas P.

Conséquence

Permet d'établir indirectement des résultats d'impossibilité ou d'existence, souvent en simplifiant la démonstration en transformant une construction directe difficile en une démonstration d'incohérence de l'hypothèse contraire.

Inversion

Doit être qualifiée dans les logiques non classiques : en logique intuitionniste, ¬¬P n'entraîne pas nécessairement P ; en logique paraconsistante, une contradiction n'implique pas la trivialité du système, de sorte qu'une reductio ne force pas le rejet de l'hypothèse.

Limite

Clairement dans le champ : preuves formelles en mathématiques classiques dérivant une contradiction d'une négation supposée. Cas limite : arguments informels montrant une hypothèse très peu plausible mais sans contradiction formelle — l'applicabilité dépend du statut des prémisses. Clairement hors : preuves constructives fournissant directement un témoin ou une construction pour P.

Tension sémantique

Tension entre les standards classique et constructif/paraconsistant : adhésion au tiers exclu et à la non-contradiction contre exigence de constructions explicites et tolérance des contradictions.

Synthèse

La preuve par l'absurde exploite l'impossibilité d'une hypothèse pour établir sa négation dans les cadres classiques ; son efficacité dépend donc des engagements logiques adoptés, ce qui en fait une méthode indirecte puissante mais sensible au choix du système logique.