Логика

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

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

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

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

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

S или S₁ есть Р

В первой формуле одно подлежащее и два сказуемых, причем к подлежащему не могут относиться оба сказуемых, а только одно из них. Во второй формуле два подлежащих и одно сказуемое; но это сказуемое не может относиться к обоим подлежащим, а только к одному из них. Само разделительное суждение не даёт нам ответа на вопрос о том, какое именно сказуемое относится к данному подлежащему или к какому именно подлежащему относится сказуемое; оно только устанавливает выбор между возможными решениями вопроса, а какое из них является правильным, зависит от существа рассматриваемого вопроса, от соответствия того или иного решения объективной действительности.

В приведенных примерах, равно как в указанных выше формулах разделительного суждения, дано два возможных решения вопроса, но таких возможных решений в разделительных суждениях может быть и больше — три, четыре и т. д. Если разделительное суждение состоит из двух членов, каждый из них называется альтернативой. «S есть или Р или Р₁»; альтернативами здесь являются оба возможные, но исключающие друг друга решения: «S есть Р» и «S есть Р₁». В разделительном суждении «S или есть Р» альтернативами являются: «S есть Р» и «S₁ есть Р». Само слово «альтернатива» означает одно из двух возможных решений.

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

В рассматриваемом делении суждений на категорические, гипотетические (условные) и разделительные последняя группа суждений — разделительные — отграничивается от первых двух групп очень четко и определенно по их логической структуре — несколько подлежащих или несколько сказуемых. В отношении различия же между категорическим и гипотетическим суждениями следует указать, что любое гипотетическое суждение может быть выражено в форме категорического суждения. Для преобразования гипотетического суждения в категорическое следует только условие (основание) включить в понятие подлежащего или сказуемого. Например, гипотетическое суждение «если металл подвергнуть трению, он нагреется» можно выразить так: «металл, подвергнутый трению, нагревается»; в этом случае условие включено в подлежащее. Гипотетическое суждение «если завтра будет хорошая погода, я пойду гулять» можно выразить так: «я пойду гулять завтра при хорошей погоде»; здесь условие включено в сказуемое. Поэтому различие категорических и гипотетических суждений производится по их смыслу, в зависимости от того, какое суждение лучше выразит данную мысль, а не в зависимости от грамматической формы предложения, выражающего то или иное суждение.

§ 10. ДЕЛЕНИЕ СУЖДЕНИЙ ПО СТЕПЕНИ СУЩЕСТВЕННОСТИ ДЛЯ ПОДЛЕЖАЩЕГО ТОГО ПРИЗНАКА, КОТОРЫЙ ВЫРАЖЕН СКАЗУЕМЫМ

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