Против утонченного методологического фальсификационизма может быть одно возражение, ответить на которое нельзя, не сделав определенной уступки "симплицизму" Дюгема. Возражение касается так называемого "парадокса присоединения". Согласно нашим определениям, присоединение к теории совершенно не связанной с ней гипотезы низшего уровня может создать "прогрессивный сдвиг проблем". Избежать такого паллиативного сдвига трудно, если не настаивать на том, что "дополнительные утверждения должны быть связаны с противоречащим утверждением более тесно, чем только посредством конъюнкции",' (33) (что означало бы, конечно, и более тесную связь дополнительных гипотез с проверяемой теорией. - Доб. перев.). Конечно, это своего рода критерий простоты, гарантирующий непрерывность ряда теорий, образующего единый сдвиг проблем.
Отсюда следуют новые проблемы. Характерным признаком утонченного фальсификационизма является то, что он вместо понятия теории вводит в логику открытия в качестве основного понятие ряда теорий. Именно ряд или последовательность теорий, а не одна изолированная теория, оценивается с точки зрения научности или ненаучности. Но элементы этого ряда связаны замечательной непрерывностью, позволяющей называть этот ряд исследовательской программой. Такая непрерывность - понятие, заставляющее вспомнить "нормальную науку" Т. Куна- играет жизненно важную роль в истории науки; центральные проблемы логики открытия могут удовлетворительно обсуждаться только в рамках методологии исследовательских программ.
3. МЕТОДОЛОГИЯ НАУЧНЫХ ИССЛЕДОВАТЕЛЬСКИХ ПРОГРАММ
Мы рассмотрели проблему объективной оценки научного развития, используя понятия прогрессивного и регрессивного сдвигов проблем в последовательности научных теорий. Если рассмотреть наиболее значительные последовательности, имевшие место в истории науки, то видно, что они характеризуются непрерывностью, связывающей их элементы в единое целое. Эта непрерывность есть не что иное, как развитие некоторой исследовательской программы, начало которой может быть положено самыми абстрактными утверждениями. Программа складывается из методологических правил: часть из них-это правила, указывающие каких путей исследования нужно избегать (отрицательная эвристика), другая часть-это правила, указывающие, какие пути надо избирать и как по ним идти (положительная эвристика). [125]
Даже наука как таковая может рассматриваться как гигантская исследовательская программа, подчиняющаяся основному эвристическому правилу Поппера: "выдвигай гипотезы, имеющие большее эмпирическое содержание, чем у предшествующих". Такие методологические правила, как заметил Поппер, могут формулироваться как метафизические принципы. [[[135]]] Например, общее правило конвенционалистов, по которому исследователь не должен допускать исключений, может быть записано как метафизический принцип: "Природа не терпит исключений". Вот почему Уоткинс называл такие правила "влиятельной метафизикой". [126]
Но прежде всего меня интересует не наука в целом, а отдельные исследовательские программы, такие, например, как "картезианская метафизика". Эта метафизика или механистическая картина универсума, согласно которой вселенная есть огромный часовой механизм (и система вихрей), в котором толчок является единственной причиной движения, функционировала как мощный эвристический принцип. Она тормозила разработку научных теорий, подобных ньютоновской теории дальнодействия (в ее "эссенциалистском" варианте), которые были несовместимы с ней, выступая как отрицательная эвристика. Но с другой стороны, она стимулировала разработку вспомогательных гипотез, спасающих ее от явных противоречий с данными (вроде эллипсов Кеплера), выступая как положительная эвристика. [127]
(а) Отрицательная эвристика: "твердое ядро" программы
У всех исследовательских программ есть "твердое ядро". Отрицательная эвристика запрещает использовать modus tollens, когда речь идет об утверждениях, включенных в "твердое ядро". Вместо этого, мы должны напрягать нашу изобретательность, чтобы прояснять, развивать уже имеющиеся или выдвигать новые "вспомогательные гипотезы", которые образуют защитный пояс вокруг этого ядра; modus tollens своим острием направляется именно на эти гипотезы. Защитный пояс должен выдержать главный удар со стороны проверок; защищая таким образом окостеневшее ядро, он должен приспосабливаться, переделываться или даже полностью заменяться, если того требуют интересы обороны. Если все это дает прогрессивный сдвиг проблем, исследовательская программа может считаться успешной. Она неуспешна, если это приводит к регрессивному сдвигу проблем.
125
Можно было бы сказать, что положительная и отрицательная эвристики дают вместе примерное (неявное) определение "концептуального каркаса" (и, значит, языка). Поэтому, если история науки понимается как история исследовательских программ, а не теорий, в этом приобретает определенный смысл утверждение о том. что история науки есть история концептуальных каркасов или языков науки
126
См. [200]. Уоткинс предупреждает, что "логический разрыв между предложениями и предписаниями в метафизико-методологической сфере обнаруживает себя уже в том, что тот же самый ученый, который отвергает метафизическое учение как таковое, может следовать ему же, если оно выражено в форме предписывающих высказываний (pp. 356-357).