Несмотря на то, что Поппер отвергает взгляд на научные объяснения как простые «сертификаты» на право выдвижения прогнозов, он тем не менее настаивает на том, что научные объяснения не могут быть оценены иначе, как в терминах подразумевающихся ими прогнозов. Проверить прогнозы, следующие из теоретического объяснения, и показать, что наблюдаемые явления совместимы с этим объяснением, слишком просто: какими бы абсурдными ни были теории, среди них мы почти не найдем таких, которые не подтверждались бы хоть какими–то наблюдениями. Научная теория подвергается настоящему испытанию лишь тогда, когда ученый заранее указывает наблюдаемые условия, при которых она будет признана опровергнутой[21]. Чем точнее указаны эти условия фальсификации и чем вероятнее то, что с ними придется столкнуться, тем рискованнее теория. Если такая смелая теория многократно и с успехом противостоит попыткам опровержения и если к тому же она успешно предсказывает результаты, не следующие из конкурирующих теоретических объяснений, она считается в высокой степени подтвержденной или, как предпочитает говорить Поппер, «хорошо корроборированной» (Popper К., 1959, ch. 10). Короче говоря, теория корроборируется не тем, что она согласуется со многими фактами, а тем, что мы неспособны найти какие–либо факты, ее опровергающие.
В традиционной философии науки XIX в. адекватные научные теории должны были соответствовать целому ряду критериев, таких как внутренняя последовательность, простота, законченность, универсальность объяснения (то есть способность объяснять или по крайней мере проливать свет на широкое разнообразие явлений, которую Уильям Хьюэлл называл «совпадением индукции» [consilience of induction]), плодотворность (то есть способность стимулировать дальнейшие исследования) и, возможно, даже практическая ценность выводов. Стоит заметить, что Поппер стремится свести большинство этих традиционных критериев к своему первостепенному требованию опровержимости прогнозов. Очевидно, логическая последовательность является «наиболее распространенным требованием» к любой теории, поскольку противоречащее себе объяснение совместимо с любым событием и, следовательно, никогда не может быть опровергнуто (Popper К., 1959, р. 92). Так же очевидно, что чем более общей является теория, тем шире область, на которую распространяются ее выводы, и тем легче опровергнуть ее; в этом смысле распространенное предпочтение теорий все большей и большей полноты может быть интерпретировано как неявное осознание того факта, что научный прогресс характеризуется накоплением теорий, выдержавших строгую проверку. Несколько более противоречиво утверждение Поппера, согласно которому теоретическая простота может приравниваться к степени опровержимости теории в том смысле, что чем проще теория, тем строже ее наблюдаемые выводы и тем более она пригодна для проверки; и именно из–за этих свойств простых теорий мы стремимся к простоте в науке (Popper К., 1965, ch. 7). Убедительность этого аргумента сомнительна, поскольку само понятие простоты теории в значительной степени обусловлено историческим горизонтом ученых. Многие историки науки замечали, что элегантная простота теории тяготения Ньютона, так впечатлявшая мыслителей XIX в., не производила такого впечатления на современников Ньютона; и если современная квантовая физика и теория относительности верны, нужно признать, что это — не очень простые теории[22]. Попытки точно определить, какая теория является простой, а какая нет, до сих пор не имели успеха (Hempel C.G., 1966, р. 40—45). В этом смысле Оскар Уайльд, возможно, был прав, когда остроумно заметил, что истина редко бывает полной и никогда — простой.
Так или иначе, на основе упоминаемых Поппером «степеней корроборации» можно было бы вывести шкалу для сравнения теорий, но сам он фактически открыто отрицает возможность количественной оценки степени опровержимости теоретической системы. Во–первых, ни одна теория не может быть решительно опровергнута единственным экспериментом (тезис Дюгема—Куайна). Во–вторых, хотя мы и можем убеждать ученых не защищать свои теории от фальсификации с помощью «иммунизирующих стратагем», следует признать, что в определенных обстоятельствах было бы функциональным сохранять верность опровергнутым теориям в надежде, что их можно будет скорректировать для объяснения вновь открытых аномалий (Popper К., 1972а, р. 30); иными словами, попперовский завет ученым ни в коем случае не стоит понимать однозначно. И, наконец, в–третьих, большинство проблем оценки теорий подразумевает не просто «дуэль» между теорией и набором фактов, а трехстороннюю «схватку» между двумя или более соперничающими теориями и набором фактов, которые эти теории более или менее удовлетворительно объясняют (Popper К., 1965, р. 32—33, 53—54, 108). Все три вышеизложенные соображения обрекают концепцию степеней корроборации теории на роль средства сугубо качественного, порядкового сравнения теорий ex post:
21
Интересно, что Дарвин выдвигает точно те же условия, что и Поппер. «Если бы можно было доказать, что любой признак какого–нибудь вида сформировался исключительно для блага другого вида, это разрушило бы мою теорию, поскольку подобные признаки не могли быть результатом естественного отбора». Он указывает на пример с погремушкой у гремучей змеи, но тут же уходит от вопроса о ее альтруистической природе, добавляя: 'В этой книге У меня нет места для рассмотрения этого и других подобных ему случаев (Darwin С, 1859, р. 228–229). Проблема объяснения альтруизма у животных остается неизменной заботой современных социобиологов.
22
Как заметил Поланьи, «великие теории редко бывают просты в обыденном смысле этого слова. И квантовая механика, и теория относительности очень сложны для понимания; мы запоминаем факты, объясняемые теорией относительности за пару минут, но на то, чтобы овладеть теорией и увидеть эти факты в надлежащем контексте, уходят годы обучения» (Polanyi M., 1958, р. 16).