История науки и ее рациональные реконструкции

У конвенционализма эта методология заимствует разрешение рационально принимать по соглашению не только пространственно-временные единичные “фактуальные утверждения”, но также и пространственно-временные универсальные теории, что дает нам важнейший ключ для понимания непрерывности роста науки. В соответствии с моей концепцией фундаментальной единицей оценки должна быть не изолированная теория или совокупность теорий, а “исследовательская программа”. Последняя включает в себя конвенционально принятое (и поэтому “неопровержимое”, согласно заранее избранному решению) “жесткое ядро” и “позитивную эвристику”, которая определяет проблемы для исследования, выделяет защитный пояс вспомогательных гипотез, предвидит аномалии и победоносно превращает их в подтверждающие примеры — все это в соответствии с заранее разработанным планом. Ученый видит аномалии, но, поскольку его исследовательская программа выдерживает их натиск, он может свободно игнорировать их. Не аномалии, а позитивная эвристика его программы — вот что в первую очередь диктует ему выбор проблем. И лишь тогда, когда активная сила позитивной эвристики ослабевает, аномалиям может быть уделено большее внимание. В результате методология исследовательских программ может объяснить высокую степень автономности теоретической науки, чего не может сделать несвязанная цепь предположений и опровержений наивного фальсификациониста. То, что для Поппера, Уоткинса и Агасси выступает как внешнее, метафизическое влияние на науку, здесь превращается во внутреннее — в “жесткое ядро” программы.

Картина научной игры, которую предлагает методология исследовательских программ, весьма отлична от подобной картины методологического фальсификационизма. Исходным пунктом здесь является не установление фальсифицируемой (и, следовательно, непротиворечивой) гипотезы, а выдвижение исследовательской программы. Простая “фальсификация” (в попперовском смысле) не влечет отбрасывания соответствующего утверждения. Простые “фальсификации” (то есть аномалии) должны быть зафиксированы, но вовсе не обязательно реагировать на них. В результате исчезают великие негативные решающие эксперименты Поппера: “решающий эксперимент” — это лишь почетный титул, который, конечно, может быть пожалован определенной аномалии, но только спустя долгое время после того, как одна программа будет вытеснена другой. Согласно Попперу, решающий эксперимент описывается некоторым принятым базисным утверждением, несовместимым с теорией; согласно же методологии научно-исследовательских программ, никакое принятое базисное утверждение само по себе не дает ученому права отвергнуть теорию. Такой конфликт может породить проблему (более или менее важную), но ни при каких условиях не может привести к “победе”. Природа может крикнуть: “Нет!”, но человеческая изобретательность — в противоположность мнению Вейля и Поппера — всегда способна крикнуть еще громче. При достаточной находчивости и некоторой удаче можно на протяжении длительного времени “прогрессивно” защищать любую теорию, даже если эта теория ложна. Таким образом, следует отказаться от попперовской модели “предположений и опровержений”, то есть модели, в которой за выдвижением пробной гипотезы следует эксперимент, показывающий ее ошибочность: ни один эксперимент не является решающим в то время — а тем более до времени, — когда он проводится (за исключением, может быть, его психологического аспекта).

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