Отсюда следуют новые проблемы. Характерным признаком утонченного фальсификационизма является то, что он вместо понятия теории вводит в логику открытия в качестве основного понятие ряда теорий. Именно ряд или последовательность теорий, а не одна изолированная теория, оценивается с точки зрения научности или ненаучности. Но элементы этого ряда связаны замечательной непрерывностью, позволяющей называть этот ряд исследовательской программой. Такая непрерывность - понятие, заставляющее вспомнить "нормальную науку" Т. Куна- играет жизненно важную роль в истории науки; центральные проблемы логики открытия могут удовлетворительно обсуждаться только в рамках методологии исследовательских программ.
Глава 3
3. МЕТОДОЛОГИЯ НАУЧНЫХ ИССЛЕДОВАТЕЛЬСКИХ ПРОГРАММ
Мы рассмотрели проблему объективной оценки научного развития, используя понятия прогрессивного и регрессивного сдвигов проблем в последовательности научных теорий. Если рассмотреть наиболее значительные последовательности, имевшие место в истории науки, то видно, что они характеризуются непрерывностью, связывающей их элементы в единое целое. Эта непрерывность есть не что иное, как развитие некоторой исследовательской программы, начало которой может быть положено самыми абстрактными утверждениями. Программа складывается из методологических правил: часть из них-это правила, указывающие каких путей исследования нужно избегать (отрицательная эвристика), другая часть-это правила, указывающие, какие пути надо избирать и как по ним идти (положительная эвристика). (134)
Даже наука как таковая может рассматриваться как гигантская исследовательская программа, подчиняющаяся основному эвристическому правилу Поппера: "выдвигай гипотезы, имеющие большее эмпирическое содержание, чем у предшествующих". Такие методологические правила, как заметил Поппер, могут формулироваться как метафизические принципы. (135) Например, общее правило конвенционалистов, по которому исследователь не должен допускать исключений, может быть записано как метафизический принцип:
"Природа не терпит исключений". Вот почему Уоткинс называл такие правила "влиятельной метафизикой". (136)
Но прежде всего меня интересует не наука в целом, а отдельные исследовательские программы, такие, например, как "картезианская метафизика". Эта метафизика или механистическая картина универсума, согласно которой вселенная есть огромный часовой механизм (и система вихрей), в котором толчок является единственной причиной движения, функционировала как мощный эвристический принцип. Она тормозила разработку научных теорий, подобных ньютоновской теории дальнодействия (в ее "эссенциалистском" варианте), которые были несовместимы с ней, выступая как отрицательная эвристика. Но с другой стороны, она стимулировала разработку вспомогательных гипотез, спасающих ее от явных противоречий с данными (вроде эллипсов Кеплера), выступая как положительная эвристика. (137)
(а) Отрицательная эвристика: "твердое ядро" программы
У всех исследовательских программ есть "твердое ядро". Отрицательная эвристика запрещает использовать modus tollens, когда речь идет об утверждениях, включенных в "твердое ядро". Вместо этого, мы должны напрягать нашу изобретательность, чтобы прояснять, развивать уже имеющиеся или выдвигать новые "вспомогательные гипотезы", которые образуют защитный пояс вокруг этого ядра; modus tollens своим острием направляется именно на эти гипотезы. Защитный пояс должен выдержать главный удар со стороны проверок; защищая таким образом окостеневшее ядро, он должен приспосабливаться, переделываться или даже полностью заменяться, если того требуют интересы обороны. Если все это дает прогрессивный сдвиг проблем, исследовательская программа может считаться успешной. Она неуспешна, если это приводит к регрессивному сдвигу проблем.
Классический пример успешной исследовательской программы - теория тяготения Ньютона. Быть может, это самая успешная из всех когда-либо существовавших исследовательских программ. Когда она возникла впервые, вокруг нее был океан "аномалий" (если угодно, "контрпримеров"), и она вступала в противоречие с теориями, подтверждающими эти аномалии. Но проявив изумительную изобретательность и блестящее остроумие, ньютонианцы превратили один контрпример за другим в подкрепляющие примеры. И делали они это главным образом за счет ниспровержения тех исходных "наблюдательных" теорий, на основании которых устанавливались эти "опровергающие" данные. Они "каждую новую трудность превращали в новую победу своей программы". (138)
Отрицательная эвристика ньютоновской программы запрещала применять modus tollens к трем ньютоновским законам динамики и к его закону тяготения. В силу методологического решения сторонников этой программы это "ядро" полагалось неопровергаемым:
считалось, что аномалии должны вести лишь к изменениям "защитного пояса" вспомогательных гипотез и граничных условий (139).
Ранее мы рассмотрели схематизированный
"микро-пример" ньютоновского прогрессивного сдвига проблем. (140) Его анализ показывает, что каждый удачный ход в этой игре позволяет предсказать новые факты, увеличивает эмпирическое содержание. Перед нами пример устойчиво прогрессивного теоретического сдвига. Далее, каждое предсказание в конечном счете подтверждается; хотя, могло бы показаться, что в трех последних случаях они сразу же "опровергались". (141) Если в наличии "теоретического прогресса" (в указанном здесь смысле) можно убедиться немедленно, то с "эмпирическим прогрессом" дело сложнее. Работая в рамках исследовательской программы, мы можем впасть в отчаяние от слишком долгой серии "опровержений", прежде чем какие-то остроумные и, главное, удачные вспомогательные гипотезы, позволяющие увеличить эмпирическое содержание, не превратят - задним числом - череду поражений в историю громких побед. Это делается либо переоценкой некоторых ложных "фактов", либо введением новых вспомогательных гипотез. Нужно, чтобы каждый следующий шаг исследовательской программы направлялся к увеличению содержания, иными словами, содействовал последовательно прогрессивному теоретическому сдвигу проблем. Кроме того, надо, чтобы, по крайней мере, время от времени это увеличение содержания подкреплялось ретроспективно;
программа в целом должна рассматриваться как дискретно прогрессивный эмпирический сдвиг. Это не значит, что каждый шаг на этом пути должен непосредственно вести к наблюдаемому новому факту. Тот смысл, в котором здесь употреблен термин "дискретно", обеспечивает достаточно разумные пределы, в которых может оставаться догматическая приверженность программе, столкнувшаяся с кажущимися "опровержениями".
Идея "отрицательной эвристики" научной исследовательской программы в значительной степени придает рациональный смысл классическому конвенционализму. Рациональное решение состоит в том, чтобы не позволить "опровержениям" переносить ложность на твердое ядро до тех пор, пока подкрепленное эмпирическое содержание защитного пояса вспомогательных гипотез продолжает увеличиваться. Но наш подход отличается от джа-стификационистского конвенционализма Пуанкаре тем, что мы предлагаем отказаться от твердого ядра в том случае, если программа больше не позволяет предсказывать ранее не-' известные факты. Это означает, что, в отличие от конвенционализма Пуанкаре, мы допускаем возможность того, что при определенных условиях твердое ядро, как мы его понимаем, может разрушиться. В этом мы ближе к Дюгему, допускавшему такую возможность. Но если Дюгем видел только эстетические причины такого разрушения, то наша оценка зависит главным образом от логических и эмпирических критериев.
(б) Положительная эвристика: конструкция "защитного пояса" и относительная автономия теоретической науки
Исследовательским программам, наряду с отрицательной, присуща и положительная эвристика.
Даже самые динамичные и последовательно прогрессивные исследовательские программы могут "переварить" свои "контр-примеры" только постепенно. Аномалии никогда полностью не исчезают. Но не надо думать, будто не получившие объяснения аномалии - "головоломки", как их назвал бы Т. Кун, берутся наобум, в произвольном порядке, без какого-либо обдуманного плана. Этот план обычно составляется в кабинете теоретика, независимо от известных аномалий. Лишь немногие теоретики, работающие в рамках исследовательской программы, уделяют большое внимание "опровержениям". Они ведут дальновидную исследовательскую политику, позволяющую предвидеть такие "опровержения". Эта политика, или программа исследований, в той или иной степени предполагается положительной эвристикой исследовательской программы. Если отрицательная эвристика определяет "твердое ядро" программы, которое, по решению ее сторонников, полагается "неопровержимым", то положительная эвристика складывается из ряда доводов, более или менее ясных, и предположений, более или менее вероятных, направленных на то, чтобы изменять и развивать "опровержимые варианты" исследовательской программы, как модифицировать, уточнять "опровержимый" защитный пояс.
Положительная эвристика выручает ученого от замешательства перед океаном аномалий. Положительной эвристикой определяется программа, в которую входит система более сложных моделей реальности; внимание ученого сосредоточено на конструировании моделей, соответствующих тем инструкциям, какие изложены в позитивной части его программы. На известные "контрпримеры" и наличные данные он просто не обращает внимания. (142)
Ньютон вначале разработал свою программу для планетарной системы с фиксированным точечным центром - Солнцем и единственной точечной планетой. Именно в этой модели был выведен закон обратного квадрата для эллипса Кеплера. Но такая модель запрещалась третьим законом динамики, а потому должна была уступить место другой модели, в которой и Солнце, и планеты вращались вокруг общего центра притяжения. Такое изменение мотивировалось вовсе не наблюдениями (не было "данных", свидетельствующих об аномалии), а теоретическим затруднением в развитии программы. Затем им была разработана программа для большего числа планет так, как если бы существовали только гелиоцентрические и не было бы никаких межпланетных сил притяжения. Затем он разработал модель, в которой Солнце и планеты были уже не точечными массами, а массивными сферами. И для этого изменения ему не были нужны наблюдения каких-то аномалий; ведь бесконечные значения плотности запрещались, хотя и в неявной форме, исходными принципами теории, поэтому планеты и Солнце должны были обрести объем. Это повлекло за собой серьезные математические трудности, задержавшие публикацию "Начал" более чем на десять лет. Решив эту "головоломку", он приступил к работе над моделью с "вращающимися сферами" и их колебаниями. Затем в модель были введены межпланетные силы и начата работа над решением задач с возмущениями орбит.
С этого момента взгляд Ньютона на факты стал более тревожным. Многие факты прекрасно объяснялись его моделями (качественным образом), но другие не укладывались в схему объяснения. Именно тогда он начал работать с моделями деформированных, а не строго шарообразных планет и т. д.
Ньютон презирал тех, кто подобно Р. Гуку застревал на первой наивной модели и не обладали ни достаточными способностями, ни упорством, чтобы развить ее в исследовательскую программу, полагая, что уже первый вариант и образует "научное открытие". Сам он воздерживался от публикаций до тех пор, пока его программа не пришла к состоянию замечательного прогрессивного сдвига. (143)
Большинство (если не все) "головоломок" Ньютона, решение которых давало каждый раз новую модель, приходившую на место предыдущей, можно было предвидеть еще в рамках первой наивной модели; нет сомнения, что сам Ньютон и его коллеги предвидели их. Очевидная ложность первой модели не могла быть тайной для Ньютона. (144) Именно этот факт лучше всего говорит о существовании положительной эвристики исследовательской программы, о "моделях", с помощью которых происходит ее развитие. "Модель" - это множество граничных условий (возможно, вместе с некоторыми "наблюдательными" теориями), о которых известно, что они должны быть заменены в ходе дальнейшего развития программы. Более или менее известно даже каким способом. Это еще раз говорит о том, какую незначительную роль в исследовательской программе играют "опровержения" какой-либо конкретной модели; они полностью предвидимы, и положительная эвристика является стратегией этого предвидения и дальнейшего "переваривания". Если положительная эвристика ясно определена, то трудности программы имеют скорее математический, чем эмпирический характер. ( 145)
"Положительная эвристика" исследовательской программы также может быть сформулирована как "метафизический принцип". Например, ньютоновскую программу можно изложить в такой формуле: "Планеты - это вращающиеся волчки приблизительно сферической формы, притягивающиеся друг к другу". Этому принципу никто и никогда в точности не следовал: планеты обладают не одними только гравитационными свойствами, у них есть, например, электромагнитные характеристики, влияющие на движение. Поэтому положительная эвристика является, вообще говоря, более гибкой, чем отрицательная. Более того, время от времени случается, что, когда исследовательская программа вступает в регрессивную фазу, то маленькая революция или творческий толчок в ее положительной эвристике может снова подвинуть ее е сторону прогрессивного сдвига. (146) Поэтому лучше отделить "твердое ядро" от более гибких метафизических принципов, выражающие положительную эвристику.
Наши рассуждения показывают, что положительная эвристика играет первую скрипку
в развитии исследовательской программы при почти полном игнорировании "опровержений";
может даже возникнуть впечатление, что как раз "верификации", а не опровержения создают точки соприкосновения с реальностью. (147 )Хотя надо заметить, что любая "верификация" n+1 варианта программы является опровержением п-того варианта, но ведь нельзя отрицать, что некоторые неудачи последующих вариантов всегда можно предвидеть. Именно "верификации" поддерживают продолжение работы программы, несмотря на непокорные примеры.
Мы можем оценивать исследовательские программы даже после их "элиминации" по их эвристической силе: сколько новых фактов они дают, насколько велика их способность "объяснить опровержения в процессе роста"? (148)
(Мы можем также оценить их по тем стимулам, какие они дают математике. Действительные трудности ученых-теоретиков проистекают скорее из математических трудностей программы, чем из аномалий. Величие ньютоновской программы в значительной мере определяется тем, что ньютонианцы развили классическое исчисление бесконечно малых величин, что было решающей предпосылкой ее успеха).
Таким образом, методология научных исследовательских программ объясняет относительную автономию теоретической науки: исторический факт, рациональное объяснение которому не смог дать ранний фальсификационизм. То, какие проблемы подлежат рациональному выбору ученых, работающих в рамках мощных исследовательских программ, зависит в большей степени от положительной эвристики программы, чем от психологически неприятных, но технически неизбежных аномалий. Аномалии регистрируются, но затем о них стараются забыть, в надежде что придет время и они обратятся в подкрепления программы. Повышенная чувствительность к аномалиям свойственна только тем ученым, кто занимается упражнениями в духе теории проб и ошибок или работает в регрессивной фазе исследовательской программы, когда положительная эвристика исчерпала свои ресурсы. (Все это, конечно, должно звучать дико для наивного фальсификациониста, полагающего, что раз теория "опровергнута" экспериментом (т. е. высшей для него инстанцией), то было бы нерационально, да к тому же и бессовестно, развивать ее в дальнейшем, а надо заменить старую пока еще неопровергнутой, новой теорией).
(в) Две иллюстрации: Проут и Бор
Диалектику положительной и отрицательной эвристики в исследовательской программе лучше всего показать на примерах. Поэтому я обрисую некоторые аспекты двух исследовательских программ, добившихся впечатляющих успехов: программы Проута, в основе которой была идея о том, что все атомы состоят из атомов водорода, и программы Бора с ее основной идеей о том, что световое излучение производится электроном, перескакивающим с одной внутриатомной орбиты на другую.
(Приступая к написанию исторического
очерка, следует, полагаю, придерживаться следующей процедуры: (1) произвести рациональную реконструкцию данного события:
(2) попытаться сопоставить эту рациональную реконструкцию с действительной историей, чтобы подвергнуть критике как рациональную реконструкцию - за недостаток историчности, - так и действительную историю - за недостаток рациональности. Поэтому всякому историческому исследованию должна предшествовать эвристическая проработка: история науки без философии науки слепа.* Но здесь я не могу позволить себе подробно останавливаться на второй стадии этой процедуры).
(вг) Проут: исследовательская программа, прогрессирующая в океане аномалий
В анонимной статье 1815 г. Проут выдвинул утверждение о том, что атомные веса всех чистых химических элементов являются целыми числами. Он очень хорошо знал об огромном количестве аномалий, но говорил, что эти аномалии возникают потому, что обыкновенно употребляемые химические вещества не были достаточно чистыми. Другими словами, соответствующая "экспериментальная техника" того времени была ненадежной;
в принятой нами терминологии можно было бы сказать, что современные Проуту "наблюдательные" теории, на основании которых устанавливались значения истинности базисных предложений его теории, были ложными. (149 )Сторонники теории Проута поэтому были вынуждены заняться весьма нелегким делом: показать несостоятельность теорий, выступающих основаниями для контрпримеров. Для этого требовалось ни много, ни мало революционизировать признанную в то время аналитическую химию, чтобы на новой основе изменить экспериментальную технику, с помощью которой выделялись чистые химические элементы. (150)
Теория Проута, по сути дела, опровергала одну за другой теории, ранее применявшиеся в очистке химических веществ. Но при этом некоторые химики, не выдерживая напряжения, отказывались от новой исследовательской программы, первые успехи которой еще никак нельзя было назвать окончательной победой. Например, Стае, доведенный до отчаяния некоторыми упрямыми, не поддающимися объяснению фактами, в 1860г. пришел к выводу, что теория Проута лишена "каких-либо оснований". (151) В то же время другие химики находились под большим впечатлением от успехов теории и не слишком горевали от того, что успех не был полным.
Например, Мариньяк немедленно парировал выводы Стаса: "Хотя эксперименты. г. Стаса отличаются вполне удовлетворительной точностью, все же нет доказательств против того, что различия, имеющие место между его результатами и следствиями из закона Проута, могут быть объяснены несовершенством экспериментальных методов". (152) Как заметил Крукс в 1886 г., "немало химиков с безупречной репутацией верили в то, что здесь [в теории Проута] истина заслонена некоторыми остаточными или побочными явлениями, которые пока еще не удалось элиминировать". (153) Это значило, что в "наблюдательных" теориях, на которых основывалась "экспериментальная техника" химической очистки и с помощью которых вычислялись атомные веса, должны были иметься какие-то неявные дополнительные ложные допущения. По мнению Крукса, даже в 1886 г. "некоторые атомные веса выражались просто средними значениями". (154) Сам Крукс подошел к этой идее, придав ей научную форму (обеспечивающую увеличение содержания): он предложил новые конкретные теории "фракционирования", нового "разделяющего Демона". (155) Но, увы, эти новые "наблюдательные" теории были столь же ложными, сколь смелыми, и не оказавшись в состоянии предсказывать какие-либо новые факты, они были элиминированы из (рационально реконструированной) истории науки.
Следующим поколениям химиков удалось обнаружить весьма существенное скрытое допущение, вводившее в заблуждение исследователей; оно состояло в том, что два химически чистых элемента могут быть разделены только химическими методами. Идея о том, что два различных химически чистых элемента могут вести себя одинаково во всех химических реакциях, но могут быть разделены физическими методами, требовала изменения, "растяжки", понятия "чистый элемент", что влекло за собой и понятийную "растяжку", расширение самой исследовательской программы. (156) Этот революционный, в высшей степени творческий сдвиг был сделан только школой Резерфорда; (157) лишь "после многих превратностей и самых убедительных опровержений эта гипотеза, столь блестяще выдвинутая Проутом, эдинбургским физиком в 1815 г., спустя сто лет стала краеугольным камнем современных теорий строения атомов". (158) Однако этот творческий прорыв фактически был только побочным результатом прогресса в иной, достаточно далекой, исследовательской программе; сами же сторонники Проута, не имея этого внешнего стимула, даже не пытались, напримр, построить мощные центрифуги - механизмы для разделения элементов.
(Когда "наблюдательные" или "интерпретативные" теории в конце концов элиминируются, то "точные" измерения, проводившиеся на основании невыгодных понятийных каркасов, выглядят - задним числом - скорее забавными. Содди высмеивал "экспериментальную точность", если она является самоцелью: "Есть что-то трагичное, если не трагикомичное, в судьбе выдающейся плеяды химиков XIX века, по праву почитавшихся современниками за высшее мастерство и совершенство точных научных измерений. Ставшие делом их жизни, с таким трудом добытые результаты, по крайней мере на сегодня, выглядят столь же значимыми и интересными как, например, вычисления среднего веса в коллекции бутылок, одни из которых полные, а другие - более или менее пустые". (159)
Подчеркнем, что в свете методологии исследовательских программ, предложенной здесь, никогда не было рациональных причин, по которым могла бы быть элиминирована программа Проута. Эта программа дала превосходный прогрессивный сдвиг, хотя и сталкивалась с серьезными препятствиями. (160 )Этот эпизод показывает, как исследовательская программа может бросить вызов внушительному массиву признанного научного знания: она подобна растению, высаженному на неблагоприятной почве, которую затем постепенно преобразует и подчиняет себе.
История программы Проута также очень хорошо показывает, как прогресс науки тормозится джастификационизмом и наивным фальсификационизмом. (Обе эти концепции были на вооружении тех, кто выступал против атомной теории в XIX веке). Исследование этого специфического влияния плохой методологии науки может стать благодарной задачей историка науки.
(вч) Бор: исследовательская программа, прогрессирующая на противоречивых основаниях
Краткий очерк исследовательской программы Бора (ранней квантовой физики) послужит дальнейшей иллюстрацией и расширением нашего тезиса. (161)
Повествование об исследовательской программе Бора должно включать: 1) изложение исходной проблемы; 2) указание отрицательной и положительной эвристики; 3) проблемы, которые предполагалось решить в ходе ее развития: 4) указание момента, с какого началась ее регрессия (если угодно, "точки насыщения"); 5) программу, пришедшую ей на смену.
Исходная проблема представляла собой загадку: каким образом атомы Резерфорда
то есть мельчайшие планетарные системы с электронами, вращающимися вокруг положительных ядер) могут оставаться устойчивыми; дело в том, что, согласно хорошо подкрепленной теории электромагнитизма Максвелла-Лоренца, такие системы должны коллапсировать. Однако теория Резерфорда также была хорошо подкреплена. Идея Бора заключалась в том, чтобы не обращать внимания на противоречие и сознательно развить исследовательскую программу, "опровержимые" версии которой несовместимы с теорией Максвелла-Лоренца. (162) Он предложил пять постулатов, ставших твердым ядром его программы: " (1) Испускание ( или поглощение) энергии происходит не непрерывно, как это принимается в обычной электродинамике, а только при переходе системы из одного "стационарного" состояния в другое. (2) Динамическое равновесие системы в стационарных состояниях определяется обычными законами механики, тогда как для перехода системы между различными стационарными состояниями эти законы недействительны. (3) Испускаемое при переходе системы из одного стационарного состояния в другое излучение монохроматично и соотношение между его частотой v и общим количеством излученной энергии Е дается равенством Е=hv, где h-постоянная Планка. (4) Различные стационарные состояния простой системы, состоящей из вращающегося вокруг положительного ядра электрона, определяются из условия, что отношение между общей энергией, испущенной при образовании данной конфигурации, и числом оборотов электронов является целым кратным h/2. Предположение о том, что орбита электрона круговая, равнозначно требованию, чтобы момент импульса вращающегося вокруг ядра электрона был бы целым кратным п/2л. (5) "Основное" состояние любой атомной системы, т. е. состояние, при котором излученная энергия максимальна, определяется из условия, чтобы момент импульса каждого электрона относительно центра его орбиты равнялся п/2л."' (63)
Глава 3
3. МЕТОДОЛОГИЯ НАУЧНЫХ ИССЛЕДОВАТЕЛЬСКИХ ПРОГРАММ
Мы рассмотрели проблему объективной оценки научного развития, используя понятия прогрессивного и регрессивного сдвигов проблем в последовательности научных теорий. Если рассмотреть наиболее значительные последовательности, имевшие место в истории науки, то видно, что они характеризуются непрерывностью, связывающей их элементы в единое целое. Эта непрерывность есть не что иное, как развитие некоторой исследовательской программы, начало которой может быть положено самыми абстрактными утверждениями. Программа складывается из методологических правил: часть из них-это правила, указывающие каких путей исследования нужно избегать (отрицательная эвристика), другая часть-это правила, указывающие, какие пути надо избирать и как по ним идти (положительная эвристика). (134)
Даже наука как таковая может рассматриваться как гигантская исследовательская программа, подчиняющаяся основному эвристическому правилу Поппера: "выдвигай гипотезы, имеющие большее эмпирическое содержание, чем у предшествующих". Такие методологические правила, как заметил Поппер, могут формулироваться как метафизические принципы. (135) Например, общее правило конвенционалистов, по которому исследователь не должен допускать исключений, может быть записано как метафизический принцип:
"Природа не терпит исключений". Вот почему Уоткинс называл такие правила "влиятельной метафизикой". (136)
Но прежде всего меня интересует не наука в целом, а отдельные исследовательские программы, такие, например, как "картезианская метафизика". Эта метафизика или механистическая картина универсума, согласно которой вселенная есть огромный часовой механизм (и система вихрей), в котором толчок является единственной причиной движения, функционировала как мощный эвристический принцип. Она тормозила разработку научных теорий, подобных ньютоновской теории дальнодействия (в ее "эссенциалистском" варианте), которые были несовместимы с ней, выступая как отрицательная эвристика. Но с другой стороны, она стимулировала разработку вспомогательных гипотез, спасающих ее от явных противоречий с данными (вроде эллипсов Кеплера), выступая как положительная эвристика. (137)
(а) Отрицательная эвристика: "твердое ядро" программы
У всех исследовательских программ есть "твердое ядро". Отрицательная эвристика запрещает использовать modus tollens, когда речь идет об утверждениях, включенных в "твердое ядро". Вместо этого, мы должны напрягать нашу изобретательность, чтобы прояснять, развивать уже имеющиеся или выдвигать новые "вспомогательные гипотезы", которые образуют защитный пояс вокруг этого ядра; modus tollens своим острием направляется именно на эти гипотезы. Защитный пояс должен выдержать главный удар со стороны проверок; защищая таким образом окостеневшее ядро, он должен приспосабливаться, переделываться или даже полностью заменяться, если того требуют интересы обороны. Если все это дает прогрессивный сдвиг проблем, исследовательская программа может считаться успешной. Она неуспешна, если это приводит к регрессивному сдвигу проблем.
Классический пример успешной исследовательской программы - теория тяготения Ньютона. Быть может, это самая успешная из всех когда-либо существовавших исследовательских программ. Когда она возникла впервые, вокруг нее был океан "аномалий" (если угодно, "контрпримеров"), и она вступала в противоречие с теориями, подтверждающими эти аномалии. Но проявив изумительную изобретательность и блестящее остроумие, ньютонианцы превратили один контрпример за другим в подкрепляющие примеры. И делали они это главным образом за счет ниспровержения тех исходных "наблюдательных" теорий, на основании которых устанавливались эти "опровергающие" данные. Они "каждую новую трудность превращали в новую победу своей программы". (138)
Отрицательная эвристика ньютоновской программы запрещала применять modus tollens к трем ньютоновским законам динамики и к его закону тяготения. В силу методологического решения сторонников этой программы это "ядро" полагалось неопровергаемым:
считалось, что аномалии должны вести лишь к изменениям "защитного пояса" вспомогательных гипотез и граничных условий (139).
Ранее мы рассмотрели схематизированный
"микро-пример" ньютоновского прогрессивного сдвига проблем. (140) Его анализ показывает, что каждый удачный ход в этой игре позволяет предсказать новые факты, увеличивает эмпирическое содержание. Перед нами пример устойчиво прогрессивного теоретического сдвига. Далее, каждое предсказание в конечном счете подтверждается; хотя, могло бы показаться, что в трех последних случаях они сразу же "опровергались". (141) Если в наличии "теоретического прогресса" (в указанном здесь смысле) можно убедиться немедленно, то с "эмпирическим прогрессом" дело сложнее. Работая в рамках исследовательской программы, мы можем впасть в отчаяние от слишком долгой серии "опровержений", прежде чем какие-то остроумные и, главное, удачные вспомогательные гипотезы, позволяющие увеличить эмпирическое содержание, не превратят - задним числом - череду поражений в историю громких побед. Это делается либо переоценкой некоторых ложных "фактов", либо введением новых вспомогательных гипотез. Нужно, чтобы каждый следующий шаг исследовательской программы направлялся к увеличению содержания, иными словами, содействовал последовательно прогрессивному теоретическому сдвигу проблем. Кроме того, надо, чтобы, по крайней мере, время от времени это увеличение содержания подкреплялось ретроспективно;
программа в целом должна рассматриваться как дискретно прогрессивный эмпирический сдвиг. Это не значит, что каждый шаг на этом пути должен непосредственно вести к наблюдаемому новому факту. Тот смысл, в котором здесь употреблен термин "дискретно", обеспечивает достаточно разумные пределы, в которых может оставаться догматическая приверженность программе, столкнувшаяся с кажущимися "опровержениями".
Идея "отрицательной эвристики" научной исследовательской программы в значительной степени придает рациональный смысл классическому конвенционализму. Рациональное решение состоит в том, чтобы не позволить "опровержениям" переносить ложность на твердое ядро до тех пор, пока подкрепленное эмпирическое содержание защитного пояса вспомогательных гипотез продолжает увеличиваться. Но наш подход отличается от джа-стификационистского конвенционализма Пуанкаре тем, что мы предлагаем отказаться от твердого ядра в том случае, если программа больше не позволяет предсказывать ранее не-' известные факты. Это означает, что, в отличие от конвенционализма Пуанкаре, мы допускаем возможность того, что при определенных условиях твердое ядро, как мы его понимаем, может разрушиться. В этом мы ближе к Дюгему, допускавшему такую возможность. Но если Дюгем видел только эстетические причины такого разрушения, то наша оценка зависит главным образом от логических и эмпирических критериев.
(б) Положительная эвристика: конструкция "защитного пояса" и относительная автономия теоретической науки
Исследовательским программам, наряду с отрицательной, присуща и положительная эвристика.
Даже самые динамичные и последовательно прогрессивные исследовательские программы могут "переварить" свои "контр-примеры" только постепенно. Аномалии никогда полностью не исчезают. Но не надо думать, будто не получившие объяснения аномалии - "головоломки", как их назвал бы Т. Кун, берутся наобум, в произвольном порядке, без какого-либо обдуманного плана. Этот план обычно составляется в кабинете теоретика, независимо от известных аномалий. Лишь немногие теоретики, работающие в рамках исследовательской программы, уделяют большое внимание "опровержениям". Они ведут дальновидную исследовательскую политику, позволяющую предвидеть такие "опровержения". Эта политика, или программа исследований, в той или иной степени предполагается положительной эвристикой исследовательской программы. Если отрицательная эвристика определяет "твердое ядро" программы, которое, по решению ее сторонников, полагается "неопровержимым", то положительная эвристика складывается из ряда доводов, более или менее ясных, и предположений, более или менее вероятных, направленных на то, чтобы изменять и развивать "опровержимые варианты" исследовательской программы, как модифицировать, уточнять "опровержимый" защитный пояс.
Положительная эвристика выручает ученого от замешательства перед океаном аномалий. Положительной эвристикой определяется программа, в которую входит система более сложных моделей реальности; внимание ученого сосредоточено на конструировании моделей, соответствующих тем инструкциям, какие изложены в позитивной части его программы. На известные "контрпримеры" и наличные данные он просто не обращает внимания. (142)
Ньютон вначале разработал свою программу для планетарной системы с фиксированным точечным центром - Солнцем и единственной точечной планетой. Именно в этой модели был выведен закон обратного квадрата для эллипса Кеплера. Но такая модель запрещалась третьим законом динамики, а потому должна была уступить место другой модели, в которой и Солнце, и планеты вращались вокруг общего центра притяжения. Такое изменение мотивировалось вовсе не наблюдениями (не было "данных", свидетельствующих об аномалии), а теоретическим затруднением в развитии программы. Затем им была разработана программа для большего числа планет так, как если бы существовали только гелиоцентрические и не было бы никаких межпланетных сил притяжения. Затем он разработал модель, в которой Солнце и планеты были уже не точечными массами, а массивными сферами. И для этого изменения ему не были нужны наблюдения каких-то аномалий; ведь бесконечные значения плотности запрещались, хотя и в неявной форме, исходными принципами теории, поэтому планеты и Солнце должны были обрести объем. Это повлекло за собой серьезные математические трудности, задержавшие публикацию "Начал" более чем на десять лет. Решив эту "головоломку", он приступил к работе над моделью с "вращающимися сферами" и их колебаниями. Затем в модель были введены межпланетные силы и начата работа над решением задач с возмущениями орбит.
С этого момента взгляд Ньютона на факты стал более тревожным. Многие факты прекрасно объяснялись его моделями (качественным образом), но другие не укладывались в схему объяснения. Именно тогда он начал работать с моделями деформированных, а не строго шарообразных планет и т. д.
Ньютон презирал тех, кто подобно Р. Гуку застревал на первой наивной модели и не обладали ни достаточными способностями, ни упорством, чтобы развить ее в исследовательскую программу, полагая, что уже первый вариант и образует "научное открытие". Сам он воздерживался от публикаций до тех пор, пока его программа не пришла к состоянию замечательного прогрессивного сдвига. (143)
Большинство (если не все) "головоломок" Ньютона, решение которых давало каждый раз новую модель, приходившую на место предыдущей, можно было предвидеть еще в рамках первой наивной модели; нет сомнения, что сам Ньютон и его коллеги предвидели их. Очевидная ложность первой модели не могла быть тайной для Ньютона. (144) Именно этот факт лучше всего говорит о существовании положительной эвристики исследовательской программы, о "моделях", с помощью которых происходит ее развитие. "Модель" - это множество граничных условий (возможно, вместе с некоторыми "наблюдательными" теориями), о которых известно, что они должны быть заменены в ходе дальнейшего развития программы. Более или менее известно даже каким способом. Это еще раз говорит о том, какую незначительную роль в исследовательской программе играют "опровержения" какой-либо конкретной модели; они полностью предвидимы, и положительная эвристика является стратегией этого предвидения и дальнейшего "переваривания". Если положительная эвристика ясно определена, то трудности программы имеют скорее математический, чем эмпирический характер. ( 145)
"Положительная эвристика" исследовательской программы также может быть сформулирована как "метафизический принцип". Например, ньютоновскую программу можно изложить в такой формуле: "Планеты - это вращающиеся волчки приблизительно сферической формы, притягивающиеся друг к другу". Этому принципу никто и никогда в точности не следовал: планеты обладают не одними только гравитационными свойствами, у них есть, например, электромагнитные характеристики, влияющие на движение. Поэтому положительная эвристика является, вообще говоря, более гибкой, чем отрицательная. Более того, время от времени случается, что, когда исследовательская программа вступает в регрессивную фазу, то маленькая революция или творческий толчок в ее положительной эвристике может снова подвинуть ее е сторону прогрессивного сдвига. (146) Поэтому лучше отделить "твердое ядро" от более гибких метафизических принципов, выражающие положительную эвристику.
Наши рассуждения показывают, что положительная эвристика играет первую скрипку
в развитии исследовательской программы при почти полном игнорировании "опровержений";
может даже возникнуть впечатление, что как раз "верификации", а не опровержения создают точки соприкосновения с реальностью. (147 )Хотя надо заметить, что любая "верификация" n+1 варианта программы является опровержением п-того варианта, но ведь нельзя отрицать, что некоторые неудачи последующих вариантов всегда можно предвидеть. Именно "верификации" поддерживают продолжение работы программы, несмотря на непокорные примеры.
Мы можем оценивать исследовательские программы даже после их "элиминации" по их эвристической силе: сколько новых фактов они дают, насколько велика их способность "объяснить опровержения в процессе роста"? (148)
(Мы можем также оценить их по тем стимулам, какие они дают математике. Действительные трудности ученых-теоретиков проистекают скорее из математических трудностей программы, чем из аномалий. Величие ньютоновской программы в значительной мере определяется тем, что ньютонианцы развили классическое исчисление бесконечно малых величин, что было решающей предпосылкой ее успеха).
Таким образом, методология научных исследовательских программ объясняет относительную автономию теоретической науки: исторический факт, рациональное объяснение которому не смог дать ранний фальсификационизм. То, какие проблемы подлежат рациональному выбору ученых, работающих в рамках мощных исследовательских программ, зависит в большей степени от положительной эвристики программы, чем от психологически неприятных, но технически неизбежных аномалий. Аномалии регистрируются, но затем о них стараются забыть, в надежде что придет время и они обратятся в подкрепления программы. Повышенная чувствительность к аномалиям свойственна только тем ученым, кто занимается упражнениями в духе теории проб и ошибок или работает в регрессивной фазе исследовательской программы, когда положительная эвристика исчерпала свои ресурсы. (Все это, конечно, должно звучать дико для наивного фальсификациониста, полагающего, что раз теория "опровергнута" экспериментом (т. е. высшей для него инстанцией), то было бы нерационально, да к тому же и бессовестно, развивать ее в дальнейшем, а надо заменить старую пока еще неопровергнутой, новой теорией).
(в) Две иллюстрации: Проут и Бор
Диалектику положительной и отрицательной эвристики в исследовательской программе лучше всего показать на примерах. Поэтому я обрисую некоторые аспекты двух исследовательских программ, добившихся впечатляющих успехов: программы Проута, в основе которой была идея о том, что все атомы состоят из атомов водорода, и программы Бора с ее основной идеей о том, что световое излучение производится электроном, перескакивающим с одной внутриатомной орбиты на другую.
(Приступая к написанию исторического
очерка, следует, полагаю, придерживаться следующей процедуры: (1) произвести рациональную реконструкцию данного события:
(2) попытаться сопоставить эту рациональную реконструкцию с действительной историей, чтобы подвергнуть критике как рациональную реконструкцию - за недостаток историчности, - так и действительную историю - за недостаток рациональности. Поэтому всякому историческому исследованию должна предшествовать эвристическая проработка: история науки без философии науки слепа.* Но здесь я не могу позволить себе подробно останавливаться на второй стадии этой процедуры).
(вг) Проут: исследовательская программа, прогрессирующая в океане аномалий
В анонимной статье 1815 г. Проут выдвинул утверждение о том, что атомные веса всех чистых химических элементов являются целыми числами. Он очень хорошо знал об огромном количестве аномалий, но говорил, что эти аномалии возникают потому, что обыкновенно употребляемые химические вещества не были достаточно чистыми. Другими словами, соответствующая "экспериментальная техника" того времени была ненадежной;
в принятой нами терминологии можно было бы сказать, что современные Проуту "наблюдательные" теории, на основании которых устанавливались значения истинности базисных предложений его теории, были ложными. (149 )Сторонники теории Проута поэтому были вынуждены заняться весьма нелегким делом: показать несостоятельность теорий, выступающих основаниями для контрпримеров. Для этого требовалось ни много, ни мало революционизировать признанную в то время аналитическую химию, чтобы на новой основе изменить экспериментальную технику, с помощью которой выделялись чистые химические элементы. (150)
Теория Проута, по сути дела, опровергала одну за другой теории, ранее применявшиеся в очистке химических веществ. Но при этом некоторые химики, не выдерживая напряжения, отказывались от новой исследовательской программы, первые успехи которой еще никак нельзя было назвать окончательной победой. Например, Стае, доведенный до отчаяния некоторыми упрямыми, не поддающимися объяснению фактами, в 1860г. пришел к выводу, что теория Проута лишена "каких-либо оснований". (151) В то же время другие химики находились под большим впечатлением от успехов теории и не слишком горевали от того, что успех не был полным.
Например, Мариньяк немедленно парировал выводы Стаса: "Хотя эксперименты. г. Стаса отличаются вполне удовлетворительной точностью, все же нет доказательств против того, что различия, имеющие место между его результатами и следствиями из закона Проута, могут быть объяснены несовершенством экспериментальных методов". (152) Как заметил Крукс в 1886 г., "немало химиков с безупречной репутацией верили в то, что здесь [в теории Проута] истина заслонена некоторыми остаточными или побочными явлениями, которые пока еще не удалось элиминировать". (153) Это значило, что в "наблюдательных" теориях, на которых основывалась "экспериментальная техника" химической очистки и с помощью которых вычислялись атомные веса, должны были иметься какие-то неявные дополнительные ложные допущения. По мнению Крукса, даже в 1886 г. "некоторые атомные веса выражались просто средними значениями". (154) Сам Крукс подошел к этой идее, придав ей научную форму (обеспечивающую увеличение содержания): он предложил новые конкретные теории "фракционирования", нового "разделяющего Демона". (155) Но, увы, эти новые "наблюдательные" теории были столь же ложными, сколь смелыми, и не оказавшись в состоянии предсказывать какие-либо новые факты, они были элиминированы из (рационально реконструированной) истории науки.
Следующим поколениям химиков удалось обнаружить весьма существенное скрытое допущение, вводившее в заблуждение исследователей; оно состояло в том, что два химически чистых элемента могут быть разделены только химическими методами. Идея о том, что два различных химически чистых элемента могут вести себя одинаково во всех химических реакциях, но могут быть разделены физическими методами, требовала изменения, "растяжки", понятия "чистый элемент", что влекло за собой и понятийную "растяжку", расширение самой исследовательской программы. (156) Этот революционный, в высшей степени творческий сдвиг был сделан только школой Резерфорда; (157) лишь "после многих превратностей и самых убедительных опровержений эта гипотеза, столь блестяще выдвинутая Проутом, эдинбургским физиком в 1815 г., спустя сто лет стала краеугольным камнем современных теорий строения атомов". (158) Однако этот творческий прорыв фактически был только побочным результатом прогресса в иной, достаточно далекой, исследовательской программе; сами же сторонники Проута, не имея этого внешнего стимула, даже не пытались, напримр, построить мощные центрифуги - механизмы для разделения элементов.
(Когда "наблюдательные" или "интерпретативные" теории в конце концов элиминируются, то "точные" измерения, проводившиеся на основании невыгодных понятийных каркасов, выглядят - задним числом - скорее забавными. Содди высмеивал "экспериментальную точность", если она является самоцелью: "Есть что-то трагичное, если не трагикомичное, в судьбе выдающейся плеяды химиков XIX века, по праву почитавшихся современниками за высшее мастерство и совершенство точных научных измерений. Ставшие делом их жизни, с таким трудом добытые результаты, по крайней мере на сегодня, выглядят столь же значимыми и интересными как, например, вычисления среднего веса в коллекции бутылок, одни из которых полные, а другие - более или менее пустые". (159)
Подчеркнем, что в свете методологии исследовательских программ, предложенной здесь, никогда не было рациональных причин, по которым могла бы быть элиминирована программа Проута. Эта программа дала превосходный прогрессивный сдвиг, хотя и сталкивалась с серьезными препятствиями. (160 )Этот эпизод показывает, как исследовательская программа может бросить вызов внушительному массиву признанного научного знания: она подобна растению, высаженному на неблагоприятной почве, которую затем постепенно преобразует и подчиняет себе.
История программы Проута также очень хорошо показывает, как прогресс науки тормозится джастификационизмом и наивным фальсификационизмом. (Обе эти концепции были на вооружении тех, кто выступал против атомной теории в XIX веке). Исследование этого специфического влияния плохой методологии науки может стать благодарной задачей историка науки.
(вч) Бор: исследовательская программа, прогрессирующая на противоречивых основаниях
Краткий очерк исследовательской программы Бора (ранней квантовой физики) послужит дальнейшей иллюстрацией и расширением нашего тезиса. (161)
Повествование об исследовательской программе Бора должно включать: 1) изложение исходной проблемы; 2) указание отрицательной и положительной эвристики; 3) проблемы, которые предполагалось решить в ходе ее развития: 4) указание момента, с какого началась ее регрессия (если угодно, "точки насыщения"); 5) программу, пришедшую ей на смену.
Исходная проблема представляла собой загадку: каким образом атомы Резерфорда
то есть мельчайшие планетарные системы с электронами, вращающимися вокруг положительных ядер) могут оставаться устойчивыми; дело в том, что, согласно хорошо подкрепленной теории электромагнитизма Максвелла-Лоренца, такие системы должны коллапсировать. Однако теория Резерфорда также была хорошо подкреплена. Идея Бора заключалась в том, чтобы не обращать внимания на противоречие и сознательно развить исследовательскую программу, "опровержимые" версии которой несовместимы с теорией Максвелла-Лоренца. (162) Он предложил пять постулатов, ставших твердым ядром его программы: " (1) Испускание ( или поглощение) энергии происходит не непрерывно, как это принимается в обычной электродинамике, а только при переходе системы из одного "стационарного" состояния в другое. (2) Динамическое равновесие системы в стационарных состояниях определяется обычными законами механики, тогда как для перехода системы между различными стационарными состояниями эти законы недействительны. (3) Испускаемое при переходе системы из одного стационарного состояния в другое излучение монохроматично и соотношение между его частотой v и общим количеством излученной энергии Е дается равенством Е=hv, где h-постоянная Планка. (4) Различные стационарные состояния простой системы, состоящей из вращающегося вокруг положительного ядра электрона, определяются из условия, что отношение между общей энергией, испущенной при образовании данной конфигурации, и числом оборотов электронов является целым кратным h/2. Предположение о том, что орбита электрона круговая, равнозначно требованию, чтобы момент импульса вращающегося вокруг ядра электрона был бы целым кратным п/2л. (5) "Основное" состояние любой атомной системы, т. е. состояние, при котором излученная энергия максимальна, определяется из условия, чтобы момент импульса каждого электрона относительно центра его орбиты равнялся п/2л."' (63)