Логика

И.И. Веревичев

15.4. Доказательство, его структура

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

1) тезис;
2) антитезис;
3) другие виды суждений, альтернативные тезису;
4) аргументы;
5) демонстрация.

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

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

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

Антитезис — это суждение, противоречащее тезису.

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

Альтернативными называются все суждения, которые содержат информацию, отрицающую смысл утверждения (или отрицания), содержащегося в тезисе. Альтернатива (от лат. alter — «один из двух» или от фр. alternative — выбор) означает необходимость выбора между взаимоисключающими обстоятельствми. В формальной логике альтернативами называются и отношения между суждениями, устанавливаемые дизъюнкцией, и сами члены такого отношения. В процессе косвенной аргументации к альтернативным суждениям, помимо суждений, противоположных или противоречащих тезису, можно использовать и суждения, не относящиеся к числу сравнимых с тезисом по логическом квадрату. Например, альтернативными тезису «Жизнь существует только на Земле» могут быть признаны суждения:

— «Жизнь есть везде»;
— «Жизнь существует не только на Земле»;
— «Жизнь не существует только на Земле»;
— «Жизнь существует только на других планетах»;
— «Жизнь существует и на других планетах»;
— «Жизнь существует только на Марсе»;
— «Жизнь существует и на Марсе» и многие другие.

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

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

— аргументы должны быть истинными;
— аргументы должны быть доказанными;
— аргументы должны быть автономными;
— аргументы должны быть достаточными;
— аргументы не должны противоречить друг другу.

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

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

К необходимым условиям логической корректности демонстрации на основе дедуктивных умозаключений следует отнести:

— применение в качестве посылок только истинных суждений;

— применение среди посылок по крайней мере одного общего суждения;

— четкое описание в посылках содержащегося в них теоретического или практического материала;

— соблюдение в демонстрации правил всех используемых модусов или фигур силлогизмов.

К необходимым условиям логической корректности демонстрации на основе индуктивных умозаключений следует отнести:

— использование в качестве исходных посылок только фактического материала;

— проведение обстоятельного анализа ситуаций с особенностями проявлением сходного в различном либо различного в сходном;

— умение правильно отделять существенные признаки явлений от несущественных;

— умение правильно оценивать степень вероятности сделанного вывода.

К необходимым условиям логической корректности демонстрации на основе традуктивных умозаключений следует отнести:

— использование в качестве объектов логического сопоставления только единичных предметов, явлений или процессов;

— действительное установление существенности сравниваемых признаков у сопоставляемых предметов, явлений или процессов;

— умение правильно оценивать степень вероятности сделанного вывода.

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

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