Мы видим, что некоторые из самых значительных исследовательских программ в истории науки были привиты к предшествующим программам, с которыми находились в вопиющем противоречии. Например, астрономия Коперника была "привита" к физике Аристотеля, программа Бора - к физике Максвелла. Джастификационист или наивный фальсификационист назовет такие "прививки" иррациональными, поскольку не допускают и мысли о росте знания на противоречивой основе. Поэтому они обычно прибегают к уловкам ad hoc, наподобие теории Галилея о круговой инерции или принципа соответствия, а затем и принципа дополнительности Бора, единственной целью которых является сокрытие этого "порока". [154]
Когда же росток привитой программы войдет в силу, приходит конец мирному сосуществованию, симбиоз сменяется конкуренцией, и сторонники новой программы пытаются совершенно вытеснить старую.
Очень возможно, что успех его "привитой программы" позднее подтолкнул Бора к мысли, что противоречия в основаниях исследовательской программы могут и даже должны быть возведены в принцип, что такие противоречия не должны слишком заботить исследователя, что к ним можно просто привыкнуть. В 1922 г. Н. Бор пытался снизить стандарты научного критицизма: "Самое большее, чего можно требовать от теории [т. е. программы], - чтобы [устанавливаемые ею] классификации могли быть продвинуты достаточно далеко, с тем, что область наблюдаемого расширялась бы предсказаниями новых явлений". [155]
(Это высказывание Бора напоминает фразу Даламбера, обнаружившего противоречивость оснований исчисления бесконечно малых величин: "Allez en avant et la foi vous viendra"*. Маргенау замечает: "Можно понять тех, кто воодушевляясь успехами теории, закрывает глаза на уродство ее архитектуры; атомная теория Бора - это башенка в стиле барокко на готическом основании классической электродинамики". [156] Однако в действительности эти архитектурные "уродства" ни для кого не были "тайной", все видели их, но сознательно игнорировали - кто в большей, кто в меньшей степени - пока программа развивалась прогрессивно. [157] С точки зрения методологии исследовательских программ, такое отношение рационально, но только до того момента, когда стадия прогресса заканчивается: после этого апологетика "уродства" становится иррациональной.
Надо отметить, что в 30-40 гг. Бор отказался от требования "новизны явлений" и был готов признать "единственной возможностью согласовывать многообразный материал из области атомных явлений, накапливавшийся день ото дня при исследовании этой новой отрасли знаний". [158] Это означает, что Бор отступил на позицию "спасения явлений", в то время как Эйнштейн саркастически подчеркивал, что "нет такой теории, символы которой кто-то не смог бы подходящим способом увязать с наблюдаемыми величинами".) [159]
Однако непротиворечивость - в точном смысле этого термина [160] - должна оставаться важнейшим регулятивным, принципом (стоящим вне и выше требования прогрессивного сдвига проблем); обнаружение противоречий должно рассматриваться как проблема.** Причина проста. Если цель науки-истина, наука должна добиваться непротиворечивости; отказываясь от непротиворечивости, наука отказалась бы и от истины. Утверждать, что "мы должны умерить нашу требовательность", [161] то есть соглашаться с противоречиями - слабыми или сильными - значит предаваться методологическому пороку. С другой стороны, из этого не следует, что как только противоречие - или аномалия - обнаружено, развитие программы должно немедленно приостанавливаться; разумный выход может быть в другом: устроить для данного противоречия временный карантин при помощи гипотез ad hoc и довериться положительной эвристике программ. Именно так поступали даже математики, как свидетельствуют примеры первых вариантов исчисления бесконечно малых и наивной теории множеств. [162]
154
В нашей методологии такие защитные уловки ad hoc не обязательны, но, с другой стороны, от них нет вреда до тех пор, пока сохраняется ясное понимание, что они знаменуют собой проблемы, а не их решения.
160
Два высказывания образуют противоречие, если их конъюнкция не имеет модели, т. е. не существует интерпретации их дескриптивных терминов, при которой эта конъюнкция истинна. В обычных рассуждениях термины используются более расширимо, чем в формальном дискурсе; некоторые дескриптивные термины получают фиксированную интерпретацию. В этом неформальном смысле два высказывания могут быть (слабо) противоречивыми при стандартной интерпретации некоторых смыслообразующих терминов, хотя формально, при нефиксированной интерпретации, они могут быть совместимыми. Например, первые теории спина электрона были несовместимы со специальной теорией относительности, если понятие "спин" получало стандартную ("сильную") интерпретацию и поэтому рассматривалось как нерасширимый термин, но противоречие исчезало, если "спин" трактовался как неиитерпретированный дескриптивный термин Не следует спешить со стандартными интерпретациями терминов, ибо выхолащивание значений может привести к бесплодию положительной эвристики программы (однако иногда именно стандартизация значений может оказаться прогрессивной) О демаркации между расширимыми и нерасширимыми (дескриптивными и логическими) терминами в неформальном рассуждении см. [921, особенно р. 335; [русск. перев., с. 144])
162
Наивные фальсификационисты готовы увидеть в подобном либерализме чуть ли не преступление против разума. Их главный аргумент звучит примерно так: "Если мы станем допускать противоречия, мы должны будем расстаться со всяким видом научной деятельности; это будет равносильно полному распаду науки. Сказанное легко подкрепить, доказав, что если допущены два противоречивых высказывания, то по необходимости допустимы какие угодно высказывания В самом деле, логически мы вправе выводить из пары противоречивых высказываний вообще любое высказывание . Теория, включающая противоречие, поэтому совершенно бесполезна в качестве теории" ([156]. русск. перев., с. 35, 38). Справедливости ради надо отметить, что здесь Поппер выступает против гегелевской диалектики, в которой противоречие объявляется достоинством, и он совершенно прав, указывая на опасность этого. Но Поппер никогда не анализировал примеры эмпирически (или не-эмпирически) прогрессивного развития знания, покоящегося на противоречивых основаниях, в 24-й главе его "Логики" прямо говорится о непротиворечивости как о требовании к научной теории, не допускающем никаких исключений