63 ПРЯМОЕ И КОСВЕННОЕ ДОКАЗАТЕЛЬСТВО

Понимание процесса доказательства – залог успеха в его использовании. Для того чтобы более полно разобраться в процессе доказательства, необходимо проанализировать два его вида: прямое доказательство и косвенное.

Доказательство называют прямым, если аргументы и демонстрация обращены к тезису непосредственно, т. е. если демонстрируется связь аргументов конкретно с тезисами, а не с опосредующим суждением.

Таким образом, в прямом доказательстве можно выделить два этапа:

1) отыскание тех обоснованных утверждений, которые способны быть убедительными аргументами для доказываемого тезиса;

2) установление логической связи между найденными аргументами и тезисом.

Доказательство называется косвенным, если в нем наряду с тезисом имеется еще одно или несколько суждений, к которым и обращает аргументы демонстрация. Часто в косвенном доказательстве применяется такой прием, как выдвижение антитезиса. Доказательство ложности антитезиса ведет к доказательству истинности тезиса. В силу того что косвенное доказательство использует отрицание антитезиса, то оно является доказательством от противного.

Доказательство от противного заключается в постановке антитезиса, выведении из него следствий. Если хоть одно из таких следствий будет ложным, то и сам антитезис будет ложным, а следовательно, исходный тезис должен быть истинным. Однако, помимо доказательства от противного, существуют и другие типы косвенных доказательств:

1)  следствия, противоречащие фактам.

В данном случае ложность антитезиса доказывается несоответствием вытекающих из него следствий действительности. Так, например, доказательство того, что Земля круглая, можно представить следующим образом. Если бы Земля была не круглая, то корабли не могли бы совершать кругосветные путешествия, так как это происходит, то Земля круглая;

2)  внутренне противоречивые факторы.

Если среди следствий из любого суждения встречаются одновременно утверждение и отрицание одного и того же, то это суждение ложно. Так, например, положение «Квадрат – это окружность» ложно, так как согласно чему получается, что квадрат имеет углы и то, что квадрат не имеет углов;