Моя мысль состоит в том, что попперовская логика научного открытия сочетает в себе две различные концепции. Т. Кун увидел только одну из них — «наивный фальсификационизм» (лучше сказать «наивный методологический фальсификационизм»); его критика этой концепции справедлива и ее можно даже усилить. Но он не разглядел более тонкую концепцию рациональности, в основании которой уже не лежит «наивный фальсификационизм». Я попытаюсь точнее обозначить эту более сильную сторону попперовской методологии, что, надеюсь, позволит ей выйти из-под обстрела куновской критики и рассматривать научные революции как рационально реконструируемый прогресс знания, а не как обращение в новую веру. (С. 273-275)
Мы рассмотрели проблему объективной оценки научного развития, используя понятия прогрессивного и регрессивного сдвигов проблем в последовательности научных теорий. Если рассмотреть наиболее значительные последовательности, имевшие место в истории науки, то видно, что они характеризуются непрерывностью, связывающей их элементы в единое целое. Эта непрерывность есть не что иное, как развитие некоторой исследовательской программы, начало которой может быть положено самыми абстрактными утверждениями. Программа складывается из методологических правил: часть из них — это правила, указывающие, каких путей исследования нужно избегать (отрицательная эвристика), другая часть — это правила, указывающие, какие пути надо избирать и как по ним идти (положительная эвристика).
Даже наука как таковая может рассматриваться как гигантская исследовательская программа, подчиняющаяся основному эвристическому правилу Поппера: «выдвигай гипотезы, имеющие большее эмпирическое содержание, чем у предшествующих». Такие методологические правила, как заметил Поппер, могут формулироваться как метафизические принципы. Например, общее правило конвенционалистов, по которому исследователь не должен допускать исключений, может быть записано как метафизический принцип: «Природа не терпит исключений». Вот почему Уоткинс называл такие правила «влиятельной метафизикой».
Но прежде всего меня интересует не наука в целом, а отдельные исследовательские программы, такие, например, как «картезианская метафизика».
Эта метафизика или механистическая картина универсума, согласно которой Вселенная есть огромный часовой механизм (и система вихрей), в котором толчок является единственной причиной движения, функционировала как мощный эвристический принцип. Она тормозила разработку научных теорий, подобных ньютоновской теории дальнодействия (в ее «эссенциалистском» варианте), которые были несовместимы с ней, выступая как отрицательная эвристика. Но с другой стороны, она стимулировала разработку вспомогательных гипотез, спасающих ее от явных противоречий с данными (вроде эллипсов Кеплера), выступая как положительная эвристика.
(а) Отрицательная эвристика: «твердое ядро» программы
У всех исследовательских программ есть «твердое ядро». Отрицательная эвристика запрещает использовать modus tollens (отрицающий модус (лат.). — Ред.), когда речь идет об утверждениях, включенных в «твердое ядро». Вместо этого мы должны напрягать нашу изобретательность, чтобы прояснять, развивать уже имеющиеся или выдвигать новые «вспомогательные гипотезы», которые образуют защитный пояс вокруг этого ядра; modus tollens своим острием направляется именно на эти гипотезы. Защитный пояс должен выдержать главный удар со стороны проверок; защищая таким образом окостеневшее ядро, он должен приспосабливаться, переделываться или даже полностью заменяться, если того требуют интересы обороны. Если все это дает прогрессивный сдвиг проблем, исследовательская программа может считаться успешной. Она неуспешна, если это приводит к регрессивному сдвигу проблем.
Классический пример успешной исследовательской программы — теория тяготения Ньютона. Быть может, это самая успешная из всех когда-либо существовавших исследовательских программ. Когда она возникла впервые, вокруг нее был океан «аномалий» (если угодно, «контрпримеров»), и она вступала в противоречие с теориями, подтверждающими эти аномалии. Но, проявив изумительную изобретательность и блестящее остроумие, ньютонианцы превратили один контрпример за другим в подкрепляющие примеры. И делали они это главным образом за счет ниспровержения тех исходных «наблюдательных» теорий, на основании которых устанавливались эти «опровергающие» данные. Они «каждую новую трудность превращали в новую победу своей программы».