И Лакатос - Фальсификация и методология научно-исследовательских программ

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

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

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

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

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

(Следует подчеркнуть, однако, что сам выбор логической формы, в которой выступает теория, в большой степени зависит от нашего методологического решения. Например, вместо того, чтобы формулировать картезианскую метафизику как высказывание с кванторами общности и существования, можно сформулировать ее как высказывание только с квантором общности: "Все естественные процессы подобны часовому механизму". Тогда "базисное предложение", противоречащее этому, будет звучать так: "А есть естественный процесс, и А не подобно часовому механизму". Вопрос в том, может ли предложение "X не подобен часовому механизму" считаться "установленным" - в соответствии с "экспериментальной техникой" или, вернее, с интерпретативными теориями данного времени - или нет. Следовательно, рациональный выбор логической формы теории зависит от состояния нашего знания. Например, метафизическое предложение с кванторами общности и существования, сформулированное сегодня, завтра, когда произойдут изменения уровня наблюдательных теорий, может превратиться в научное универсальное (с квантором общности) предложение.* Я уже показал, что только последовательность теорий, а не отдельные теории могут квалифицироваться как научные или ненаучные;сейчас я показал, что даже логическая форма теории может быть выбрана рационально только на основании критической оценки исследовательской программы, в которую входит эта теория.)

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

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

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

Но когда теоретик подает апелляцию против приговора экспериментатора, на суде подвергают перекрестному допросу не само по себе базисное предложение, а скорее интерпретативную теорию, на основании которой определяется истинность этого предложения.