Многие истинные положения принимаются за таковые только после того, как их докажут. Вместе с тем часто встречаются ложные утверждения, которые отвергаются только после того, как их опровергнут. Иначе говоря, далеко не все высказываемые мысли являются очевидно истинными или очевидно ложными. Как же логически убеждать в истинном и выявлять ложь? На этот вопрос отвечает логическое учение о доказательстве. Собственно само доказательство интересует только в контексте к опровержению, а потому имеет смысл остановиться на нем несколько подробнее.
Структура доказательства включает в себя три части: тезис, аргументы (или основания) и демонстрацию (способ доказательства). Тезис доказательства - положение, которое доказывают. Аргументы - это суждения, при помощи которых ведут доказательство тезиса. Демонстрация (способ доказательства) - формы умозаключений, применяемые при выведении тезиса из аргументов.
Например:
число 4 - число рациональное
Все четные числа - натуральные числа
4 - число четное
Следовательно, 4 - число натуральное
Все натуральные числа - рациональные числа
4 - число натуральное
Следовательно,4 - число рациональное
Тезис доказательства здесь: "число 4 - рационально число". Первые пять суждений - аргументы доказательства. Демонстрация - два категорических силлогизма первой фигуры.
Доказательства бывают прямые и косвенные. Прямое доказательство состоит в том, что из данных аргументов по правилам умозаключений непосредственно выводится тезис. Приведенное выше доказательство - пример прямого доказательства. Не всегда представляется возможным доказать какое-либо положение прямым способом. Тогда прибегают к косвенному доказательству, которое обычно заключается в том, что сначала доказывают ложность антитезиса, т.е. суждения противоречащего тезису, а затем из ложности антитезиса делают вывод об истинности тезиса. Чтобы показать, что антитезис ложен, выводят из него следствие, которое оказывается противоречащим ранее установленным положениям. Но если следствие ложно, ложна и посылка (антитезис). Опираясь на закон исключенного третьего, из ложности антитезиса заключают об истинности тезиса. Этот прием доказательства носит еще название "приведение к нелепости" (reductio ad absurdum)
Например:
Допустим, что надо доказать положение: "Земля не является плоскостью". Временно примем за истинное противоречащее ему суждение (антитезис): "Земля является плоскостью". Из этого суждения следует, что, например Полярная звезда должна быть видна везде одинаково высоко над горизонтом. Последнее, однако, противоречит установленному факту: на различной географической широте высота Полярной звезды над горизонтом различна. Значит антитезис неверен. Но тогда остается на основе исключенного третьего признать, что истинен тезис "Земля не является плоскостью".
|