Категорические суждения и их виды (деление do количеству и качеству)
В традиционной логике все три указанных вида представляют простые категорические суждения . По качеству связки («есть» или «не есть») категорические суждения делятся на утвердительные и отрицательные. Суждения «Многие промышленные предприятия рентабельны», «Все страусы — птицы» утвердительные. Суждения «Некоторые дома не являются благоустроенными», «Ни один карась не является хищной рыбой» отрицательные. Связка «есть» в утвердительном суждении отражает наличие у предмета (предметов) некоторых свойств. Связка «не есть» отражает то, что предмету (предметам) не присуще некоторое свойство.
Некоторые логики считали, что в отрицательных суждениях нет отражения действительности. На самом деле отсутствие определенных признаков также представляет собой действительный признак, имеющий объективную значимость. В отрицательном истинном суждении наша мысль разъединяет (разделяет) то, что находится разделенным в объективном мире.
В зависимости от того, обо всем классе предметов, о части этого класса или об одном предмете идет речь в субъекте, суждения делятся на общие, частные и единичные. Например, «Все соболя — ценные пушные звери» и «Все здравомыслящие люди хотят долгой, счастливой и полезной жизни» (Поль С. Брэгг) — общие суждения; «Некоторые цветы — розы» — частное; «Везувий — действующий вулкан» — единичное.
Структура общего суждения: «Все S есть (не есть) Р». Единичные суждения будут трактоваться как общие, так как их субъектом является одноэлементный класс.
Среди общих суждений встречаются выделяющие суждения, в состав которых входит кванторное слово «только», — «Только добрый человек может быть врачом» (П. Дюбуа). Примерами выделяющих суждений являются и следующие: «Поль С. Брэгг пил только дистиллированную воду», «Человеческий организм может усваивать только органические вещества», «Смелый человек не боится правды. Ее боится только трус» (А. Конан Дойл).
Среди общих суждений имеются исключающие суждения, например: «Все студенты нашей группы, за исключением больных, пришли на семинар». К числу исключающих суждений относятся и те, в которых выражены исключения из правил русского или иных языков, правил логики, математики и других наук.
Частные суждения имеют структуру: «Некоторые S есть (не есть) Р». Они делятся на неопределенные и определенные. Например, «Некоторые грибы — съедобны» — неопределенное частное суждение. Мы не установили, обладают ли признаком съедобности все грибы, но не установили и того, что признаком съедобности не обладают некоторые грибы. Если мы установили, что «Только некоторые S обладают признаком Р», то это будет определенное частное суждение , структура которого: «Только некоторые S есть (не есть) Р». Примеры: «Только некоторые грибы съедобны»; «Только некоторые остроугольные треугольники являются равносторонними»; «Только некоторые тела легче воды». В определенных частных суждениях часто применяются кванторные слова: большинство, меньшинство, немало, не все, многие, почти все, несколько и др.
Единичные суждения имеют структуру: «Это S есть (не есть) Р». Примеры единичных суждений : «Эверест — высочайшая вершина мира», «Третьяковская галерея в Москве — крупнейший в России музей, где собраны лучшие произведения отечественного искусства».
Объединенная классификация простых категорических суждений по количеству и качеству
В каждом суждении имеется количественная и качественная характеристика. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству, на основе которой выделяются следующие 4 типа суждений.
А — общеутвердительное суждение. Структура его: «Все S есть Р». Например, «Все люди — позвоночные».
I — частноутвердительное суждение. Структура его: «Некоторые S есть Р». Например, «Некоторые элементарные частицы имеют положительный заряд». Условные обозначения для утвер-дительных суждений взяты от слова affirmo — утверждаю (при этом берутся две первые гласные буквы: А — для обозначения общеутвердительного и I — для обозначения частноутвердитель-ного суждения).
Е — общеотрицательное суждение. Его структура: «Ни одно S не есть Р». Пример: «Ни один дельфин не является рыбой».
О — частноотрицательное суждение . Структура его: «Некоторые S не есть Р». Например, «Некоторые люди не являются долгожителями». Условные обозначения для отрицательных суждений взяты от слова nego — отрицаю.
Распределенность терминов в категорических суждениях
В суждениях термины S и Р могут быть либо распределены, либо не распределены. Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет нераспределенным, если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений: А, I, Е, О (мы рассматриваем типичные случаи).
Суждение А общеутвердительное. Его структура: «Все S есть Р».
Рассмотрим два случая.
1-й случай. В суждении «Все караси — рыбы» субъектом является понятие «карась», а предикатом — понятие «рыба». Квантор общности — «все». Субъект распределен, так как речь идет о всех карасях, т. е. его объем полностью включен в объем предиката. Предикат не распределен, так как в суждении речь идет лишь о той части объема предиката, которая совпадает с объемом субъекта.
Распределенность терминов в суждениях можно иллюстрировать с помощью круговых схем Эйлера. На рис. 34 изображено соотношение S и Р в суждении А. Заштрихованная часть круга на рис. 34—39 характеризует распределенность (или нераспределенность) терминов.
Если объем Р больше (шире) объема S, то Р не распределен.
2-й случай. В суждении «Все квадраты — равносторонние прямоугольники» термины такие: S — «квадрат», Р — «равносторонний прямоугольник», квантор общности — «все». В этом суждении S распределен и Р распределен, так как их объемы полностью совпадают (рис. 35).
Если S равен по объему Р, то Р распределен. Это бывает в определениях и в выделяющих общих суждениях5.
Суждение I частноутвердительное. Его структура: «Некоторые S есть Р». Рассмотрим два случая.
1-й случай. В суждении «Некоторые инженеры — филателисты» термины такие: S — «инженер», Р — «филателист», квантор существования — «некоторые». Соотношение S и Р изображено на рис. 36. Субъект не распределен, так как в нем мыслится только часть инженеров, т. е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распределен, так как он также лишь частично включен в объем субъекта (только некоторые филателисты являются инженерами).
Если понятия S и Р перекрещиваются, то Р не распределен.
2-й случай. В суждении «Некоторые писатели — драматурги» термины такие: S — «писатель», Р — «драматург», квантор существования — «некоторые». Субъект не распределен, так как в нем мыслится только часть писателей, т. е. объем субъекта лишь частично включается в объем предиката. Предикат распределен, так как объем предиката полностью входит в объем субъекта (рис. 37). Таким образом, Р распределен, если объем Р меньше объема S, что бывает в частных выделяющих суждениях.
Суждение Е общеотрицательное. Его структура: «Ни одно S не есть Р ». Например, «Ни один лев не есть травоядное животное». В нем термины такие: S — «лев», Р — «травоядное животное», квантор общности — «ни один». Здесь объем субъекта полностью исключается из объема предиката, и наоборот. Позтому и S, и Р распределены (рис. 38).
Суждение О частноотрицательное. Его структура: «Некоторые S не есть Р». Например, «Некоторые учащиеся не являются спортсменами». В нем такие термины: S — «учащийся», Р — «спортсмен», квантор существования — «некоторые». Субъект не распределен, так как мыслится лишь часть учащихся, а предикат распределен, ибо в нем мыслятся все спортсмены, ни один из которых не включен в ту часть учащихся, которая мыслится в субъекте (рис. 39).
Итак, S распределен в общих суждениях и не распределен в частных; Р всегда распределен в отрицательных суждениях , в 
утвердительных же он распределен тогда, когда по объему
Распределенность терминов в категорических суждениях можно выразить в виде следующей схемы (табл. 1), где знаком (+) выражена распределенность термина, а знаком (-) его нераспределенность. В ней же дана объединенная информация о простых суждениях.