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

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

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

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

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

˥T → C.

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

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

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

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

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

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

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

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

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

Разделительная аргументация, включая и доказательство, часто применяется в судебно-следственной практике при проверке версий относительно лиц, виновных в совершении того или иного преступления, при объяснении причин возникновения конкретных явлений, при выборе одной из конкурирующих статей в процессе квалификации правонарушений и во многих других случаях.