Будем считать, что такая последовательность теорий является теоретически прогрессивной (или "образует теоретически прогрессивный сдвиг проблем"), если каждая новая теория имеет какое-то добавочное эмпирическое содержание по сравнению с ее предшественницей, то есть предсказывает некоторые новые, ранее не ожидаемые факты. Будем считать, что теоретически прогрессивный ряд теорий является также и эмпирически прогрессивным (или "образует эмпирически прогрессивный сдвиг проблем"}, если какая-то часть этого добавочного эмпирического содержания является подкрепленным, то есть, если каждая новая теория ведет к действительному открытию новых фактов. [90] Наконец, назовем сдвиг проблем прогрессивным, если он и теоретически, и эмпирически прогрессивен, и регрессивным - если нет. [91]
Мы "принимаем" сдвиги проблем как "научные", если они, по меньшей мере, теоретически прогрессивные если нет, мы отвергаем их как "псевдонаучные". Прогресс измеряется той степенью, в какой ряд теорий ведет к открытию новых фактов.* Теория из этого ряда признается "фальсифицированной", если она замещается теорией с более высоко подкрепленным содержанием.
Это различие между прогрессивным и регрессивным сдвигами проблем проливает новый свет на оценку научных - может быть лучше сказать, прогрессивных объяснений. Если для разрешения противоречия между предшествующей теорией и контрпримером мы предлагаем такую теорию, что она вместо увеличивающего содержания (т. е. научного) объяснения дает лишь уменьшающую содержание (лингвистическую) переинтерпретацию, то противоречие разрешается чисто словесным, ненаучным способом. Данный факт объяснен научно, если вместе с ним объясняется также и новый факт. [92]
Утонченный фальсификационизм, таким образом, сдвигает проблему с оценки теорий на оценку ряда (последовательности) теории. Не отдельно взятую теорию, а лишь последовательность теорий можно называть научной или ненаучной. Применять определение "научная" к отдельной теории - решительная ошибка. [[[96]]]
Всегда почитаемым эмпирическим критерием удовлетворительности теорий было согласие с наблюдаемыми фактами. Нашим эмпирическим критерием, применимым к последовательности теорий, является требование производить новые факты. Идея роста науки и ее эмпирический характер соединяются в нем в одно целое.
Эта новая версия методологического фальсификационизма имеет много новых черт. Во-первых, она отрицает, что "в случае научной теории наше решение зависит от результатов экспериментов. Если они подтверждают теорию, мы принимаем ее на то время, пока не найдется более подходящая теория. Если эксперименты противоречат теории - мы отвергаем ее". [93] Она отрицает, что "окончательно решает судьбу теории только результат проверки, то есть соглашение о базисных высказываниях. [94]
Вопреки наивному фальсификационизму, ни эксперимент, ни сообщение об эксперименте. ни предложение наблюдения, ни хорошо подкрепленная фальсифицирующая гипотеза низшего уровня не могут сами по себе вести к фальсификации. Не может быть никакой фальсификации прежде, чем появится лучшая теория.[95]
Но тогда характерный для наивного фальсификационизма негативизм исчезает; критика становится более трудной, но зато более позитивной, конструктивной. В то же время, если фальсификация зависит от возникновения лучших теорий, от изобретения таких теорий, которые предвосхищают новые факты, то фальсификация является не просто отношением между теорией и эмпирическим базисом, но многоплановым отношением между соперничающими теориями, исходным "эмпирическим базисом" и эмпирическим ростом, являющимся результатом этого соперничества. Тогда можно сказать, что фальсификация имеет исторический характер". [96]
Надо добавить, что иногда теории, вызывающие фальсификацию, предлагались уже после того, как обнаруживался "контрпример". Это может звучать парадоксально для тех, кто находится под гипнозом наивного фальсификационизма. Действительно, эта эпистемологическая теория отношений между теорией и экспериментом резко отличается от эпистемологии наивного фальсификационизма. Не годится уже сам термин "контрпример". Ведь никакой экспериментальный результат нельзя рассматривать как "контрпример" сам по себе. Если же нам хочется сохранить этот популярный термин, мы должны переопределить его следующим образом: "Контрпример по отношению к T1" - это подкрепленный пример Т2, которая или несовместима с T1 или независима от нее (с условием, что Т2 - это теория, удовлетворительно объясняющая эмпирический успех T1). Это показывает, что "решающий контрпример" или "критический эксперимент" могут быть признаны таковыми среди множества аномалий только задним числом в свете некоторой новой, заменяющей старую, теории. [97]
90
Если я уже знаю P1: "Лебедь А-белый", то Р: "Все лебеди белые" не представляет прогресса, потому, что оно может вести только к открытию подобных же фактов типа Р2: "Лебедь В-белый". Так называемые эмпирические обобщения не составляют прогресса. Новый факт должен быть невероятным или даже невозможным в свете предшествующего знания.
91
Могут спросить, уместен ли термин "сдвиг проблем". когда речь идет о последовательности теорий, а не проблем. Отчасти я остановился на нем потому, что не нашел лучшего ("сдвиг теорий" звучит скверно), отчасти же потому, что теории всегда проблематичны, они никогда не решают всех проблем, которые- стоят перед ними Как бы то ни было, во второй части этой статьи этот термин в соответствующем контексте будет заменен более естественным термином "исследовательская программа".
92
В первоначальном варианте [93] я писал: "Теория без добавочного подкрепления не имеет дополнительной объясняющей силы; вот почему, согласно Попперу, она не обеспечивает рост знания, и, следовательно, не является научной" (р. 386). Под давлением моих коллег я убрал выделенную часть этого предложения, ибо они считали, что она звучит слишком эксцентрично. Теперь я сожалею об этом. 96 То, что у Лоппера понятия "теория" и "последовательность теорий" сливаются в одно, не позволило ему более успешно развить основные идеи утонченного фальсификационизма. Эта двусмысленность привела его к таким по-видимости противоречащим друг другу утверждениям, как "Марксизм [как ядро последовательности теорий или как "исследовательская программа] неопровержим" и в то же время "марксизм [как особая конъюнкция этого ядра и некоторых вспомогательных гипотез, ограничения ceteris paribus и исходных условий] был опровергнут" (см [163]). Конечно, нет ничего ошибочного в том, что кто-то назовет отдельную, изолированную теорию "научной", если она представляет собой шаг вперед по сравнению со своей предшественницей, если при этом ясно понимать, что мы оцениваем теорию как определенный итог - и в контексте - определенного исторического развития знания".
93
[157], v, 2, р. 233 [русск. перев., с. 269-270]. Более топкое понимание проблемы проглядывает в следующих замечаниях Лоппера "Мы предпочитаем решать, стоит признавать ее [теорию] или отвергать лишь после того, как исследуем те конкретные, практические выводы из нее, которые могут быть более непосредственно проверены экспериментом". (Там же, подчеркнуто мною И Л.); [перевод уточнен мною -Прим перев.].
95
В большинстве случаев до фальсификации некоторой гипотезы мы имеем в запасе другую гипотезу ([161], р 87; [русск. перев, с. 116]). Но из наших рассуждений следует, что мы должны иметь другую гипотезу. Как пишет Фейерабенд, "лучшая критика проводится с помощью тех теорий, которые могут заменить устраненных ими соперниц" ([66), р 227 [русск. перев., с. 426]). Он отмечает, что в некоторых случаях "альтернативы становятся совершенно необходимыми для опровержения тех или иных воззрений" (Там же, р 254, [русск. пер., с. 460]) Но согласно нашим рассуждениям, опровержение без альтернатив указывает только на скудость воображения, не способного к выдвижению спасающей гипотезы.
97
В кривом зеркале наивного фальсификационизма новые теории, которые заменяют старые опровергнутые теории, по рождению своему считаются неопровергнутыми Следовательно, с точки зрения таких теорий нет соответствующего различия между аномалиями и решающими контрпримерами. Аномалия, по их мнению, это только робкий эвфемизм, за кого рым скрывается контрпример Но в реальной истории новые теории рождаются уже опровергнутыми Они наследуют многие аномалии старых теорий Больше того, часто только новая теория драматически предсказывает тот факт, который еще лишь в будущем станет рассматриваться как решающий контрпример против ее предшественницы, в то время как "старые" аномалии могут продолжать свое существование в виде "новых" аномалий Все это мы рассмотрим более подробно, когда введем понятие "исследовательской программы".