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

Семантика или смысл простых категорических суждений рассматривается на основе анализа понятий суждения с учетом всевозможных отношений между ними на некотором универсуме рассуждения. Рассмотрим суждения с их иллюстрацией (рис. 113) на кругах Эйлера [16].

1) SaP.

Например, всякий компьютер является ЭВМ

2) SeP.

3) SiP.

4) SoP.

Рис. 113. Суждения и соответствующие типичные случаи

отношений между понятиями

Термин распределен, если он полностью заштрихован или полностью не заштрихован, и нераспределен в противном случае (рис. 113).

Отношения между суждениями можно представить табл. 80.

Таблица 80

Отношения между суждениями

В табл. 80 обозначено: 1 – «истинно», 0 – «ложно». Здесь выделено только пять наиболее существенных соотношений S и P.

Анализ отношений между суждениями может быть проведён путём сравнения соответствующих столбцов табл. 80.

Располагая информацией об истинности или ложности одного суждения можно установить, каким будет другое суждение.