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

здесь я согласен с Поппером и Фейерабендом и не согласен с Куном. (209)

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

Однако критерий "эвристической силы" сильно зависит от того, как мы понимаем "фактуальную новизну". До сих пор мы предполагали, что можно непосредственно установить, предсказывает новая теория новые факты или нет. Однако новизна (^актуального высказывания часто становится явной только спустя много времени. Чтобы показать это, я начну с примера.

Формула Бальмера для линий водородного спектра может быть выведена как следствие из теории Бора. Было ли это новым фактом? Поспешный ответ мог бы состоять в том, что никакой новизны здесь нет, поскольку формула Бальмера была известна ранее. Но это только половина истины. Бальмер просто наблюдал B1: водородные линии подчинены бальмеровской формуле. Бор предсказал Вз:

бальмеровская формула описывает различия энергетических уровней на различных орбитах электрона в атоме водорода. Можно было бы сказать, что B1 уже содержит в себе все чисто "наблюдаемое" содержание В3. Но это значило бы, что предполагается чисто "наблюдательный" уровень, не зараженный теорией и не восприимчивый к теоретическому изменению. На самом деле B1 было принято только потому, что оптические, химические и другие теории, на которые опиралось наблюдение Бальмера, были хорошо подкреплены и признаны в качестве интерпретативных теорий; но и эти теории всегда могут быть поставлены под вопрос. Могут сказать, что B1 может быть "очищено" от теоретических предпосылок, и тогда то, что действительно наблюдал Бальмер, выражается более скромным утверждением Во: спектральные линии полученные в некоторых разрядных трубках при определенных точно фиксированных условиях (или в ходе "контролируемого эксперимента"), подчиняются бальмеровской формуле. Однако известные аргументы Поппера показывают, что подобным образом мы никогда не приходим к какому-либо последнему основанию "чистого наблюдения"; как легко показать, "наблюдательные" теории стоят и за спиной Во. (211)' (214 )С другой стороны, если учесть длительное и прогрессивное развитие программы Бора, можно сказать, что, доказав свою эвристическую силу, ее твердое ядро само получило хорошее подкрепление (215) и поэтому могла рассматриваться как "наблюдательная" или интерпретативная теория. Но тогда В2 уже рассматривается не просто как теоретическая переинтерпретация B1, но как некоторый новый факт.

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

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

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

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

Когда соперничают две исследовательские программы, их первые "идеальные" модели, как правило, имеют дело с различными аспектами данной области явлений (так, первая модель ньютоновской полукорпускулярной оптики описывала рефракцию световых лучей, первая модель волновой оптики Гюйгенса-интерференцию). С развитием соперничающих исследовательских программ они постепенно начинают вторгаться на чужую территорию, и тогда возникает ситуация, при которой n-й вариант первой программы вступает в кричащее противоречие с т-м вариантом второй программы. (219) Ставится (неоднократно) некий эксперимент, и один из этих вариантов терпит поражение, а другой празднует победу. Но борьба на этом не кончается: всякая исследовательская программа на своем веку знает несколько таких поражений. Чтобы вернуть утраченные позиции, нужно только сформулировать п+1-й (или n+k-й) вариант, который смог бы увеличить эмпирическое содержание, часть которого должна пройти успешную проверку.