Субъект и предикат называются терминами суждения. Термин называется распределённым, если рассматривается в суждении в полном объёме. В полном объёме - значит, что объём данного термина либо полностью включается в объём другого, либо полностью исключается из него. Распределённость представлена в табл.
Субъект (S) | Предикат (P) | |
A | + | - (+) |
E | + | + |
I | - | - (+) |
O | _ |
20. Отношение между простым суждения. "Логический квадрат"
Сравниваемые суждения - это суждения, имеющие одинаковые термины, но различающиеся по кол-ву и кач-ву. Среди сравниваемых суждений возникают отношения совместимости и несовместимости. Совместимость означает, что они могут быть вместе истинными. К такому типу относятся отношения подчинения и противности(субконтрастности). Несовместимость означает, что суждения не могут быть вместе истинными(отношения противополож-ти и противоречия). Различные логические отношения между простыми категорическими суждениями можно установить при помощи "логического квадрата", в вершинах которого располагают обозначения видов категорических суждений: A,E,I,O. Линии, соединяющие вершины-стороны квадрата- символизируют отношения между суждениями.
|
|
Отношения между А и I, E и O - подчинение. Если подчиняющее суждение истинно (ложно), то и подчиненное истинно(ложно), но не наоборот!
Все S есть Р (Некоторые S есть Р)
Некоторые S есть Р (Все S есть Р)
Ни один S не есть Р (Некоторые S не есть Р)
Некоторые S не есть Р (Ни один S не есть Р)
A и E находятся в отношении противоположности. Они не могут быть вместе истинными, но могут быть вместе ложными
Все S есть P
(Ни один S не есть Р)
I и O в отношении противности, могут быть вместе истинными, но не могут быть вместе ложными
(Некоторые S есть Р)
Некоторые S не есть Р
A и O, E и I, расположенные на диагоналях квадрата, находятся в отношении противоречия. Они не могут быть вместе ни истинными, ни ложными
Все S есть Р (Все S есть Р)
(Некоторые S не есть Р) (Некоторые S не есть Р)
Ни один S не есть Р (Ни один S не есть Р)
(Некоторые S есть Р) Некоторые S есть Р
См. логический квадрат в учебнике