Косвенным называют обоснования тезиса путем установления ложности антитезиса или других конкурирующих с тезисом допущений
Конкурирующими с тезисом (Т) допущениями могут быть две их разновидности: (1) противоречащее тезису суждение, которое называют антитезисом (1 Т), (2) члены дизъюнкции в разделительном суждении, в котором тезис является одним из членов этой дизъюнкции: Т v A v В. Различие в структуре конкурирующих допущений определяет два вида косвенного обоснования: (1) апагогическое и (Т) разделительное. (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: либо одно — либо другое, а третьего не дано. При других видах несовместимости, включая противоположность, апаго-гическое обоснование становится несостоятельным.
|
