ЛОГИКА

Во всех суждениях и исследованиях такого рода условна не сама истина, как таковая, но лишь то предположение, сделав которое мы пришли к установлению истины. Что две линии АВ и CD, параллельные каждая порознь третьей линии EF, параллельны между собой, — в этом высказывании нет ничего условного; оно необходимо следует из предположенного условия — из параллельности каждой из двух данных линий третьей. Вопрос идёт лишь о том, в какой мере предположенное условие достоверно: вероятно оно или действительно. В категорических суждениях вопрос этот не ставится, так как в этих суждениях условия истинности мыслятся как найденные в самом предмете. Поэтому категорические суждения должны быть отличаемы от гипотетических.

§ 26. Это не значит, разумеется, будто одна лишь форма категорического суждения, как таковая, уже обеспечивает истинность высказывания. В категорическом суждении условие его истинности мыслится как найденное в самом предмете. Но «мыслится» ещё не значит «действительно существует» в предмете. Одна лишь субъективная уверенность в том, что известное условие коренится в самом предмете, не есть ещё достаточное доказательство того, что дело действительно обстоит так, как мыслится. Преимущество категорического суждения является бесспорным лишь там, где условия его истинности действительно найдены в самом предмете. Если же высказывающему только кажется, будто они найдены в предмете, то одна лишь форма категорического суждения, сама по себе взятая, не обеспечит истинности высказывания.

§ 27. Мы уже не раз замечали, что между логическим значением суждения и его грамматической формой не всегда бывает полное соответствие. Так обстоит дело и в случае различения видов суждения по отношению. Так как в категорических суждениях истинность высказывания также определяется известными условиями, существующими и найденными в самом предмете, то и категорическое суждение может быть высказано в форме сложного предложения с условным придаточным предложением, начинающимся союзом «если». Так, суждение «планеты имеют видимое собственное движение между звёздами» может быть выражено и в такой форме: «если светило — планета, то оно имеет видимое собственное движение между звёздами». Однако это сходство грамматической формы предложения с логической формой условного суждения не делает взятое в нашем примере суждение подлинно условным или гипотетическим.

§ 28. Третий вид отношения представляют суждения разделительные (дисъюнктивные). В разделительном суждении относительно субъекта суждения высказывается ряд предикатов, сумма которых исчерпывает все виды рода, представленного субъектом. Каждый из них, во-первых, исключает все остальные и, во-вторых, относится ко всем остальным таким образом, что данный предикат необходимо должен утверждаться относительно субъекта, если все остальные предикаты отрицаются относительно него. Так, прямоугольностью исключается и тупоугольность и остроугольность. С другой стороны, угол необходимо должен быть признан прямым, если установлено, что он не является ни тупым, ни острым.

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

Общей схемой разделительного суждения о принадлежности будет формула: «А есть или В, или C, или D».

§ 29. Разделительный характер суждения, однако, не может быть установлен на основании одного только присутствия в составе предложения разделительного союза «или», поставленного между несколькими сказуемыми. В подлинно разделительном суждении предикаты, которые могут быть приписаны субъекту, должны взаимно исключать друг друга. Напротив, грамматический союз «или» вовсе не обязательно выражает несовместимость сказуемых. В предложении «реки бывают или судоходные или не судоходные» союз «или» разделяет несовместимые сказуемые. Поэтому суждение, выражаемое этим предложением, будет разделительным. Но в предложении «хорошие работники бывают или талантливы или трудолюбивы» союз «или» вовсе не выражает несовместимости сказуемых. Хороший работник не только может быть одновременно и талантливым и трудолюбивым, но самым лучшим работником будет именно тот, который совмещает в себе оба эти качества. Поэтому суждение «хорошие работники бывают или талантливы или трудолюбивы» не есть, разумеется, разделительное суждение.