§ 5. Необходимость может быть положительная и отрицательная. Поэтому, если совпадение математических выводов с явлениями служит подтверждением гипотезы, то несовпадение служит самым сильным доказательством против неё.
Примеры того и другого представляют световые гипотезы. Теория истечения и теория колебания влекут за собой известные, математически необходимые последствия; но некоторые из последствий первой не согласны с явлениями, тогда как все последствия второй с ними согласны. Поэтому первая отвергается, а вторая признаётся наукой.
§ 6. Третью, высшую ступень занимают гипотезы, в которых само предположение имеет рациональный характер. Таковы гипотезы метафизические, примером которых может служить атомистическая теория, выработанная первоначально метафизикой, но находящая в химических отношениях непоколебимую фактическую опору.
Глава 2. Математические построения
§ 1. Вторую ступень конструктивного сочетания индукции с дедукцией составляет сочетание их на почве необходимости. Таковы все физические законы, основанные на математических выводах.
§ 2. Путь здесь может быть двоякий: от частного к общему и от общего к частному.
§ 3. Первый состоит в подведении фактов под математические формулы путём конструкции.
Таков, например, вывод астрономических законов. Наблюдаются положения светил и затем, с помощью конструкции, определяется, какой математической линии соответствуют эти положения. Затем, определив линии, с помощью новой конструкции определяется, какие должны действовать силы и какие должны быть законы этих сил для того, чтобы светило могло двигаться по этому пути. Этим способом было открыто всемирное тяготение.
§ 4. Второй путь состоит в приложении общих математических законов к частным явлениям посредством введения новых условий.
Таковы выводы физики. К чистым законам умозрительной механики присоединяются фактические условия, которые делают их приложимыми к разнообразию явлений. Так поступают, например, в гидродинамике: общие механические законы прилагаются к гипотетической несжимаемой жидкости. Затем вводятся определяемые опытом коэффициенты, например, упругости, трения. С помощью их получается вывод, если не совершенно точный, что при опытных данных немыслимо, то настолько приблизительный, что можно пренебрегать разностью.
§ 5. Математические выводы восполняют недостаток индукции и дают знанию совершенную точность и достоверность. Но они ограничиваются количественной областью, а потому не дают полного познания вещей. Между тем количество требует восполнения качеством, следовательно, новых оснований и новых отношений индукции к дедукции. Эти основания даются философией.