Фальсификация и методология научно-исследовательских программ

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

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

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

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

3) Теперь представим, что все эмпирические данные, о которых шла речь, уже известны в то время, когда выдвигаются H1, H2, Н3 и Н4. Тогда вся эта последовательность теоретических моделей не выступает как прогрессивный сдвиг проблем, и поэтому, хотя все данные подкрепляют его теории, ученый должен работать над новыми гипотезами, чтобы доказать научную значимость своей программы. [188] Так может получиться либо из-за того, что более ранняя исследовательская программа (вызов которой брошен той программой, которая реализуется в последовательности Hi, ..., Н4), уже произвела все эти факты, либо из-за того, что правительство отпустило слишком много денег на эксперименты по коллекционированию спектральных линий и все рабочие лошади науки пашут именно это поле. Правда, второй случай крайне маловероятен, ибо, как сказал бы Каллен, "число ложных фактов, заполоняющих мир, бесконечно превышает число ложных теорий" [189]; в большинстве случаев, когда исследовательская программа вступает в конфликт с известными фактами, теоретики будут видеть причину этого в "экспериментальной технике", считать несовершенными "наблюдательные теории", которые лежат в ее основе, исправлять данные, полученные экспериментаторами, получая таким образом новые факты. [190]

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