По качеству связки суждения могут быть утвердительные или отрицательные.

Утвердительные суждения, выражающие принадлежность предмету некоторого признака. Например, «Научная организация труда повышает эффективность деятельности инженера».

Отрицательные суждения, выражающие отсутствие у предмета некоторого признака. Например «Ни один дельфин не является рыбой». В логической форме этого вида суждений всегда употребляется отрицание «не»: «Ни одно S не есть Р».

Объединенная классификация

Любое суждение имеет и количественную, и качественную характеристики. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству. В результате получаем четыре вида суждений: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные.

Общеутвердительное суждение – общее по объему и утвердительное по качеству связки. Его форма «Все S есть Р», оно имеет краткое символическое обозначение «А». Например «Всякое изучение иностранных языков развивает ум, сообщая ему гибкость и способность проникать в чужое миросозерцание» (Д.И. Писарев).

Общеотрицательное суждение – общее по объему субъекта и отрицательное по качеству связки. Его форма «Ни одно S не есть Р», оно имеет краткое символическое обозначение «Е». Например «Ни один тигр не есть травоядное животное».

Частноутвердительное суждение – частное по объему субъекта и утвердительное по качеству связки. Его форма: «Некоторые S есть Р», оно имеет краткое символическое обозначение «I». Например «Некоторые юристы – адвокаты»; «Некоторые бизнесмены – экономисты».

Частноотрицательное суждение – частное по объему и отрицательное по качеству связки. Его форма: «Некоторые S не есть Р», оно имеет краткое символическое обозначение «О». Например: «Некоторые студенты не являются спортсменами».

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

Так как простое категорическое суждение состоит из терминов S и P, которые, являясь понятиями, могут рассматриваться со стороны объема, то любое отношение между S и P в простых суждениях может быть изображено в виде круговых схем Эйлера, отражающих отношения между понятиями. В суждениях термины S и P могут быть либо распределены, либо не распределены. Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исключается из него. Термин будет нераспределенным, если его объем частично включается в объем другого термина или частично исключается из него. Проанализируем четыре вида суждений: A, I, E, O.

Суждение A - общеутвердительное. Его структура «Все S есть P». Рассмотрим два случая.

1-й случай. В суждении «Все судьи – юристы» субъектом является понятие «судья», а предикатом – понятие «юрист». Квантор общности – «все». Субъект распределен, так как речь идет обо всех судьях, т.е. его объем полностью включен в объем предиката. Предикат не распределен, так как в нем мыслится только часть юристов, которые совпадают с судьями. В суждении речь идет лишь о той части объема предиката, которая совпадает с объектом субъекта.

Распределенность терминов в суждениях можно иллюстрировать с помощью круговых схем Эйлера. На рис.7 изображено соотношение S и P в суждении А, относящемся к 1-му случаю. Заштрихованная часть круга на рисунках 7 – 12 характеризует распределенность или нераспределенность терминов.

Если объем P больше (шире) объема S, то P не распределен.

Рис. 7 Рис.8

2-й случай. В суждении «Все студенты – учащиеся высших учебных заведений» термины такие: S – «студенты», P – «учащиеся высших учебных заведений»; квантор общности – «все». В этом суждении S распределен и P распределен, так как их объемы полностью совпадают (см. рис.8).

Если S равен по объему P, то P распределен. Это бывает в определениях и в выделяющих общих суждениях.

Суждение I – частноутвердительное. Его структура «Некоторые S есть P». Рассмотрим два случая.

1-й случай. В суждении «Некоторые подростки – филателисты» термины такие: S – «подросток», P – «филателист»; квантор существования – «некоторые». Соотношение S и P изображено на рис.9. Субъект не распределен, так как в нем мыслится только часть подростков, т.е. объем субъекта лишь частично включается в объем предиката. Предикат тоже не распределен, так как он также лишь частично включен в объем субъекта (только некоторые филателисты являются подростками).

P – дра- матург

Рис.9 Рис.10

Если понятие S и P перекрещиваются, то P не распределен.

2-й случай. В суждении «Некоторые писатели – драматурги» термины такие: S – «писатель», P – «драматург»; квантор существования – «некоторые». Субъект не распределен, так как в нем мыслится только часть писателей, т.е. объем субъекта лишь частично включается в объем предиката. Предикат распределен, так как объем предиката полностью входит в объем субъекта (см.рис.10). Таким образом, P распределен, если объем P меньше объема S.

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

Суждение Е – общеотрицательное. Его структура «Ни одно S не есть P». Например, «Ни один договор не является односторонним соглашением». В нем термины такие: S – «договор», P – «одностороннее соглашение»; кванторное слово – «ни одна». Здесь объем субъекта полностью исключается из объема предиката, и наоборот. Поэтому и S, и P распределены (рис.11).

Рис.11 Рис.12

Суждение О – частноотрицательное. Его структура «Некоторые S не есть P». Например, «Некоторые экономисты не являются менеджерами». В нем такие термины: S – «экономист», P – «менеджер» и квантор существования – «Некоторые». Субъект не распределен, так как мыслится лишь часть экономистов, а предикат распределен, ибо в нем мыслятся все менеджеры, ни один из которых не включен в часть экономистов, мыслящихся в субъекте (рис.12).

Итак, S распределен в общих суждениях и не распределен в частных; P всегда распределен в отрицательных суждениях, в утвердительных же он распределен тогда, когда по объему P S.

Распределенность терминов в категорических суждениях можно выразить в виде схемы (рис. 13), где знаком (+) выражена распределенность термина, а знаком (-) его нераспределенность.

В ней же дана объединенная информация о простых суждениях.

Вид суждения и его обозначение

Распределенность или нераспределенность S и P

A- общеутвер- дительное