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

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

Широкое употребление понятия «доказательство» само по себе не ведет к недоразумениям. Но только при одном условии. Нужно постоянно иметь в виду, что праводоподобное обобщение, переход от частных фактов к общим заключениям дает не достоверное, а лишь вероятное знание.

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

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

Возникает, таким образом, вопрос о существенном расширении понятия доказательства. Им должны охватываться не только описания, но и утверждения типа оценок, требований.

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

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

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

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

Минимальное требование – это понимание логического выведения как целенаправленной процедуры. Только в этом случае достигается интуитивная ясность того, что мы делаем.

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

Прямое доказательство

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

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

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

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

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

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

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

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

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

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

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

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

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