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

(3) Обоснование в форме аналогии — это прямое обоснование тезиса, в котором формулируется утверждение о свойствах единичного явления. Аналогия как способ обоснования используется в естественных и общественных науках, в технике, в практике обычных рассуждений. Здесь она дает, как правило, проблематичные заключения. Метод моделирования в различных областях техники обеспечивает логически обоснованные результаты, если разработаны теоретически оправданные критерии подобия.

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

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

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

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

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

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

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

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

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

Далее из условно принятого за истину антитезиса как из допущения (Т) выводят логически вытекающие следствия (С):

T -> C.

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

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

В итоге из ложности допущения заключают на основе закона двойного отрицания об истинности тезиса Т:

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

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

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