14. Отношения между суждениями по логическому квадрату

Основу отношений между суждениями составляет их сходство по содержанию, выражаемое в таких логических характеристиках, как смысл и истинность суждений. В соответствии с этим логические отношения устанавливаются не между любыми, а лишь между сравнимыми суждениями, то есть теми, которые имеют общий смысл. Сравнимыми среди простых суждений являются такие, которые имеют одинаковые термины и различаются по количеству и по качеству. Несравнимыми среди простых суждений являются такие, которые имеют различные субъекты и предикаты. Сравнимые суждения делятся на совместимые и несовместимые. Совместимыми являются суждения, которые одновременно могут быть истинными. Различают три вида совместимости. 1. Эквивалентные суждения выражают одну и ту же мысль в различной форме. Например, «Водитель автомобиля совершил аварию» и «Причина аварии заключается в действиях водителя автомобиля». 2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными. Например, «Некоторые свидетели правдивы» и «Некоторые свидетели не являются правдивыми». 3. Отношения подчинения характерны для суждений, которые имеют общий предикат, а понятия, выражающие субъекты двух таких суждений, находятся в отношении логического подчинения. Например, «Ни один вопрос обучаемого не должен оставаться без ответа» и «Некоторые вопросы обучаемого не должны оставаться без ответа». В данном случае первое суждение будет подчиняющим, а второе - подчиненным. При истинности подчиняющего подчиненное всегда будет истинным. А в целом для них характерны следующие зависимости: - при истинности общего суждения частное всегда будет истинным; - при ложности частного суждения общее суждение также будет ложным; - при ложности общего суждения частное неопределенно; - при истинности подчиненного частного суждения общее неопределенно. Перейдем к рассмотрению отношений между несовместимыми суждениями. Несовместимыми являются суждения, которые одновременно не могут быть истинными. Различают два вида несовместимости. 1. Несовместимость как противоположность характерна для суждений, выражающих противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными. Например, «Все адвокаты юристы», «Ни один адвокат не является юристом». Истинность одного из противоположных суждений определяет ложность другого. К примеру, истинность суждения «Все граждане обязаны соблюдать закон» сразу же делает ложным суждение «Ни один гражданин не обязан соблюдать закон». При ложности одного из противоположных суждений другое остается неопределенным. Оно может быть как истинным, так и ложным. 2. Противоречие как несовместимость характерно для суждений, исключающих друг друга. Они одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным. Например, «Все судьи являются подкупными» и «Некоторые судьи не являются подкупными». Отношение между простыми суждениями обычно иллюстрируют с помощью схемы, получившей название логического квадрата. Логический квадрат (квадрат противоположностей) - это диаграмма, служащая для мнемонического запоминания логических отношений между видами суждений по объединенной классификации. Вершины квадрата обозначают вид суждения А, Е, О, I; стороны и диагонали символизируют логические отношения между простыми суждениями (кроме эквивалентных). Верхняя сторона есть отношение между А и Е - противоположность; нижняя сторона - отношение между I и О - частичная совместимость; две вертикальные стороны - отношения между А и I (левая), Е и О (правая) - подчинение; диагонали - отношения между А и О, Е и I -противоречие.

Сравнимые среди сложных - это суждения, которые имеют одинаковые составляющие и различаются типами логических связок, включая отрицание. Например, «Норвегия или Швеция являются членами НАТО» и «Неверно, что Норвегия и Швеция являются членами НАТО». Сравнивать эти суждения можно потому, что у них общие составляющие, хотя по логической форме они отличаются друг от друга: первое из них - разделительное суждение, второе - отрицание соединительного суждения. Наличие общих составляющих позволяет сопоставить их по смыслу и установить зависимости по истинности. Несравнимыми среди сложных являются суждения, которые частично или полностью различаются составляющими их простыми суждениями. Например, нельзя сравнивать следующие два суждения: «Гражданин Российской Федерации не может быть лишен своего гражданства или права изменить его» и «Человек, его права и свободы являются высшей ценностью». Различия в составляющих не позволяют установить смысловую и истинную зависимость между суждениями. Между сложными суждениями складываются такие же виды отношений, как между простыми. Характеры этих отношений определяются с помощью таблиц истинности *.