ЛОГИКА

§ 9. До сих пор, говоря об отсутствии безусловной противоположности между дедукцией и индукцией, мы опирались на те формы индукции, которые по ходу умозаключения, по степени его вероятности и по его задаче должны быть, как полная индукция, поставлены рядом с силлогистическими, или дедуктивными, выводами.

Но то же отсутствие безусловной противоположности между дедукцией и индукцией может быть доказано и иначе — посредством анализа тех форм индуктивных выводов, которые, как индукция Бэкона, несомненно, отличаются от силлогистических выводов и по степени вероятности заключений, никогда не достигающей полной достоверности, и по их цели, состоящей в установлении причинной связи.

И действительно, общую схему всех бэконовских индуктивных методов составляет, как мы видели, разделительно-категорический силлогизм модуса tollendo ponens.

Независимо от особого для каждого метода хода умозаключения каждый метод бэконовской индукции состоит — с логической точки зрения — в том, что, учтя всю совокупность несовместимых друг с другом обстоятельств, относительно которых возможно думать, что каждое из них может быть причиной исследуемого явления, последовательно исключают все те из них, которые, как выясняется из анализа, не могут быть такой причиной в данном случае. В результате не исключённым оказывается только одно единственное обстоятельство, которое и есть причина (или часть причины) явления. В случае метода сходства неисключённым остаётся то обстоятельство, которое одно имеет место во всех рассматриваемых случаях, в то время как все остальные обстоятельства оказываются в каждом случае различными. При методе различия неисключённым остаётся то обстоятельство, которым данный случай отличается от всех других случаев, когда явление наступает. При методе остатков неисключённым остаётся то обстоятельство, которое не может быть причиной ни одной составной части сложного явления, кроме той именно, причина которой должна быть установлена. Наконец, в случае метода сопутствующих изменений неисключённым остаётся то обстоятельство, которое одно изменяется в степени, в то время как все остальные во всех исследуемых случаях оказываются не изменёнными.

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

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

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

§ 11. Даже в тех случаях, когда индуктивный вывод предшествует дедуктивному доказательству, окончательная достоверность вывода достигается не индукцией, а дедукцией. Из истории наук известно, что даже в доказательствах математических теорем применялась индукция. Некоторые и притом весьма важные теоремы теории чисел, например малая теорема Ферма¹, были сначала найдены посредством индукции. Путём индукции была найдена Архимедом площадь параболы: Архимед брал листы жести одной и той же толщины, вырезал из них куски параболической формы и затем взвешивал их. И только после того, как посредством индукции была найдена формула для площади параболы, оказалось возможным вывести эту же формулу дедуктивным путём.

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