Георгий Челпанов

1. Обще-утвердительное суждение : «все S суть P». Например, «все люди боятся смерти».
2. Частно-утвердительное суждение : «некоторые S суть P». Например, «некоторые люди имеют чёрный цвет кожи».
3. Обще-отрицательное суждение : «ни одно S не есть P». Например, «ни один человек не всеведущ».
4. Частно-отрицательное суждение : «некоторые S не суть P». Например, «некоторые люди не имеют чёрного цвета кожи».
Вот все четыре вида суждений. Для краткости их обозначения в логике принято употреблять следующие символы. Для обще-утвердительного суждения берут символ A, первую гласную глагола affirmo – утверждаю; для частно-утвердительного – I, вторую гласную того же глагола; для обще-отрицательного – E, первую гласную глагола nego – отрицаю; для частно-отрицательного – O, вторую гласную того же глагола.
Таким образом, символы суждений мы можем обозначить при помощи следующей таблицы:
A : Все S суть P.
I : Некоторые S суть P.
E : Ни одно S не есть P.
O : Некоторые S не суть P.
Отношение между подлежащим и сказуемым . Суждения различаются также по отношению, какое устанавливается между субъектом и предикатом. С этой точки зрения суждения разделяются на категорические , условные и разделительные . Если я говорю «все люди смертны», то здесь я беру отношение между субъектом и предикатом безусловно. Это будет категорическое суждение. Категорическое суждение есть такое, в котором сказуемое утверждается или отрицается относительно субъекта без какого-либо ограничения во времени, в пространстве или вообще в каких-либо обстоятельствах. Когда я ограничиваю отношение каким-либо условием, тогда получается условное суждение, а когда в суждении оставляется место неопределённости, тогда получается разделительное суждение.
Категорические суждения . Схема категорического суждения:
S есть P.
Пример: «Земля вращается вокруг Солнца».
Условные, или гипотетические, суждения . Схема условных суждений:
Если A есть B, то C есть D.
Пример условного суждения: «если дождь пойдёт, то почва будет мокрая». Здесь во втором суждении сказуемое может быть приписано подлежащему при условии допущения истинности первого суждения. Другой пример условного суждения: «если луна становится между солнцем и землёю, то солнце затмевается». Из этих примеров можно видеть, что условие, которое поставляется в одном из суждений, делает отношение между подлежащим и сказуемым другого суждения не категорическим, а условным. Первое суждение принято называть основанием, а второе – следствием. В условных суждениях, таким образом, мы имеем два суждения, которые находятся друг к другу в отношении основания к следствию. Суждение, которое содержит условие, называется также предыдущим (antecedens); суждение, которое содержит следствие, называется последующим (consequens).