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

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

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

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

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

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

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

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

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

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

Таблица 78

Суждения

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

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

Таблица 79

Суждения

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

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

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

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