Способы доказательства

По способу обоснования тезиса различают две разновидности доказательств: прямое и косвенное.

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

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

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

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

Косвенное (непрямое) доказательство — это доказательство, в котором истинность выдвинутого тезиса обосновывается путем доказательства ложности антитезиса. Антитезисом называют противоречащее тезису суждение, которое может принимать одну из следующих форм. В одном случае это альтернативное для тезиса суждение. Например, для тезиса Т антитезисом будет его отрицание — . В другом случае антитезис бывает представлен не совпадающими с тезисом членами дизъюнкции. Например, в разделительном суждении А V В V С для тезиса А антитезисами будут В и С.

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

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

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

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

В отличие от апагогического в разделительном доказательстве фигурируют не два (Т и ), а несколько положений — Т, В, С, каждое из которых претендует на истинность и полностью или частично исключает все другие. Обоснование тезиса строится в этом случае по методу исключения. В процессе аргументации показывают несостоятельность всех членов дизъюнкции, кроме одного. Тем самым косвенно обосновывают истинность оставшегося тезиса. Рассуждение протекает в форме отрицающе-утверждающего модуса (tollendo ponens) разделительному категорического умозаключения:

< Т V В V С>, ,

Т

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