Прямое и косвенное доказательство
Процесс доказательства может быть прямой или косвенный. В прямом доказательстве мы выводим истинность тезиса из истинности аргументов при помощи умозаключения; непрямое, или апагогическое, доказательство выводит истинность тезиса из невозможности допустить или признать истинность положения, противоречащего тезису. Именно, в непрямом доказательстве мы берём положение, противоречащее тезису, и предполагаем его истинным (такое положение называется антитезисом). Затем из этого положения выводим следствия, которые приводят к противоречию с данными или признанными положениями. Вследствие этого нам приходится отвергнуть истинность противоречащего положения, которое мы предположительно допустили, а отсюда будет следовать истинность тезиса. Таким образом доказывается тезис.
Возьмём пример из математики. Требуется доказать, что в треугольнике, в котором два угла равны, противолежащие им стороны также равны. Пусть в треугольнике АВС угол а равняется углу b, и пусть противолежащие им стороны будут АС и ВС. Нам нужно доказать, что АС == ВС. Это есть тезис. Возьмём положение, противоречащее тезису: «АС не равняется ВС». Это будет антитезис; тогда из этого последнего положения (согласно теореме, что во всяком треугольнике против большего угла лежит большая сторона) будет следовать, что угол а должен быть или больше, или меньше угла b. Но так как этот, вывод противоречит принятому нами положению, то антитезис, является ложным; тогда истинным должно быть положение, противоречащее ему, именно тезис. Такого рода доказательство называется также reductio ad impossibile или reductio adabsurdum.
предыдущаяследующая