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

Методологический фальсификационист решает эту проблему, принимая новое решение (четвертого типа): когда мы проверяем теорию вместе с ограничением ceteris paribus и находим, что эта конъюнкция опровергнута, мы должны решить, считать ли это опровержение также и опровержением специфической теории.

Например, можно принять "аномалию" перигелия Меркурия как опровержение конъюнкции из трех элементов: теории Ньютона, известных граничных условий и ограничения ceteris paribus - Nз. Затем "сурово" проверить граничные условия (64) и, может быть, перевести их в ранг "непроблематичного исходного знания". Из этого будет следовать, что опровергнута иная конъюнкция, уже из двух элементов - теории Ньютона и ограничение ceteris paribus - N2. Теперь надо принимать главное решение: снести и ограничение ceteris paribus в общий котел "непроблематического исходного знания". Это тоже можно сделать, если ограничение ceteris paribus хорошо подкреплено.

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

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

Поскольку наш суровый фальсификационист считает опровержения окончательными, он должен принять судьбоносное решение:

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

По излюбленному выражению методологического фальсификациониста, теория должна "сама лезть на рожон".

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

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

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

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