Тогда проблема замены теории, опровергнутой “фактами”, уступает место новой проблеме ― как разрешить противоречия между тесно связанными теориями. Какую из несовместимых теорий следует элиминировать? Утонченный фальсификационист может легко ответить на этот вопрос: надо попытаться заменить первую, потом вторую, потом, возможно, обе и выбрать такое новое их сочетание, которое обеспечит наибольшее увеличение подкрепленного содержания и тем самым поможет прогрессивному сдвигу проблем.[123]

Таким образом, мы определили процедуру апелляции в том случае, когда теоретик подвергает сомнению приговор экспериментатора. Теоретик может потребовать от экспериментатора уточнения его “интерпретативной теории”[124] и затем может заменить ее ― к досаде экспериментатора ― лучшей теорией, на основании которой его первоначально “опровергнутая” теория может получить позитивную оценку.[125]

Но даже эта процедура апелляции может только отсрочить конвенциональное решение. Приговор апелляционного суда тоже ведь не является непогрешимым. Решив вопрос о том, замена какой теории ― “интерпретативной” или “объяснительной” ― обеспечивает новые факты, нам приходится решать другой вопрос: принять или отвергнуть базисные высказывания. А это значит, что мы только отложили ― и, возможно, улучшили ― решение, но не избежали его.[126] Трудности с эмпирическим базисом, перед которыми стоял “наивный фальсификационизм”, не преодолеваются и “утонченным” фальсификационизмом. Даже если рассматривать теорию как “фактуальную”, иначе говоря, если наше медлительное и ограниченное воображение не может предложить другую, альтернативную теорию, то нам приходится, хотя бы на время и для данного случая, принимать решение о ее истинности. И все же опыт продолжает оставаться “беспристрастным арбитром” ― в некотором существенном смысле ― научной полемики.[127] Мы не можем отделаться от проблемы “эмпирического базиса”, если хотим учиться у опыта:[128] но мы можем сделать познание менее догматичным, хотя и менее быстрым, и менее драматичным. Полагая некоторые “наблюдательные” теории проблематическими, мы можем придать методологии больше гибкости; но нам не удастся окончательно выяснить и включить в критическую дедуктивную модель все “предпосылочное знание” (может быть, “предпосылочное незнание”?). Этот процесс должен быть постепенным, и в каждый данный момент мы должны быть готовы пойти на определенные соглашения.

Против утонченного методологического фальсификационизма может быть одно возражение, ответить на которое нельзя, не сделав определенной уступки “симплицизму” Дюгема. Возражение касается так называемого “парадокса присоединения”. Согласно нашим определениям, присоединение к теории совершенно не связанной с ней гипотезы низшего уровня может создать “прогрессивный сдвиг проблем”. Избежать такого паллиативного сдвига трудно, если не настаивать на том, что “дополнительные утверждения должны быть связаны с противоречащим утверждением более тесно, чем только посредством конъюнкции”.[129] ‹что означало бы, конечно, и более тесную связь дополнительных гипотез с проверяемой теорией. ― Доб. перев.›. Конечно, это своего рода критерий простоты, гарантирующий непрерывность ряда теорий, образующего единый сдвиг проблем.

Отсюда следуют новые проблемы. Характерным признаком утонченного фальсификационизма является то, что он вместо понятия теории вводит в логику открытия в качестве основного понятие ряда теорий. Именно ряд или последовательность теорий, а не одна изолированная теория, оценивается с точки зрения научности или ненаучности. Но элементы этого ряда связаны замечательной непрерывностью, позволяющей называть этот ряд исследовательской программой. Такая непрерывность ― понятие, заставляющее вспомнить “нормальную науку” Т. Куна ― играет жизненно важную роль в истории науки; центральные проблемы логики открытия могут удовлетворительно обсуждаться только в рамках методологии исследовательских программ.

Поппер начинал как догматический фальсификационист в 20-х гг., но скоро осознал несостоятельность этой позиции и воздерживался от публикаций, пока не придумал методологический фальсификационизм. Это была совершенно новая идея в философии науки, и выдвинута она была именно Поппером, который предложил ее как решение проблем, с которыми не мог совладать догматический фальсификационизм. В самом деле, центральной проблемой философии Поппера является противоречие между положениями о том, что наука является критической и в то же время подверженной ошибкам. Хотя Поппер предлагал и последовательную формулировку, и критику догматического фальсификационизма, он так и не сделал четкого разграничения между наивным и утонченным фальсификационизмом.

В одной из своих прежних статей[130] я предложил различать три периода в деятельности Поппера: Поппер₀, Пonnep₁ и Поппер₂. Поппер₀ ― догматический фальсификационист, не опубликовавший ни слова: он был выдуман и “раскритикован” сначала Айером, а за тем и другими.[131] В этой статье я надеюсь окончательно прогнать этот призрак. Поппер₁ ― наивный фальсификационист, Поппер₂ ― утонченный фальсификационист. Реальный Поппер развивался от догматического к наивному методологическому фальсификационизму в 20-х гг., он пришел к “правилам принятия” утонченного фальсификационизма в 50-х гг. Этот переход был отмечен тем, что к первоначальному требованию проверяемости было добавлено требование “независимой проверяемости”[132], а затем и третье требование о том, чтобы некоторые из независимых проверок приводили к подкреплениям.[133] Но реальный Поппер никогда не отказывался от своих первоначальных (наивных) правил фальсификации. Вплоть до настоящего времени он требует, чтобы были “заранее установлены критерии опровержения: следует договориться относительно того, какие наблюдаемые ситуации, если они будут действительно наблюдаться, означают, что теория опровергнута”.[134] Он и сейчас трактует “фальсификацию” как исход дуэли между теорией и наблюдением без необходимого участия другой, лучшей теории. Реальный Поппер никогда не объяснял в деталях процедуру апелляции, по результату которой могут быть устранены некоторые “принятые базисные предложения”. Таким образом, реальный Поппер ― это Поппер₁ с некоторыми элементами Поппера₂.

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

Поппер первоначально имел в виду только теоретический аспект проблемных сдвигов, что нашло выражение в гл. 20 [153] и дальнейшую разработку в [157].[136] Впоследствии он добавил к этому обсуждение эмпирического аспекта ([160]).[137] Однако запрет, наложенный Поппером на “конвенционалистские уловки” в одних отношениях слишком строг, в других ― слишком слаб. Он слишком строг, поскольку, согласно Попперу, новый вариант прогрессивной программы никогда не принимает уменьшающую эмпирическое содержание уловку, специально для поглощения аномалии; в таком варианте невозможны констатации вроде следующей: “Все тела подчиняются законам Ньютона, за исключением семнадцати аномальных случаев”. Но так как необъясненных аномалий всегда сколько угодно, я допускаю такие формулировки; объяснение есть шаг вперед (т.е. является “научным”), если, по крайней мере, оно объясняет некоторые прежние аномалии, которые не получили “научного” объяснения ранее. Если аномалии считаются подлинными (хотя и не обязательно неотложными) проблемами, не так уж важно, придаем ли мы им драматический смысл “опровержений” или снижаем его до уровня “исключений”, в таком случае различие чисто лингвистическое. Такой уровень терпимости к ухищрениям ad hoc позволяет продвигаться вперед даже на противоречивых основаниях. Проблемные сдвиги могут быть прогрессивными несмотря на противоречия.[138] Однако запрет, налагаемый Поппером на уловки, уменьшающие эмпирическое содержание, также слишком слаб: с его помощью нельзя, например, разрешить “парадокс присоединения” или исключить ухищрения ad hoc. От них можно избавиться только потребовав, чтобы вспомогательные гипотезы формировались в соответствии с положительной эвристикой подлинной исследовательской программы. Это новое требование подводит нас к проблеме непрерывности в науке.