2) Основные виды доказательства

Для эффективного использования логического доказательства в специальной теории и практике необходимо иметь четкое представление о его видах. Отсюда различают два рода доказательств:

1. Подтверждение тезиса;

2. Опровержение тезиса.

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

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

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

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

Например, тезис «Мой друг сдает экзамен по логике» приводим следующие аргументы: «Мой друг - студент философского факультета» и «Все студенты философского факультета сдают экзамен по логике».

Прямое подтверждение тезиса осуществляется следующими методами:

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

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

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

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

Общеизвестными образцами косвенного доказательства от противного, или путем приведения к абсурду, являются некоторые доказательства в геометрии. Например, не имея аргументов для прямого обоснования тезиса о том, что если две прямые параллельны третьей, то они параллельны и между собой, допускаем противное (постулат), а именно, что эти прямые не параллельны между собой. Раз так, значит, они где-то пересекутся между собой и тем самым будут иметь общую точку. В этом случае получается, что через точку, лежащую вне третьей прямой, проходят две прямые, параллельные ей. А это противоречит ранее обоснованному положению, что через точку, лежащую вне прямой, можно провести только одну прямую, параллельную данной. Значит, наше допущение неверно, оно приводит к абсурду, к противоречию с уже известными истинами (или с принятыми аксиомами). Косвенное подтверждение тезиса осуществляется двумя методами:

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

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

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

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

Подтверждению тезиса в доказательстве противостоит его опровержение.

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

1. Прямое опровержение тезиса:

а) опровержение тезиса путем лишения основания. Это достигается:

- разрушением выставленного основания фактами, новыми положениями, законами науки (фактическое лишение основания);

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

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

2. Косвенное опровержение тезиса:

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

б) разделительное опровержение тезиса. Оно строится по схеме:

либо А, либо В, либо С есть Р

А есть Р

Следовательно; ни В, ни С не есть Р

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