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