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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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