Напротив, в сложном суждении «если две линии параллельны каждая, порознь третьей, то они
параллельны между собой» утверждаемое в высказывании оказывается действительным только при
известном условии, которое формулируется тут же, в самом суждении. Условие это выражается
суждением, начинающимся условным союзом «если». Чтобы признать две данные линии А В и CD
параллельными между собой, здесь необходимо – в качестве условия истинности утверждения –
допустить или принять, что обе эти линии А В и CD параллельны третьей линии EF. Такое сложное
суждение, в котором истинность высказывания стоит в зависимости от условия, которое формулируется
в самом суждении, называется условным, или гипотетическим.
Общей схемой условных суждений о принадлежности будет формула: «если А есть В, то С есть D».
§ 25. Суждения утвердительные – поскольку в них раскрываются признаки, действительно
принадлежащие предмету, представляют иную ценность для знания, чем суждения отрицательные, в
которых отмечается только, какие признаки не принадлежат предмету. Общие суждения применяются в
знании иначе, чем суждения частные. Категорические и гипотетические суждения также имеют
различное значение для знания. Так как в категорических суждениях утверждаются такие свойства
предмета, которые мыслятся как найденные в самом предмете, то категорические суждения
представляют иное значение для знания, чем суждения гипотетические, в которых истинность
высказывания зависит от истинности условия, ещё не найденного в самом предмете, но только
предполагаемого и сформулированного в самом суждении.
Это не значит, однако, будто гипотетические суждения не имеют ценности для знания.
Гипотетические суждения играют большую роль во всех науках. Ни в каком действительном предмете
не существует линий, которые имели бы только длину. Однако математик предполагает, что линии,
которые он рассматривает в своих рассуждениях и доказательствах, именно таковы. Предположив такие
линии, математик устанавливает далее, какие отношения необходимо должны быть между этими
линиями, раз принято условие, что они мыслимы.
Но и в других науках широко распространён и имеет большое значение приём, состоящий в том, что,
предположив, будто известные условия выполнены или имеются налицо, учёный делает логические
выводы относительно всего того, что вытекает с логической необходимостью из предположенных им
условий. Никто, например, не присутствовал при процессе возникновения звёздных туманностей. Но
астрофизик, предположив известные механические и динамические условия вещества, распределённого
известным образом в пространстве, исследует затем, какие процессы должны были бы развиваться там,
если бы такие условия оказались налицо. Так возникают ценные научные догадки о возможном ходе
развития звёздных туманностей, солнечной системы и т. д.
Во всех суждениях и исследованиях такого рода условна не сама истина, как таковая, но лишь то
предположение, сделав которое мы пришли к установлению истины. Что две линии АВ и CD,
параллельные каждая порознь третьей линии EF, параллельны между собой, – в этом высказывании нет
ничего условного; оно необходимо следует из предположенного условия – из параллельности каждой из
двух данных линий третьей. Вопрос идёт лишь о том, в какой мере предположенное условие
достоверно: вероятно оно или действительно. В категорических суждениях вопрос этот не ставится, так
как в этих суждениях условия истинности мыслятся как найденные в самом предмете. Поэтому
категорические суждения должны быть отличаемы от гипотетических.
§ 26. Это не значит, разумеется, будто одна лишь форма категорического суждения, как таковая, уже
обеспечивает истинность высказывания. В категорическом суждении условие его истинности
мыслится как найденное в самом предмете. Но «мыслится» ещё не значит «действительно существует»
в предмете. Одна лишь субъективная уверенность в том, что известное условие коренится в самом
предмете, не есть ещё достаточное доказательство того, что дело действительно обстоит так, как
мыслится. Преимущество категорического суждения является бесспорным лишь там, где условия его
истинности действительно найдены в самом предмете. Если же высказывающему только кажется, будто
они найдены в предмете, то одна лишь форма категорического суждения, сама по себе взятая, не
обеспечит истинности высказывания.
§ 27. Мы уже не раз замечали, что между логическим значением суждения и его грамматической
формой не всегда бывает полное соответствие. Так обстоит дело и в случае различения видов суждения
по отношению. Так как в категорических суждениях истинность высказывания также определяется
известными условиями, существующими и найденными в самом предмете, то и категорическое
суждение может быть высказано в форме сложного предложения с условным придаточным
предложением, начинающимся союзом «если». Так, суждение «планеты имеют видимое собственное