Целенаправленность демонстрации служит исходным основанием для деления всех доказательств. Она предопределяет все построение и характер дальнейшего рассуждения.
Цель эта определяется не произвольно, а в зависимости от содержания обосновываемого положения. Невозможно подтвердить тезис, который не соответствует действительности, нельзя также опровергнуть истинный тезис.
Отсюда различают два рода доказательств:
1) подтверждение тезиса;
2) опровержение тезиса.
По способу аргументации все доказательства делятся на два вида: а) прямые и б) косвенные.
Прямое
доказательство заключается в непосредственном выведении из основания по определенным правилам умозаключения истинности или ложности данного тезиса.Косвенное
доказательство заключается в обосновании ложности или истинности положения, находящегося в определенном отношении с тезисом, и отсюда опосредованно устанавливается истинность тезиса или, наоборот, его ложность.Для наглядности представим приведенные рассуждения в виде схемы:
Рассмотрим каждый вид доказательства более подробно.
Прямым подтверждением тезиса
называется доказательство, в котором истинность тезиса обосновывается непосредственно аргументами. Например, для доказательства тезиса «Для всех преступлений против личной собственности граждан Уголовным кодексом Российской Федерации предусмотрено в качестве санкции лишение свободы» можно привести следующие аргументы:- во-первых, преступления против личной собственности граждан предусмотрены в восьми статьях Уголовного кодекса России: кража, грабеж, разбой, мошенничество и т.д.;
- во-вторых, для каждого из восьми преступлений в качестве санкции предусмотрено лишение свободы.
Поскольку аргументы исчерпывают все разновидности преступлений против личной собственности граждан, то обоснование строится в форме умозаключения полной индукции, в котором из истинных посылок с необходимостью следует истинность заключения. Это - прямое подтверждение выдвинутого тезиса. Оно осуществляется в два этапа: подыскиваются подходящие аргументы, и затем демонстрируется, что из них логически вытекает тезис.
Прямое подтверждение тезиса осуществляется следующими методами:
- дедуктивное
подтверждение тезиса. Его сущность состоит в выведении тезиса из установленной истинности аргументов, в подведении частного случая под общее правило;- индуктивное
подтверждение тезиса. Достигается через полную индукцию, путем исчерпывания всех возможных случаев истинности доказываемого тезиса и обобщения их в едином выводе.Таким образом, при прямом подтверждении тезиса задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает данный тезис.
Косвенным подтверждением тезиса
называется такое доказательство, которое устанавливает истинность доказываемого тезиса, исследуя не сам тезис, а некоторые другие положения, находящиеся с ним в определенных логических отношениях. Эти положения так связаны с доказываемым тезисом, что из установления их ложности необходимо вытекает истинность доказываемого тезиса.Косвенное подтверждение тезиса осуществляется двумя методами:
- апагогическое
подтверждение тезиса, при котором к его истинности приходят путем обоснования ложности антитезиса. Антитезисом называется суждение, противоречащее тезису.Апагогическое подтверждение тезиса проходит следующие этапы: выдвигается антитезис и из него выводятся следствия с намерением найти среди них хотя бы одно ложное; устанавливается, что в числе следствий действительно есть ложное; делается вывод, что антитезис неверен; из ложности антитезиса на основании закона исключенного третьего делается заключение, что выдвинутый тезис является истинным.
Косвенное апагогическое подтверждение тезиса называют еще сведением к абсурду.
Апагогическое подтверждение тезиса довольно часто используется в судебном доказывании. Оно имеет здесь исключительное значение в тех случаях, когда по поводу какого-либо обстоятельства можно выдвинуть только две противоречащих версии. Обоснование ложности одной из них (антитезиса) в таких случаях является убедительным доказательством истинности другой версии;
- разделительное
подтверждение тезиса. Его сущность состоит в том, что доказываемый тезис рассматривается как одно из некоторого числа предположений, в своей сумме исчерпывающих все возможные по данному вопросу предположения.