VIII. Теория индукции
VIII. Теория индукции
Формулируя теоретические аксиомы и понятия об изучаемых природных явлениях, не следует полагаться на абстрактные обоснования, какими бы заманчивыми и справедливыми они ни казались. Надо расшифровывать тайный язык природы из документов самой же природы, из фактов опыта. Иной альтернативы в научном познании не существует. Самое главное — это найти правильный метод анализа и обобщения опытных данных, позволяющий постепенно проникнуть в сущность исследуемых явлений. Аристотелевская логика здесь бесполезна. И хотя в силлогизме заключена «некая математическая достоверность», достаточно наполнить силлогистические доказательства путаными, опрометчиво абстрагированными от вещей и плохо определенными понятиями, как все рассуждения рушатся. Это по существу. А по видимости такая логическая организация порочных понятий может служить закреплению и сохранению ошибок, создавая иллюзию обоснованности и доказательности там, где нет ни того, ни другого. Так Бэкон изобличает мистификацию схоластической науки, один из приемов любой схоластики — и старой, и новой.
Да и в физике, где задача состоит в анализе природных явлений, а не в создании родо-видовых абстракций и уже, конечно, не в том, чтобы «опутать противника аргументами», силлогистическая дедукция не способна уловить «тонкости совершенства природы». Позднее, в своем письме к Баранзану он выскажет более терпимое отношение к возможности аристотелевской логики. «Силлогизм — это вещь, скорее неприменимая в отдельных случаях, нежели бесполезная в большинстве их» (54, II, стр. 128). Он отметит его роль в математике и согласится с мнением своего корреспондента, что, после того как посредством индукции введены хорошо определенные понятия и аксиомы, вполне безопасно применение силлогизма и в физике.
Но при всем том основным методом исследования в естественной философии является индукция. Это не та индукция, которая заключает лишь на основании простого перечисления ограниченного числа благоприятных случаев. Простая перечислительная индукция чаще приводит к ошибочным, чем к истинным, обобщениям и в лучшем случае имеет эвристическое значение наведения на более или менее вероятное предположение. И Бэкон ставит перед собой задачу сформулировать принцип научной индукции, «которая производила бы в опыте разделение и отбор и путем должных исключений и отбрасываний делала бы необходимые выводы» (5, 1, стр. 75).
Это очень важная установка. В случае индукции мы, вообще говоря, имеем незавершенный опыт, и Бэкон понимает необходимость выработки таких эффективных средств, которые позволили бы, говоря современным языком, осуществлять возможно более полный и глубокий анализ информации, заключающейся в посылках индуктивного вывода. Этот пункт станет основным в построении всех последующих логических теорий индукции, и разные теоретические модели индукции, вообще говоря, будут различаться принятием тех или иных средств и методов такого анализа. Основоположники индуктивной логики — Фр. Бэкон, Дж. Гершель и Дж. Ст. Милль — так же, как и некоторые из последующих и современных нам логиков — Дж. Венн, Г. Греневский и Н. Решер, — стремятся построить индукцию как строгое умозаключение наподобие дедуктивного. Если при этом некоторые из них и допускают неопределенность индуктивного заключения, то не применяют к его оценке функцию «вероятность». Другие же исследователи — П. Лаплас, Дж. М. Кейнс, Р. Карнап и Г. Рейхенбах — подходят к построению ее теории с точки зрения вероятностной оценки индуктивного обобщения.
Бэкону не только была чужда идея вероятностного подхода к индукции, но он, кажется, с излишним оптимизмом считал, что предлагаемые им средства индуктивного анализа являются достаточной гарантией необходимости и достоверности получаемого заключения. Вот в кратких словах суть его индуктивного метода, его Таблиц Открытия — Присутствия, Отсутствия и Степеней. Собирается достаточное количество разнообразных случаев некоторого «простого свойства» (например, плотности, теплоты, тяжести, цвета и т. п.), закон или «форма» которого ищется. Затем берется множество случаев, как можно более подобных предыдущим, но уже таких, в которых это свойство отсутствует. Затем — множество случаев, в которых наблюдается изменение интенсивности интересующего нас свойства. Сравнение всех этих множеств позволяет исключить факторы, не сопутствующие постоянно и обратимо исследуемому свойству, то есть не присутствующие там, где имеется данное свойство, или присутствующие там, где оно отсутствует, или же не усиливающиеся при его усилении (соответственно, не ослабевающие, где оно ослабевает). Таким отбрасыванием в конце концов получают определенный остаток, неизменно и обратимо сопутствующий интересующему нас свойству — его «форму».
А вот схема индуктивного исследования Бэконом формы тепла. Собираются все известные примеры природы тепла в «самых различных материях»: солнечные лучи; огненные атмосферные явления; воспламеняющие молнии; огонь; раскаленные тела; естественные горячие источники; кипящие и нагретые жидкости; горячие пары и воздух; искры, выбитые из кремня; тела, воспламеняющиеся от сильного трения; плотно спрессованные зеленые и влажные травы; смоченная водой негашеная известь; растворяющееся в царской водке железо; внутренности животных и т. д. и т. п. Весь этот список составляет таблицу Сущности или Присутствия. Далее, для каждого примера этой таблицы ищутся наиболее родственные случаи, в которых, однако, тепла не наблюдается: лучи Луны и звезд, северное сияние, зарницы, болотные огни и свечение моря, жидкость в норме, пары масел и воздух в норме, золото в царской водке, внутренности растений. Не ко всем положительным примерам Бэкон находит отрицательные. Он, например, считает, что нет такого осязаемого тела, которое явно не нагревалось бы от трения.
Иногда, не находя прямого отрицательного случая, он приводит не прямой — так раскаленным телам он противопоставляет свечение гнилушек и насекомых-светляков. Иногда же поиск отрицательных примеров заставляет его формулировать задачу дальнейшего исследования: сопровождаются ли теплом огни св. Эльма, в каких местах и в какой почве обычно встречаются горячие источники, почему преет и самовозгорается спрессованное влажное сено? Так составляется таблица Отклонения или Отсутствия в ближайшем. Дальнейшую информацию дает таблица Степеней или Сравнения. В длинном списке примеров этой таблицы мы читаем, что тела животных разогреваются от движения и напряжения, что пламя не может возникнуть и развиться, если нет пространства, в котором оно могло бы двигаться и играть, что и в других случаях движение увеличивает теплоту, как это видно на примере усиления жара горна по мере нагнетания воздуха мехами или нагревания наковальни под ударами молота и др. Здесь, как и в предыдущих таблицах, встречается ряд ошибочных, а то и фантастических утверждений. Бэкон, например, ссылается на тех астрономов, которые считают, что из планет самым горячим после Солнца является Марс, затем Юпитер, затем Венера. Он еще не освободился от перипатетических представлений о «собственной» и «посторонней» теплоте тел и их интуитивной градации различных тел по «наибольшей чувствительности к теплоте» — воздух, снег и лед, ртуть, растительные и животные масла, дерево, вода, камни и металлы. На основе этих трех таблиц можно приступить к исключению, отбрасыванию многих предположений о форме тепла. Ввиду как наличия, так и отсутствия тепла в лучах разных небесных тел его форма не может быть специфически небесной. Аналогично, она не может быть специфически связана с природой земного. Далее, из формы тепла исключаются свойства светимости, быть живым и т. д. и т. п. В конце концов Бэкон приходит к выводу, что сущность или форму теплоты составляет распирающее быстрое движение малых частиц тела, стремящихся к расширению занимаемого ими объема, однако затрудненного и сдерживаемого, а поэтому не равномерного и происходящего в малых частях. «Если ты сможешь вызвать в каком-либо природном теле движение распространения или расширения, обуздать это движение и направить его в себя само таким образом, чтобы расширение не происходило равномерно, но поочередно, то допускаясь, то подавляясь, то ты, без сомнения, произведешь тепло» (5, 2, стр. 123). Впоследствии историки науки только поражались, как из столь случайно набранных и подчас ложных данных при такой грубой их обработке Бэкон вообще мог прийти к сравнительно верному определению теплоты (см. 38, стр. 105).
Аналогия и исключение составляют главные приемы этого метода. По аналогии подбираются эмпирические данные для Таблиц Открытия. Она лежит как бы в фундаменте индуктивного обобщения, которое достигается посредством отбора, выбраковки ряда обстоятельств из обилия первоначальных возможностей. Этому процессу анализа могут способствовать исключительные ситуации, в которых исследуемая природа по тем или иным причинам обнаруживается более очевидно, чем в других. Бэкон насчитывает и излагает 27 таких преимущественных примеров (прерогативных инстанций). Сюда относятся те случаи, когда исследуемое свойство существует в предметах, совершенно различных между собой во всех других отношениях. Или, наоборот, это свойство отсутствует в предметах, совершенно подобных между собой. Или это свойство наблюдается в наиболее явной, максимальной (соответственно минимальной) степени. Или же выявляется очевидная альтернативность двух или нескольких причинных объяснений и тогда дело остается лишь за experimentum crucis[4] и т. д.
Но вот особенности бэконовской трактовки индукции, связывающие собственно логическую часть учения Бэкона с его аналитической методологией и философской метафизикой. Во-первых, средства индукции предназначаются для выявления форм «простых свойств», или «природ», как называет их Бэкон, на которые, вообще говоря, разлагаются все конкретные физические тела. Индуктивному исследованию подлежат, например, не золото, вода или воздух, а такие их свойства или качества, как плотность, тяжесть, ковкость, цвет, теплота, летучесть и т. п. Такой аналитический подход в теории познания и методологии науки впоследствии превратится в прочную традицию английского философского эмпиризма. И вместе с тем нельзя игнорировать тот факт, что физика (и не только в XVII столетии) занималась изучением как раз такого рода феноменов, исследуя природу плотности, упругости, тяготения, теплоты, цвета и магнетизма. Во-вторых, задача бэконовской индукции — выявить «форму», в перипатетической терминологии «формальную» причину, а отнюдь не «действующую» или «материальную», которые, по его мнению, частны и преходящи и поэтому не могут быть неизменно и существенно связаны с теми или иными простыми свойствами. Он мыслил индукцию не как средство узкоэмпирического исследования, в каковое она фактически превращается уже в представлении Дж. Ст. Милля, а как метод выработки фундаментальных теоретических понятий и аксиом естествознания, или, как он выражался, естественной философии.
Итак, бэконовское учение об индукции тесно связано с его философской онтологией, с аналитической методологией, с учением о простых природах и их формах, с концепцией разных видов причинной зависимости. И здесь создатель первого варианта индуктивной логики преподает нам еще один урок, который должен быть особенно поучителен для тех, кто до сих пор придерживается в логике формалистических и номиналистических позиций. Выражаясь современным языком, логика, понимаемая как интерпретированная система, то есть как система с заданной семантикой, всегда имеет какие-то онтологические предпосылки и по существу строится как логическая модель некоторой онтологической структуры. Сам Бэкон еще не делает столь определенного и общего вывода. Но он определенно замечает, что логика должна исходить «не только из природы ума, но и из природы вещей» (5, 2, стр. 220), и пишет о необходимости видоизменений «способа открытия применительно к качеству и состоянию того предмета, который мы исследуем» (5, 2, стр. 79). И бэконовский подход, и все последующее развитие логики свидетельствуют, что для существенно различных задач, вообще говоря, требуются и различные логические модели, что это справедливо как для дедуктивных, так и для индуктивных логик. Поэтому при условии достаточно конкретного и деликатного анализа мы будем иметь не одну, а множество систем индуктивных логик, каждая из которых выступает специфической логической моделью определенного рода онтологической структуры.
Как метод продуктивного открытия индукция должна работать по строго определенным правилам, как бы по некоторому алгоритму, не зависящему в своем применении от различий индивидуальных способностей исследователей, «почти уравнивая дарования и мало что оставляя их превосходству» (5, 2, стр. 76). Так, циркуль и линейка при начертании окружностей и прямых линий нивелируют остроту глаза и твердость руки. В другом месте, регламентируя познание «лестницей» строго последовательных индуктивных обобщений, Бэкон даже прибегает к такому образу: «…разуму надо придать не крылья, а, скорее, свинец и тяжести, чтобы они сдерживали всякий его прыжок и полет» (5, 2, стр. 63). Сегодня это может быть воспринято как метафорическая характеристика той определенной регламентации, которая всегда отличает научное знание от обыденного, как правило, недостаточно ясного и точного и не подлежащего методологически выверенному самоконтролю. Однако, поскольку речь идет о наиболее творческом и интимном акте теоретической деятельности, следует отдавать себе отчет, что какая-либо универсальная и общезначимая система принципов научного исследования здесь вряд ли возможна; она может затемнить существо дела, представляя вещи в упрощенном свете и связывая интуицию исследователя множеством ненужных, а то и невыполнимых предписаний.
И все же мысль рассматривать индукцию как систематическую процедуру исследования и сформулировать ее точные правила жива до сих пор. Правда, предложенная Бэконом схема не гарантирует определенности и достоверности получаемого результата, не давая даже уверенности, что процесс исключения доведен до конца. Попытка обрести эту уверенность на пути создания исчерпывающего и точного списка всех «простых природ» была бы бесперспективной и метафизической затеей. Реальной коррективой к его методологии было бы более внимательное отношение к гипотетическому элементу при осуществлении индуктивного обобщения, всегда имеющему здесь место хотя бы в фиксировании исходных для выбраковки возможностей. Любопытно, что три столетия спустя в самой индуктивной логике произойдет характерное смещение в анализе — проблема индукции «дедуктивизируется» и на первый план в ней выдвинется задача подтверждения (верификации или фальсификации) гипотез.
В пылу своей критики умозрительных абстракций и спекулятивных дедукций перипатетиков Бэкон недооценил и роль гипотез, и возможности гипотетико-дедуктивного метода в науке. А этому методу, состоящему в том, что выдвигаются определенные постулаты или гипотезы, из которых затем выводятся следствия, проверяемые на опыте, следовал не только Архимед, но и Стевин, Галилей и Декарт — современники Бэкона, заложившие основы нового естествознания. Опыт, которому не предшествует какая-то теоретическая идея и следствия из нее, просто не существует в науке. Бэкон же целиком был поглощен сугубо качественным рассмотрением эксперимента и индукции; он фактически не связывал их в системе предложенной им методологии ни с количественной обработкой результатов опыта, ни с математической дедукцией, хотя и понимал необходимость такой связи. Между тем математические схемы могут выступать как сокращенные записи обобщенного физического эксперимента, моделирующие исследуемые процессы с точностью, позволяющей предсказывать результаты будущих экспериментов. Соотношение того и другого (эксперимента и математики) для различных отраслей науки, вообще говоря, различно и зависит от развития как экспериментальных возможностей, так и имеющейся в нашем распоряжении математической техники. И надо сказать, что во времена Бэкона экспериментальная физика уже заговорила языком математической дедукции, приобретающей значение логической основы науки.
Привести философскую онтологию в соответствие с этим методом нового естествознания выпало на долю ученика Бэкона и «систематика» его материализма Томаса Гоббса. И если Бэкон в естествознании уже пренебрегает конечными, целевыми причинами, которые, по его словам, подобно деве, посвятившей себя богу, бесплодны и не могут ничего родить, то Гоббс отказывается и от бэконовских «форм», придавая значение лишь материальным и действующим причинам. Программа исследования и построения картины природы по схеме «формы — сущности» уступает место программе исследования по схеме «причинности». Соответствующим образом меняется и общий характер мировоззрения. «В своём дальнейшем развитии материализм становится односторонним… — писал К. Маркс. — Чувственность теряет свои яркие краски и превращается в абстрактную чувственность геометра. Физическое движение приносится в жертву механическому или математическому движению; геометрия провозглашается главной наукой» (2, стр. 143). Так, идейно было подготовлено главное научное произведение века — «Математические начала натуральной философии» Исаака Ньютона, блестяще воплотившее в себе эти два, казалось бы, полярных подхода — строгий эксперимент и математическую дедукцию.
Мы не будем ставить в вину Фрэнсису Бэкону, что от его первоначально грандиозного замысла, от претендующей на универсальность методологической концепции последующими поколениями была воспринята лишь общая идея и, быть может, некоторые технические частности. Подобными метаморфозами наполнена и история конкретных наук, что нисколько не исключает того, что эти первоначальные концепции фактически и исторически образуют те леса, с помощью которых возводится величественное и основательное здание научного знания. Бэконовская индукция оказалась недостаточным, можно даже сказать, упрощенным решением сложнейшей проблемы научно-теоретического обобщения эмпирического материала, той проблемы, которая, как мы теперь склонны считать, вообще не имеет своего единственного и универсального способа решения. Но вместе с тем бэконовская индукция содержит в себе в каком-то приближении, в модели те простые качественные схемы экспериментального установления зависимости (или независимости) между явлениями, которые впоследствии были специально выделены Гершелем и Миллем и названы методами сходства, различия и сопутствующих изменений. Эти схемы нетрудно обнаружить и сегодня в реализации многих экспериментальных исследований. И в этом смысле Фрэнсис Бэкон также может быть назван одним из родоначальников современной экспериментирующей науки. Но еще важнее, пожалуй, то, что пионер естественнонаучной методологии не относился к своему учению как к истине в последней инстанции. Он прямо и откровенно ставил его лицом к лицу с будущим. «Мы не утверждаем, однако, что к этому ничего нельзя прибавить, — писал Бэкон. — Наоборот, рассматривая ум не только в его собственной способности, но и в его связи с вещами, мы должны установить, что искусство открытия может расти вместе с открытиями» (5, 2, стр. 82).