Материалы » Доказательство и его разновидности » Прямое и косвенное доказательство

Прямое и косвенное доказательство
Страница 2

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

Например, нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из таких положений выводим, что сумма углов четырехугольника равна 360°.

В построении прямого доказательства можно выделить два связанных между собою этапа: отыскание тех, признанных обоснованными утверждений, которые способны быть убедительными аргументами для доказываемого положения; установление логической связи между найденными аргументами и тезисом. Нередко первый этап считается подготовительным и под доказательством понимается дедукция, связывающая подобранные аргументы и доказываемый тезис. [7, c. 87-88]

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

Косвенное доказательство

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

Как с иронией замечает американский математик Д. Пойа, «косвенное доказательство имеет некоторое сходство с надувательским приемом политикана, поддерживающего своего кандидата тем, что опорочивает репутацию кандидата другой партии». [1, c. 54-56]

В косвенном доказательстве рассуждение идет как бы окольным путем. Вместо того чтобы Прямо отыскивать аргументы для выведения из них доказываемого положения, формулируется антитезис, отрицание этого положения. Далее тем или иным способом показывается несостоятельность антитезиса. По закону исключенного третьего, если одно из противоречащих друг другу утверждений ошибочно, второе должно быть верным. Антитезис ошибочен, значит, тезис является верным.

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

Допустим, нужно построить косвенное доказательство такого весьма тривиального тезиса: «Квадрат не является окружностью». Выдвигается антитезис: «Квадрат есть окружность». Необходимо показать ложность этого утверждения. С этой целью выводим из него следствия. Если хотя бы одно из них окажется ложным, это будет означать, что и само утверждение, из которого выведено следствие, также ложно. Неверным является, в частности, такое следствие: у квадрата нет углов. Поскольку антитезис ложен, исходный тезис должен быть истинным.

Другой пример. Врач, убеждая пациента, что тот не болен гриппом, рассуждает так. Если бы действительно был грипп, имелись бы характерные для него симптомы: головная боль, повышенная температура и т.п. Но ничего подобного нет. Значит, нет и гриппа.

Это опять-таки косвенное доказательство. Вместо прямого обоснования тезиса выдвигается антитезис, что у пациента в самом деле грипп. Из антитезиса выводятся следствия, но они опровергаются объективными данными. Это говорит, что допущение о гриппе неверно. Отсюда следует, что тезис «Гриппа нет» истинен.

Страницы: 1 2 3


Смыслы жизни личности
Проблема смысла жизни относится к числу междисциплинарных. Она является одной из традиционных проблем философии, теологии, активно обсуждается в художественной литературе. Для психологии важно понять, что представляет собой смысл жизни как психологическая реальность. Понятно, что это особое смысловое образование личности. Это центрально ...

Архетипы
Архетип (греч. αρχετυπον от «αρχη» – «начало» и «τυποζ» – «образ») – в позднеантичной философии (Филон Александрийский и др.) прообраз, идея. Юнг высказал гипотезу о том, что коллективное бессознательное состоит из мощных первичных психических обр ...

Игры и упражнения как методы формирования культурно-гигиенических навыков и навыков самообслуживания у детей дошкольного возраста с нарушением интеллекта
Занятия по формированию культурно-гигиенических навыков и навыков самообслуживания должны носить игровой характер, однако они имеют определенные цели и задачи, средства их осуществления и тем самым принципиально отличаются от игры. Для обучения через игру и созданы дидактические игры. Главная их особенность состоит в том, что задание ре ...

Категории