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