(Хотя фальсификационизм и является логически безупречным, он сталкивается со своими собственными эпистемологическими трудностями. В своем первоначальном “догматическом” варианте он принимает ложную предпосылку—о доказуемости суждений из фактов и о недоказуемости теорий. В попперовском “конвенционалистском” варианте фальсификационизм нуждается в некотором (внеметодологическом) “индуктивном принципе” для того, чтобы придать эпистемо-логический вес его решениям принимать те или иные “базисные” утверждения, и вообще для связи своих правил научной игры с правдоподобием.)
Историк-попперианец ищет великих, “смелых” фальсифицируемых теорий и великих отрицательных решающих экспериментов. Именно они образуют костяк создаваемой им рациональной реконструкции развития научного знания. Излюбленными образцами (парадигмами) великих фальсифицируемых теорий для попперианцев являются теории Ньютона и Максвелла, формулы излучения Релея—Джинса и Вина, революция Эйнштейна; их излюбленные примеры решающих экспериментов— это эксперимент Майкельсона—Морли, эксперимент Эд-дингтона, связанный с затмением Солнца, и эксперименты Люммера и Прингсгейма. Агасси попытался превратить этот наивный фальсификационизм в систематическую историографическую исследовательскую программу. В частности, он предсказал (а может быть, только констатировал позднее), что за каждым серьезным экспериментальным открытием лежит теория, которой это открытие противоречит; значение фактуального открытия следует измерять значением той теории, которую оно опровергает. По-видимому, Агасси согласен с той оценкой, которую научное сообщество дает таким фактуальным открытиям, как открытия Гальвани, Эрстеда, Пристли, Рентгена и Герца; однако он отрицает “миф” о том, что это были случайные открытия (как часто говорят о первых четырех) или открытия, подтверждающие те или иные теории (как вначале думал Герц о своем открытии), В результате Агасси пришел к смелому выводу: все пять названных экспериментов были успешными опровержениями—в некоторых случаях даже задуманными как опровержения—некоторых теорий, которые он, проводя свое исследование, стремился выявить и которые в большинстве случаев действительно считает выявленными.
Внутреннюю историю в понимании попперианцев легко в свою очередь дополнить теориями внешней истории. Так, сам Поппер считал, что (с позитивной стороны) (1) главные внешние стимулы создания научных теорий исходят из ненаучной “метафизики” и даже из мифов (позднее это было прекрасно проиллюстрировано главным образом Койре) и что (с негативной стороны) (2) факты сами по себе не являются такими внешними стимулами: фактуальные открытия целиком принадлежат внутренней истории, они возникают как опровержение некоторой научной теории и становятся заметными только в том случае, когда вступают в конфликт с некоторыми предварительными ожиданиями ученых. Оба эти тезиса представляют собой краеугольные камни психологии открытия Поппера . Фейерабенд развил другой интересный психологический тезис Поппера, а именно что быстрое увеличение числа конкурирующих теорий может — внешним образом — ускорить внутренний процесс фальсификации теорий в смысле Поппера.
Однако теории, дополняющие фальсификационизм, не обязаны ограничиваться рассмотрением только чисто интеллектуальных влияний. Следует подчеркнуть (вслед за Агасси), что фальсификационизм в не меньшей степени, чем индуктивизм, совместим с воззрениями о влиянии внешних факторов на научный прогресс. Единственное различие в этом отношении между индуктивиз-мом и фальсификационизмом состоит в том, что, в то время как для первого “внешняя” теория призвана объяснять открытие фактов, для второго она должна объяснять изобретение научных теорий, так как выбор фактов (то есть выбор “потенциальных фальсификаторов”) для фальсификациониста прежде всего детерминирован внутренне, то есть соответствующими теориями.
Для историка-фальсификациониста особую проблему представляет “ложное сознание”—“ложное”, конечно, с точки зрения его теории рациональности. Почему, например, некоторые ученые считают решающие эксперименты скорее позитивными и верифицирующими, чем негативными и фальсифицирующими? Для решения этих проблем именно фальсификационист Поппер разработал—лучше, чем кто-либо до него,—концепцию о расхождении объективного знания (в его “третьем мире”) с искаженными отображениями этого знания в индивидуальном сознании. Тем самым он открыл путь для проведения моего различения между внутренней и внешней историей.
D. Методология научно-исследовательских программ
Согласно моей методологической концепции, исследовательские программы являются величайшими научными достижениями и их можно оценивать на основе прогрессивного или регрессивного сдвига проблем; при этом научные революции состоят в том, что одна исследовательская программа (прогрессивно) вытесняет другую. Эта методологическая концепция предлагает новый способ рациональной реконструкции науки. Выдвигаемую мною методологическую концепцию легче всего изложить, противопоставляя ее фальсификационизму и конвенционализму, у которых она заимствует существенные элементы.
У конвенционализма эта методология заимствует разрешение рационально принимать по соглашению не только пространственно-временные единичные “фактуальные утверждения”, но также и пространственно-временные универсальные теории, что дает нам важнейший ключ для понимания непрерывности роста науки . В соответствии с моей концепцией фундаментальной единицей оценки должна быть не изолированная теория или совокупность теорий, а “исследовательская программа”. Последняя включает в себя конвенционально принятое (и поэтому “неопровержимое”, согласно заранее избранному решению) “жесткое ядро” и “позитивную эвристику”, которая определяет проблемы для исследования, выделяет защитный пояс вспомогательных гипотез, предвидит аномалии и победоносно превращает их в подтверждающие примеры—все это в соответствии с заранее разработанным планом. Ученый видит аномалии, но, поскольку его исследовательская программа выдерживает их натиск, он может свободно игнорировать их. Не аномалии, а позитивная эвристика его программы — вот что в первую очередь диктует ему выбор проблем. И лишь тогда, когда активная сила позитивной эвристики ослабевает, аномалиям может быть уделено большее внимание. В результате методология исследовательских программ может объяснить высокую степень автономности теоретической науки, чего не может сделать несвязанная цепь предположений и опровержений наивного фальсификациониста. То, что для Поппера, Уоткинса и Агасси выступает как внешнее, метафизическое влияние на науку, здесь превращается во внутреннее—в “жесткое ядро” программы.
Картина научной игры, которую предлагает методология исследовательских программ, весьма отлична от подобной картины методологического фальсификационизма. Исходным пунктом здесь является не установление фальсифицируемой (и, следовательно, непротиворечивой) гипотезы, а выдвижение исследовательской программы. Простая “фальсификация” (в попперовском смысле) не влечет отбрасывания соответствующего утверждения . Простые “фальсификации” (то есть аномалии) должны быть зафиксированы, но вовсе не обязательно реагировать на них. В результате исчезают великие негативные решающие эксперименты Поппера: “решающий эксперимент” — это лишь почетный титул, который, конечно, может быть пожалован определенной аномалии, но только спустя долгое время после того, как одна программа будет вытеснена другой. Согласно Попперу, решающий эксперимент описывается некоторым принятым базисным утверждением, несовместимым с теорией; согласно же методологии научно-исследовательских программ, никакое принятое базисное утверждение само по себе не дает ученому права отвергнуть теорию. Такой конфликт может породить проблему (более или менее важную), но ни при каких условиях не может привести к “победе”. Природа может крикнуть: “Нет!”, но человеческая изобретательность—в противоположность мнению Вейля и Поппера —всегда способна крикнуть еще громче. При достаточной находчивости и некоторой удаче можно на протяжении длительного времени “прогрессивно” защищать любую теорию, даже если эта теория ложна. Таким образом, следует отказаться от попперовской модели “предположений и опровержений”, то есть модели, в которой за выдвижением пробной гипотезы следует эксперимент, показывающий ее ошибочность: ни один эксперимент не является решающим в то время—а тем более до времени,—когда он проводится (за исключением, может быть, его психологического аспекта).