Косвенным называют обоснования тезиса путем установле­ния ложности антитезиса или других конкурирующих с тезисом допущений.

Конкурирующими с тезисом (Т) допущениями могут быть две их разновидности: (1) противоречащее тезису суждение, которое назы­вают антитезисом (1 Т), (2) члены дизъюнкции в разделительном суждении, в котором тезис является одним из членов этой дизъюнк­ции: Т v A v В.

Различие в структуре конкурирующих допущений определяет два вида косвенного обоснования: (1) апагогическое и (Т) раздели­тельное.

(1) Апагогическим¹ называют обоснование тезиса путем у ста­новления ложности противоречащего ему допущения — антите­зиса. Аргументация в этом случае строится в три этапа.

Первый этап. При наличии тезиса Т выдвигают противоречащее ему положение — антитезис 1 Т; условно признают его истинным (допущение косвенного доказательства — ДКД) и выводят логичес­ки вытекающие из него следствия.

Тезис и антитезис могут быть выражены в форме различных суждений. Так, для тезиса в форме единичного утвердительного суждения «Н. виновен в совершении данного преступления» антите­зисом будет отрицание этого суждения: «Н. не виновен в соверше­нии данного преступления». Антитезисом для единичного утверди­тельного суждения может быть и утвердительное суждение, если в нем речь идет о несовместимых свойствах одного и того же явления. Например, отношение противоречия имеет место между тезисом «Преступление совершено умышленно» и антитезисом «Преступле­ние совершено неосторожно».

Если тезис представлен общеутвердительным суждением — «Все S суть Р», то антитезисом будет противоречащее ему частноотрица-тельное суждение: «Некоторые S не суть Р». Для общеотрицательно­го тезиса «Ни одно S не есть Р» антитезисом выступает частноутвер-дительное: «Некоторые S суть Р» (см. об этом раздел о логическом квадрате).

Апагогический —от греческого «отводящий», «уводящий». 205

Если тезис представляет собой сложное суждение, например, ' дизъюнкцию р v q, то антитезисом будет отрицание этого выраже­ния 1 (р v q) или эквивалентная ему конъюнкция 1 р л 1 q. Например, для тезиса «В данном случае имело место убийство или самоубийст­во» антитезисом будет высказывание: «Неверно, что в данном слу­чае имело место убийство или самоубийство». Эквивалентным ему высказыванием будет следующее: «В данном случае не было ни убийства, ни самоубийства».

Далее из условно принятого за истину антитезиса как из допуще­ния (1 Т) выводят логически вытекающие следствия (С). На схеме это можно представить в следующем виде:

1Т-^С.

Второй этап. Логически выведенные из антитезиса следствия сопоставляют с положениями, истинность которых ранее установле­на (F). В случае же несовпадения отказываются от этих следствий.

В качестве F могут быть достоверно выявленные факты, аксиома­тические очевидности, научные данные. В случае несовместимости следствий с этими данными приоритет остается за истинными поло­жениями, а логически выведенные из допущения следствия расцени­ваются как ложные: '•"

СУ F, F, ' • 1C •

Третий этап. Из ложности следствий логически заключают о ложности допущения. Рассуждение протекает в форме отрицающе­го модуса условно-категорического умозаключения:

1Т^С, 1С

пт

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

ЦТ Т

Пример такого рассуждения: «Из ложности высказывания о том, что данный поступок является неправомерным, следует что он впол­не правомерен».

Апагогический вид косвенного обоснования применяется лишь в том случае, если тезис и антитезис находятся в отношении противо­речия, когда по закону исключенного третьего действует принцип

tertium поп datur: либо одно — либо другое, а третьего не дано. При других видах несовместимости, включая противоположность, апаго-гическое обоснование становится несостоятельным.