Положительная эвристика.

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

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

" Модель" - это множество граничных условий (возможно, вместе с некоторыми " наблюдательными" теориями), о которых известно, что они должны быть заменены в ходе дальнейшего развития программы. Более или менее известно даже каким способом. Это еще раз говорит о том, какую незначительную роль в исследовательской программе играют " опровержения" какой-либо конкретной модели; они полностью предвидимы, и положительная эвристика является стратегией этого предвидения и дальнейшего " переваривания".

Таким образом, методология научных исследовательских программ объясняет относительную автономию теоретической науки. То, какие проблемы подлежат рациональному выбору ученых, работающих в рамках мощных исследовательских программ, зависит в большей степени от положительной эвристики программы, чем от психологически неприятных, но технически неизбежных аномалий. Аномалии регистрируются, но затем о них стараются забыть, в надежде что придет время и они обратятся в подкрепления программы. Повышенная чувствительность к аномалиям свойственна только тем ученым, кто занимается упражнениями в духе теории проб и ошибок или работает в регрессивной фазе исследовательской программы, когда положительная эвристика исчерпала свои ресурсы. (Все это, конечно, должно звучать дико для наивного фальсификациониста, полагающего, что раз теория " опровергнута" экспериментом (т. е. высшей для него инстанцией), то было бы нерационально, да к тому же и бессовестно, развивать ее в дальнейшем, а надо заменить старую пока еще неопровергнутой, новой теорией). Непротиворечивость - в точном смысле этого термина (172) - должна оставаться важнейшим регулятивным, принципом (стоящим вне и выше требования прогрессивного сдвига проблем); обнаружение противоречий должно рассматриваться как проблема.** Причина проста. Если цель науки-истина, наука должна добиваться непротиворечивости; отказываясь от непротиворечивости, наука отказалась бы и от истины. Утверждать, что " мы должны умерить нашу требовательность", (173) то есть соглашаться с противоречиями - слабыми или сильными - значит предаваться методологическому пороку. С другой стороны, из этого не следует, что как только противоречие - или аномалия - обнаружено, развитие программы должно немедленно приостанавливаться; разумный выход может быть в другом: устроить для данного противоречия временный карантин при помощи гипотез ad hoc и довериться положительной эвристике программ.

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

Консервативная позиция заключается в том, что развитие новой программы должно быть приостановлено до тех пор, пока не будет каким-то образом устранено противоречие со старой программой, затрагивающее основания обеих программ: работать с противоречивыми основаниями иррационально. " Консерваторы" направляют основные усилия на устранение противоречия, пытаясь объяснить (аппроксимативно) постулаты новой программы, исходя из понятий старой программы, что не приводит к успеху.

Анархическая позиция по отношению к привитым программам заключается в том, что анархия в основаниях возводится в ранг добродетели, а (слабое) противоречие понимается либо как фундаментальное природное свойство, либо как показатель конечной ограниченности человеческого познания.

Рациональная позиция лучше всего представлена Ньютоном, который некогда стоял перед проблемами, в известном смысле похожими на обсуждаемую. Картезианская механика толчка, к которой была первоначально привита механика Ньютона, находилась в (слабом) противоречии с ньютоновской теорией гравитации. Ньютон работал как над своей положительной эвристикой (и добивался успеха), так и над редукционистской программой (без успеха). Рациональная позиция по отношению к " привитым" программам состоит в том, чтобы использовать их эвристический потенциал, но не смиряться с хаосом в основаниях, из которых они произрастают. Наличие прогрессивного сдвига обеспечивает доверие и рациональность - по отношению к исследовательской программе с противоречием в основаниях.

Важным уроком анализа исследовательских программ является тот факт, что лишь немногие эксперименты имеют действительное значение для их развития. Проверки и " опровержения" обычно дают физику-теоретику столь тривиальные эвристические подсказки, что крупномасштабные проверки или слишком большая суета вокруг уже полученных данных часто бывают лишь потерей времени. Чтобы понять, что теория нуждается в замене, как правило, не нужны никакие опровержения; положительная эвристика сама ведет вперед, прокладывая себе дорогу. К тому же, прибегать к жестким " опровергающим интерпретациям", когда речь идет о совсем юной программе, - это опасная методологическая черствость. Первые варианты такой программы и применяться-то могут только к " идеальным", несуществующим объектам; нужны десятилетия теоретической работы, чтобы получить первые новые факты, и еще больше времени, чтобы возникли такие варианты исследовательской программы, проверка которых могла бы дать действительно интересные результаты, когда опровержения уже не могут быть предсказаны самой же программой.

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

Укажем три наиболее типичных случая.

1) Пусть каждый из следующих друг за другом вариантов H1, H2, Н3 успешно предсказывают одни факты и не могут предсказать другие, иначе говоря, каждый из этих вариантов имеет как подкрепления, так и опровержения. Затем предлагается Н4, который предсказывает некоторые новые факты, но при этом выдерживает самые суровые проверки. Мы имеем прогрессивный сдвиг проблем и к тому же благообразное чередование догадок и опровержений в духе Поппера. (201)Можно умиляться этим классическим примером, когда теоретическая и экспериментальная работы шествуют рядышком, рука об руку.

2) Во втором случае мы имеем дело с каким-нибудь одиноким Бором (может быть, даже без предшествующего ему Бальмера), который последовательно разрабатывает H1, Н2, Н3, Н4, но так самокритичен, что публикует только Н4. Затем Н4 подвергается проверке, и данные оказываются подкрепляющими для Н4 - первой (и единственной) опубликованной гипотезы. Тогда теоретик, имеющий дело только с доской и бумагой, оказывается, повидимости, идущим далеко впереди экспериментатора - перед нами период относительной автономии теоретического прогресса.

3) Теперь представим, что все эмпирические данные, о которых шла речь, уже известны в то время, когда выдвигаются H1, H2, Н3 и Н4. Тогда вся эта последовательность теоретических моделей не выступает как прогрессивный сдвиг проблем, и поэтому, хотя все данные подкрепляют его теории, ученый должен работать над новыми гипотезами, чтобы доказать научную значимость своей программы.

Новый взгляд на решающие эксперименты: конец скороспелой рациональности. Ученый не должен соглашаться с тем, что исследовательская программа превращается в

воплощение научной строгости, претендующее на роль всезнающего арбитра. К сожалению, именно на такой позиции стоит Т. Кун: то, что он называет нормальной наукой", на самом деле есть не что иное, как исследовательская программа, захватившая монополию. В действительности же исследовательские программы пользуются полной монополией очень редко, к тому же очень недолго, какие бы усилия не предпринимали картезианцы ли, ньютонианцы ли, сторонники ли Бора. История науки была и будет историей соперничества исследовательских программ, (или, если угодно, " парадигм"), но она не была и не должна быть чередованием периодов нормальной науки: чем быстрее начинается соперничество, тем лучше для прогресса. " Теоретический плюрализм" лучше, чем " теоретический монизм": здесь Лакатос согласен с Поппером.

Возможны ли какие-либо объективные причины, по которым программа должна быть отвергнута, то есть элиминировано ее твердое ядро и программа построения защитных поясов? Вкратце, наш ответ состоит в том, что такая объективная причина заключена в действии соперничающей программы, которой удается объяснить все предшествующие успехи ее соперницы, которую она к тому же превосходит дальнейшей демонстрацией эвристической силы. Эта сила зависит от фактуальной новизны теории, однако новизна актуального высказывания часто становится явной только спустя много времени. Новая исследовательская программа, вступившая в конкурентную борьбу, может начать с нового объяснения " старых" фактов, но иногда требуется много времени, чтобы она предсказала " действительно новые" факты.

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

Все это вместе взятое подчеркивает важность методологической терпимости, но оставляет открытым вопрос, как же все-таки элиминируются исследовательские программы. Внутри исследовательской программы " малые решающие эксперименты", призванные сделать выбор между последовательными вариантами - дело вполне обычное. С помощью эксперимента нетрудно сделать выбор между n-й и n+1-й версией, поскольку n+1-й версия не только противоречит n-й, но и превосходит ее. Если n+1-я версия имеет более подкрепленное содержание, определяемое в рамках одной и той же программы и на основе одних и тех же достаточно подкрепленных " наблюдательных" теорий, то элиминация имеет относительно обычный характер.

Когда соперничают две исследовательские программы, их первые " идеальные" модели, как правило, имеют дело с различными аспектами данной области явлений (так, первая модель ньютоновской полукорпускулярной оптики описывала рефракцию световых лучей, первая модель волновой оптики Гюйгенса-интерференцию). С развитием соперничающих исследовательских программ они постепенно начинают вторгаться на чужую территорию, и тогда возникает ситуация, при которой n-й вариант первой программы вступает в кричащее противоречие с т-м вариантом второй программы. (219) Ставится (неоднократно) некий эксперимент, и один из этих вариантов терпит поражение, а другой празднует победу. Но борьба на этом не кончается: всякая исследовательская программа на своем веку знает несколько таких поражений. Чтобы вернуть утраченные позиции, нужно только сформулировать п+1-й (или n+k-й) вариант, который смог бы увеличить эмпирическое содержание, часть которого должна пройти успешную проверку.

Если длительные усилия ни к чему не приводят, и программа не может вернуть себе прежние позиции, борьба затихает, а исходный эксперимент задним числом признается " решающим". Но если потерпевшая поражение программа еще молода и способна быстро развиваться, если ее " протонаучные" достижения вызывают достаточное доверие, предполагаемые " решающие эксперименты" один за другим оттесняются в сторону, уступая ее рывкам вперед.* Даже если проигравшая какое-то сражение программа находится в зрелом возрасте, привыкнув к признанию и " утомившись" от него, приближается к " естественной точке насыщения", (220) она все же может долго сопротивляться и предлагать остроумные инновации, увеличивающие эмпирическое содержание, даже если при этом они не увенчиваются эмпирическим успехом. Программу, которую поддерживают талантливые ученые, обладающие живым и творческим воображением, победить чрезвычайно трудно.

Решающие эксперименты признаются таковыми лишь десятилетия спустя. Нет ничего такого, что можно было бы. назвать решающими экспериментами, по крайней мере, если понимать под ними такие эксперименты, которые способны немедленно опрокидывать исследовательскую программу. На самом деле, когда одна исследовательская программа терпит поражение и ее вытесняет другая, можно - внимательно вглядевшись в прошлое - назвать эксперимент решающим, если удается увидеть в нем эффектный подтверждающий пример в пользу победившей программы и очевидное доказательство провала той программы, которая уже побеждена. Но если ученый из " побежденного" лагеря несколько лет спустя предлагает научное объяснение якобы " решающего эксперимента" в рамках якобы разгромленной программы (или в соответствии с ней), почетный титул может быть снят и " решающий эксперимент" может превратиться из поражения программы в ее новую победу.

Учитывая сказанное ранее, идея скороспелой рациональности выглядит утопической. Но эта идея является отличительным признаком большинства направлений в эпистемологии. Джастификационистам (научное знание состоит из доказательно обоснованных высказываний) хотелось бы, чтобы научные теории были доказательно обоснованы еще прежде, чем они публикуются; пробабилисты возлагают надежды на некий механизм, который мог бы, основываясь на опытных данных, немедленно определить ценность (степень подтверждения) теории; наивные фальсификационисты верили, что по крайней мере элиминация теории есть мгновенный результат вынесенного экспериментом приговора. (291) Я, надеюсь, показал, что все эти теории скороспелой рациональности - и мгновенного обучения - ложны.

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

С этой точки зрения, ученые (и, как я показал, математики (297)) поступают совсем не иррационально, когда пытаются не замечать контрпримеры, или, как они предпочитают их называть, " непокорные" или " необъяснимые" примеры, и рассматривают проблемы в той последовательности, какую диктует положительная эвристика их программы, разрабатывают и применяют свои теории, не считаясь ни с чем. (298) Вопреки фальсификационистской морали Поппера, ученые нередко и вполне рационально утверждают, что " экспериментальные результаты ненадежны или что расхождения, которые, мол, существуют между данной теорией и экспериментальными результатами, лежат на поверхности явлений и исчезнут при дальнейшем развитии нашего познания".