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