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

боятся смерти".
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).
Разделительные суждения. Разделительные суждения имеют двоякий вид:
1) S есть или A, или B, или C.
2) Или A, или B, или C есть P