ПРИМЕЧАНИЯ 2 страница. направлены против Уэвелла, полагавшего, что “совпадение индукций” или успешное предсказание весьма неожиданных событий верифицирует (иначе говоря

направлены против Уэвелла, полагавшего, что “совпадение индукций” или успешное предсказание весьма неожиданных событий верифицирует (иначе говоря, доказательно обосновывает) теорию [206], pp. 95—96). Без сомнения, главной ошибкой философии науки как Уэвелла, так и Дюгема являлось смешение предсказательной способности и доказанной истинности. Поппер разделил две эти характеристики.

¹¹⁵ [83], р. 305. См. также [93], р. 394.

¹¹⁶ Это критическое замечание Уэвелла по поводу вспомогательной гипотезы ad hoc, фигурирующей в ньютоновской теории света ([203], vol. 2, р. 317).

¹¹⁷ Если воспользоваться терминологией моей работы [93], это была теория “ad hoc₁ ” (p. 389); этот пример первоначально был подсказан мне П. Фейерабендом в качестве образца теории ad hoc, обладающей определенной ценностью.

¹¹⁸ А это уже не “ad hoc₁”, a “ad hoc₂” (см. [93], р. 389). Там же см. простой, но искусственный пример ([93], р. 387).

¹¹⁹ Можно сформулировать это условие совершенно ясно в терминах методологии исследовательских программ, которая будет предложена, в § 3: мы сохраняем формально метафизическую теорию в составе “твердого ядра” исследовательской программы до тех пор, пока связанная с ней эвристика обеспечивает прогрессивный сдвиг проблем, в “защитном поясе” вспомогательных гипотез. ¹²⁰ Это явление было описано в превосходной статье Уэвелла [20], но он не смог объяснить его методологически. Вместо того, чтобы признать победу прогрессивной ньютоновской программы над регрессивной картезианской программой, он полагал, что это была победа доказанной истины над ложностью. Подробнее см.: [98], общее обсуждение проблемы демаркации между прогрессивной и регрессивной редукцией см. [168].

¹²¹ [161], гл. 22 [русск. перев., с. 117].

¹²² [161], р. 107.

¹²³ См. об этом (161], гл. 29 [русск. перев., с. 138).

¹²⁴ Агасси утверждает, что этот пример показывает, что мы можем “удерживать гипотезу перед лицом известных фактов, надеясь на то, что факты сами приладятся к теории, а не придется искать другой путь” ([4], р. 18). Но каким, образом приладятся факты? При каких особых условиях теория выигрывает спор? Агасси не отвечает на этот вопрос.

¹²⁵ Понятно, что решение использовать некоторую монотео-

ретическую модель имеет жизненное значение для наивного фальсификациониста, позволяя ему отбросить теорию единственно на основании экспериментальных данных. Это соответствует неизбежному для него строгому различению (по крайней мере, в проверочных ситуациях) двух компонентов научного знания: проблематичного и непроблематичного. И когда он предлагает свою дедуктивную модель критицизма, то в ней именно теория, рассматривается как проблематичное знание. ¹²⁶ Надо ответить на возможное возражение: “Природа не нужна для того, чтобы узнать о противоречивости ряда теорий. В отличие от ложности, противоречивость может быть установлена и без ее помощи”. На самом деле “НЕТ), произнесенное Природой, в рамках монотеоретической методологии принимает форму усиленного “потенциального фальсификатора”, то есть предложения, которое, так сказать, приписывается Природе и которое является отрицанием нашей теории. В рамках плюралистической методологии “НЕСОВМЕСТИМО” как возглас Природы обретает статус “фактуального” высказывания, сформулированного в свете одной из участвующих в игре теорий, произнесенного, по нашему мнению, Природой; будучи добавленным к предложенным теориям оно превращает их связку в противоречивую систему.

¹²⁷ Например, в ранее приведенном примере можно попытаться заменить теорию гравитации, затем — радио-оптику; мы выбираем такой путь, который дает более впечатляющий рост знания, более прогрессивный сдвиг проблем.

^]28 Критицизм не предполагает вполне четкой дедуктивной структуры: он создает ее. (Кстати, это основная идея моей работы [92].)

¹²⁹ Классическим примером может служить отношение Ньютона к Флэмстйду, первому королевскому астроному. Так, Ньютон посетил Флэмстида 1 сентября 1694 г., работая в то время над своей лунной теорией. Он предложил Флэмстйду переинтерпретировать некоторые из его данных, так как они противоречили его, Ньютона, теории, причем он точно разъяснил астроному, как это сделать, Флэмстид согласился с Ньютоном и написал ему 7 октября: “С тех пор, как Вы возвратились домой, я проверял наблюдения, которые мною применялись в решении наиболее важных уравнений земной орбиты; рассматривая положения Луны в разные моменты времени.... я нашел, что Вы можете вычесть из них примерно 20" (если, как Вы уверены, Земля наклонена в ту сторону, на которой в это время находится Луна). Таким образом, Ньютон постоянно критиковал и корректировал “на-

блюдательные” теории Флэмстида. Например, он предлагал ему более стройную теорию рефракции в земной атмосфере. Флэмстид соглашался с этим и скорректировал свои первоначальные “данные”. Можно понять постоянное унижение и постепенно нараставшую ярость этого крупного наблюдателя, чьи данные подвергались критике и улучшались человеком, который, по собственному признанию, сам не делал никаких наблюдений. Именно это чувство, как я догадываюсь, привело в конце концов к злобным личным нападкам.

¹³⁰ То же самое относится к решениям третьего типа. Если мы отбрасываем стохастическую гипотезу только, когда имеем другую, заменяющую ее в указанном смысле, то точная форма “правил отбрасывания” становится менее важной.

¹³¹ [157], vol. 2, гл. 23, р. 218; [русск. перев., т. II. с. 252].

¹³² Агасси, следовательно, неправ, утверждая, что “данные наблюдения могут считаться ложными, а потому проблема эмпирического базиса устранима” ([4], р. 20).

¹³³ [55], р. 226; [русск. перев., с. 423].

¹³⁴ Можно было бы сказать, что положительная и отрицательная эвристики дают вместе примерное (неявное) определение “концептуального каркаса” (н, значит, языка). Поэтому, если история науки понимается как история исследовательских программ, а не теорий, в этом приобретает определенный смысл утверждение о том, что история науки есть история концептуальных каркасов или языков науки.

¹³⁵ [161], гл. 11 и 70. Здесь слово “метафизический” употребляется как технический термин наивного фальсификационизма: высказывание является “метафизическим”, если оно не имеет “потенциальных фальсификаторов”. ¹³⁶ См. [200]. Уоткинс предупреждает, что “логический разрыв между предложениями и предписаниями в метафизико-методологической сфере обнаруживает себя уже в том, что тот же самый ученый, который отвергает метафизическое учение как таковое, может следовать ему же, если оно выражено в форме предписывающих высказываний (pp. 356—357).

¹³⁷ Об этой “картезианской исследовательской программе” см. [160] и [200]. pp. 350-351.

¹³⁸ [100], кн. 4, гл. 11.

¹³⁹ На самом деле твердое ядро программы, конечно, не возникает в полном боевом снаряжении, подобно Афине из головы Зевса. Оно вырабатывается постепенно в долгом подготовительном процессе проб н ошибок. Но здесь мы не будем обсуждать этот процесс.

¹⁴⁰ Реальные примеры приведены в [98]

¹⁴¹ Такое “опровержение” каждый раз успешно отклонялось при помощи “скрытых лемм” то есть таких лемм, которые возникают из ограничения ceteris paribus

¹⁴² Если ученый (или математик) обладает положительной эвристикой, он отказывается быть втянутым в наблюдения Он будет “лежать на кушетке закрыв глаза и забыв о данных” (Ср [92], особенно р 300 и далее [русск перев, с 98 и далее], где приведен подробный анализ одной из таких программ) Конечно он между делом задает Природе неглупые вопросы ему нравится, когда Природа отвечает “ДА” но ничуть не огорчает, когда она возражает “НЕТ”

¹⁴³ Г. Рейхенбах вслед за Кэджори дает иное объяснение за держки Ньютоном публикации его “Начал” “К своему разочарованию он нашел, что наблюдения не согласуются с его результатами вычислений Вместо того чтобы предложить теорию сколь бы ни была она прекрасна не считаясь с факта ми он предпочел положить ее в стол где его рукопись и пролежала так долго Лишь приблизительно двадцать лет спустя после новых измерений окружности земли сделанных французской экспедицией, Ньютон понял что геометрические данные которыми он пользовался проверяя свою теорию были неправильными и что новые данные согласуются с его теоретическими вычислениями И только после этого он опубликовал свой закон Эта история с Ньютоном — одна из самых ярких иллюстраций метода современной науки” ([174], рр 101—102) П Фейерабенд подверг критике описание Рей хенбаха но не дал альтернативного объяснения ([55] р 229)

¹⁴⁴ Более подробно об исследовательской программе Ньютона см [98]

¹⁴⁵ См об этом [195]

¹⁴⁶ Типичными примерами таких творческих толчков являются вклад Содди в программу Проута или Паули в программу Бора (старую квантовую теорию)

¹⁴⁷ “Верификация” есть подкрепление добавочного содержания в развивающейся программе Но, разумеется “верификация” не верифицирует программу, она только показывает ее эвристическую силу

¹⁴⁸ См [92] р 324—330 [русск перев, с 131—137] К сожалению в этой работе я не провел ясного методологического различения между теориями и исследовательскими программами и это ухудшило изображнеие исследовательской программы в неформальной квази эмпирической математике

¹⁴⁹ Увы, все это скорее рациональная реконструкция чем действительная история Проут отвергал существование каких бы то ни было аномалий Например он утверждал что атомный вес хлора в точности равен 36

¹⁵⁰ Проут отдавал себе отчет в некоторых основных методологических особенностях его программы Вот несколько строк из его работы 1815 г “Автор представляет свой труд публике с величайшей робостью. Но он верит, что значение этого труда будет оценено должны образом а также, что найдутся те, кто попытается исследовать поднятую в нем проблему, прежде чем отвергнуть выводы автора или согласиться с ними. Даже если будет доказана их ошибочность, это исследование могло бы обнаружить еще неизвестные факты лнбо лучше установить уже знакомые но если выводы автора найдут подтверждение новый и заманчивый свет пролился бы на всю химическую науку” [171]

¹⁵¹ Дж К Максвелл принял сторону Стаса, он полагал нeвозможным допущение двух видов водорода, “поскольку если бы некоторые молекулы были немного массивнее чем другие мы имели бы возможность разделять молекулы с различными массами ибо тогда одни молекулы были бы несколько плотнее других А так как этого сделать нельзя надо признать что все они подобны друг другу” [117]

¹⁵² [116]

¹⁵³ [33]

¹⁵⁴ Там же

¹⁵⁵ [33], р 491

¹⁵⁶ О “растяжке” понятий см [92], ч 60]

¹⁵⁷ Этот сдвиг был предвосхищен в замечательной работе Крукса [34], где он заметил, что решение следует искать в новом различении “физического” и “химического” Но это предвосхищение осталось умозрительным только Резерфорду и Содди удалось превратить его в научную теорию

¹⁵⁸ [184], р 50

¹⁵⁹ Там же

¹⁶⁰ Эти препятствия побуждали многих отдельных ученых отложить на неопределенный срок или даже отказаться от исследовании в рамках программы и присоединиться к другим программам, положительная эвристика которых в то время по-

зволяла достигать более легких успехов; нельзя понять вполне историю науки, не обращаясь к “психологии толпы”.

¹⁶¹ Историк науки скажет, что это скорее карикатура, чем действительный очерк истории; но я все же надеюсь, что он послужит своей цели. Кое-что в нем надо принимать не со щепоткой, а с целой горстью соли.

¹⁶² В этом, конечно, еще один аргумент против тезиса Уиз-дома о том, что метафизические теории могут быть опровергнуты, если они противоречат хорошо подкрепленным научным теориям [209].

¹⁶³ [13], р. 874; [русск. перев., с. 147—148]. ¹⁶⁴ Н. Бор в это время считал, что теория Макксвелла—Лоренца должна со временем быть заменена (теория протона, предложенная Эйнштейном, уже показала, что это необходимо).

¹⁶⁵ [77].

¹⁶⁶ В нашей методологии такие защитные уловки ad hoc не обязательны; но, с другой стороны, от них нет вреда до тех пор, пока сохраняется ясное понимание, что они знаменуют собой проблемы, а не их решения.

¹⁶⁷ [16], курсив мой.

¹⁶⁸ [115], р. 311.

¹⁶⁹ Зоммерфельд, например, игнорировал в большей степени.

чем Бор.

¹⁷⁰ [21], р. 206.

¹⁷¹ Цит. по [180], р. 170.

¹⁷² Два высказывания образуют противоречие, если их конъюнкция не имеет модели, т. е. не существует интерпретации их дескриптивных терминов, при которой эта конъюнкция истинна. В обычных рассуждениях термины используются более расширимо, чем в формальном дискурсе; некоторые дескриптивные термины получают фиксированную интерпретацию. В этом неформальном смысле два высказывания могут быть (слабо) противоречивыми при стандартной интерпретации некоторых смыслообразующих терминов, хотя формально, при нефиксированной интерпретации, они могут быть совместимыми. Например, первые теории спина электрона были несовместимы со специальной теорией относительности, если понятие “спин” получало стандартную (“сильную”) интерпретацию и поэтому рассматривалось как нерасширимый термин; но противоречие исчезало, если “спин” трактовался как неинтерпре-

тированный дескриптивный термин. Не следует спешить со стандартными интерпретациями терминов, ибо выхолащивание значений может привести к бесплодию положительной эвристики программы (однако иногда именно стандартизация значений может оказаться прогрессивной). О демаркации между расширимыми и нерасширимыми (дескриптивными и логическими) терминами в неформальном рассуждении см. [92], особенно р. 335; [русск. перев., с. 144]).

¹⁷³ [16], заключительный параграф.

¹⁷⁴ Наивные фальсификационисты готовы увидеть в подобном либерализме чуть ли не преступление против разума. Их главный аргумент звучит примерно так: “Бели мы станем допускать противоречия, мы должны будем расстаться со всяким видом научной деятельности; это будет равносильно полному распаду науки. Сказанное легко подкрепить, доказав, что если допущены два противоречивых высказывания, то по необходимости допустимы какие угодно высказывания. В самом деле, логически мы вправе выводить из пары противоречивых высказываний вообще любое высказывание... Теория, включающая противоречие, поэтому совершенно бесполезна s качестве теории” ([156], русск. перев., с. 35, 38). Справедливости ради надо отметить, что здесь Поппер выступает против гегелевской диалектики, в которой противоречие объявляется достоинством, и он совершенно прав, указывая на опасность этого. Но Поппер никогда не анализировал примеры эмпирически (или не-эмпирически) прогрессивного развития знания, покоящегося на противоречивых основаниях; в 24-й главе его “Логики” прямо говорится о непротиворечивости как о требовании к научной теории, не допускающем никаких исключений.

¹⁷⁵ См.: [87].

¹⁷⁶ [19] [русск. перев.. с. 113].

¹⁷⁷ М. Борн в своем живом описании принципа соответствия также указывает на двойственность его оценки: “Искусство угадывания правильных формул, которые отклоняются от классических, но переходят в них в смысле принципа соответствия, было значительно усовершенствовано” ([25], русск. перев., с. 304).

¹⁷⁸ Увлекательную историю этого длинного ряда обескураживающих заблуждений см. в [209], р. 103—104. Сам Планк дает драматическое описание этих лет: “Мои тщетные попытки как-то ввести квант действия в классическую теорию продол-

жались в течение ряда лет и стоили мне немалых трудов. Некоторые из моих коллег усматривали в этом своего рода трагедию” ([148]; русск. пер. с. 661).

¹⁷⁹ См. [98]. Конечно, редукционистская программа может считаться научной, если только она объясняет больше того, что остается за рамками объяснения; в противном случае редукция научной не является (ср. [168]). Если редукция не обеспечивает прироста нового эмпирического содержания (т. е. новых фактов), она выступает как регрессивный сдвиг проблем, как чисто лингвистическое упражнение. Ярким примером такой чисто лингвистической редукции являются усилия картезианцев укрепить свою метафизику так, чтобы ньютоновская гравитация могла быть истолкована на ее основании.

¹⁸⁰ [47]; [русск. перев., с. 238]. В ряду критиков копенгагенского “анархизме” следует назвать, кроме Эйнштейна, — Поппера, Ланде, Шредингера, Маргенау, Блохинцева, Бома, Фенье и Яноши. Аргументы в защиту копенгагенской интерпретации см. в [72] [русск. перев., с. 91—106]; меткая критика недавно представлена Поппером в [163а], [168]. Фейерабенд в [56] использовал некоторые противоречия и колебания Бора, чтобы апологетически фальсифицировать боровскую философию. Он представил в кривом зеркале критику Бора со стороны Поппера, Ланде, Маргенау, затушевал оппозицию Эйнштейна, а главное, кажется, совсем забыл, что в некоторых своих ранних статьях он по этому вопросу занимал даже более попперианскую позицию, чем сам Поппер.

¹⁸¹ [169], р. 31, курсив мой. Выражение “полностью” здесь надо понимать буквально. Вот еще пример: “Предположение, что какой-либо элемент оснований квантовой теории может быть ложным — абсурдно... Неприемлема и аргументация, согласно которой научные результаты всегда преходящи. Это скорее относится к философским концепциям современной физики, поскольку еще многим не ясно, как глубоко открытия квантовой физики воздействуют на всю эпистемологию... Условия наблюдения в квантовой физике убедительно говорят о том, что обычный язык является необходимым источником определенности физического описания” (“Nature”, 1969, vol. 222, р. 1034—1035).

¹⁸² Это рациональная реконструкция. На самом деле Бор признал эту возможность только в [17].

¹⁸³ Помимо этой аналогии, в положительной эвристике Бора имелась и другая фундаментальная идея: “принцип соответствия”. Это было намечено им еще в 1913 г.; см. вторую часть 5-го постулата; но развита она была позже, когда ста-

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

¹⁸⁴ [35]. Подобную эйфорию испытывал Маклорен в 1748 г. по отношению к программе Ньютона: ньютоновская философия, писал он, “основанная на эксперименте и доказательстве, не может пасть, покуда разум или природа вещей останутся неизменными... [Ньютон] оставил потомству сделать не так уж много: наблюдать небесные тела и вычислять их путь по его формулам” ([II4]. р. 8).

¹⁸⁵ “Наивная догадка” здесь — это специальный термин, смысл которого разъясняется в моей работе [92]. Ситуационное исследование и подробную критику мифа об “индуктивном базисе” науки (естествознания или математики) см. там же, гл. 7, в особенности р. 298—307 [русск. перев., с. 97— 106]. Там я показал, что “наивная догадка” Декарта и Эйлера о том, что для всех многогранников справедлива формула V—E+F=2, была неверна и избыточна в свете дальнейшего развития математики; в качестве других примеров можно вспомнить, что попытки Бойля и его последователей установить соотношение pV==RT оказались иррелевантными для дальнейших теоретических разработок (за исключением некоторых экспериментальных установок), так же как три закона Кеплера могли быть излишними для ньютоновской теории тяготения.

¹⁸⁶ См. [80], р. 77; [русск. перев., с. 86].

¹⁸⁷ [59]. Между прочим, “наблюдательная” теоррия Фаулера была основана на теоретических исследованиях Ридберга, которые “при отсутствии строгого экспериментального доказательства он рассматривал как оправдание его экспериментальных результатов” (р. 65). Но его коллега, физик-теоретик, проф. Никольсон спустя всего три месяца ссылался на результаты Фаулера как на “лабораторное подтверждение теоретических выводов Ридберга” [140]. Мне кажется, этот небольшой эпизод хорошо иллюстрирует мою поговорку: большинство ученых имеют такое же представление о том, что такое наука, как рыбы — о гидродинамике.

В докладе на 93-м ежегодном общем собрании Коро-

левского астрономического Общества “экспериментально-лабораторные наблюдения” новых “водородных линий, которым отдано так много усилий физиков” характеризовалось как “достижение огромной значимости” и “триумф хорошо ориентированной экспериментальной работы”.

¹⁸⁸ [14].

¹⁸⁹ [51]

¹⁹⁰ “Укрощение монстра” — превращение контрпримера в пример на основании некоторой новой теории. См. [92], р. 127; [русск. перев., с. 33]. Но “монстр” Бора был эмпирически прогрессивным: он предсказывал новый факт—появление линии 4686 в трубке без водорода.

¹⁹¹ [60].

¹⁹² [15]; [русск перев, с 149—151] И этот “монстр” также был “прогрессивным”. Бор предсказал, что наблюдения Фаулера должны быть слегка неточны, а “постоянная” Ридберга должна иметь более тонкую структуру.

¹⁹³ [61]; но Фаулер особо отметил, что программа Бора еще не объяснила спектр линий не ионизованного, обычного гелия Вскоре он все же отбросил свои скепсис и присоединился к исследовательской программе Бора [62]

¹⁹⁴ См. [77]: “Когда я рассказал ему о спектре Фаулера, огромные глаза Эйнштейна стали еще больше, и он сказал мне “Тогда это одно из величайших открытий.”

^195-196 [123], особенно р 287—289 Майкельсон даже не упоминает о результатах Бальмера.

¹⁹⁷ [131].

¹⁹⁸ [185], р 68.

¹⁹⁹ [78]. Это подробно обсуждалось Фейерабендом ([56], р. 83— 87). Но разбор Фейерабенда слишком тенденциозен. Его главная цель — обыграть методологический анархизм Бора и доказать, что Бор выступал против копенгагенской интерпретации новой (после 1925) квантовой программы. Поэтому, с одной стороны, Фейерабенд преувеличивает разочарование Бора противоречием со старой (до 1925 г.) квантовой программой, а с другой стороны, придает чересчур большое значение тому, что Зоммерфельд был менее озабочен проблемой противоречия в основаниях старой программы, чем сам Бор.

²⁰⁰ [24], р. 180; курсив мой — И. Л.

²⁰¹ В этих трех примерах мы оставляем в стороне сложности, связанные, например, с успешной апелляцией против приговора экспериментаторов.

²⁰² Это говорит о том, что одинаковые теории и в точности те же данные, если их подвергнуть рациональной реконструкции в различных временных порядках, могут образовывать либо прогрессивный, либо регрессивный сдвиги проблем См. также [93], р. 387

²⁰³См. [113]. р. 21.

²⁰⁴ Кстати, маниакальное увлечение сбором данных — и слишком большой точностью — не позволяет сформулировать даже наивные “эмпирические” гипотезы, вроде гипотезы Бальмера Знай Бальмер о тонкой структуре спектра по Майкельсону, пришел ли бы он к своей формуле? Знай Тихо Браге более точные данные астрономических наблюдений, был ли бы сформулирован эллиптический закон Кеплера? То же самое относится к первой наивной версии универсального закона газов и т. д Догадка Декарта—Эйлера о многогранниках. скорее всего, никогда не могла бы возникнуть, если бы не нехватка данных, см. [92], р. 298 [русск. перев, с 117—118]

²⁰⁵ “В период между публикацией великой трилогии Бора 1913 г. и выходом на сцену волновой механики, появилось множество работ, развивающих идеи Бора до уровня грандиозной теории атомных явлений. Это были коллективные усилия, а имена физиков, внесших свой вклад в эту работу, составляют блестящую плеяду Бор, Борн, Кляйн, Росселенд, Крамере, Паули, Зоммерфельд, Планк, Эйнштейн, Эпштейн, Дебай, Шварцшильд, Уилсон.. ” ([191], р. 43).

²⁰⁵ См. [196], (а также [197], р 264—265 Прим перев)

²⁰⁶ [80], р. 146—148, 151 (русск. перев., с. 154—155)

²⁰⁷ Живое описание этой регрессивной фазы программы Бора см.: [115], р. 311—313. Когда программа находится в прогрессивной фазе, ее главные стимулы идут от положительной эвристики; аномалии, как правило, игнорируются. В регрессивной фазе эвристическая сила программы иссякает. При отсутствии соперничающей программы эта ситуация преломляется в психологии ученых необычайной сверхчувствительностью к аномалиям и ощущением “кризиса” в смысле Куна.

²⁰⁸ Вот почему Ньютона должно было раздражать большинство “скептически пролиферирующих теорий”, создаваемых картезианцами

²⁰⁹ Но все же в упорстве некоторых ученых, остающихся верными исследовательской программе, пока она не достигнет “точки насыщения” есть определенный резон, это заставляет

новую программу объяснять все успешные результаты старой. Против этого нельзя возразить, что соперничающая программа может уже с самого начала объяснить все успехи прежней программы; рост научной программы нельзя предсказать заранее — он может вызвать важные и непредвиденные вспомогательные теории, благодаря упорству соперничающей программы. Кроме того, если некий вариант A_n исследовательской программы Р₁ математически эквивалентен варианту A_m соперничающей программы Р₂, то следует разрабатывать оба варианта, их эвристическая сила может оказаться различной.

²¹⁰ “Эвристическая сила” — здесь это специальный термин, обозначающий способность исследовательской программы теоретически предсказывать новые факты в своем росте. Можно было бы, конечно, назвать это и “объяснительной силой”.

^211-214 Одно из рассуждений Поппера особенно важно: “Существует широко распространенное убеждение в том, что высказывание “Я вижу, что стоящий здесь стол бел” с точки зрения эпистемологии обладает некоторыми важными преимуществами по сравнению с высказыванием “Стоящий здесь стол бел”. Однако, с точки зрения оценки применимых к нему возможных объективных проверок, первое высказывание, в котором речь идет обо мне, представляется не более надежным, чем второе, говорящее о стоящем здесь столе” ([161], гл. 27 [русск. перев., с. 131—132]). Нейрат делает исключительно глупый комментарий к этим положениям: “Для нас такие протокольные предложения обладают преимуществом большей стабильности. Можно согласиться с предложением “Люди в XVI веке видели огненные мечи в небесах”, но не с предложением “Существуют огненные мечи в небесах” ([139], р. 362).

²¹⁵ Помимо прочего, это замечание определяет “степень подкрепления” для “неопровержимых” твердых ядер исследовательских программ. Теория Ньютона (сама по себе) не имела эмпирического содержания, но в указанном смысле была подкрепленной в высокой степени.

²¹⁶ В рамках методологии исследовательских программ, помимо прочего, становится совершенно прозрачным прагматический смысл “отрицания” программы: он означает принятие решения о приостановке работы в ее рамках.

²¹⁷ Кое-кто мог бы осторожно назвать этот оберегаемый период развития “прото-научным” (или “теоретическим”) и лишь тогда, когда программа начинает предсказывать “подлинно новые” факты, признать ее истинно научный (или “эмпириче-

ский”) характер; но такое признание было бы сделано задним числом.

²¹⁸ Помимо прочего, можно было бы с уверенностью сказать, что конфликт между погрешимостью и критикой составляет главную проблему — и движущую силу — исследовательской программы Поппера в теории познания.

²¹⁹ Особо интересный случай такой конкуренции — это конкурентный симбиоз, когда новая программа привита к старой и несовместима с ней.

²²⁰ Никакой естественной “точки насыщения” нет; в своей работе “Доказательства и опровержения” (см. I92], р. 327—й28 [русск. перев., с. 134]) я был большим гегельянцем, чем теперь, полагая, будто она все же существует; теперь я говорю об этом с иронией. Человеческое воображение не имеет предвидимых или предзаданных границ, которые мешали бы изобретению новых, увеличивающих эмпирическое содержание теорий или сдерживали бы “хитрость разума” (List der Vernunft), благодаря которой даже ложная теория может иметь эмпирический успех, не говоря уже о теориях, обладающих меньшим, по сравнению с предшественницей, правдоподобием, в смысле Поппера. (Скорее всего, все научные теории, когда-либо изобретенные людьми, рано или поздно обнаружат свою ложность, но это не мешает им иметь эмпирический успех и даже возрастающее правдопободие.)

^221-222 По этой причине аномалия а исследовательской программе — это явление, которое требует объяснения на основе этой программы. Следуя Куну, можно было бы назвать их “головоломками”: “головоломка” в программе — это проблема, которую рассматривают как вызов данной программе. “Головоломка” может быть разрешена тремя способами: разрешая ее внутри исходной программы (превращая аномалию в пример); нейтрализуя ее, т. е. решая в рамках иной, независимой программы (аномалия исчезает); и, наконец, решая ее в соперничающей программе (аномалия превращается в контрпример).