Сравнимые сложные суждения отличаются тем, что включают в себя одинаковые исходные суждения и различаются логическими связками, включая отрицание. Например, «Судьи и адвокаты имеют юридическое образование» и «Неверно, что судьи и адвокаты имеют юридическое образование». В этих суждениях одинаковые исходные составляющие. Но второе суждение отличается от первого наличием отрицания.
Сложные сравнимые суждения могут быть совместимыми и несовместимыми. К совместимым принадлежат такие сравнимые суждения, которые могут быть одновременно истинными: это эквивалентные, частично совместимые и подчиненные суждения.
В эквивалентных сложных суждениях имеет место то обстоятельство, что при одних и тех же значениях истинности составляющих, они имеют одинаковые значения. Отношение эквивалентности позволяет выражать одни сложные суждения через другие:
¬(А Λ В)≡¬А V ¬В
¬(А V В) ≡ ¬А Λ ¬В
¬(А → В)≡ А Λ ¬В
В частично совместимых суждениях имеет место следующее соотношение: они могут быть одновременно истинными, но не могут быть одновременно ложными.
В отношении подчинения при истинности подчиняющего суждения подчиненное всегда будет истинным.
Между сложными суждениями имеют место и отношения несовместимости (противоположности и противоречия). Несовместимые суждения не могут быть одновременно истинными.
Противоположность – это такое отношение между суждениями, при котором они одновременно не могут быть истинными, но могут быть ложными.
Противоречие – это такое отношение между суждениями, при котором они одновременно не могут быть ни истинными, ни ложными.
3.6. Модальность суждений
Одной из характеристик суждения является модальность. Основная информация, содержащаяся в суждении, находит свое выражение в субъекте, предикате, логической связке и кванторе. Вместе с тем суждение содержит в себе и дополнительную информацию: статус суждения, его обоснованность и т. д. «Модальность – это явно или неявно выраженная в суждении дополнительная информация о степени его обоснованности, логическом или фактическом статусе, о регулятивных, оценочных и других его характеристиках»[103]. Для символической записи модальности используют модальные операторы: общий модальный оператор Мр (р — какое-либо суждение); ◊ – возможность; º – необходимость; К— знание; Vp — (доказано p); Fp — (опровергнуто p); Рр (вероятно p); О – обязывание; F — запрещение; Ρ – разрешение; S— санкции.
В юриспруденции особое внимание уделяется следующим видам модальности: эпистемической, деонтической и алетической.
Эпистемическая модальность характеризует суждение с точки зрения его обоснованности и оснований принятия.
Почему возможно принятие тех или иных суждений? В логике выделяют в качестве оснований для принятия суждения веру и знание. В— модальный оператор, обозначающий веру. В(р) – означает, что суждение принято на основе веры (которая не всегда имеет под собой объективные основания). К(р) – означает, что суждение (р) принято в силу его обоснованности другими суждениями или на основе достоверно установленных эмпирических фактов (знание).
По степени обоснованности суждения делятся на достоверные и проблематичные. Достоверные суждения – это суждения, истинность или ложность которых установлена и обоснована. Vp — означает, что суждение ρ достаточно обосновано; Fp — что суждение ρ опровергнуто.
Известно, что
Vp≡F¬p
V¬p≡Fp
Проблематичные суждения – суждения недостаточно обоснованные, истинность или ложность таких суждений еще точно не установлены. Рр означает «вероятно, р».
Pp≡¬Vp∧¬ Fp
Достоверность или проблематичность суждений играют большую роль в юридической практике. В форме проблематичных суждений формулируются версии об обстоятельствах расследуемых дел, а требование доказанности предъявляется ко всем суждениям, с помощью которых описываются составы преступлений и гражданские правонарушения в судопроизводстве. Оценка обоснованности суждений – неотъемлемая часть деятельности судей, прокурора, следователя, лица, производящего дознание, именно они решают вопрос о допустимости, достоверности каждого доказательства и достаточности их для принятия процессуального решения.