Логика. Учебник для средней школы. (Издание восьмое. Утверждён Министерством просвещения РСФСР.), стр. 14

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

если S есть Р, то S₁ есть Р₁.

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

Та часть, в которой указывается условие, называется основанием, а та часть, истинность которой определяется условием, указанным в первой части, называется следствием.

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

Условные суждения могут иметь различные формы:

1. Если S есть Р, то S₁ есть P₁. Например: «Если солнечный луч пропустить через призму, то на экране получится спектр».

2. Если S не Р, то S₁ не P₁. Например: «Если ученик не проявит внимательности, то он не усвоит урока».

3. Если S есть Р, то S₁ не P₁. Например: «Если через проволоку пропустить электрический ток, то химический состав её не изменится».

4. Если S не Р, то S₁ есть P₁. Например: «Если картофель не окучивать, то урожай его будет низким».

В условных суждениях выражается зависимость (или отсутствие зависимости) одного явления от другого. Познавая разные случаи такой зависимости, мы замечаем, что каждый предмет в различных условиях может обладать различными, часто противоположными признаками. Например: если воду нагреть — она превратится в пар, если охладить — то превратится в лёд.

Наше знание о связях предметов с их признаками может выражаться также в форме разделительных суждений.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Например:

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

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

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

S есть Р.

S не есть Р.

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

§ 9. Суждения возможности, действительности и необходимости

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

В том случае, когда только предполагается возможность связи предмета и его свойства, человек выражает свою мысль в такой форме:

Возможно, что на Марсе есть органическая жизнь.

Вероятно, что районные соревнования по лёгкой атлетике состоятся в июле.

Может быть, завтра будет хорошая погода.

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

Истинность суждения возможности всецело определяется тем, какова степень выражаемой в суждении вероятности наступления ожидаемого факта. Вероятность событий зависит от условий, в которых эти события происходят.