Простое категорическое суждение как носитель информации об отношениях между субъектом и предикатом

S и Р простого категорического суждения - это понятия. Как Вы знаете из темы "Понятие", существует классификация отношений между S и Р в кругах Эйлера:

Если нам известно, что одно понятие выступает в суждении в качестве субъекта, а другое – предиката, но не известен вид суждения, то мы можем допустить любое из представленных случаев в их совокупности - это исходная неопределенность отношений между S и Р.

Допустим, далее, что нам дается некоторое суждение, связывающее S и Р. Пусть, например, это будет суждение А) т.е. общеутвердительное суждение, его форма: все S есть Р.

Легко видеть, что схемы 3,4 и 5 противоречат данному суждению. В силу того, что суждение А запрещает схемы 3,4 и 5, исходная неопределенность уменьшается от пяти возможных вариантов до двух. Уменьшение неопределенности и называется сообщением информации. Таким образом, мы имеем право сказать, что суждение вида А есть носитель информации об отношениях между S и Р

Аналогичный анализ других простых категорических видов суждений показывает, что каждый из них также накладывает определенный запрет на отношения между S и Р, т.е. сообщает информацию. Результаты такого анализа представлены в следующей таблице:

Обозначение суждения	Допустимые отношения между S и Р	Форма суждения
A	1.	2.	Все S есть P
J	1.	2.	3.	4.	Некоторые S есть P
E	5.	Ни одно S не есть P
O	3.	4.	5.	Некоторые S не есть P

 

В сокращенном виде эту таблицу можно представить следующим образом:

А: 1,2.

J: 1,2,3,4.

Е: 5.

О: 3,4,5.

Прокомментируем таблицу. Допустим, нам дано суждение вида О, например, "Некоторые ученики 7-Б не были на уроке". Оно говорит нам, что между понятиями "ученики 7-Б" и "присутствовавшие на уроке" возможно одно из следующих отношений:

3.

 

 

 

То есть, на уроке были не все ученики 7-Б, и никого, кроме 7-Б.

4.

 

То есть, на уроке была часть учеников 7-Б и еще какие-то ученики.

5.

 

То есть на уроке были другие люди, не ученики 7-Б.

Есть здесь и другая сторона. Допустим, нам известно, каково отношение между двумя понятиями, например, это отношение 3. Тогда, взглянув на таблицу, мы сразу можем определить, какие суждения, если ими связать данные понятия, окажутся истинными, а какие ложными. Для случая 3 истинны будут суждения J и О, а суждения А и Е - ложны.