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

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

---

93 Если я уже знаю P1: "Лебедь А-белый", то Р: "Все лебеди белые" не представляет прогресса, потому, что оно может вести только к открытию подобных же фактов типа Р2:

"Лебедь В-белый". Так называемые эмпирические обобщения не составляют прогресса. Новый факт должен быть невероятным или даже невозможным в свете предшествующего знания.

94 Могут спросить, уместен ли термин "сдвиг проблем". когда речь идет о последовательности теорий, а не проблем. Отчасти я остановился на нем потому, что не нашел лучшего ("сдвиг теорий" звучит скверно), отчасти же потому, что теории всегда проблематичны, они никогда не решают всех проблем, которые- стоят перед ними Как бы то ни было, во второй части этой статьи этот термин в соответствующем контексте будет заменен более естественным термином "исследовательская программа".

95 В первоначальном варианте [93] я писал: "Теория без добавочного подкрепления не имеет дополнительной объясняющей силы; вот почему, согласно Попперу, она не обеспечивает рост знания, и, следовательно, не является научной" (р. 386). Под давлением моих коллег я убрал выделенную часть этого предложения, ибо они считали, что она звучит слишком эксцентрично. Теперь я сожалею об этом. 96 То, что у Лоппера понятия "теория" и "последовательность теорий" сливаются в одно, не позволило ему более успешно развить основные идеи утонченного фальсификационизма. Эта двусмысленность привела его к таким по-видимости противоречащим друг другу утверждениям, как "Марксизм [как ядро последовательности теорий или как "исследовательская программа] неопровержим" и в то же время "марксизм [как особая конъюнкция этого ядра и некоторых вспомогательных гипотез, ограничения ceteris paribus и исходных условий] был опровергнут" (см [163]).

Конечно, нет ничего ошибочного в том, что кто-то назовет отдельную, изолированную теорию "научной", если она представляет собой шаг вперед по сравнению со своей предшественницей, если при этом ясно понимать, что мы оцениваем теорию как определенный итог - и в контексте - определенного исторического развития знания".

97 [157], v, 2, р. 233 [русск. перев., с. 269-270]. Более топкое понимание проблемы проглядывает в следующих замечаниях Лоппера "Мы предпочитаем решать, стоит признавать ее [теорию] или отвергать лишь после того, как исследуем те конкретные, практические выводы из нее, которые могут быть более непосредственно проверены экспериментом". (Там же, подчеркнуто мною И Л.); [перевод уточнен мною -Прим перев.].

98 [161]. гл. 30; [русск. перев., с. 145].

99 В большинстве случаев до фальсификации некоторой гипотезы мы имеем в запасе другую гипотезу ([161], р 87; [русск. перев, с. 116]). Но из наших рассуждений следует, что мы должны иметь другую гипотезу. Как пишет Фейерабенд, "лучшая критика проводится с помощью тех теорий, которые могут заменить устраненных ими соперниц" ([66), р 227 [русск. перев., с. 426]). Он отмечает, что в некоторых случаях "альтернативы становятся совершенно необходимыми для опровержения тех или иных воззрений" (Там же, р 254, [русск. пер., с. 460]) Но согласно нашим рассуждениям, опровержение без альтернатив указывает только на скудость воображения, не способного к выдвижению спасающей гипотезы.

100 См [93], рр 387 и далее.

101 В кривом зеркале наивного фальсификационизма новые теории, которые заменяют старые опровергнутые теории, по рождению своему считаются неопровергнутыми Следовательно, с точки зрения таких теорий нет соответствующего различия между аномалиями и решающими контрпримерами. Аномалия, по их мнению, это только робкий эвфемизм, за кого рым скрывается контрпример Но в реальной истории новые теории рождаются уже опровергнутыми Они наследуют многие аномалии старых теорий Больше того, часто только новая теория драматически предсказывает тот факт, который еще лишь в будущем станет рассматриваться как решающий контрпример против ее предшественницы, в то время как "старые" аномалии могут продолжать свое существование в виде "новых" аномалий Все это мы рассмотрим более подробно, когда введем понятие "исследовательской программы".

102 Утонченный фальсификационцзм знаменует собой новую теорию обучения.

103 Очевидно, что теория Т может иметь добавочное под крепленное эмпирическое содержание по сравнению с теорией Т и в том случае, когда Т, и Т опровергнуты. Эмпирическое содержание не связано с истинностью или ложностью. Можно также сравнивать подкрепленное содержание теорий независимо от опровергнутого содержания Так, можно считать, что элиминация теории Ньютона в пользу теории Эйнштейна вполне рациональна, хотя теория Эйнштейна, точно так же как и ньютоновская, родилась уже "опровергнутой". Надо только вспомнить, что "качественное подтверждение" - это только эвфемизм для "количественного опровержения". См. [93], pp. 384-386. 104 См. [161]. гл. 85 [русск. перев.. с. 224].

105 Верно и то, что определенный вид пролиферации соперничающих теорий может играть ту или иную эвристическую роль при фальсификации. Часто бывает, что с эвристической точки зрения, фальсификация зависит от "выдвижения достаточно многочисленных (и оригинальных) теорий, от достаточного разнообразия теорий" ([166], русск. перев., с. 29). Например, мы имеем теорию, которая явным образом не опровергнута. Но может быть так, что предложена новая теория Т, несовместимая с Т, которая столь же успешно, как Т, объясняет известные факты; различия между объяснениями находятся в пределах ошибки наблюдения. В таких случаях мы вынуждены улучшать "экспериментальную технику", затем совершенствовать "эмпирический базис" таким образом, чтобы иметь возможность фальсифицировать Т или Т" (или обе вместе). "Новая теория нужна для того, чтобы обнаружить недостатки старой" ([163], р. 246). Но роль такой пролиферации случайна, поскольку эмпирический базис подчищен, то спор идет между ним и проверяемой теорией Т, соперничающая с ней теория Т работает лишь как катализатор.

106 См. также [55], р. 254-255 [русск. перев., с. 461].

107 [161], р. 87; [русск. перев.. с. 116].

108 [161], гл. 30; (русск. перев., с. 143].

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

110 Аргументы в защиту этой теории "обучения из опыта" см. в [6].

111 Отсюда следует, что "обучение на опыте" есть нормативная идея; поэтому все теории о чисто "эмпирическом" обучении ошибочны по самой сути.

112 См. [105]. Слова в скобках показывают, что Лейбниц ставил этот критерий все же на второе место и полагал лучшими те теории, которые доказательно обоснованы. Поэтому позиция Лейбница, как и позиция Уэвелла, слишком далека от зрелого утонченного фальсификауионизма.

113 [128], vol. 2. р. 23 [русск. перев.. с. 456].

114 К этому сводились аргументы Дж. С. Милля. Они были направлены против Уэвелла, полагавшего, что "совпадение индукций" или успешное предсказание весьма неожиданных событий верифицирует (иначе говоря, доказательно обосновывает) теорию [206], pp. 96-96). Без сомнения, главной ошибкой философии науки как Уэвелла, так и Дюгема являлось смешение предсказательной способности и доказанной истинности. Поппер разделил две эти характеристики. 115 [83]. р. 305. 115 См. также [93], р. 394.

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

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

118 А это уже не "ad hoci", a "ad hoes" (см. [93], р. 389). Там же см. простой, но искусственный пример ([93], р. 387).

119 Можно сформулировать это условие совершенно ясно в терминах методологии исследовательских программ, которая будет предложена в S 3: мы сохраняем формально метафизическую теорию в составе "твердого ядра" исследовательской программы до тех пор, пока связанная с ней эвристика обеспечивает прогрессивный сдвиг проблем в "защитном поясе" вспомогательных гипотез.

120 Это явление было описано в превосходной статье Уэвелла [20], но он не смог объяснить его методологически. Вместо того, чтобы признать победу прогрессивной ньютоновской программы над регрессивной картезианской программой, он полагал, что это была победа доказанной истины над ложностью. Подробнее см.: [98], общее обсуждение проблемы демаркации между прогрессивной и регрессивной редукцией см. [168].

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

122 [161], р. 107.

123 См. об этом [161], гл. 29 [русск. перев., с. 138].

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