Логика - [69]

(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) Разделительным называют косвенное обоснование тезиса, выступающего членом дизъюнкции, путем установления ложности и исключения всех других членов дизъюнкции.

В отличие от апагогического в разделительном обосновании фигурируют не два (Т и ˥Т), а несколько положений — Т, В, С, каждое из которых претендует на роль тезиса и полностью или частично исключает все другое.

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

Разделительное обоснование состоятельно лишь в том случае, если дизъюнктивное суждение является полным, или закрытым: < Т ∨ В ∨ С >. Если же рассматриваются не все варианты решения, то метод исключения не обеспечивает достоверность тезиса, а дает лишь проблематичное заключение.