традиционные формулы полезно прибегать потому, что лишь после этой операции становится очевидно, что взятое следствие есть полный член функциональной зависимости: в противном случае оно не могло бы быть субъектом суждения. Ввиду полезности такой проверки мы вовсе не рекомендуем отваживаться без дальних размышлений на умозаключения по второй фигуре при двух утвердительных посылках даже и тогда, когда даны, напр., такие посылки: 'всякий равнобедренный треугольник имеет при основании равные углы', 'треугольник ABC имеет при основании равные углы' (mutatis mutandis [CCCXXIII] такие же соображения применимы и к умозаключениям от отсутствия основания, т. е. к умозаключениям по первой фигуре силлогизма при меньшей отрицательной посылке, а потому, хотя они и возможны при известных условиях, мы вовсе не рекомендуем прибегать к ним без поверки, осуществлены ли эти условия).

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

Когда мы занимались рассмотрением прямых индуктивных умозаключений и объясняли их непосредственным усмотрением связи основания и следствия, было очевидно, что не все индуктивные доказательства так просты. Опытные науки на каждом шагу сталкиваются со связями настолько недифференцированными или отдаленными, что установить их путём прямого усмотрения было бы невозможно. Каким образом можно было бы, напр., усмотреть, что у некоторых тел существует зависимость между теплоемкостью и атомным весом (закон Дюлонга и Пти) или что при удалении проводников друг от друга индуктируется прямой ток, а при сближении обратный? Если же гениальный исследователь и усматривает в подобных случаях связь между явлениями прямым путем, всё же другие люди зачастую не замечают её вовсе. Отсюда в науке возникает потребность выработать метод, заменяющий прямую индукцию там, где она невозможна, и также поверяющей её там, где она возможна. Этот метод по необходимости должен быть косвенным, он должен состоять в том, что мы устанавливаем связь основания и следствия между S и P, руководствуясь какими-нибудь производными признаками этой связи, доступными наблюдению всякого, даже и наименее талантливого человека. Производные из связи основания и следствия признаки, пригодные для этой цели, найти нетрудно: таковы связи во времени. Две группы явлений, неизменно сосуществующие (или следующие друг за другом) во времени, а также две группы явлений, возникающие или исчезающие вместе во времени, связаны друг с другом как основание и следствие. Стоит только принять одно из этих положений за большую посылку, а в качестве меньшей посылки привести ряд наблюдений или опытов (по методу единственного совпадения или по методу единственного различия, который соответствует миллевским методам различия и сопутствующих изменений), показывающих, что пара изучаемых явлений обладает теми свойствами во времени, о которых идёт речь в большей посылке, и отсюда получится правильный дедуктивный вывод о том, что изучаемые явления действительно связаны друг с другом как основание и следствие.

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

Имея возможность свести умозаключения этого рода к дедуктивному типу, многие представители логики не чувствуют никакой потребности в других элементарных индуктивных методах и несомненно отнесутся отрицательно к описанной нами прямой индукции. Ввиду этого следует особенно обратить внимание на то, что косвенная индукция в громадном большинстве случаев возможна не иначе как при посредстве прямой индукции. Не говоря уже о большей посылке, происхождения которой мы коснемся в следующем отделе (об умозрении) этой главы, даже и меньшая посылка косвенного индуктивного умозаключения обыкновенно устанавливается с большею или меньшею помощью прямой индукции. В самом деле, когда мы излагаем схематически процесс косвенного индуктивного умозаключения, мы рассуждаем так: положим, что явлению P предшествует комплекс явлений ABS; если мы хотим определить, какие элементы этого комплекса законосообразно связаны с явлением P, то мы должны на основании опыта или наблюдения подыскать другие случаи и т. д. В схематическом изображении на доске в аудитории комплексы явлений, предшествующих P и соответствующих требованиям метода единственного различия или единственного совпадения, подбираются всегда очень удачно, но, спрашивается, каким образом мы находим этот комплекс явлений при действительном исследовании природы: ведь всякому явлению P предшествует весь безграничный океан явлений всего мира, а не какая- либо ограниченная группа ABS [CCCXXIV]. Однако пересмотреть явления всего мира, во-первых, невозможно, а во-вторых, бесполезно, так как экспериментировать с целым миром по методу единственного различия или найти в нём причину по методу единственного совпадения нельзя. Остается, следовательно, идти иным путем: выбрать из целого мира ограниченный комплекс явлений и подвергнуть его исследованию согласно требованиям метода; но ввиду бесконечной сложности мира выбрать этот комплекс наудачу нельзя: мы достигнем цели только в том случае, если отбросим явления, очевидно не имеющие, а также по-видимому не имеющие никакого отношения к P, и оставим для исследования комплекс явлений, относительно которых уже догадываемся, что они заключают в себе искомую причину. Но это ясное усмотрение отсутствия связи между некоторыми элементами мира и догадка о связи между другими элементами, составляющие необходимое предварительное условие косвенного индуктивного умозаключения, могут быть даны только или прямым восприятием, или прямою индукциею. Ссылаться опять на косвенную индукцию для объяснения меньшей посылки нельзя, так как это значило бы не решить проблему, а только отодвинуть её; впрочем, этого и не делают исследователи научной индукции, так как обыкновенно они сами признают, что научное индуктивное исследование возможно не иначе как на почве уже существующей гипотезы или догадки о связи между явлениями [CCCXXV], но они не исследуют, откуда является эта догадка. Впрочем, уже Юэль [CCCXXVI] задает вопрос; каким образом получаются случаи, требуемые методами Милля [CCCXXVII], а Фонсегрив даже решает этот вопрос в том же духе, как и мы. Он говорит: 'Всякое состояние вселенной есть сложная группа явлений, из которой наблюдатель, желающий производить чисто объективное исследование, столь расхваливаемое и рекомендуемое Беконом не имеет права ничем пренебречь по собственному почину. Если он оставит без внимания какой-либо элемент, напр., если, желая исследовать причину кипения, он пренебрежет положениями Сатурна или Сириуса, то это значит, что он считает эти положения не имеющими значения для исследуемого им вопроса. Между тем кто знает, не прав ли был Юм, говоря: что бы то ни было может произвести какую бы то ни было вещь? Конечно, я не думаю, чтобы кто-либо стал утверждать, будто какой- либо ученый в каком-либо исследовании считал все объективные элементы одинаково значительными. Но что же означает это различие маловажного и значительного, если не признание всеми учёными того, что они считают свой разум способным к непосредственному различению, которое, если всмотреться глубже, ничем не отличается от процесса абстракции, необходимого для образования понятий?' [CCCXXVIII].

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