Главная страница | Контакты | Случайная страница Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Виды категорических суждений. Распределенность терминов в суждениях различного типа.

Так как простое категорическое суждение состоит из терминов, которые, являясь понятиями, могут рассматриваться со стороны объема, то любое отношение между S и Р в простых суждениях может быть изображено при помощи круговых схем Эйлера, отражающих отношения между понятиями. В суждении термины S и Р могут быть либо распределены, либо не распределены. Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет нераспределенным, если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений: А, I, Е, О (мы рассматриваем типичные случаи).
Суждение А — общеутвердительное. Его структура: «Все S суть Р». Рассмотрим два случая.
1. В суждении «Все караси — рыбы» субъектом является понятие «карась», а предикатом — понятие «рыба». Квантор общности — «все». Субъект распределен, так как речь идет о всех карасях, т. е. его объем полностью включен в объем предиката.
Предикат не распределен, так как в нем мыслится только часты рыб, которые совпадают с карасями; речь идет лишь о той части объема предиката, которая совпадает с объемом субъекта.
Распределенность терминов в суждениях можно иллюстрировать с помощью круговых схем Эйлера.
Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях.
Суждение I — частноутвердительное. Его структура:
«Некоторые 5 суть Р». Рассмотрим два случая. 1. В суждении «Некоторые подростки — филателисты» термины такие: S — «подросток», Р — «филателист», квантор существования — «некоторые». Субъект не распределен, так как в нем мыслится только часть подростков, т. е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распределен, так как он также лишь частично включен в объем субъекта (только некоторые филателисты являются подростками).
Если понятия S и Р перекрещиваются, то Р не распределен. В суждении «Некоторые писатели — драматурги» термины такие: S — «писатель», Р — «драматург» и квантор существования — «некоторые». Субъект не распределен, так как в нем мыслится только часть писателей, т. е. объем субъекта лишь частично включается в объем предиката. Предикат распределен, ибо объем предиката полностью входит в объем субъекта. Таким образом, Р распределен, если объем Р меньше объема S, что бывает в частных выделяющих суждениях.
Суждение Е — общеотрицательное. Его структура: «Ни одно S не суть Р. Например: «Ни один лев не есть травоядное животное». В нем термины такие: S — «лев», Р — «травоядное животное» и кванторное слово— «ни один». Здесь объем субъекта полностью исключается из объема предиката, и наоборот. Поэтому и S, и Р распределены.
Суждение О — частноотрицательное. Его структура: «Некоторые S не суть Р». Например: «Некоторые учащиеся не являются спортсменами». В нем такие термины: S — «учащийся», Р — «спортсмен» и квантор существования — «некоторые». Субъект не распределен, так как мыслится лишь часть учащихся, а предикат распределен, ибо в нем мыслятся все спортсмены, ни один из которых не включен в ту часть учащихся, которая мыслится в субъекте.
Итак, S распределен в общих суждениях и не распределен в частных; Р всегда распределен в отрицательных суждениях, в утвердительных же он распределен тогда, когда по объему Р< S.

13. Отношения между суждениями. «Логический квадрат».

Основу отношений между суждениями составляет их сходство по смыслу и логическим значениям (истинности и лож­ности). В силу этого отношения устанавливаются не между любы­ми, а лишь между сравнимыми, т.е. имеющими общий смысл суждениями.

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

Сравнимыми являются суждения с одинаковыми субъек­тами и предикатами и различающиеся связкой или кванто­ром. Например: «Все американские индейцы живут в резерваци­ях»; «Некоторые американские индейцы не живут в резервациях».

Отношения между простыми суждениями обычно рассматрива­ются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, 0; стороны и диагонали — отношения между суждениями.

Среди сравнимых различают совместимые и несовместимые суждения.

Совместимыми являются суждения, которые одновре­менно могут быть истинными. Различают три вида совместимо­сти: эквивалентность (полная совместимость), частичная сов­местимость (субконтрарность) и подчинение.

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

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

При ложности одного из них другое будет истинным: 11 -» О, 10 -»I. Например, при ложности суждения «Некоторые злаки ядо­виты» будет истинным суждение «Некоторые злаки не являются ядо­витыми». В то же время при истинности одного из частных суждений другое может быть как истинным, так я ложным:I-> (Оv1 О); 0"»(<lvll).

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

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

При ложности частного суждения общее суждение также будет ложным: 11 -> ] А; 10 ->] Е.

При подчинении остаются неопределенными следующие зависимости, при ложности общего суждения подчиненное частное может быть как истинным, так и ложным:! А -> (Iv]I); 1Е ~»(Оv] О); при истинности подчиненного частного общее мо­жет быть как истинным, так и ложным.I-> (Av1 А); О -»(ЕvIE).

Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными.

Различают два вида несовместимости: противоположность и противоречие..

1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.

Истинность одного из противоположных суждений определя­ет ложность другого: А —> 1 Е; Е -> IА. Например, истинность суж­дения «Все офицеры — военнослужащие» определяет ложность суждения «Ни один офицер не является военнослужащим». При ложности же одного из противоположных суждений другое оста­ется неопределенным — оно может быть как истинным, так и лож­ным: ] А -> (Еv1 Е); 1 Е -> (AvIA).

2. Противоречащими (контрадикторными) являются суж­дения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.

Для противоречия характерна строгая, или альтернативная, несовместимость: при истинности одного из суждений другое все­гда будет ложным; при ложности первого второе будет истинным. Отношения между такими суждениями регулируются законом исключенного третьего.

Если А признается истинным, то О будет ложным (А -> 10); при истинности Е будет ложным I: (Е -> 1I). И наоборот: при ложно­сти А будет истинным О (1А -> О); а при ложности Е будет истин­нымI(| Е ->I).