Но это означает, что оценка любой научной теории должна относиться не только к ней самой, но и ко всем присоединяемым к ней вспомогательным гипотезам, граничным условиям и т. д., и что особенно важно, следует рассматривать эту теорию вместе со всеми ее предшественницами так, чтобы было видно, какие изменения были внесены именно ею. Поэтому, конечно, нашей оценке подлежит не отдельная теория, а ряд или последовательность теорий.

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

Рассмотрим последовательности теорий ― T₁, T₂, Т₃, …, где каждая последующая теория получена из предыдущей путем добавления к ней вспомогательных условий (или путем семантической переинтерпретации ее понятий), чтобы устранить некоторую аномалию. При этом каждая теория имеет, по крайней мере, не меньшее содержание, чем неопровергнутое содержание ее предшественницы.

Будем считать, что такая последовательность теорий является теоретически прогрессивной (или “образует теоретически прогрессивный сдвиг проблем”), если каждая новая теория имеет какое-то добавочное эмпирическое содержание по сравнению с ее предшественницей, то есть предсказывает некоторые новые, ранее не ожидаемые факты. Будем считать, что теоретически прогрессивный ряд теорий является также и эмпирически прогрессивным (или “образует эмпирически прогрессивный сдвиг проблем”), если какая-то часть этого добавочного эмпирического содержания является подкрепленным, то есть, если каждая новая теория ведет к действительному открытию новых фактов.[89] Наконец, назовем сдвиг проблем прогрессивным, если он и теоретически, и эмпирически прогрессивен, и регрессивным ― если нет.[90]

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

Это различие между прогрессивным и регрессивным сдвигами проблем проливает новый свет на оценку научных ― может быть лучше сказать, прогрессивных ― объяснений. Если для разрешения противоречия между предшествующей теорией и контрпримером мы предлагаем такую теорию, что она вместо увеличивающего содержания (т.е. научного) объяснения дает лишь уменьшающую содержание (лингвистическую) переинтерпретацию, то противоречие разрешается чисто словесным, не-научным способом. Данный факт объяснен научно, если вместе с ним объясняется также и новый факт.[91]

Утонченный фальсификационизм, таким образом, сдвигает проблему с оценки теорий на оценку ряда (последовательности) теорий. Не отдельно взятую теорию, а лишь последовательность теорий можно называть научной или не-научной. Применять определение “научная” к отдельной теории ― решительная ошибка.[92]

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

Эта новая версия методологического фальсификационизма имеет много новых черт. Во-первых, она отрицает, что “в случае научной теории наше решение зависит от результатов экспериментов. Если они подтверждают теорию, мы принимаем ее на то время, пока не найдется более подходящая теория. Если эксперименты противоречат теории ― мы отвергаем ее”.[93] Она отрицает, что “окончательно решает судьбу теории только результат проверки, то есть соглашение о базисных высказываниях”.[94]

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

Но тогда характерный для наивного фальсификационизма негативизм исчезает; критика становится более трудной, но зато более позитивной, конструктивной. В то же время, если фальсификация зависит от возникновения лучших теорий, от изобретения таких теорий, которые предвосхищают новые факты, то фальсификация является не просто отношением между теорией и эмпирическим базисом, но многоплановым отношением между соперничающими теориями, исходным “эмпирическим базисом” и эмпирическим ростом, являющимся результатом этого соперничества. Тогда можно сказать, что фальсификация имеет “исторический характер”.[96]

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

“Контрпример по отношению к T₁” ― это подкрепленный пример Т₂, которая или несовместима с T₁ или независима от нее (с условием, что Т₂ ― это теория, удовлетворительно объясняющая эмпирический успех Т₁). Это показывает, что “решающий контрпример” или “критический эксперимент” могут быть признаны таковыми среди множества аномалий только задним числом в свете некоторой новой, заменяющей старую, теории.”[97]

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

“Фальсификация”, как ее понимает наивный фальсификационист (подкрепленный контрпример) не достаточна для элиминации некоторой специальной теории; несмотря на сотни известных аномалий, мы не признаем ее фальсифицированной (а значит, и элиминированной), пока нет лучшей теории.[99] Больше того, “фальсификация” в этом смысле не является и необходимым условием для фальсификации, как ее понимает утонченный фальсификационизм; прогрессивный сдвиг проблем не обязательно связан с “опровержениями”. Наивные фальсификационисты уверены, что рост науки имеет линейный характер: за теориями следуют опровержения, которые элиминируют их, а за опровержениями следуют новые теории.[100] Очень может быть, что “прогресс” в последовательности теорий происходит так: опровержение n-й теории является в то же время и подкреплением п+1-й теории. Лихорадка проблем в науке возникает скорее из-за быстрого размножения (пролиферации) соперничающих теорий, а не умножения контрпримеров и аномалий.