)

Но несмотря на столь убедительные аргументы джастификационистской критики, критерий Лейбница пользовался поддержкой лучших ученых, так как в нем получили выражение их неприязнь к гипотезам ad hoc, которые "хотя и верно выражают факты, для объяснения каковых предлагаются, однако не находят подтверждения какими-либо иными явлениями". (116 )

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

Рассмотрим несколько примеров. Теория Эйнштейна не потому лучше ньютоновской, что последняя была "опровергнута", а первая нет: по отношению к теории Эйнштейна известно множество "аномалий". Теория Эйнштейна лучше, чем теория Ньютона "образца 1916 года", иначе говоря, знаменует собой прогресс научного знания по сравнению с ньютоновской теорией (то есть теорией гравитации, законами динамики, известным рядом граничных условий, но также и списком известных аномалий, таких как перигелий Меркурия), потому что она объяснила все, что успешно объясняла ньютоновская теория, но при этом в определенной степени объяснила и эти аномалии; кроме того, она наложила запрет на такие явления, как прямолинейное распространение света вблизи больших масс, о чем в теории Ньютона не было ни слова, зато другие хорошо подкрепленные теории того времени такие явления допускали; и, наконец, некоторые фрагменты добавочного содержания эйнштейновской теории были реально подкреплены ранее непредвиденными фактами (например, измерительными данными, полученными при наблюдении полного солнечного затмения).

В то же время, следуя тому же критерию, надо признать, что теория Галилея, согласно которой естественное движение земных тел является круговым, не несла с собой никаких улучшений в указанном смысле, поскольку она не запрещала ничего сверх того, что запрещалось соответствующими теориями, которые Галилей предполагал улучшить (аристотелевская физика и небесная кинематика Коперника). Следовательно, то была теория ad hoc, а значит, бесполезная с эвристической точки зрения. (117 )

Прекрасный пример теории, удовлетворяющей только первой части попперовского критерия прогресса (наличие добавочного содержания), но не второй части (наличие подкрепленного добавочного содержания), был дан самим Поппером: это теория Бора - Крамерса - Слэтера 1924 г. Эта теория была опровергнута во всех ее новых предсказаниях." (118 )

Наконец, рассмотрим вопрос, много ли осталось конвенционалистских моментов в утонченном фальсификационизме. Конечно, меньше, чем в наивном фальсификационизме. Нам требуется гораздо меньше методологических решений. "Решение четвертого типа", которое играло существенную роль в наивном методологическом фальсификационизме, теперь совершенно излишне. Чтобы показать это, достаточно уяснить, что в тем случае, когда научная теория (совокупность "законов природы") в сочетании с граничными условиями и вспомогательными гипотезами, но без ограничения ceteris paribus, вступает в противоречие с некоторыми фактуальными предложениями, то нам не нужно принимать решение, какую- явную или "скрытую" - часть этой композиции следует заменить. Мы можем пытаться заменить любую часть, и только когда мы напали на объяснение аномалии с помощью какого-то изменения теории, приведшего к увеличению содержания, или с помощью вспомогательной гипотезы, а природа позволила нам подкрепить это объяснение, тогда мы, действительно, встали на путь элиминации "опровергнутой" композиции. Таким образом, утонченная фальсификация идет медленнее, но зато более надежна, чем наивная фальсификация.

Возьмем еще один пример. Пусть траектория планеты отклоняется от теоретически вычисленной. Кое-кто сделает вывод, что это опровергает динамику и теорию тяготения, поскольку ограничение ceteris paribus и граничные условия надежно подкреплены. Другие скажут, что это опровергает граничные условия, на которых сделаны вычисления, поскольку и динамика, и теория тяготения великолепно подкреплены за последние две сотни лет, а предположения о каких-то дополнительных факторах, неучтенных в вычислениях теоретического характера, оказались несостоятельными. Но третьи заключат, что это опровергает неявное допущение о том, что таких факторов нет: возможно, они руководствуются метафизическими принципами, вроде того, что любое объяснение лишь приблизительно и не может охватить бесконечную совокупность причин, определяющих любое конкретное событие.

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

Нам больше не нужны и решения пятого типа, столь важные для наивного фальсификациониста. Это станет очевидно, если по-новому посмотреть на проблему оценки (формально) метафизических теорий, а также на проблему их удержания и элиминации. "Утонченное" решение ясно. Формальная теория удерживается до тех пор, пока проблематичные примеры смогут быть объяснены путем изменения вспомогательных гипотез, присоединенных к этой теории, при котором увеличивается эмпирическое содержание. (119 )

Возьмем, к примеру, метафизическое картезианское суждение С: "все природные процессы являются механизмами, подобными часам, которые регулируются неким (априори) духовным началом". Это суждение по самой своей форме неопровержимо, ибо не может войти в противоречие ни с каким сингулярным "базисным предложением", сформулированным в пространственно-временной терминологии. Конечно, оно может противоречить некоторой опровержимой теории типа N: "гравитация-сила, действующая на расстоянии и вычислимая по формуле fm1m2/r (2)". Но N будет противоречить С только в том случае, если "действие на расстоянии" понимается буквально, да еще к тому же как окончательная истина, как нечто несводимое к какой-либо более глубокой причине. (Поппер назвал бы это "эссенциалистской" интерпретацией.)

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

В таком случае можно попытаться объяснить N с помощью С. Именно так пытались сделать сам Ньютон и некоторые французские физики XVIII века. Если вспомогательная теория, при помощи которой достигается такое объяснение (если угодно, "редукция"), обеспечивает знание новых фактов (т. е. является "независимо проверяемой"), то можно рассматривать картезианскую метафизику как хорошую, научную, эмпирическую метафизику, благодаря которой наступает прогрессивный сдвиг проблем. Прогрессивная формально метафизическая теория обеспечивает устойчивый прогрессивный сдвиг проблем в своем защитном поясе вспомогательных теорий. Но если редукция этой теории к "метафизической" основе не дает нового эмпирического содержания, не говоря уже о новых фактах, то такая редукция представляет регрессивный сдвиг проблемы и является просто языковым упражнением. Усилия картезианцев, направленные на то, чтобы подправить свою метафизику с тем, чтобы объяснить ньютоновскую гравитацию, как раз являются ярким примером такой чисто языковой редукции. (120 )