Схема № 2. Как видим, в прямом доказательстве подбираются аргументы

Как видим, в прямом доказательстве подбираются аргументы, прямо направленные на обоснование тезиса, При этом порядок их расположения, необходимые и доставочные условия доказательности нормативно не определяются. Построение такого доказательства не вызывает, как правило, особых затруднений. Однако отсутствие внешних ограничений приводит к множеству ошибок. Например, аргументов может быть мало или слишком много, степень их доказательности недостаточна или избыточна.

Косвенное доказательство - это обоснование истинности тезиса с помощью антитезиса - суждения, противоречащего тезису. Мы обосновываем ложность антитезиса и, опираясь на закон исключенного третьего, гласящего, что из двух противоположных суждений одно обязательно истинно, и одновременно, доказываем истинность противоречащего ему утверждения - тезиса. Выделяют два вида косвенного доказательства – «от противного» и разделительное доказательства (или методом исключения). Косвенное доказательство «от противного» осуществляется путем установления ложности противоречащего тезису суждения не-А (или А).

Пример доказательства «от противного»»: «Я родился трусом, - сказал Лев. Конечно, все считают меня храбрым: ведь лев – царь зверей. Но если бы слон или тигр напал на меня, я бы испугался» (А.М. Волков). Доказательство «от противного» строится по следующей схеме:

1) временно предполагается истинность антитезиса (не-Т);

2) из антитезиса при помощи обычных средств дедукции выводится суждения-следствия типа А и одновременно суждения-следствия типа не-А, соответствующие ранее доказанным теориям, фактическому положению вещей и т.д.;

3) устанавливается наличие противоречия между суждениями-следствиями типа А и не-А;

4) выводится заключение о ложности антитезиса;

5) по закону двойного отрицания из ложности не-Т получаем истинность Т.

Апагогическое косвенное доказательство (от противного), основанное на применении закона исключенного третьего. Наглядно доказательство «от противного» можно изобразить так:

Дата добавления: 2015-07-25