Отношения совместимости

К совместимым относятся суждения А и I, E и О, которые одновременно могут быть истинными. Разли­чают три вида совместимости: (1) эквивалентность (полная совместимость), (2) частичная совместимость (субконтрарность) и (3) подчинение.

1. Эквивалентными являются такие суждения, ко­торые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утверди­тельную или отрицательную — связку, одну и ту же выра­женную квантором количественную характеристику. С по­мощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.

Различия между высказываниями, содержащими про­стые эквивалентные суждения, проявляются главным образом словесно. Например, различными словами могут быть выра­жены кванторы: «некоторые», «иногда», «как правило» и т. п.;

использованы синонимы для выражения субъекта или преди­ката; суждения могут быть сформулированы на различных национальных языках: «Это стол», «It is a table». Эту особен­ность эквивалентных суждений надо учитывать при анализе правовых контекстов, при переводах с одного языка на другой, при сравнении словесно различных утверждений в процессе дискуссии.

2. Частичная совместимость характерна для суж­дений I и О, которые могут быть одновременно истин­ными, но не могут быть одновременно ложными.

При ложности одного из них другое будет истинным:

┐I -» O; ┐O -» I. Например, при ложности суждения «Некоторые злаки ядовиты» будет истинным суждение «Некоторые злаки не являются ядовитыми». В то же время при истинности одно­го из частных суждений другое может быть как истинным, так и ложным: I -> (O v ┐O); O -> (I v ┐I).

3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.

При истинности общего суждения частное всегда будет истинным: А -» Е; Е -» O. Например, при истинности общего суждения «Всякое правоотношение регулируется нор­мами права» истинным будет и частное — «Некоторые право­отношения регулируются нормами права». При истинности суждения «Ни один кооператив не относится к государствен­ным организациям» будет истинным и суждение «Некоторые кооперативы не относятся к государственным организациям».

При ложности частного суждения общее суждение также будет ложным: ┐I -» ┐A; ┐O -» ┐Е. Например, если неверно утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утвержде­ние «Всякое хищение совершается по неосторожности».

При подчинении остаются неопределенными сле­дующие зависимости: при ложности общего суждения под­чиненное частное может быть как истинным, так и ложным:

┐A -» (I v ┐I); ┐E -» (O v ┐O);

при истинности подчиненного частного общее может быть как истинным, так и ложным:

I -» (A v ┐A); O -» (E v ┐E).

Дата добавления: 2014-01-11