§2. Простые категорические суждения: структура, деление по количеству и качеству
Существует достаточно много видов суждений. Лучше всего в логике изучены простые категорические суждения. Таковыми считаются суждения, которые имеют общую структуру:
Все (некоторые) S(не) есть Р.
В структуру простого категорического суждения входят:
• S- субъект суждения (он указывает на предмет, о котором идет речь в суждении);
• Р - предикат (он приписывает предмету, выделяемому субъектом, какие-то признаки);
• «есть» или «не есть» - глагол-связка (она утверждает или отрицает тот факт, что предмет обладает соответствующими признаками);
• «все» или «некоторые» - это квантор (он показывает, берется ли термин, который является субъектом суждения, во всем его объеме, или нет, т. е. ко всем или нет предметам, входящим в объем понятия-субъекта, относится предикат).
Возьмем для примера следующее суждение:
(1) Некоторые грибы съедобны.
Проведем его логический анализ. Итак, S-«грибы», Р - «съедобное», связка - «есть», квантор - «некоторые». Для русского языка характерно, что связка часто (как в этом случае) не произносится, а лишь подразумевается. Если же мы захотим перевести данное предложение на английский или немецкий язык, нам обязательно придется употребить глагол «есть» или «являются».
Можно задать вопрос о том, как соотносится логическое строение суждения с грамматическим строением предложения. В нашем примере логические субъект и предикат совпадают соответственно с грамматическими подлежащим и сказуемым. Но это далеко не всегда так. В предложении, кроме главных членов (подлежащего и сказуемого), выделяют второстепенные: определение, дополнение и обстоятельство. В логической структуре они всегда входят в субъект или предикат. Пример:
(2) Некоторые иностранцы, приезжающие в Россию, не понимают русский язык
Здесь S - «иностранцы, приезжающие в Россию», а Р - «те, кто не понимает русский язык».
По качеству простые категорические суждения делятся на утвердительные и отрицательные. Критерием является характер глагола-связки: есть или не есть. Суждение
(3) Компьютеризация предъявляет новые требования к обучению
является утвердительным. А суждение
(4) Рыбы не являются теплокровными
будет отрицательным. Повторим еще раз: качество суждения определяется по связке, а не по характеру предиката. Поэтому суждение
(5) Опоздание является невежливостью
рассматривается как утвердительное. При этом его предикат {невежливость) является отрицательным понятием. Но в данном случае связка явно сформулирована. Вообще же русский язык, в котором, как уже говорилось, глагол-связка явно формулируется далеко не всегда, в случае предложений с отрицанием, но без явно выраженной связки оставляет нам две возможности. При анализе логической структуры суждения
(5а) Опаздывать невежливо
мы можем включить отрицание либо в предикат, либо в вид суждения, т. е. рассматривать его либо как утвердительное суждение
(6) Опаздывать является невежливым,
либо как отрицательное.
(7) Опаздывать не является вежливым.
Неправильно включать отрицание и в предикат, и в вид суждения.
По количеству простые категорические суждения делятся на единичные, частные и общие. Субъектом единичного суждения является единичное понятие или собственное имя. Примеры:
(8) Первая мировая война началась в августе 1914 г.
(9) Юрий Гагарин был первым космонавтом.
В случае частных суждений содержание предиката относится лишь к части объема субъекта. Пример:
(10) Некоторые государства не являются членами ООН.
Их признаком является квантор некоторые.
В общих суждениях содержание предиката относится ко всему объему субъекта. Пример:
(11) Все птицы имеют крылья.
Существует и объединенная классификация простых категорических суждений по количеству и качеству. В ней выделяют четыре вида суждений:
1. Общеутвердителъные. Они имеют структуру «Все S естьР».
Например, таковым является суждение (11). Они обозначаются в логике латинской буквой Л. Эта буква взята как первая буква в латинском глаголе «утверждаю» (ciffirmo).2. Частноутвердителъные. Это суждения вида «Некоторые Sесть Р». Пример такого суждения - суждение (1). Частноутвердительные суждения обозначаются латинской буквой I - второй гласной в латинском слове «утверждаю». Важно, что «некоторые» понимается здесь в неопределенно-частном смысле, т. е. как «некоторые, а может быть, и все». Поэтому, скажем, суждение «Некоторые птицы крылатые» является истинным. Говоря так, мы вовсе не имеем в виду, что некоторые - не крылатые.
3. Общеотрицательные. Это суждения вида «Ни один Sне есть Р» (например, «Ни один кит не является рыбой»). Общеотрицательные суждения обозначаются латинской буквой Е, которая является первой гласной в латинском слове «отрицаю» (nego).
4. Частноотрицателъные. Это суждения вида «Некоторые Sесть Р». Примером частноотрицательного суждения является суждение (10). Они обозначаются в логике латинской буквой О - второй гласной в латинском слове «отрицаю» (nego).
В этой объединенной классификации отсутствуют единичные суждения. Они рассматриваются здесь как общие. Это на первый взгляд может показаться странным. Однако единичные суждения как раз удовлетворяют сформулированному выше критерию: в них предикат относится ко всему объему субъекта. Ведь этот объем состоит из одного предмета и, следовательно, не делится на части. О единичном субъекте невозможно сформулировать частное суждение - суждение с квантором «некоторые»: «Некоторые Первые мировые войны...» или «Некоторые Юрии Гагарины. ..». В последнем случае (когда употреблено собственное имя) мы можем, конечно, сказать, что Юрий Гагарин был не один, что
такое имя носили несколько человек. Но когда мы употребляем любое собственное имя, мы всегда имеем в виду одного конкретного человека. Это важно помнить при построении умозаключений: частные и единичные суждения ведут себя в них совершенно по-разному.
Еще по теме §2. Простые категорические суждения: структура, деление по количеству и качеству:
- §3. Распределенность терминов в простых категорических суждениях
- Простой категорический силлогизм Состав простого категорического силлогизма
- §2. Простой категорический силлогизм
- Классификация категорических суждений
- §5. Деление суждений по модальности
- Простые суждения
- Простые суждения
- Нормальная форма простых суждений
- Простые суждения и деревья
- Алгоритм решения проблемы абдукции для простых суждений
- Логическая структура суждения
- Деление понятий Сущность деления
- Количество
- Качество