Например, в каком смысле теория Коперника “проще”, чем теория Птолемея?
[87] Смутное дюгемовское понятие “простоты”, как верно замечают наивные фальсификационисты, приводит к слишком большой зависимости решения методолога или ученого от чьего-либо вкуса.
Можно ли улучшить подход Дюгема? Это сделал Поппер. Его решение ― утонченный вариант методологического фальсификационизма ― более объективно и более строго. Поппер согласен с конвенционалистами в том, что теория и фактуальные предложения всегда могут быть согласованы с помощью вспомогательных гипотез; он согласен и с тем, что главный вопрос в том, чтобы различать научные и не-научные способы удержания теории, рациональные и не-рациональные изменения теоретического знания. Согласно Попперу, удержание теории, с помощью вспомогательных гипотез, удовлетворяющих определенным, точно сформулированным требованиям, можно считать прогрессом научного знания; но удержания теории с помощью вспомогательных гипотез, которые не удовлетворяют таким требованиям, ― есть вырождение науки. Он называет такие недопустимые вспомогательные гипотезы “гипотезами ad hoc”, чисто лингвистическими выдумками, “конвенционалистскими уловками”.[88]
Но это означает, что оценка любой научной теории должна относиться не только к ней самой, но и ко всем присоединяемым к ней вспомогательным гипотезам, граничным условиям и т. д., и что особенно важно, следует рассматривать эту теорию вместе со всеми ее предшественницами так, чтобы было видно, какие изменения были внесены именно ею. Поэтому, конечно, нашей оценке подлежит не отдельная теория, а ряд или последовательность теорий.
Теперь легко понять, почему критерии “приемлемости” и “отвержения” утонченного методологического фальсификационизма сформулированы именно так, а не иначе. Но все же стоит сформулировать их более ясно, введя понятие “последовательностей теорий”.
Рассмотрим последовательности теорий ― T>1, T>2, Т>3, …, где каждая последующая теория получена из предыдущей путем добавления к ней вспомогательных условий (или путем семантической переинтерпретации ее понятий), чтобы устранить некоторую аномалию. При этом каждая теория имеет, по крайней мере, не меньшее содержание, чем неопровергнутое содержание ее предшественницы.
Будем считать, что такая последовательность теорий является теоретически прогрессивной (или “образует теоретически прогрессивный сдвиг проблем”), если каждая новая теория имеет какое-то добавочное эмпирическое содержание по сравнению с ее предшественницей, то есть предсказывает некоторые новые, ранее не ожидаемые факты. Будем считать, что теоретически прогрессивный ряд теорий является также и
