Тогда проблема замены теории, опровергнутой "фактами", уступает место новой проблеме - как разрешить противоречия между тесно связанными теориями. Какую из несовместимых теорий следует элиминировать? Утонченный фальсификационист может легко ответить на этот вопрос: надо попытаться заменить первую, потом вторую, потом, возможно, обе и выбрать такое новое их сочетание, которое обеспечит наибольшее увеличение подкрепленного содержания и тем самым поможет прогрессивному сдвигу проблем. (127 )

Таким образом, мы определили процедуру апелляции в том случае, когда теоретик подвергает сомнению приговор экспериментатора. Теоретик может потребовать от экспериментатора уточнения его "интерпретативной теории" (128) и затем может заменить ее - к досаде экспериментатора - лучшей теорией, на основании которой его первоначально "опровергнутая" теория может получить позитивную оценку. (129 )

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

нам приходится, хотя бы на время и для данного случая, принимать решение о ее истинности. И все же опыт продолжает оставаться "беспристрастным арбитром" - в некотором существенном смысле-научной полемики. (131 )Мы не можем отделаться от проблемы "эмпирического базиса", если хотим учиться у опыта: (132) но мы можем сделать познание менее догматичным, хотя и менее быстрым, и менее драматичным. Полагая некоторые "наблюдательные" теории проблематическими, мы можем придать методологии больше гибкости;

но нам не удастся окончательно выяснить и включить в критическую дедуктивную модель все "предпосылочное знание" (может быть, "предпосылочное незнание"?). Этот процесс должен быть постепенным, и в каждый данный момент мы должны быть готовы пойти на определенные соглашения.

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

Отсюда следуют новые проблемы. Характерным признаком утонченного фальсификационизма является то, что он вместо понятия теории вводит в логику открытия в качестве основного понятие ряда теорий. Именно ряд или последовательность теорий, а не одна изолированная теория, оценивается с точки зрения научности или ненаучности. Но элементы этого ряда связаны замечательной непрерывностью, позволяющей называть этот ряд исследовательской программой. Такая непрерывность - понятие, заставляющее вспомнить "нормальную науку" Т. Куна- играет жизненно важную роль в истории науки; центральные проблемы логики открытия могут удовлетворительно обсуждаться только в рамках методологии исследовательских программ.

Глава 3

3. МЕТОДОЛОГИЯ НАУЧНЫХ ИССЛЕДОВАТЕЛЬСКИХ ПРОГРАММ

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

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

"Природа не терпит исключений". Вот почему Уоткинс называл такие правила "влиятельной метафизикой". (136)

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

(а) Отрицательная эвристика: "твердое ядро" программы

У всех исследовательских программ есть "твердое ядро". Отрицательная эвристика запрещает использовать modus tollens, когда речь идет об утверждениях, включенных в "твердое ядро". Вместо этого, мы должны напрягать нашу изобретательность, чтобы прояснять, развивать уже имеющиеся или выдвигать новые "вспомогательные гипотезы", которые образуют защитный пояс вокруг этого ядра; modus tollens своим острием направляется именно на эти гипотезы. Защитный пояс должен выдержать главный удар со стороны проверок; защищая таким образом окостеневшее ядро, он должен приспосабливаться, переделываться или даже полностью заменяться, если того требуют интересы обороны. Если все это дает прогрессивный сдвиг проблем, исследовательская программа может считаться успешной. Она неуспешна, если это приводит к регрессивному сдвигу проблем.

Классический пример успешной исследовательской программы - теория тяготения Ньютона. Быть может, это самая успешная из всех когда-либо существовавших исследовательских программ. Когда она возникла впервые, вокруг нее был океан "аномалий" (если угодно, "контрпримеров"), и она вступала в противоречие с теориями, подтверждающими эти аномалии. Но проявив изумительную изобретательность и блестящее остроумие, ньютонианцы превратили один контрпример за другим в подкрепляющие примеры. И делали они это главным образом за счет ниспровержения тех исходных "наблюдательных" теорий, на основании которых устанавливались эти "опровергающие" данные. Они "каждую новую трудность превращали в новую победу своей программы". (138)