Разделительным суждением называется такое суждение, в котором предмету приписывается несколько признаков, из которых принадлежит только один.

Примером разделительного суждения может быть следующее: «Тела находятся в твёрдом или в жидком, или в газообразном состоянии».

В данном суждении имеется одно подлежащее и три сказуемых. Каждое из сказуемых выражает одно из возможных физических состояний тела. Так как эти возможности взаимно исключают друг друга, то и понятия, их выражающие (т. е. сказуемые), являются понятиями несовместимыми.

Разделительное суждение, в котором сказуемые являются понятиями несовместимыми, называется исключающе-разделительным суждением .

Взаимное исключение сказуемых есть условие правильности исключающе-разделительного суждения. Второе условие правильности этого вида разделительных суждений заключается в следующем: «Сумма объёмов сказуемых должна равняться объёму подлежащего» (сравните с первым правилом деления понятий).

Так, в нашем примере с «телами» суждение было бы неправильным, если бы мы указали только два вида тел: твёрдые и жидкие. Суждение было бы также неправильным, если бы мы, кроме трёх физических состояний, указали ещё какой-нибудь признак (например, «холодное» состояние).

Разделительное суждение может иметь два, три и более сказуемых.

Общая формула разделительного суждения:

S есть или P₁, или Р₂, или Р₃.

Но иногда в разделительном суждении относительно нескольких предметов утверждается одно свойство, причём это свойство должно принадлежать одному только какому-нибудь предмету.

Например: «Или эта аудитория, или соседняя будет местом проведения экзаменов».

Общая формула данного вида разделительного суждения такова:

или S₁, или S₂, или S₃ есть Р.

Разделительные суждения могут иметь различные значения в зависимости от того, исключают ли друг друга понятия, входящие в состав сказуемого, или нет. Так, например, в суждении «Арифметическое действие есть или сложение, или вычитание, или умножение, или деление» понятие «сложение» исключает понятие «вычитание» и т. д.

Точно так же в суждении «Всякий город, находящийся на территории СССР, относится или к РСФСР, или к УССР, или к БССР, или к какой-либо иной союзной республике» очевидно, что отнесение данного города к РСФСР тем самым исключает отнесение его к какой-либо иной союзной республике.

Иначе обстоит дело в суждении «Капиталисты обогащаются или путём увеличения рабочего дня рабочих, или путём понижения заработной платы, или путём введения новых, более усовершенствованных орудий производства». В данном суждении сказуемые не исключают друг друга, так как все факторы, о которых говорится в сказуемых суждения, могут действовать совместно. Суждения такого вида называются соединительно-разделительными .

Так как язык не имеет средств для того, чтобы оттенить это логическое различие разделительных суждений (союз «или» употребляется в исключающе-разделительных суждениях и в соединительно-разделительных), то необходимо обращать внимание на смысл разделительных суждений.

Условное суждение, как мы видели, отображает такие явления действительности, возникновение которых зависит от наличия условия, указанного в данном суждении. В разделительном суждении нет прямого указания на условие. Однако и в разделительном суждении связь между предметом и одним из признаков поставлена в зависимость от наличия или отсутствия других признаков.

Существует третий вид суждений, в которых связь предмета с признаком ничем не обусловлена, а дана в безоговорочной форме. Такие суждения называются категорическими .

Категорическим суждением называется такое суждение, в котором в безусловной форме отображается факт наличия или отсутствия связи между предметом и признаком.

Например:

«По запасам нефти СССР стоит на первом месте среди других государств мира».

Как и другие виды суждений, категорические суждения бывают утвердительными или отрицательными («Горение есть химический процесс», «Жиры в воде не растворяются»), единичными, частными или общими.

Формула категорического суждения:

S есть Р.

S не есть Р.

Категорические суждения являются наиболее распространённым видом суждений. В категорических суждениях мы выражаем наше знание о том, принадлежит или не принадлежит данному предмету какой-либо известный нам признак.