Лакатос критикует существующие методологические концепции и приходит к выводу, почти совпадающему с моим. Рассматривая способы устранения теорий, он пишет: «Если взглянуть на историю науки и попытаться увидеть, каким образом происходили некоторые из наиболее известных фальсификаций, то можно прийти к выводу, что либо некоторые из них совершенно иррациональны, либо же они опираются на принципы рациональности, отличные от тех, которые мы обсуждаем»[158]. «Принципы рациональности, которые мы обсуждаем», есть принципы критического рационализма, как явствует из предшествующего раздела, однако Лакатос был готов распространить свое замечание на другие методологические концепции и процедуры, отличные от фальсификации[159]. Он является одним из весьма немногих мыслителей, которые заметили огромную пропасть, разделяющую различные образы науки и «реальное положение вещей». И он понял, что попытка реформировать науки путем приближения их к этому образу нанесла бы им большой вред и, быть может, даже разрушила бы их. С этим я, безусловно, согласен.

Я согласен также с двумя положениями, образующими существенную часть теории науки Лакатоса. Первое говорит о том, что методология должна обеспечивать «передышку»[160] тем идеям, которые мы хотим разрабатывать. Имея дело с новой теорией, мы не должны сразу использовать обычные стандарты для решения вопроса о ее жизнеспособности. Ни кричащие внутренние противоречия, ни очевидный недостаток эмпирического содержания, ни обширный конфликт с экспериментальными результатами не должны заставить нас отказаться от разработки концепции, которая по тем или иным причинам нравится нам[161]. В наших методологических оценках учитывается эволюция теории в течение длительного периода времени, а не ее состояние в некоторый отдельный момент. Это положение устраняет большую часть возражений, которые я выдвинул в предшествующих главах.

Во-вторых, Лакатос утверждает, что методологические стандарты не находятся вне критики. Их можно проверять, улучшать, заменять лучшими стандартами. Проверка не является абстрактной, а использует исторические данные: данные истории играют решающую роль в спорах между конкурирующими методологическими концепциями. Это второе положение отделяет нас с Лакатосом от тех логиков, которые рассматривают обращение к истории как «весьма неэффективный метод»[162] и считают, что методологию следует разрабатывать только на базе простых моделей. (Многие логики даже не видят здесь проблемы; они считают несомненным, что построение формальных систем и игра с ними есть единственный законный способ понимания изменений в науках[163].)

Мои расхождения с Лакатосом касаются рекомендуемых им стандартов, его оценки современной науки (в сравнении, скажем, с мифом или аристотелевской наукой), его заявлений о том, что он действует «рационально», а также отдельных исторических данных, которые он использует в своем обсуждении различных методологических концепций. Начну с первого пункта этого перечня.

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

Согласно Лакатосу, оценки имеют следующий вид: «Исследовательская программа считается прогрессирующей, если ее теоретический рост предвосхищает эмпирический, то есть если она с некоторым успехом может предсказывать новые факты... программа регрессирует, если ее теоретический рост отстает от эмпирического, то есть если она дает только запоздалые объяснения либо случайных открытий, либо фактов, предвосхищаемых и открываемых конкурирующей программой»[164]. Регрессирующая программа может вырождаться до тех пор, пока в ней не останется ничего, кроме «широковещательной переформулировки» исходной позиции, соединенной с переложением в ее собственных терминах (успехов) конкурирующих программ[165]. Оценки такого рода являются основными в той методологической концепции, которую защищает Лакатос. Описывая ситуацию, в которой находится ученый, они не подсказывают ему, как поступать.

Наблюдая некоторую исследовательскую программу в состоянии глубокого вырождения, можно почувствовать желание устранить ее и заменить более прогрессивной. Это совершенно законное побуждение. Но столь же законно действовать противоположным образом и сохранять эту программу. Любая попытка потребовать ее устранения на основе некоторого правила может быть подвергнута критике посредством аргументов, почти тождественных тем, которые в первую очередь требуют «предоставить жизненное пространство»: если неблагоразумно отвергать несовершенные теории в момент их рождения, поскольку они могут расти и улучшаться, то столь же неблагоразумно отвергать исследовательские программы, клонящиеся к упадку, поскольку они могут возродиться и достигнуть невиданного блеска (бабочка появляется в тот момент, когда гусеница достигает крайней степени вырождения). Следовательно, нельзя рационально критиковать ученого, который держится за вырождающуюся программу, и не существует рационального способа показать, что его действия неразумны.

Лакатос с этим согласен. Он подчеркивает, что «рационально придерживаться регрессирующей программы до тех пор, пока ее не обгонит конкурирующая программа, и даже после этого»[166], ибо «старая программа может выйти из стадии регресса»[167]. Верно, конечно, что риторика часто заводит Лакатоса слишком далеко, показывая, что он еще не привык к своим либеральным предложениям[168]. Однако когда вопрос ставится в явной форме, то ответ ясен: методология исследовательских программ дает стандарты, помогающие ученому оценить историческую ситуацию, в которой он принимает свои решения, но она не содержит правил, которые говорят ему, что делать[169].

Таким образом, методология исследовательских программ радикально отличается от индуктивизма, фальсификационизма и других, даже более либеральных философских систем. Индуктивизм требует устранения теорий, лишенных эмпирической поддержки. Фальсификационизм требует устранения теорий, не обладающих дополнительным эмпирическим содержанием по сравнению с их предшественницами. Все требуют устранения противоречивых теорий или теорий с низким эмпирическим содержанием. Методология исследовательских программ не содержит таких требований и, как мы видели, не может содержать их. Ее стремление «предоставить жизненное пространство» программе и аргументы, обосновывающие необходимость более либеральных стандартов, делают невозможным уточнение условий, при которых исследовательская программа должна быть устранена или при которых иррационально продолжать поддерживать ее. Любой выбор ученого рационален, потому что он совместим с данными стандартами. «Разум» больше не влияет на действия ученого. (Однако он дает терминологию для описания результатов этих действий.)