Распределенность терминов в суждении. (почитать учебник, стр. 118)
Простое категорическое суждение состоит из терминов S и Р. В суждениях S и P могут быть либо распределены, либо не распределены. Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет нераспределен, если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений:
· Суждение А – общеутвердительное. Его структура: «Все S суть P». Рассмотрим два случая:
1. В суждении «Все караси – рыбы», субъектом является понятие карась, а предикатом понятие рыба. Квантор – «все». Субъект распределен, так как речь идет о всех карасях, т.е его объем полностью включен в объем предиката. Предикат не распределен, так как в нем мыслится только часть рыб, которые совпадают с карасями.
2. В суждении «Все квадраты – равносторонние прямоугольники», термины такие: «S – квадрат, P – равносторонний прямоугольник и квантор общности – все. В этом суждении S не распределен и Р не распределен, ибо их объемы полностью совпадают.
· Суждение I – частноутвердительное. Его структура: «Некоторые S суть Р». Рассмотрим два случая:
1. В суждении «Некоторые подростки – филателисты», термины такие: S – подросток, Р – филателист, квантор существования – некоторые. Субъект не распределен, так как в нем мыслится только часть подростков, т.е объем субъекта лишь частично включается в объем предиката. Предикат тоже не распределен, так как он лишь частично включен в объем субъекта.
2. В суждении «Некоторые писатели – драматурги», термины такие: S – писатель, P – драматург, и квантор существования – некоторые. Субъект не распределен, так как в нем мыслится часть писателей, т.е объем субъекта лишь частично включается в объем предиката. Предикат распределен, ибо объем предиката полностью входит в объем субъекта.
· Суждение E – общеотрицательное. Его структура: «ни одно S не суть H». Например: «Ни один лев не есть травоядное животное». В нем термины такие: S – лев, Р – травоядное животное, и кванторное слово «ни один» Здесь объем субъекта полностью исключается из объема предиката, и наоборот. Поэтому и S и Р не распределены.
· Суждение О – частноотрицательное. Его структура: «Некоторые S не суть Р». Например «Некоторые учащиеся не являются спортсменами». В нем такие термины: S – учащийся, Р – спортсмен, квантор существования –некоторые. Субъект не распределен, так как мыслится лишь часть учащихся, а предикат распределен, ибо в нем мыслятся все спортсмены, ни один из которых не включен в ту часть учащихся, которая мыслится в субъекте.
Итак, S распределен в общих суждениях и не распределен в частных, P всегда распределен в отрицательных суждениях, в утвердительных же он распределен тогда, когда по объему S меньше или равно Р.
26. Логический квадрат. Отношения между суждениями различного количества и качества.
Отношения между простыми суждениями обычно иллюстрируют при помощи мнемонической схемы – логического квадрата или квадрата противоположностей.
Грань и диагональ – один какой-либо тип суждений.
-отношения А и Е –противоположность (контрарности).
-отношения I и О – частичная совместимость (субконтрарность).
-отношения АI и ЕО – подчинения.
-отношения АО и ЕI – противоречия (контрадикторность).
Отношения между суждениями:
Основа: схожи по своему содержанию и являются истинными, устанавливаются между сравнимыми суждениями.
Сравнимые суждения – суждения, которые имеют одинаковые термины и отличаются связкой или кванторным словом.
Сравнимые суждения делятся на:
1. Совместимые – которые одновременно могут быть истинными
3 типа:
Равнозначные(эквивалентные) - которые выражают одну и ту же мысль
Частичная совместимость(субконтрарность) – которые могут быть одновременно истинными, но не могут быть одновременно ложными
Подчинения – суждения, которые имеют общий предикат, а понятия выражающие субъекты этих суждений находятся в отношениях логического подчинения
Для отношений подчинения характерны типы зависимости:
+при истинности общего суждения, частное суждение всегда будет истинным.
+при ложности частного суждения, общее суждение становится ложным.
+при ложности общего суждения, частное становится неопределённым.
+при истинности подчиненного частного суждения, общее суждение является неопределённым.
2. Несовместимые – которые одновременно не могут быть истинными
3 типа:
отношения контрарности(противоположности) – общие суждение выражают противоположные мысли, которые не могут быть одновременно истинными, но могут быть одновременно ложными
+в противоположных суждениях при ложности одного – второе неопределенно.
отношения подконтрарности – называют частные суждения, выражающие противоположные мысли(могут быть оба истинные)
противоречащие—которые взаимоисключают друг друга, одновременно не могут быть не истинными, не ложными, при истинности одного, второе автоматически становится ложным.
Отношения между сложными суждениями разделяются по характеру и рассматриваются как совокупность отношений, входящих в них простых суждений.
Сравнимые сложные суждения – имеющие одинаковые составляющие и различающиеся типами связок.
Несравнимые сложные суждения- которые полностью или частично различаются по составу входящих в них суждений.
Несравнимые суждения – суждения, которые имеют различные субъекты и предикаты.