§ 3. В предыдущем параграфе мы рассмотрели примеры, выясняющие функцию гипотезы в научном мышлении. Но логика не может удовлетвориться одним описанием гипотезы. Логика должна выяснить логический характер научных построений, называемых гипотезами.
Во многих руководствах логики вопрос о гипотезе излагается в разделе о методах научного исследования. Основанием для этого помещения гипотезы в разделе о методе является функция гипотезы, а также сложность её логического строения.
Но если к вопросу о гипотезе подойти с точки зрения того логического типа, к которому, относятся формы мышления, называемые гипотезами, то гипотеза, так же как и индукция, должна быть отнесена к умозаключениям.
А именно: гипотеза есть умозаключение, или вывод, о том, что известная совокупность явлений, мысль о которой образует предикат суждения, может быть объяснена как результат некоторого прямо нами не наблюдаемого закономерного порядка. Мысль об этом закономерном порядке должна стать субъектом суждения, формулирующего основное предположение гипотезы.
Общей схемой гипотетического умозаключения будет следующая:
Имеем предикат Р. Предикат этот представляет некоторую совокупность явлений, причина которой, или закономерный порядок, её обусловливающий, подлежат ещё объяснению. Мысль об этом закономерном порядке, или об этой причине, составит субъект суждения. Поскольку этот субъект ещё не найден, обозначим его через X. Имеем: X — Р. Сравнивая предикат Р с предикатом Р1 суждения S — Р1 устанавливаем, что предикаты эти в известной части тождественны, т. е. что исследуемая совокупность явлений, причину которой мы ищем, в некоторой своей части тождественна другой известной нам совокупности явлений, причина которой уже ранее установлена. На основании частичного тождества предикатов Р и Р1 умозаключаем, что и субъекты, представляющие мысль о причине, или закономерном порядке, обусловливающем тождественные совокупности явлений, должны быть также тождественны, т. е. находим, что X есть S.
Таким образом, гипотеза, как бы сложны ни были сопоставляемые в ней предикаты, есть не что иное, как умозаключение от тождества предикатов к тождеству субъектов, а именно: искомого субъекта с субъектом суждения, предикат которого оказался тождественным предикату исследуемого суждения.
§ 4. Гипотетический вывод, или гипотетическое умозаключение, отличается от большинства рассмотренных нами до сих пор видов умозаключений. За исключением силлогизмов второй фигуры, все до сих пор изученные нами выводы основывались на сравнительном рассмотрении субъектов в суждениях, которые играют роль посылок вывода. Так, найдя из сравнения субъектов двух суждений, что субъекты эти тождественны, и зная, кроме того, что один из этих субъектов обладает некоторым определённым предикатом, мы, очевидно, вправе приписать этот предикат также и другому субъекту в другом суждении. Основанием для этого переноса предиката из одного суждения в другое будет тождество субъектов в обоих суждениях.
Различие между формой вывода, основанного на тождестве субъекта в посылках и субъекта в заключении, и формой вывода о принадлежности, предмету одного суждения предиката, принадлежащего предмету другого суждения, зависит от того, идёт ли вывод 1) от отдельных предметов к отдельным предметам или 2) от отдельных предметов к группе предметов, или, наконец, 3) от группы предметов к отдельным предметам. В первом случае, когда вывод идёт от отдельных предметов к отдельным же предметам, возникают многочисленные выводы об отношениях тождества предметов, тождества частей их содержания, об отношениях одновременности и т. д. Во втором случае, когда вывод идёт от отдельных предметов к группе предметов, возникают выводы полной и неполной индукции, выводы третьей фигуры силлогизма, а также выводы, состоящие в применении индуктивных умозаключений и умозаключения по третьей фигуре к целому ряду суждений — условных, суждений о составе предметов и т. д. В третьем случае, когда вывод идёт от группы предметов к отдельным предметам, получаются выводы по первой фигуре простого категорического силлогизма, по модусу ponens условного силлогизма, выводы разделительного силлогизма и выводы вероятности.