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

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

Прежде всего, к вящему сожалению фальсификациониста, придется признать, что упрямые теоретики часто и не думали подчиниться экспериментальным вердиктам и действовали так, будто последних вовсе не было. Фальсификационистский “закон и порядок” не мог бы допустить таких вольностей. Следующее затруднение связано с фальсификацией теорий, взятых вместе с ограничением ceteris paribus.[79] По фальсификационистским критериям фальсификация, как она имела место в реальной истории, может выглядеть иррациональной. По этим критериям, ученые часто необъяснимо медлительны. Например, понадобилось целых восемьдесят пять лет, чтобы от признания аномальности перигелия Меркурия перейти к признанию этого же факта как опровержения ньютоновской теории, несмотря на то, что ограничение ceteris paribus было очень неплохо подкреплено. С другой стороны, ученые часто кажутся слишком опрометчивыми. Например, Галилей и его последователи, принявшие коперниковскую гелиоцентрическую небесную механику вопреки множеству свидетельств против вращения Земли; или Бор и его последователи, принявшие теорию светового излучения вопреки тому, что она противоречила хорошо подкрепленной теории Максвелла.

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

1) проверка является (или должна быть) обоюдной схваткой между теорией и экспериментом; в конечном итоге, только эти противоборствующие силы остаются один на один;

2) единственным важным для ученого результатом такого противоборства является фальсификация: “настоящие открытия ― это опровержения научных гипотез”.[80]

Однако история науки показывает нечто иное: 1') проверка ― это столкновение по крайней мере трех сторон: соперничающих теорий и эксперимента; 2') некоторые из наиболее интересных экспериментов дают скорее подтверждения, чем опровержения.

Но если это действительно так, то история науки не подтверждает нашу теорию научной рациональности. Значит, мы перед выбором. Можно вообще отказаться от попыток рационального объяснения успехов науки. Значение научного метода (или “логики исследования”) в его функции оценки научных теорий и критерия прогресса научного знания в таком случае сводится к нулю. Можно еще, конечно, пытаться объяснять переходы от одних “парадигм” к другим, положив в основание социальную психологию.[81] Это путь Поляни и Куна.[82] Альтернатива этому ― постараться, насколько возможно, уменьшить конвенциональный элемент фальсификационизма (устранить совсем его нам не удастся) и заменить наивный вариант методологического фальсификационизма, характеризуемый приведенными выше тезисами (1) и (2), новой, утонченной версией, которая должна дать более приемлемое основание фальсификации и, таким образом, спасти идею методологии, идею прогресса научного знания. Это путь Поппера, и я намерен следовать по этому пути.

Утонченный (sophisticated) фальсификационизм отличается от наивного фальсификационизма как своими правилами принятия (или “критерием демаркации”), так и правилами фальсификации или элиминации. Наивный фальсификационист рассматривает любую теорию, которую можно интерпретировать как экспериментально фальсифицируемую, как “приемлемую” или “научную”. Для утонченного фальсификациониста теория “приемлема” или “научна” только в том случае, если она имеет добавочное подкрепленное эмпирическое содержание по сравнению со своей предшественницей (или соперницей), то есть, если только она ведет к открытию новых фактов. Это условие можно разделить на два требования: новая теория должна иметь добавочное эмпирическое содержание (“приемлемость₁”); и некоторая часть этого добавочного содержания должна быть верифицирована (“приемлемость₂”). Первое требование должно проверяться непосредственно, путем априорного логического анализа; второе может проверяться только эмпирически, и сколько времени потребуется для этого, сказать сразу нельзя.

Наивный фальсификационист считает, что теория фальсифицируется “подкрепленным” предложением наблюдения, которое, противоречит ей (или, скорее, которое он решает считать противоречащим ей). Утонченный фальсификационист признает теорию Т фальсифицированной, если и только если предложена другая теория Т' со следующими характеристиками: 1) Т' имеет добавочное эмпирическое содержание по сравнению с Т, то есть она предсказывает факты новые, невероятные с точки зрения Т или даже запрещаемые ею[83]; 2) Т' объясняет предыдущий успех Т, то есть все неопровергнутое содержание Т (в пределах ошибки наблюдения) присутствует в Т'; 3) какая-то часть добавочного содержания Т' подкреплена.[84]

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

Почему мы должны стремиться к фальсификации любой ценой? Не лучше ли наложить определенные ограничения на теоретические уловки, которыми пытаются спасать теорию от опровержений? В самом деле, кое-какие ограничения давно хорошо известны, о них идет речь в давних выпадах против объяснений ad hoc, против пустых и уклончивых решений, лингвистических трюков.[85] Мы уже видели, что Дюгем приближался к формулировке таких ограничений в терминах “простоты” и “здравого смысла”. Но когда защитный пояс теоретических уловок утрачивает “простоту” до такой степени, что данная теория должна быть отброшена?[86] Например, в каком смысле теория Коперника “проще”, чем теория Птолемея?[87] Смутное дюгемовское понятие “простоты”, как верно замечают наивные фальсификационисты, приводит к слишком большой зависимости решения методолога или ученого от чьего-либо вкуса.

Можно ли улучшить подход Дюгема? Это сделал Поппер. Его решение ― утонченный вариант методологического фальсификационизма ― более объективно и более строго. Поппер согласен с конвенционалистами в том, что теория и фактуальные предложения всегда могут быть согласованы с помощью вспомогательных гипотез; он согласен и с тем, что главный вопрос в том, чтобы различать научные и не-научные способы удержания теории, рациональные и не-рациональные изменения теоретического знания. Согласно Попперу, удержание теории, с помощью вспомогательных гипотез, удовлетворяющих определенным, точно сформулированным требованиям, можно считать прогрессом научного знания; но удержания теории с помощью вспомогательных гипотез, которые не удовлетворяют таким требованиям, ― есть вырождение науки. Он называет такие недопустимые вспомогательные гипотезы “гипотезами ad hoc”, чисто лингвистическими выдумками, “конвенционалистскими уловками”.[88]