Простые суждения Структура простых суждений

Любое простое суждение состоит из субъекта, предиката и связки: S – P

Субъект суждения (S) – это предмет суждения или то, о чём мыслится в суждении.

Предикат суждения (P) – это то, что мыслится о субъекте суждения.

Связка (–) выражает отношение между субъектом и предикатом, бывает утвердительная либо отрицательная. В современном русском языке специальный глагол-связка отсутствует, поэтому логическая связка подразумевается или выражается косвенно, грамматическим строем предложения. Когда связка эксплицируется, она выражается словами "есть", "суть", "является" (утвердительная связка); либо "не есть", "не суть", "не является" (отрицательная связка).

Любое суждение можно привести к явной (чистой) логической форме.

Виды простых суждений

1. Атрибутивные суждения или суждения свойства. В суждениях этого вида с предметом связывается наличие или отсутствие какого-либо свойства.

2. Экзистенциальные суждения или суждения существования.

Существование – это особый признак, свойство предмета быть, находиться в реальности.

3. Релятивные суждения или суждения с отношениями.

В них предикатом являются отношения, устанавливаемые между предметами.

Категорические суждения и их виды

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

Качество суждения зависит от связки между субъектом и предикатом и может быть либо утвердительным, либо отрицательным.

Количество суждения – характеристика, показывающая, в каком объёме входит в суждение его субъект. По количеству суждения делятся на единичные, частные и общие.

Слова "этот", "некоторые", "все" – кванторы или кванторные слова, определяющие количественную сторону суждений. Единичные суждения в логическом анализе приравниваются к общим, т.к. и те и другие связывают предикат со всем объёмом субъекта.

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

В логике используется объединённая классификация из четырёх видов категорических суждений:

1. Общеутвердительные (А): Все S есть Р

2. Общеотрицательные (Е): Ни одно S не есть Р

3. Частноутвердительные (I): Некоторые S есть Р

4. Частноотрицательные (О): Некоторые S не есть Р

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

Терминами категорического суждения называются субъект и предикат этого суждения. Термин распределён, если он рассматривается в данном суждении во всём объёме, т.е., если он полностью включается в объём другого понятия или полностью исключается из него. В противном случае термин не распределён.

В суждениях (А) субъект распределён, а предикат, как правило, не распределён. В случае, когда термины суждения являются тождественными понятиями, они оба распределены.

В суждении (I) квантор "некоторые" показывает, что субъект данного вида суждения всегда не распределён, т.к. только часть его объёма относится к предикату. Предикат, как правило, также не распределён, кроме случаев, когда объём предиката полностью входит в объём субъекта и, таким образом, предикат оказывается распределён. Этот вид суждений, где объём предиката меньше объёма субъекта, называют частными выделяющими суждениями (в отличие от общих выделяющих, где Р > S ).

Суждение (Е) состоит из терминов, которые благодаря квантору "ни одно" и отрицательной связке, не имеют общих элементов объёмов. Другими словами, объём субъекта полностью исключается из объёма предиката, и наоборот – это означает, что оба термина распределены.

Суждение (О) имеет кванторное слово "некоторые", т.е. объём субъекта мыслится только частично. Предикат в этом суждении, напротив, распределён, поскольку все элементы его объёма исключены из мыслимой части объёма субъекта.

Из всех рассмотренных случаев можно вывести следующее обобщающее правило: субъект всегда распределён в общих суждениях и не распределён в частных; предикат всегда распределён в отрицательных суждениях, а в утвердительных он распределён тогда, когда объём предиката меньше или совпадает с объёмом субъекта (Р S).

Для того, чтобы установить или проверить распределённость субъекта и предиката, можно изобразить их отношение кругами Эйлера и выделить (заштриховать) те части объёмов терминов, которые соединяются утвердительными или исключаются отрицательными высказываниями.

Вид сужд- ения	Обозначе- ние	Формула	Распреде-ленность терминов. S P	Отношение терминов. S и P
= Р+ S+ S+ Р- Обще-утверди тельное	А	Все S есть P	+ - + +
Р+ Частно-утвердительные	I	Некоторые S есть P	- - + -
Р+ S+ Обще-отрицательные	Е	Ни одно S не есть P	+ +
Р+ S- Р+ S- Частно-отрицательные	О	Некоторые S не есть P	- +