"Учебник логики" - читать интересную книгу автора (Челпанов Г.И.)

В суждении O подлежащее не распределено, ибо когда мы говорим, что
"некоторые животные не суть позвоночные", то мы берем подлежащее не во всем
объеме, мы говорим о некоторых, а не обо всех животных. Сказуемое в суждении
O распределено, так как мы S исключаем из всего объема сказуемого. Исключить
вещь из какого-нибудь пространства, например из дома, значит удалить ее не
из какой-нибудь части, но из всякой части, из всего пространства, из всего
дома. Хотя часть животных входит в класс позвоночных, однако остальная часть
исключается и притом из всех частей сказуемого.
На рис. 17 распределенность подлежащего и сказуемого обозначается при
помощи более широких линий:

A: S распределено, P не распределено
E: S распределено, P распределено
I: S не распределено, P не распределено
O: S не распределено, P распределено
Случаи, когда субъект распределен или не распределен, нетрудно
распознать, потому что на это указывают слова "все", "некоторые", "ни один"
и т.п. Что же касается предиката, то вышеприведенная схема показывает, что
отрицательные суждения распределяют, а утвердительные не распределяют своего
предиката.

Вопросы для повторения

Изобразите символически отношение между подлежащим и сказуемым в
суждениях A, E, I, O. Когда говорится о подлежащем или сказуемом, что оно
распределено? Какой признак для различения распределенности или
нераспределенности? Рассмотрите суждения A, E, I, O с точки зрения
распределенности их подлежащих и сказуемых.

Глава X

О противоположении суждений

Постановка вопроса. Мы видели, что существуют различные классы суждений
в зависимости от того, какое им принадлежит количество и качество. Суждения,
в которых одно и то же подлежащее и сказуемое, но которые имеют разные
качества или количества или и то и другое, будут противоположными друг
другу. Например, суждения A и I, суждения E и A противоположны друг другу.
Вопрос о противоположности суждений имеет важное значение. Если я,
возражая кому-нибудь, не признаю истинности его утверждения, то я все-таки
нечто могу признавать истинным. Например, кто-нибудь утверждает, что все
люди мудры, и я это отрицаю, то я в то же время сознаю, что я могу признать
истинность суждения "некоторые люди мудры". Эти два суждения совместимы друг
с другом. Если я утверждаю, что люди смертны, то я не могу в то же время
признавать, что некоторые люди не смертны. Одно суждение оказывается
несовместимым с другим суждением. Отсюда возникает необходимость рассмотреть
все суждения с точки зрения их противоположности, чтобы показать, какие
суждения совместимы или не совместимы друг с другом.
Для выяснения этого вопроса мы воспользуемся схемой, известной под
именем "логического квадрата" (рис. 18). Схема эта наглядно показывает