Reductio ad absurdum

En logique, la reductio ad absurdum, également appelée argumentum ad absurdum ou arguments apagologiques, est la forme d'argument qui tente d'établir une affirmation en démontrant que le scénario inverse conduirait à l'absurdité ou à la contradiction. Cette forme d'argumentation remonte à la philosophie grecque antique et a été utilisée tout au long de l'histoire dans des raisonnements mathématiques et philosophiques formels, ainsi que dans des débats.