18) Распределённость терминов в категорических суждениях. Условия истинности категорических суждений.
В логических операциях с суждениями возникает необходимость установить, распределены ли термины-субъект и предикат. Термин считается распределённым, если он взят в полном объёме. Термин считается нераспределённым, если он взят в части объёма.
Суждение А (все S есть P). В общеутвердительных суждениях S распределён, P не распределён. «Все студенты нашей группы сдали экзамены». НО в общеутвердительных суждениях, субъект и предикат которых имеют одинаковый объём, распределён не только субъект, но и предикат (общевыделяющие суждения, определения, подчиняющиеся правилу соразмерности)
Суждение E (Ни одно S не есть P). В общеотрицательных суждениях и S, и P распределены. «Ни один студент нашей группы не является неуспевающим»
Суждение I (Некоторые S есть P). В частноутвердительном суждении ни S, ни P не распределены. «Некоторые студенты нашей группы - отличники». Исключение: частновыделяющие суждения, предикат которых полностью входит в объём субъекта «Некоторые города, и только города(S), являются столицами (P)»
Суждение О (Некоторые S не есть P). В частноотрицательном суждении S не распределён, P распределён. «Некоторые студенты нашей группы не отличники».
Таким образом, субъекты распределены в общих (A,E) и не распределены в частных (I,O). Предикаты распределены в отрицательных (E,O) и не распределены в утвердительных (A,I). В выделяющих суждениях предикат распределён.
19) Отношения между простыми суждениями. «Логический квадрат».
Суждения делятся на сравнимые и несравнимые.
Несравнимыми являются суждения, имеющие разные субъекты или предикаты. Например: «Некоторые студенты первокурсники» и «Некоторые студенты заочники».
Сравнимые – одинаковые субъекты и предикаты, различаются связкой или квантором.
Например: «Все американские индейцы живут в резервациях» и «Некоторые американские индейцы не живут в резервациях». Отношения устанавливаются только между сравнимыми суждениями. Отношения рассматриваются с помощью логического квадрата:
Среди сравнимых различают совместимые и несовместимые суждения.
К совместимым относят суждения, которые одновременно могут быть истинными. Различают три вида совместимости:
Эквивалентность (полная совместимость)
Субконтрарность (частичная совместимость)
Подчинение.
Эквивалентные суждения – суждения, имеющие одинаковые логические характеристики: одинаковые субъекты, предикаты, однотипную связку, количественную характеристику. С помощью квадрата отношения между эквивалентными суждениями не иллюстрируются (а собственно нафиг?:). Различаются кванторами, синонимами, выражающими субъект и предикат, могут быть сформулированы на разных языках.
Частичная совместимость характерна для суждений I и O (см. квадрат выше). Они могут быть одновременно истинными, но не могут быть одновременно ложными. При ложности одного из них другое будет истинным.
Подчинение имеет место между суждениями А и I, E и О. При истинности общего суждения частное всегда будет истинным. При ложности частного суждения общее суждение также будет ложным. При ложности общего частное может быть истинным или ложным, при истинности частного общее может быть также истинным или ложным. (см. на квадрат, всё станет понятно)
К несовместимым относят суждения, которые одновременно не могут быть истинными.
Противоположность
Противоречие
Противоположными являются суждения A и E, которые одновременно не могут быть истинными, но могут быть одновременно ложными
Противоречащими являются суждения A и O, E и I, которые одновременно не могут быть ни истинными, ни ложными.