В логике суждения подразделяются на основании количества, качества, отношения и модальности.
1. С точки зрения количества, то есть класса предметов, который мыслится в субъекте и о котором высказывается предикат, суждения подразделяются на общие, частные и индивидуальные.
Общим называется суждение, предикат которого высказывается о всех предметах какого-либо класса (все S суть Р, ни одно S не есть Р).
Например: все сосны — хвойные деревья; ни одна сосна не является лиственным деревом.
Индивидуальным называется суждение, предикат которого обозначает один предмет, то есть единичный класс (S есть Р, S не есть Р).
Например: Иванов — студент семинарии, Петров не студент семинари. Вселенная есть результат творения, вещество обладает весом.
Частным называется суждение, предикат которого обозначает часть предметов некоторого класса (некоторые S суть Р, некоторые S не суть Р).
Например: некоторые млекопитающие являются хищными животными, некоторые млекопитающие не являются хищными животными, некоторые виды вещества обладают свойством электропроводимости.
Общие и индивидуальные суждения противостоят частным в том смысле, что предикат общих и индивидуальных суждений относится ко всем предметам класса, обозначаемого субъектом, а предикат частных относится лишь к некоторым предметам класса, обозначаемого субъектом.
2. С точки зрения качества суждения делятся на утвердительные и отрицательные.
Связка утвердительного суждения означает, что признак, мыслимый в предикате, наличествует в субъекте.
Связка отрицательного суждения содержит утверждение об отсутствии в субъекте признака, мыслимого в предикате.
Например: человек есть разумное существо, человек не есть разумное существо.
В первом случае мы утверждаем, что человек относится к классу разумных существ, во втором случае мы угверждаем, что человек не относится к классу разумных существ, и, следовательно, отрицаем первое суждение.
Следует отметить, что утвердительное и отрицательное суждения неравноправны, так как условием всякого отрицательного суждения является наличие соответствующего ему утвердительного.
Основные виды суждений. Соединяя качественное и количественное деления суждений, мы получаем четыре основных вида суждений:
- обще-утвердительные (все S суть Р),
- обще-отрицательные (ни одно S не есть Р),
- частно-утвердительные (некоторые S суть Р),
- частно-отрицательные (некоторые S не суть Р).
Соответственно: все люди разумны, ни один человек не разумен, некоторые люди разумны, некоторые люди неразумны. В логике принято обозначать суждения по гласным буквам латинских глаголов аГПгто — утверждаю и — отрицаю. А — означает общеутвердительное суждение, I — частноутвердительное суждение, Е — общеотрицательное суждение, О — частноотрицательное суждение.
3. С точки зрения отношения между субъектом и предикатом суждения подразделяются на категорические, условные и разделительные.
B категорических суждениях предикат утверждается или отрицается без ограничения: S есть Р.
Например: человек есть тварное существо, некоторые студенты семинарии учатся во втором классе.
B условных (гипотетических) суждениях предикат утверждается или отрицается при некотором условии: если есть S, то есть Р.
Например: если Земля вращается вокруг своей оси, то происходит смена дня и ночи. Условные суждения являются сложными, так как содержат два (или более) взаимосвязанных суждения. Суждение, содержащее условие, называется антецедентом, а суждение, содержащее следствие из условия, называется консеквентом.
В разделительных суждениях относительно субъекта утверждается или отрицается несколько взаимоисключающих или противопоставляемых предикатов: S есть Р, или Q, или R; L, или N, или S есть Р.
Например: все треугольники или остроугольные, или тупоугольные, или прямоугольные; либо вращение Солнца вокруг Земли, либо вращение Земли вокруг своей оси, либо периодическое прекращение солнечного излучения является причиной смены дня и ночи.
Следует различать два вида разделительных суждений: этот студент учится или на первом, или на втором курсе филологического факультета, с одной стороны, и этот студент учится или на филологическом, или на математическом факультете университета, — с другой. Первое суждение имеет исключающий смысл и содержит отношение так называемой строгой дизъюнкции, так как студент не может учиться одновременно на первом и на втором курсе одного факультета. Второе суждение имеет неисключающий смысл — содержит нестрогую дизъюнкцию, так как студент университета может учиться одновременно на одном факультете и на нескольких факультетах.
В условно-разделительных суждениях соединены свойства двух предшествующих разрядов суждений: если происходит смена дня и ночи, то либо Земля вращается вокруг своей оси, либо Солнце вращается вокруг Земли, либо Солнце светит периодически.
4. С точки зрения модальности, то есть оценки отношения субъекта и предиката, суждения подразделяются на проблематические (вероятностные), ассерторические (утверждающие) и аподиктические (суждения долженствования).
Проблематические суждения содержат утверждения о предполагаемом отношении субъекта к предикату: Земля вероятно вращается вокруг Солнца
Ассерторические суждения содержат утверждение о действительном отношении субъекта к предикату: Земля вращается вокруг Солнца.
Аподиктические суждения содержат утверждение о необходимости отношения субъекта к предикату: треугольник не может иметь сумму углов, большую 180°.