Логика: учебник для юридических вузов

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

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

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

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

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

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

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

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

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

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

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

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

˥T → C.

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

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

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

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