Отношение совместимости. К совместимым относятся суждения, которые одновременно могут быть истинными
К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1)эквивалентность(полная совместимость), 2)частичная совместимость (субконтрарность) и 3)подчинение.
1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и ту же выраженную квантором количественную характеристику.
Различия между высказываниями, содержащими простые эквивалентные суждения, проявляются главным образом словесно. Например, различными словами могут быть выражены кванторы: «некоторые», «иногда», «как правило» и т.п.; использованы синонимы для выражения субъекта или предиката; суждения могут быть сформулированы на различных национальных языках: «Это стол», «It is a table».
2. Частичная совместимость характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
При ложности одного из них другое будет истинным: 1 I->O;
1 O->I. Например, при ложности суждения «Некоторые злаки ядовиты» будет истинным суждение «Некоторые злаки не являются ядовитыми». В то же время при истинности одного из частных суждений другое может быть как истинным, так и ложным: I—>(0 v 1 О);
O->(I v1 I).
3. Подчинение имеет место между суждениями А и I, E и О. Для них характерны следующие две зависимости.
При истинности общего суждения частное всегда будет истинным: А—>1, Е—>0. Например, при истинности общего суждения «Всякое правоотношение регулируется нормами права» истинным будет и частное — «Некоторые правоотношения регулируются нормами права».
При ложности частного суждения общее суждение также будет ложным: 1I->1A; 1O->1E. Например, если неверно утверждение, что «Некоторые хищения совершаются по неосторожности», то тем более будет неверным утверждение «Всякое хищение совершается по неосторожности».
Не нашли, что искали? Воспользуйтесь поиском:
|