Виды простых категорических суждений.

Простые категорические суждения различаются по количеству и по качеству. Тип логической связки определяет качество суждения, а тип квантора – количество .

1. По количеству:

· общие («все»);

· частные («некоторые»);

· единичные («данный»).

2. По качеству:

· утвердительные («есть», «является»);

· отрицательные («не есть», «не является»).

В связи с эти различают следующие суждения (табл. 78).

Таблица 78

Суждения

Название	Обозначение
Общеутвердительные	A
Частноутвердительные	I
Общеотрицательные	E
Частноутвердительные	O

Символы, обозначающие суждения взяты из гласных букв слов A ff I rmo – «утверждаю» и n E g O – «отрицаю».

В табл. 79 приведены варианты суждений.

Таблица 79

Суждения

Название	Обозначение
1. Все S есть P	SaP
2. Ни одно S не есть P	SeP
3. Некоторые S есть P	SiP
4. Некоторые S не есть P	SoP
5. Данное S есть P	saP
6. Данное S не есть P	seP

В табл. 79 строчные буквы a, e, i, o обозначают операции формирования суждения типа A, I, E, O, соответственно.

В рассматриваемой нами системе Аристотеля имеется ограничение: при интерпретации терминов на универсуме U (рис. 111), они должны быть непустыми и неуниверсальными.

Рис. 111. Диаграммы Эйлера для суждений

При этом считается, что «некоторые» не отрицает случая «все».

Дата добавления: 2015-07-11