определение понятие значение информация система структура принцип слово знак |
ГЛАВА 3
(г) Новый взгляд на решающие эксперименты: конец скороспелой рациональности
Мы сделали бы ошибку, предположив, что ученый обязан оставаться сторонником некой исследовательской программы до тех пор, пока она не исчерпает весь запас своей эвристической силы[/u], что он не может предложить иную соперничающую программу до того, как уже всем станет ясно, что прежняя программа достигла точки, с которой начинается регрессия; (Хотя, конечно, можно понять раздражение физика, когда, работая в самом разгаре прогрессивной фазы исследовательской программы, он наблюдает размножение неясных метафизических теорий, не дающих ничего для эмпирического прогресса [208]). Ученый не должен соглашаться с тем, что исследовательская программа превращается в Weltanschauung [мировоззрение],* некое воплощение научной строгости, претендующее на роль всезнающего арбитра, определяющего что можно и что нельзя считать научным объяснением, подобно тому, как, ссылаясь на математическую строгость, пытаются решать, что можно, а что нельзя считать математическим доказательством. К сожалению, именно на такой позиции стоит Т. Кун: то, что он называет нормальной наукой", на самом деле есть не что иное, как исследовательская программа, захватившая монополию. В действительности же исследовательские программы пользуются полной монополией очень редко, к тому же очень недолго, какие бы усилия не предпринимали картезианцы ли, ньютонианцы ли, сторонники ли Бора. История науки была и будет историей соперничества исследовательских программ, (или, если угодно, "парадигм"), но она не была и не должна быть чередованием периодов нормальной науки: чем быстрее начинается соперничество, тем лучше для прогресса.
208 Вот почему Ньютона должно было раздражать большинство “скептически пролиферирующих теорий”, создаваемых картезианцами.
"Теоретический плюрализм" лучше, чем "теоретический монизм": здесь я согласен с Поппером и Фейерабендом и не согласен с Куном. [209]
209 Но все же в упорстве некоторых ученых, остающихся верными исследовательской программе, пока она не достигнет “точки насыщения” есть определенный резон, это заставляет новую программу объяснять все успешные результаты старой. Против этого нельзя возразить, что соперничающая программа может уже с самого начала объяснить все успехи прежней программы; рост научной программы нельзя предсказать заранее — он может вызвать важные и непредвиденные вспомогательные теории, благодаря упорству соперничающей программы. Кроме того, если некий вариант An исследовательской программы Р1 математически эквивалентен варианту Am соперничающей программы Р2, то следует разрабатывать оба варианта, их эвристическая сила может оказаться различной.
От идеи соперничества научных исследовательских программ мы переходим к проблеме: как элиминируются [отсеиваются] исследовательские программы? Из всего хода предшествующих рассуждений следует, что регрессивный сдвиг проблем может рассматриваться как причина элиминации исследовательской программы не в большей степени, чем старомодные "опровержения" или куновские "кризисы". Возможны ли какие-либо объективные (в отличие от социопсихологических причины, по которым программа должна быть отвергнута, то есть элиминировано ее твердое ядро и программа построения защитных поясов? Вкратце, наш ответ состоит в том, что такая объективная причина заключена в действии соперничающей программы, которой удается объяснить все предшествующие успехи ее соперница, которую она к тому же превосходит дальнейшей демонстрацией эвристической силы. [210]
210 “Эвристическая сила” — здесь это специальный термин, обозначающий способность исследовательской программы теоретически предсказывать новые факты в своем росте. Можно было бы, конечно, назвать это и “объяснительной силой”.
Однако критерий "эвристической силы" сильно зависит от того, как мы понимаем "фактуальную новизну". До сих пор мы предполагали, что можно непосредственно установить, предсказывает новая теория новые факты или нет. Однако новизна (^актуального высказывания часто становится явной только спустя много времени. Чтобы показать это, я начну с примера.
Формула Бальмера для линий водородного спектра может быть выведена как следствие из теории Бора. Было ли это новым фактом? Поспешный ответ мог бы состоять в том, что никакой новизны здесь нет, поскольку формула Бальмера была известна ранее. Но это только половина истины. Бальмер просто наблюдал B1: водородные линии подчинены бальмеровской формуле. Бор предсказал В3: бальмеровская формула описывает различия энергетических уровней на различных орбитах электрона в атоме водорода. Можно было бы сказать, что B1 уже содержит в себе все чисто "наблюдаемое" содержание В3. Но это значило бы, что предполагается чисто "наблюдательный" уровень, не зараженный теорией и не восприимчивый к теоретическому изменению. На самом деле B1 было принято только потому, что оптические, химические и другие теории, на которые опиралось наблюдение Бальмера, были хорошо подкреплены и признаны в качестве интерпретативных теорий; но и эти теории всегда могут быть поставлены под вопрос. Могут сказать, что B1 может быть "очищено" от теоретических предпосылок, и тогда то, что действительно наблюдал Бальмер, выражается более скромным утверждением В0: спектральные линии полученные в некоторых разрядных трубках при определенных точно фиксированных условиях (или в ходе "контролируемого эксперимента"), подчиняются бальмеровской формуле. Однако известные аргументы Поппера показывают, что подобным образом мы никогда не приходим к какому-либо последнему основанию "чистого наблюдения"; как легко показать, "наблюдательные" теории стоят и за спиной В0. [211]-[214] С другой стороны, если учесть длительное и прогрессивное развитие программы Бора, можно сказать, что, доказав свою эвристическую силу, ее твердое ядро само получило хорошее подкрепление [215] и поэтому могла рассматриваться как "наблюдательная" или интерпретативная теория. Но тогда В2 уже рассматривается не просто как теоретическая переинтерпретация B1, но как некоторый новый факт.
211-214 Одно из рассуждений Поппера особенно важно: “Существует широко распространенное убеждение в том, что высказывание “Я вижу, что стоящий здесь стол бел” с точки зрения эпистемологии обладает некоторыми важными преимуществами по сравнению с высказыванием “Стоящий здесь стол бел”. Однако, с точки зрения оценки применимых к нему возможных объективных проверок, первое высказывание, в котором речь идет обо мне, представляется не более надежным, чем второе, говорящее о стоящем здесь столе” ([161], гл. 27 [русск. перев., с. 131—132]). Нейрат делает исключительно глупый комментарий к этим положениям: “Для нас такие протокольные предложения обладают преимуществом большей стабильности. Можно согласиться с предложением “Люди в XVI веке видели огненные мечи в небесах”, но не с предложением “Существуют огненные мечи в небесах” ([139], р. 362).
215 Помимо прочего, это замечание определяет “степень подкрепления” для “неопровержимых” твердых ядер исследовательских программ. Теория Ньютона (сама по себе) не имела эмпирического содержания, но в указанном смысле была подкрепленной в высокой степени.
Эти соображения заставляют нас по-новому оценить значение ретроспективы и несколько либерализовать наши критерии. Новая исследовательская программа, вступившая в конкурентную борьбу, может начать с нового объяснения "старых" фактов, но иногда требуется много времени, чтобы она предсказала "действительно новые" факты. Например, кинетическая теория тепла, по-видимости, плелась в хвосте у феноменологической теории, запаздывая с объяснениями фактов иногда на десятилетия, прежде чем нагнала и наверстала упущенное после объяснения теорией Эйнштейна - Смолуховского броуновского движения в 1905 г. С этого момента то, что ранее рассматривалось как умозрительная переинтерпретация старых фактов (относительно тепла и т.п.), стало пониматься как открытие новых фактов (относительно атомов).
Все это убедительно говорит о том, что не следует отказываться от подающей надежды исследовательской программы только потому, что она не смогла одолеть сильную соперницу. Ее не следует отбрасывать, если она, при условии, что у нее нет соперницы, осуществляет прогрессивный сдвиг проблем. [216] И разумеется, следует рассматривать по-новому интерпретированный факт как новый факт, не обращая внимания на претензии любителей коллекционирования фактов на приоритет. До тех пор, пока подвергнутая рациональной реконструкции исследовательская программа подает надежды на прогрессивный сдвиг проблем, ее следует оберегать от распада под ударами критики со стороны сильной и получившей признание соперницы. [217]
216 В рамках методологии исследовательских программ, помимо прочего, становится совершенно прозрачным прагматический смысл “отрицания” программы: он означает принятие решения о приостановке работы в ее рамках.
217 Кое-кто мог бы осторожно назвать этот оберегаемый период развития “прото-научным” (или “теоретическим”) и лишь тогда, когда программа начинает предсказывать “подлинно новые” факты, признать ее истинно научный (или “эмпирический”) характер; но такое признание было бы сделано задним числом.
Все это вместе взятое подчеркивает важность методологической терпимости, но оставляет открытым вопрос, как же все-таки элиминируются исследовательские программы. У читателя может возникнуть подозрение, что столь сильная либерализация могла бы в конце концов просто подорвать наши критерии так, что это привело бы к радикальному скептицизму. Тогда и знаменитые "решающие эксперименты" уже не могли бы свалить исследовательскую программу следовательно - "все проходит". [218]
218 Помимо прочего, можно было бы с уверенностью сказать, что конфликт между погрешимостью и критикой составляет главную проблему — и движущую силу — исследовательской программы Поппера в теории познания.
Но это подозрение безосновательно. Внутри исследовательской программы "малые решающие эксперименты", призванные сделать выбор между последовательными вариантами - дело вполне обычное. С помощью эксперимента нетрудно сделать выбор между n-й и n+1-й версией, поскольку n+1-й версия не только противоречит n-й, но и превосходит ее. Если n+1-я версия имеет более подкрепленное содержание, определяемое в рамках одной и той же программы и на основе одних и тех же достаточно подкрепленных "наблюдательных" теорий, то элиминация [отсев] имеет относительно обычный характер (относительно - поскольку и здесь такое решение может быть оспорено). Апелляция иногда бывает успешной; во многих случаях, когда под вопрос ставится "наблюдательная" теория, она не имеет достаточного подкрепления, в ней много неясного, наивного, ее допущения носят "скрытый" характер, и только, когда такой теории брошен вызов, ее допущения эксплицируются [выражаються], проясняются, подвергаются проверке и могут быть опровергнуты. Однако, "наблюдательные" теории сплошь и рядом сами погружены в некоторую исследовательскую программу, а это значит, что апелляция приводит к конфликту между двумя исследовательскими программами именно в таких случаях возникает надобность в "большом решающем эксперименте".
Когда соперничают две исследовательские программы, их первые "идеальные" модели, как правило, имеют дело с различными аспектами данной области явлений (так, первая модель ньютоновской полукорпускулярной оптики описывала рефракцию световых лучей, первая модель волновой оптики Гюйгенса-интерференцию). С развитием соперничающих исследовательских программ они постепенно начинают вторгаться на чужую территорию, и тогда возникает ситуация, при которой n-й вариант первой программы вступает в кричащее противоречие с т-м вариантом второй программы. [219] Ставится (неоднократно) некий эксперимент, и один из этих вариантов терпит поражение, а другой празднует победу. Но борьба на этом не кончается: всякая исследовательская программа на своем веку знает несколько таких поражений. Чтобы вернуть утраченные позиции, нужно только сформулировать п+1-й (или n+k-й) вариант, который смог бы увеличить эмпирическое содержание, часть которого должна пройти успешную проверку.
219 Особо интересный случай такой конкуренции — это конкурентный симбиоз, когда новая программа привита к старой и несовместима с ней.
Если длительные усилия ни к чему не приводят, и программа не может вернуть себе прежние позиции, борьба затихает, а исходный эксперимент задним числом признается "решающим". Но если потерпевшая поражение программа еще молода и способна быстро развиваться, если ее "протонаучные" достижения вызывают достаточное доверие, предполагаемые "решающие эксперименты" один за другим оттесняются в сторону, уступая ее рывкам вперед.* Даже если проигравшая какое-то сражение программа находится в зрелом возрасте, привыкнув к признанию и "утомившись" от него, приближается к "естественной точке насыщения", [220] она все же может долго сопротивляться и предлагать остроумные инновации, увеличивающие эмпирическое содержание, даже если при этом они не увенчиваются эмпирическим успехом. Программу, которую поддерживают талантливые ученые, обладающие живым и творческим воображением, победить чрезвычайно трудно. Со своей стороны, упрямые защитники потерпевшей поражение программы могут выдвигать объяснения ad hoc экспериментов и злонамеренные "редукции" ad hoc победившей программы с тем, чтобы разбить ее. Но такие попытки следует отвергнуть как ненаучные.
220 Никакой естественной “точки насыщения” нет; в своей работе “Доказательства и опровержения” (см. I92], р. 327—й28 [русск. перев., с. 134]) я был большим гегельянцем, чем теперь, полагая, будто она все же существует; теперь я говорю об этом с иронией. Человеческое воображение не имеет предвидимых или предзаданных границ, которые мешали бы изобретению новых, увеличивающих эмпирическое содержание теорий или сдерживали бы “хитрость разума” (List der Vernunft), благодаря которой даже ложная теория может иметь эмпирический успех, не говоря уже о теориях, обладающих меньшим, по сравнению с предшественницей, правдоподобием, в смысле Поппера. (Скорее всего, все научные теории, когда-либо изобретенные людьми, рано или поздно обнаружат свою ложность, но это не мешает им иметь эмпирический успех и даже возрастающее правдопободие.)
Теперь понятно, почему решающие эксперименты признаются таковыми лишь десятилетия спустя. Эллиптические орбиты Кеплера были признаны решающими доказательствами правоты Ньютона и неправоты Декарта лишь почти через сто лет после того, как об этом заявил Ньютон; аномальное поведение перигелия Меркурия в течение десятков лет было известно как один из многих пока еще нерешенных вопросов, стоявших перед программой Ньютона; но то, что теория Эйнштейна объяснила этот факт лучше, превратило заурядную аномалию в блестящее "опровержение" исследовательской программы Ньютона. [221]-[222]
221-222 По этой причине аномалия а исследовательской программе — это явление, которое требует объяснения на основе этой программы. Следуя Куну, можно было бы назвать их “головоломками” : “головоломка” в программе — это проблема, которую рассматривают как вызов данной программе. “Головоломка” может быть разрешена тремя способами: разрешая ее внутри исходной программы (превращая аномалию в пример); нейтрализуя ее, т. е. решая в рамках иной, независимой программы (аномалия исчезает); и, наконец, решая ее в соперничающей программе (аномалия превращается в контрпример).
Юнг утверждал, что его эксперимент с двойной щелью 1802 г. был решающим экспериментом в споре корпускулярной и волновой оптическими программами; но это заявление было признано гораздо позже, когда разработанная Френелем волновая программа оказалась значительно "прогрессивней" корпускулярной и стало ясно, что ньютонианцы не могут тягаться с ее эвристической мощью. Таким образом, аномалия, известная в течение десятков лет, обрела почетный статус опровержения, а эксперимент - титул "решающего" лишь после долгого периода неравномерного развития обеих программ, соперничавших между собой. Броуновское движение почти сто лет находилось посредине поля сражения, прежде чем стало ясно, что программа феноменологических исследований разрушается этим фактом и счастье войны поворачивается лицом к атомистам. "Опровержение" Майкельсоном серии Бальмера игнорировалось целым поколением физиков до тех пор, пока исследовательская программа Бора своим триумфом не поддержала его.
Наверное, стоит более подробно рассмотреть примеры экспериментов, "решающий" характер которых стал очевидным только задним числом. Сначала рассмотрим знаменитый эксперимент Майкельсона-Морли 1887 года, который якобы фальсифицировал теорию эфира и "привел к теории относительности, а затем - эксперименты Луммера-Принсгейма, которые якобы фальсифицировали классическую теорию излучения и "привели к квантовой теории". [223] И, наконец, обсудим эксперимент, который многими физиками считался опровержением законов сохранения, а на деле стал блестящим подтверждением последних.
223 См. [161], гл. 30 [русск. перев., с. 144].
161 Историк науки скажет, что это скорее карикатура, чем действительный очерк истории; но я все же надеюсь, что он послужит своей цели. Кое-что в нем надо принимать не со щепоткой, а с целой горстью соли.