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

Но если это действительно так, то история науки не подтверждает нашу теорию научной рациональности. Значит, мы перед выбором. Можно вообще отказаться от попыток рационального объяснения успехов науки. Значение научного метода (или "логики исследования") в его функции оценки научных теорий и критерия прогресса научного знания в таком случае сводится к нулю. Можно еще, конечно, пытаться объяснять переходы от одних "парадигм" к другим, положив в основание социальную психологию. (85) Это путь Полани и Куна. (86) Альтернатива этому - постараться, насколько возможно, уменьшить конвенциональный элемент фальсификационизма (устранить совсем его нам не удастся) и заменить наивный вариант методологического фальсификационизма, характеризуемый приведенными выше тезисами (1) и (2), новой, утонченной версией, которая должна дать более приемлемое основание фальсификации и, таким образом, спасти идею методологии, идею прогресса научного знания. Это путь Поппера, и я намерен следовать по этому пути.

в) Утонченный фальсификационизм против наивного методологического фальсификационизма. Прогрессивный и регрессивный сдвиг проблемы

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

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

Наивный фальсификационист считает, что теория фальсифицируется "подкрепленным" предложением наблюдения, которое, противоречит ей (или, скорее, которое он решает считать противоречащим ей). Утонченный фальсификационист признает теорию Т фальсифицированной, если и только если предложена другая теория Т' со следующими характеристиками: 1) Т' имеет добавочное эмпирическое содержание по сравнению с Т, то есть она предсказывает факты новые, невероятные с точки зрения Т или даже запрещаемые ею; (87) 2) Т' объясняет предыдущий успех Т, то есть все неопровергнутое содержание Т (в пределах ошибки наблюдения) присутствует в Т'; 3) какая-то часть добавочного содержания Т' подкреплена. (88 )

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

Почему мы должны стремиться к фальсификации любой ценой? Не лучше ли наложить определенные ограничения на теоретические уловки, которыми пытаются спасать теорию от опровержений? В самом деле, кое-какие ограничения давно хорошо известны, о них идет речь в давних выпадах против объяснений ad hoc, против пустых и уклончивых решений, лингвистических трюков. (89) Мы уже видели, что Дюгем приближался к формулировке таких ограничений в терминах "простоты" и "здравого смысла".* Но когда защитный пояс теоретических уловок утрачивает "простоту" до такой степени, что данная теория должна быть отброшена? (90) Например, в каком смысле теория Коперника "проще", чем теория Птолемея? (91) Смутное дюгемовское понятие "простоты", как верно замечают наивные фальсификационисты, приводит к слишком большой зависимости решения методолога или ученого от чьего-либо вкуса.