Текст книги "Фаллибилизм против фальсификационизма (ЛП)"
Автор книги: Имре Лакатос
Жанр:
Философия
сообщить о нарушении
Текущая страница: 3 (всего у книги 7 страниц)
в) Утонченный фальсификационизм против наивного методологического фальсификационизма.
Прогрессивный и регрессивный сдвиг проблемы
Утонченный (sophisticated) фальсификационизм отличается от наивного фальсификационизма как своими правилами принятия (или “критерием демаркации”), так и правилами фальсификации или элиминации. Наивный фальсификационист рассматривает любую теорию, которую можно интерпретировать как экспериментально фальсифицируемую, как “приемлемую” или “научную”. Для утонченного фальсификациониста теория “приемлема” или “научна” только в том случае, если она имеет добавочное подкрепленное эмпирическое содержание по сравнению со своей предшественницей (или соперницей), то есть, если только она ведет к открытию новых фактов. Это условие можно разделить на два требования: новая теория должна иметь добавочное эмпирическое содержание (“приемлемость1”); и некоторая часть этого добавочного содержания должна быть верифицирована (“приемлемость2”). Первое требование должно проверяться непосредственно, путем априорного логического анализа; второе может проверяться только эмпирически, и сколько времени потребуется для этого, сказать сразу нельзя.
Наивный фальсификационист считает, что теория фальсифицируется “подкрепленным” предложением наблюдения, которое, противоречит ей (или, скорее, которое он решает считать противоречащим ей). Утонченный фальсификационист признает теорию Т фальсифицированной, если и только если предложена другая теория Т' со следующими характеристиками: 1) Т' имеет добавочное эмпирическое содержание по сравнению с Т, то есть она предсказывает факты новые, невероятные с точки зрения Т или даже запрещаемые ею[83]83
Термин «предсказание» здесь употреблен в широком смысле, допускающем и «после-сказание».
[Закрыть]; 2) Т' объясняет предыдущий успех Т, то есть все неопровергнутое содержание Т (в пределах ошибки наблюдения) присутствует в Т'; 3) какая-то часть добавочного содержания Т' подкреплена.[84]84
Более подробное обсуждение этих правел принятия и отбрасывания со ссылками на работы Поппера см. в [93], pp. 375–390.
[Закрыть]
Чтобы оценить эти определения, надо понять исходные проблемы и их следствия. Во-первых, вспомним методологическое открытие конвенционалистов, состоящее в том, что никакой экспериментальный результат не может убить теорию; любую теорию можно спасти от контрпримеров посредством некоторой вспомогательной гипотезы либо посредством соответствующей переинтерпретации ее понятий. Наивный фальсификационист решает эту проблему тем, что относит (в решающих контекстах) вспомогательную гипотезу к непроблематическому исходному знанию, выводя ее из дедуктивного механизма проверочной ситуации, насильно помещая проверяемую теорию в логическую изоляцию, где она и становится удобной мишенью под обстрелом проверяющих экспериментов. Но поскольку эта процедура не является удовлетворительным способом рациональной реконструкции истории науки, мы вправе предложить иной подход.
Почему мы должны стремиться к фальсификации любой ценой? Не лучше ли наложить определенные ограничения на теоретические уловки, которыми пытаются спасать теорию от опровержений? В самом деле, кое-какие ограничения давно хорошо известны, о них идет речь в давних выпадах против объяснений ad hoc, против пустых и уклончивых решений, лингвистических трюков.[85]85
Например, Мольер смеялся над врачами («Мнимый больной»), которые на вопрос, почему опиум усыпляет, отвечали, что он обладает усыпляющей силой. Можно даже утверждать, что знаменитое ньютоновское высказывание «Гипотез не измышляю» было в действительности направлено против объяснений ad hoc – подобных его собственным объяснениям сил притяжения при помощи эфирной модели, которые должны были отвести возражения картезианцев.
[Закрыть] Мы уже видели, что Дюгем приближался к формулировке таких ограничений в терминах “простоты” и “здравого смысла”. Но когда защитный пояс теоретических уловок утрачивает “простоту” до такой степени, что данная теория должна быть отброшена?[86]86
Между прочим, Дюгем соглашался с Бернаром, что одни только эксперименты, без учета соображений «простоты», могут решить судьбу физиологических теорий, но не физических ([40], гл. VI. § 1).
[Закрыть] Например, в каком смысле теория Коперника “проще”, чем теория Птолемея?[87]87
Кестлер справедливо замечает, что миф о большей простоте коперниковской теории был создан Галилеем [85], р. 476); на самом деле, «введение земного движения нисколько не упростило картину, по сравнению со старыми теориями; хотя сомнительные экваиты исчезли, система продолжала изобиловать вспомогательными кругами» ([39], гл. XIII).
[Закрыть] Смутное дюгемовское понятие “простоты”, как верно замечают наивные фальсификационисты, приводит к слишком большой зависимости решения методолога или ученого от чьего-либо вкуса.
Можно ли улучшить подход Дюгема? Это сделал Поппер. Его решение ― утонченный вариант методологического фальсификационизма ― более объективно и более строго. Поппер согласен с конвенционалистами в том, что теория и фактуальные предложения всегда могут быть согласованы с помощью вспомогательных гипотез; он согласен и с тем, что главный вопрос в том, чтобы различать научные и не-научные способы удержания теории, рациональные и не-рациональные изменения теоретического знания. Согласно Попперу, удержание теории, с помощью вспомогательных гипотез, удовлетворяющих определенным, точно сформулированным требованиям, можно считать прогрессом научного знания; но удержания теории с помощью вспомогательных гипотез, которые не удовлетворяют таким требованиям, ― есть вырождение науки. Он называет такие недопустимые вспомогательные гипотезы “гипотезами ad hoc”, чисто лингвистическими выдумками, “конвенционалистскими уловками”.[88]88
[161]. гл. 19 и 20 [русск. перев.: с. 106.110]. Я детально рассматривал такие уловки, возникавшие в неформальной, псевдо-эмпирической математике, именуя их «монстрами» [92], [русск. перев.: с. 24].
[Закрыть]
Но это означает, что оценка любой научной теории должна относиться не только к ней самой, но и ко всем присоединяемым к ней вспомогательным гипотезам, граничным условиям и т. д., и что особенно важно, следует рассматривать эту теорию вместе со всеми ее предшественницами так, чтобы было видно, какие изменения были внесены именно ею. Поэтому, конечно, нашей оценке подлежит не отдельная теория, а ряд или последовательность теорий.
Теперь легко понять, почему критерии “приемлемости” и “отвержения” утонченного методологического фальсификационизма сформулированы именно так, а не иначе. Но все же стоит сформулировать их более ясно, введя понятие “последовательностей теорий”.
Рассмотрим последовательности теорий ― T1, T2, Т3, …, где каждая последующая теория получена из предыдущей путем добавления к ней вспомогательных условий (или путем семантической переинтерпретации ее понятий), чтобы устранить некоторую аномалию. При этом каждая теория имеет, по крайней мере, не меньшее содержание, чем неопровергнутое содержание ее предшественницы.
Будем считать, что такая последовательность теорий является теоретически прогрессивной (или “образует теоретически прогрессивный сдвиг проблем”), если каждая новая теория имеет какое-то добавочное эмпирическое содержание по сравнению с ее предшественницей, то есть предсказывает некоторые новые, ранее не ожидаемые факты. Будем считать, что теоретически прогрессивный ряд теорий является также и эмпирически прогрессивным (или “образует эмпирически прогрессивный сдвиг проблем”), если какая-то часть этого добавочного эмпирического содержания является подкрепленным, то есть, если каждая новая теория ведет к действительному открытию новых фактов.[89]89
Если я уже знаю P1: «Лебедь А – белый», то Р: «Все лебеди белые» не представляет прогресса, потому, что оно может вести только к открытию подобных же фактов типа Р2: «Лебедь В – белый». Так называемые эмпирические обобщения не составляют прогресса. Новый факт должен быть невероятным или даже невозможным в свете предшествующего знания.
[Закрыть] Наконец, назовем сдвиг проблем прогрессивным, если он и теоретически, и эмпирически прогрессивен, и регрессивным ― если нет.[90]90
Могут спросить, уместен ли термин «сдвиг проблем», когда речь идет о последовательности теорий, а не проблем. Отчасти я остановился на нем потому, что не нашел лучшего («сдвиг теорий» звучит скверно), отчасти же потому, что теории всегда проблематичны, они никогда не решают всех проблем, которые стоят перед ними Как бы то ни было, во второй части этой статьи этот термин в соответствующем контексте будет заменен более естественным термином «исследовательская программа».
[Закрыть]
Мы “принимаем” сдвиги проблем как “научные”, если они, по меньшей мере, теоретически прогрессивны; если нет, мы отвергаем их как “псевдонаучные”. Прогресс измеряется той степенью, в какой ряд теорий ведет к открытию новых фактов. Теория из этого ряда признается “фальсифицированной”, если она замещается теорией с более высоко подкрепленным содержанием.
Это различие между прогрессивным и регрессивным сдвигами проблем проливает новый свет на оценку научных ― может быть лучше сказать, прогрессивных ― объяснений. Если для разрешения противоречия между предшествующей теорией и контрпримером мы предлагаем такую теорию, что она вместо увеличивающего содержания (т.е. научного) объяснения дает лишь уменьшающую содержание (лингвистическую) переинтерпретацию, то противоречие разрешается чисто словесным, не-научным способом. Данный факт объяснен научно, если вместе с ним объясняется также и новый факт.[91]91
В первоначальном варианте [93] я писал: «Теория без добавочного подкрепления не имеет дополнительной объясняющей силы; вот почему, согласно Попперу, она не обеспечивает рост знания, и, следовательно, не является научной» (р. 386). Под давлением моих коллег я убрал выделенную часть этого предложения, ибо они считали, что она звучит слишком эксцентрично. Теперь я сожалею об этом.
[Закрыть]
Утонченный фальсификационизм, таким образом, сдвигает проблему с оценки теорий на оценку ряда (последовательности) теорий. Не отдельно взятую теорию, а лишь последовательность теорий можно называть научной или не-научной. Применять определение “научная” к отдельной теории ― решительная ошибка.[92]92
То, что у Поппера понятия «теория» и «последовательность теорий» сливаются в одно, не позволило ему более успешно развить основные идеи утонченного фальсификационизма. Эта двусмысленность привела его к таким по-видимости противоречащим друг другу утверждениям, как «Марксизм [как ядро последовательности теорий или как исследовательская программа] неопровержим» и в то же время «Марксизм [как особая конъюнкция этого ядра и некоторых вспомогательных гипотез, ограничения ceteris paribus и исходных условий] был опровергнут» (см. [163]). Конечно, нет ничего ошибочного в том, что кто-то назовет отдельную, изолированную теорию «научной», если она представляет собой шаг вперед по сравнению со своей предшественницей, если при этом ясно понимать, что мы оцениваем теорию как определенный итог – и в контексте – определенного исторического развития знания».
[Закрыть]
Всегда почитаемым эмпирическим критерием удовлетворительности теорий было согласие с наблюдаемыми фактами. Нашим эмпирическим критерием, применимым к последовательности теорий, является требование производить новые факты. Идея роста науки и ее эмпирический характер соединяются в нем в одно целое.
Эта новая версия методологического фальсификационизма имеет много новых черт. Во-первых, она отрицает, что “в случае научной теории наше решение зависит от результатов экспериментов. Если они подтверждают теорию, мы принимаем ее на то время, пока не найдется более подходящая теория. Если эксперименты противоречат теории ― мы отвергаем ее”.[93]93
[157], v.2, р.233 [русск. перев., с. 269–270]. Более тонкое понимание проблемы проглядывает в следующих замечаниях Поппера «Мы предпочитаем решать, стоит признавать ее [теорию] или отвергать лишь после того, как исследуем те конкретные, практические выводы из нее, которые могут быть более непосредственно проверены экспериментом». (Там же, подчеркнуто мною – И. Л.); (перевод уточнен мною. – Прим. перев.].
[Закрыть] Она отрицает, что “окончательно решает судьбу теории только результат проверки, то есть соглашение о базисных высказываниях”.[94]94
[161], гл. 30; [русск. перев., с. 145].
[Закрыть]
Вопреки наивному фальсификационизму, ни эксперимент, ни сообщение об эксперименте, ни предложение наблюдения, ни хорошо подкрепленная фальсифицирующая гипотеза низшего уровня не могут сами по себе вести к фальсификации. Не может быть никакой фальсификации прежде, чем появится лучшая теория.[95]95
В большинстве случаев до фальсификации некоторой гипотезы мы имеем в запасе другую гипотезу ([161], р. 87; [русск. перев, с. 116]). Но из наших рассуждений следует, что мы должны иметь другую гипотезу. Как пишет Фейерабенд, «лучшая критика проводится с помощью тех теорий, которые могут заменить устраненных ими соперниц» ([55), р. 227 [русск. перев., с. 425]). Он отмечает, что в некоторых случаях «альтернативы становятся совершенно необходимыми для опровержения тех или иных воззрений» (Там же, р 254, [русск. перев., с. 460]) Но согласно нашим рассуждениям, опровержение без альтернатив указывает только на скудость воображения, не способного к выдвижению спасающей гипотезы.
[Закрыть]
Но тогда характерный для наивного фальсификационизма негативизм исчезает; критика становится более трудной, но зато более позитивной, конструктивной. В то же время, если фальсификация зависит от возникновения лучших теорий, от изобретения таких теорий, которые предвосхищают новые факты, то фальсификация является не просто отношением между теорией и эмпирическим базисом, но многоплановым отношением между соперничающими теориями, исходным “эмпирическим базисом” и эмпирическим ростом, являющимся результатом этого соперничества. Тогда можно сказать, что фальсификация имеет “исторический характер”.[96]96
см.: [93], рр. 387 и далее.
[Закрыть]
Надо добавить, что иногда теории, вызывающие фальсификацию, предлагались уже после того, как обнаруживался “контрпример”. Это может звучать парадоксально для тех, кто находится под гипнозом наивного фальсификационизма. Действительно, эта эпистемологическая теория отношений между теорией и экспериментом резко отличается от эпистемологии наивного фальсификационизма. Не годится уже сам термин “контрпример”. Ведь никакой экспериментальный результат нельзя рассматривать как “контрпример” сам по себе. Если же нам хочется сохранить этот популярный термин, мы должны переопределить его следующим образом:
“Контрпример по отношению к T1” ― это подкрепленный пример Т2, которая или несовместима с T1 или независима от нее (с условием, что Т2 ― это теория, удовлетворительно объясняющая эмпирический успех Т1). Это показывает, что “решающий контрпример” или “критический эксперимент” могут быть признаны таковыми среди множества аномалий только задним числом в свете некоторой новой, заменяющей старую, теории.”[97]97
В кривом зеркале наивного фальсификационизма новые теории, которые заменяют старые опровергнутые теории, по рождению своему считаются неопровергнутыми Следовательно, с точки зрения таких теорий нет соответствующего различия между аномалиями и решающими контрпримерами. Аномалия, по их мнению, это только робкий эвфемизм, за которым скрывается контрпример. Но в реальной истории новые теории рождаются уже опровергнутыми. Они наследуют многие аномалии старых теорий. Больше того, часто только новая теория драматически предсказывает тот факт, который еще лишь в будущем станет рассматриваться как решающий контрпример против ее предшественницы, в то время как «старые» аномалии могут продолжать свое существование в виде «новых» аномалий. Все это мы рассмотрим более подробно, когда введем понятие «исследовательской программы».
[Закрыть]
Таким образом, решающим моментом фальсификации является следующее: дает ли новая теория новую, добавочную информацию по сравнению со своей предшественницей, и подкреплена ли какая-то часть этой добавочной информации? Джастификационисты высоко ценили “подтверждения” теории. Наивные фальсификационисты выдвигали на первый план “опровержения”. Методологические фальсификационисты полагали, что решающую роль играет подкрепленная добавочная информация. Именно к этому направлено все внимание. Тысячи тривиальных верифицирующих примеров или сотни известных аномалий ― это все уходит на задний план; на авансцену выходят немногие случаи, когда добавочное содержание получает подкрепление.[98]98
Утонченный фальсификационизм знаменует собой новую теорию обучения.
[Закрыть] Это заставляет вспомнить и вновь осмыслить древнюю пословицу: Exemplum docet, exampla obscurant. (Пример поясняет, множество примеров запутывает. ― Перев.).
“Фальсификация”, как ее понимает наивный фальсификационист (подкрепленный контрпример) не достаточна для элиминации некоторой специальной теории; несмотря на сотни известных аномалий, мы не признаем ее фальсифицированной (а значит, и элиминированной), пока нет лучшей теории.[99]99
Очевидно, что теория Т' может иметь добавочное подкрепленное эмпирическое содержание по сравнению с теорией Т и в том случае, когда Т и Т' опровергнуты. Эмпирическое содержание не связано с истинностью или ложностью. Можно также сравнивать подкрепленное содержание теорий независимо от опровергнутого содержания. Так, можно считать, что элиминация теории Ньютона в пользу теории Эйнштейна вполне рациональна, хотя теория Эйнштейна, точно так же как и ньютоновская, родилась уже «опровергнутой». Надо только вспомнить, что «качественное подтверждение» – это только эвфемизм для «количественного опровержения». см.: [93], pp. 384–386.
[Закрыть] Больше того, “фальсификация” в этом смысле не является и необходимым условием для фальсификации, как ее понимает утонченный фальсификационизм; прогрессивный сдвиг проблем не обязательно связан с “опровержениями”. Наивные фальсификационисты уверены, что рост науки имеет линейный характер: за теориями следуют опровержения, которые элиминируют их, а за опровержениями следуют новые теории.[100]100
см.: [161]. гл. 85 [русск. перев. с. 224].
[Закрыть] Очень может быть, что “прогресс” в последовательности теорий происходит так: опровержение n-й теории является в то же время и подкреплением п+1-й теории. Лихорадка проблем в науке возникает скорее из-за быстрого размножения (пролиферации) соперничающих теорий, а не умножения контрпримеров и аномалий.
Отсюда видно, что лозунг пролиферации теорий более важен для утонченной версии фальсификационизма, чем для наивной. По мнению наивного фальсификациониста, наука развивается посредством повторяющихся экспериментальных “опровержений” теорий: новые соперничающие теории, предлагаемые до таких “опровержений”, могут быстро разрастаться, но абсолютной необходимости быстрого размножения теорий не требуется.[101]101
Верно и то, что определенный вид пролиферации соперничающих теорий может играть ту или иную эвристическую роль при фальсификации. Часто бывает, что с эвристической точки зрения, фальсификация зависит от «выдвижения достаточно многочисленных (и оригинальных) теорий, от достаточного разнообразия теорий» ([166], русск. перев., с. 29). Например, мы имеем теорию, которая явным образом не опровергнута. Но может быть так, что предложена новая теория Т', несовместимая с Т, которая столь же успешно, как Т, объясняет известные факты; различия между объяснениями находятся в пределах ошибки наблюдения. В таких случаях мы вынуждены улучшать «экспериментальную технику», затем совершенствовать «эмпирический базис» таким образом, чтобы иметь возможность фальсифицировать Т' или Т» (или обе вместе). «Новая теория нужна для того, чтобы обнаружить недостатки старой» ([163], р. 246). Но роль такой пролиферации случайна; поскольку эмпирический базис подчищен, то спор идет между ним и проверяемой теорией Т; соперничающая с ней теория Т' работает лишь как катализатор.
[Закрыть] Согласно утонченному фальсификационисту, пролиферация теорий не обязательно связана с опровержением теории или с кризисом доверия к парадигме, в смысле Т. Куна.[102]102
См. также [55], р. 254–255 [русск. перев., с. 461].
[Закрыть] В то время как наивный фальсификационист подчеркивает “необходимость замены фальсифицированных гипотез лучшими гипотезами”[103]103
[161], р. 87; [русск. перев. с. 116].
[Закрыть], утонченный фальсификационист подчеркивает необходимость замены любой гипотезы лучшей гипотезой. Фальсификация не может заставить теоретика “заняться поисками лучшей теории”[104]104
[161], гл. 30; [русск. перев., с. 143].
[Закрыть] просто потому, что фальсификация не предшествует лучшей теории.
Сдвиг проблем от наивного к утонченному фальсификационизму связан с семантическим затруднением. Для наивного фальсификациониста “опровержением” является экспериментальный результат, который в силу принятого им решения, вступает в конфликт с проверяемой теорией. Но, согласно утонченному фальсификационизму, такого решения нельзя принимать раньше, чем пресловутый “опровергающий пример” станет подтверждающим примером новой, лучшей теории. Следовательно, где бы ни встретился термин типа “опровержение”, “фальсификация”, “контрпример”, мы в каждом случае должны разбираться, в каком смысле ― наивного или утонченного фальсификационизма ― они употреблены.[105]105
Возможно, было бы лучше в дальнейшем отказаться от обоих терминов сразу, так же как мы уже отказались от таких терминов как «индуктивное (или экспериментальное) доказательство». Тогда мы могли бы назвать (наивные) «опровержения» аномалиями, а (в утонченном смысле) «фальсифицированные» теории – «вытесненными». Наш «обычный» язык засорен не только «индуктивистской», но и фальсификационистской догматикой. Реформа давно назрела.
[Закрыть]
Утонченный методологический фальсификационизм предлагает новые критерии интеллектуальной честности. Джастификационистская честность требовала принимать только то, что доказательно обосновано, и отбрасывать все, что не имеет такого обоснования. Нео-джастификационистская честность требовала определения вероятности любой гипотезы на основании достижимых эмпирических данных. Честность наивного фальсификационизма требовала проверки на опровержимость, отбрасывания нефальсифицируемого и фальсифицированного. Наконец, честность утонченного фальсификационизма требует, чтобы на вещи смотрели с различных точек зрения, чтобы выдвигались теории, предвосхищающие новые факты, и отбрасывались теории, вытесняемые другими, более сильными.
В утонченном методологическом фальсификационизме соединились несколько различных традиций. От эмпирицистов он унаследовал стремление учиться прежде всего у опыта. От кантианцев он взял активистский подход к теории познания. У конвенционалистов он почерпнул важность решений в методологии.
Надо подчеркнуть еще одну отличительную черту утонченного методологического эмпиризма ― решающую роль, какую играет добавочное подкрепление. Для индуктивистов новая теория характеризуется тем, каково количество подтверждающих ее данных; опровергнутая теория уже никого и ничему научить не может (учиться можно только доказательно обоснованному или вероятному знанию). Догматическому фальсификационисту важнее всего знать, опровергнута ли теория, что касается подтвержденных теорий, то они не выступают для него ни как доказательно обоснованные, ни как вероятные; да и об опровергнутых теориях можно сказать только то, что они опровергнуты.[106]106
Аргументы в защиту этой теории «обучения из опыта» см. в [6].
[Закрыть]
Для утонченного фальсификационизма в теории важнее всего, что она позволяет предсказывать новые факты; можно сказать прямо, что для той версии попперовского эмпиризма, которую я отстаиваю, соответствующим значением обладают лишь те факты, какие способна предсказать теория. Эмпиризм (то есть научность) и теоретическая прогрессивность неразрывно связаны.[107]107
Отсюда следует, что «обучение на опыте» есть нормативная идея; поэтому все теории о чисто «эмпирическом» обучении ошибочны по самой сути.
[Закрыть]
Эта мысль не так уж нова. Лейбниц, например, в известном письме к Конрингу в 1678 г. писал: “Лучшей похвалой гипотезе (когда ее истинность уже доказана) является то, что с ее помощью могут быть сделаны предсказания о неизвестном ранее явлении или еще небывалом эксперименте”.[108]108
см. [105]. Слова в скобках показывают, что Лейбниц ставил этот критерий все же на второе место и полагал лучшими те теории, которые доказательно обоснованы. Поэтому позиция Лейбница, как и позиция Уэвелла, слишком далека от зрелого утонченного фальсификационизма.
[Закрыть] Точка зрения Лейбница была широко поддержана учеными. Но с тех пор, как оценка научной теории в до-попперовской методологии рассматривалась как оценка степени ее подтверждения, позиция Лейбница некоторыми логиками подвергалась критике как неприемлемая. Например, Дж. С. Милль в 1843 г. высказывал недовольство тем, что “существует мнение, что гипотеза… вправе рассчитывать на более благоприятный прием, если, объясняя все ранее известные факты, она, кроме того, позволила предусмотреть и предсказать другие факты, проверенные впоследствии на опыте”.[109]109
[128], Vol. 2. р. 23 [русск. перев. с. 456].
[Закрыть] Милль целит точно: действительно, такая оценка противоречит и джастификационизму, и пробабилизму. В самом деле, почему мы должны считать, что некое событие, если оно предвосхищено теорией, имеет для нас большую познавательную ценность, чем если бы оно было известно до теоретического предсказания? До тех пор, пока доказательная обоснованность считается единственным критерием научности, критерий Лейбница будет выглядеть непригодным.[110]110
К этому сводились аргументы Дж. С. Милля. Они были направлены против Уэвелла, полагавшего, что «совпадение индукций» или успешное предсказание весьма неожиданных событий верифицирует (иначе говоря, доказательно обосновывает) теорию ([206], pp. 96–96). Без сомнения, главной ошибкой философии науки как Уэвелла, так и Дюгема являлось смешение предсказательной способности и доказанной истинности. Поппер разделил две эти характеристики.
[Закрыть] Подобным же образом, если рассматривать отношение между вероятностью теории и эмпирическими данными, то, как заметил Дж. Кейнс, оно не может зависеть от того, получены ли данные до теоретических предсказаний или после них.[111]111
[83]. р. 305.115 См. также [93], р. 394.
[Закрыть]
Но несмотря на столь убедительные аргументы джастификационистской критики, критерий Лейбница пользовался поддержкой лучших ученых, так как в нем получили выражение их неприязнь к гипотезам ad hoc, которые “хотя и верно выражают факты, для объяснения каковых предлагаются, однако не находят подтверждения какими-либо иными явлениями”.[112]112
Это критическое замечание Уэвелла по поводу вспомогательной гипотезы ad hoc, фигурирующей в ньютоновской теории света ([203]. Vol. 2, р. 317).
[Закрыть]
Но только Поппер заметил, что бросающееся в глаза несоответствие между несколькими разрозненными возражениями против гипотез ad hoc, с одной стороны, и внушительным сооружением джастификационистской теории познания, с другой, устраняется именно разрушением джастификационизма, а также введеднием нового, не джастификационистского критерия оценки научных теорий, основанного на неприятии гипотез ad hoc.
Рассмотрим несколько примеров. Теория Эйнштейна не потому лучше ньютоновской, что последняя была “опровергнута”, а первая нет: по отношению к теории Эйнштейна известно множество “аномалий”. Теория Эйнштейна лучше, чем теория Ньютона “образца 1916 года”, иначе говоря, знаменует собой прогресс научного знания по сравнению с ньютоновской теорией (то есть теорией гравитации, законами динамики, известным рядом граничных условий, но также и списком известных аномалий, таких как перигелий Меркурия), потому что она объяснила все, что успешно объясняла ньютоновская теория, но при этом в определенной степени объяснила и эти аномалии; кроме того, она наложила запрет на такие явления, как прямолинейное распространение света вблизи больших масс, о чем в теории Ньютона не было ни слова, зато другие хорошо подкрепленные теории того времени такие явления допускали; и, наконец, некоторые фрагменты добавочного содержания эйнштейновской теории были реально подкреплены ранее непредвиденными фактами (например, измерительными данными, полученными при наблюдении полного солнечного затмения).
В то же время, следуя тому же критерию, надо признать, что теория Галилея, согласно которой естественное движение земных тел является круговым, не несла с собой никаких улучшений в указанном смысле, поскольку она не запрещала ничего сверх того, что запрещалось соответствующими теориями, которые Галилей предполагал улучшить (аристотелевская физика и небесная кинематика Коперника). Следовательно, то была теория ad hoc, а значит, бесполезная с эвристической точки зрения.[113]113
Если воспользоваться терминологией моей работы [93], это была теория «ad hoc1» (p. 389); этот пример первоначально был подсказан мне П. Фейерабендом в качестве образца теории ad hoc, обладающей определенной ценностью.
[Закрыть]
Прекрасный пример теории, удовлетворяющей только первой части попперовского критерия прогресса (наличие добавочного содержания), но не второй части (наличие подкрепленного добавочного содержания), был дан самим Поппером: это теория Бора – Крамерса – Слэтера 1924 г. Эта теория была опровергнута во всех ее новых предсказаниях.[114]114
А это уже не «ad hoc1», a «ad hoc2» (см. [93], р. 389). Там же см. простой, но искусственный пример ([93], р. 387).
[Закрыть]
Наконец, рассмотрим вопрос, много ли осталось конвенционалистских моментов в утонченном фальсификационизме. Конечно, меньше, чем в наивном фальсификационизме. Нам требуется гораздо меньше методологических решений. “Решение четвертого типа”, которое играло существенную роль в наивном методологическом фальсификационизме, теперь совершенно излишне. Чтобы показать это, достаточно уяснить, что в том случае, когда научная теория (совокупность “законов природы”) в сочетании с граничными условиями и вспомогательными гипотезами, но без ограничения ceteris paribus, вступает в противоречие с некоторыми фактуальными предложениями, то нам не нужно принимать решение, какую ― явную или “скрытую” ― часть этой композиции следует заменить. Мы можем пытаться заменить любую часть, и только когда мы напали на объяснение аномалии с помощью какого-то изменения теории, приведшего к увеличению содержания, или с помощью вспомогательной гипотезы, а природа позволила нам подкрепить это объяснение, тогда мы, действительно, встали на путь элиминации “опровергнутой” композиции. Таким образом, утонченная фальсификация идет медленнее, но зато более надежна, чем наивная фальсификация.
Возьмем еще один пример. Пусть траектория планеты отклоняется от теоретически вычисленной. Кое-кто сделает вывод, что это опровергает динамику и теорию тяготения, поскольку ограничение ceteris paribus и граничные условия надежно подкреплены. Другие скажут, что это опровергает граничные условия, на которых сделаны вычисления, поскольку и динамика, и теория тяготения великолепно подкреплены за последние две сотни лет, а предположения о каких-то дополнительных факторах, неучтенных в вычислениях теоретического характера, оказались несостоятельными. Но третьи заключат, что это опровергает неявное допущение о том, что таких факторов нет: возможно, они руководствуются метафизическими принципами, вроде того, что любое объяснение лишь приблизительно и не может охватить бесконечную совокупность причин, определяющих любое конкретное событие.
Должны ли мы похвалить первых, назвав их “критическими мыслителями”, побранить вторых “филистерами”, а третьих осудить как “апологетов”? Ни в коем случае. Нам вообще не нужны никакие выводы относительно подобных “опровержений”. Мы никогда не отвергнем какую-то теорию просто потому, что она не выполнила чьих-то указов. Если перед нами противоречие, о каком шла речь выше, то нам нет нужды решать, какие части нашей композиции проблематичны, а какие ― нет. Мы рассматриваем все эти части как проблематичные по отношению к принятому базисному предложению, которое противоречит их конъюнкции, и пытаемся заменить их все. Если удается заменить какую-то часть композиции, так, чтобы это вело к “прогрессу” (то есть, если в результате замены увеличилось подкрепленное эмпирическое содержание по сравнению с предшествующим элементом композиции), мы назовем ее “фальсифицированной”.
Нам больше не нужны и решения пятого типа, столь важные для наивного фальсификациониста. Это станет очевидно, если по-новому посмотреть на проблему оценки (формально) метафизических теорий, а также на проблему их удержания и элиминации. “Утонченное” решение ясно. Формальная теория удерживается до тех пор, пока проблематичные примеры смогут быть объяснены путем изменения вспомогательных гипотез, присоединенных к этой теории, при котором увеличивается эмпирическое содержание.[115]115
Можно сформулировать это условие совершенно ясно в терминах методологии исследовательских программ, которая будет предложена в § 3: мы сохраняем формально метафизическую теорию в составе «твердого ядра» исследовательской программы до тех пор, пока связанная с ней эвристика обеспечивает прогрессивный сдвиг проблем в «защитном поясе» вспомогательных гипотез.
[Закрыть]
Возьмем, к примеру, метафизическое картезианское суждение С: “все природные процессы являются механизмами, подобными часам, которые регулируются неким (априори) духовным началом”. Это суждение по самой своей форме неопровержимо, ибо не может войти в противоречие ни с каким сингулярным “базисным предложением”, сформулированным в пространственно-временной терминологии. Конечно, оно может противоречить некоторой опровержимой теории типа N: “гравитация ― сила, действующая на расстоянии и вычислимая по формуле fm1m2/r2”. Но N будет противоречить С только в том случае, если “действие на расстоянии” понимается буквально, да еще к тому же как окончательная истина, как нечто несводимое к какой-либо более глубокой причине. (Поппер назвал бы это “эссенциалистской” интерпретацией.)
С другой стороны, мы можем рассматривать “действие на расстоянии” как некую опосредующую причину. В таком случае “действие на расстоянии” понимается уже не буквально, а фигурально, это понятие превращается в стенографический значок, сокращенную запись того, что можно было бы назвать скрытым механизмом действия через соприкосновение. (В параллель Попперу, можно было бы назвать это “номиналистской” интерпретацией.)
В таком случае можно попытаться объяснить N с помощью С. Именно так пытались сделать сам Ньютон и некоторые французские физики XVIII века. Если вспомогательная теория, при помощи которой достигается такое объяснение (если угодно, “редукция”), обеспечивает знание новых фактов (т. е. является “независимо проверяемой”), то можно рассматривать картезианскую метафизику как хорошую, научную, эмпирическую метафизику, благодаря которой наступает прогрессивный сдвиг проблем. Прогрессивная формально метафизическая теория обеспечивает устойчивый прогрессивный сдвиг проблем в своем защитном поясе вспомогательных теорий. Но если редукция этой теории к “метафизической” основе не дает нового эмпирического содержания, не говоря уже о новых фактах, то такая редукция представляет регрессивный сдвиг проблемы и является просто языковым упражнением. Усилия картезианцев, направленные на то, чтобы подправить свою метафизику с тем, чтобы объяснить ньютоновскую гравитацию, как раз являются ярким примером такой чисто языковой редукции.[116]116
Это явление было описано в превосходной статье Уэвелла [20], но он не смог объяснить его методологически. Вместо того, чтобы признать победу прогрессивной ньютоновской программы над регрессивной картезианской программой, он полагал, что это была победа доказанной истины над ложностью. Подробнее см. [98], общее обсуждение проблемы демаркации между прогрессивной и регрессивной редукцией см. [168].
[Закрыть]
Таким образом, вопреки призывам наивного фальсификационизма, мы не элиминируем формально метафизическую теорию, если она сталкивается с хорошо подкрепленной научной теорией. Но мы элиминируем ее, если она, в конечном счете, приводит к регрессивному сдвигу проблем, и при этом имеется лучшая, соперничающая с ней, метафизика для ее замены. Методология исследовательских программ с “метафизическим” ядром не отличается от методологии исследовательских программ с “опровержимым” ядром, исключая, быть может, только логические противоречия, элиминация которых представляет собой движущую силу программы.
(Следует подчеркнуть, однако, что сам выбор логической формы, в которой выступает теория, в большой степени зависит от нашего методологического решения. Например, вместо того, чтобы формулировать картезианскую метафизику как высказывание с кванторами общности и существования, можно сформулировать ее как высказывание только с квантором общности: “Все естественные процессы подобны часовому механизму”. Тогда “базисное предложение”, противоречащее этому, будет звучать так: “А есть естественный процесс, и А не подобно часовому механизму”. Вопрос в том, может ли предложение “X не подобен часовому механизму” считаться “установленным” ― в соответствии с “экспериментальной техникой” или, вернее, с интерпретативными теориями данного времени ― или нет. Следовательно, рациональный выбор логической формы теории зависит от состояния нашего знания. Например, метафизическое предложение с кванторами общности и существования, сформулированное сегодня, завтра, когда произойдут изменения уровня наблюдательных теорий, может превратиться в научное универсальное (с квантором общности) предложение. Я уже показал, что только последовательность теорий, а не отдельные теории могут квалифицироваться как научные или не-научные, сейчас я показал, что даже логическая форма теории может быть выбрана рационально только на основании критической оценки исследовательской программы, в которую входит эта теория ).
Первого, второго и третьего типа решений наивного фальсификационизма избежать нельзя, но, как мы покажем, конвенциональный элемент во втором типе решений, как и в третьем, может быть несколько уменьшен. Мы не можем уклониться от решения, какие высказывания считать “предложениями наблюдения”, а какие ― “теоретическими” предложениями. Мы не можем уклониться и от решений относительно истинности некоторых “предложений наблюдения”. Эти решения необходимы, чтобы установить, является ли сдвиг проблем эмпирически прогрессивным или регрессивным. Утонченный фальсификационист, по крайней мере, может ослабить произвольность этого решения (второго типа), допуская процедуру апелляции.
Наивные фальсификационисты не обращают внимания на возможность каких-либо апелляций. Они принимают базисное предложение, если оно поддержано хорошо подкрепленными фальсифицирующими гипотезами[117]117
[161]. гл. 22 [русск. перев., с. 117].
[Закрыть], и позволяют ему опрокидывать проверяемую теорию, даже понимая связанный с этим риск.[118]118
[161], р. 107.
[Закрыть] Но у нас нет оснований считать фальсифицирующую гипотезу и базисное предположение, поддерживаемое ею, менее проблематичными, чем проверяемая гипотеза. Тогда уместен вопрос, как точно можем мы сформулировать проблематичность базисного предложения? На каком основании приверженец “фальсифицируемой” теории может подать апелляцию и выиграть дело?
Кто-то мог бы сказать, что следует продолжать проверку базисного предложения (или фальсифицирующей гипотезы) “по их дедуктивно выводимым следствиям” до тех пор, пока не будет достигнуто соглашение. При этом так же дедуктивно выводятся следствия из базисного предложения при помощи проверяемой теории или какой-то иной теории, которую считают непроблематичной. Хотя эта процедура “не имеет естественного конца”, всегда можно прийти к такому положению, когда разногласия утихнут.[119]119
См. об этом [161], гл. 29 [русск. перев., с. 138].
[Закрыть]
Но когда теоретик подает апелляцию против приговора экспериментатора, на суде подвергают перекрестному допросу не само по себе базисное предложение, а скорее интерпретативную теорию, на основании которой определяется истинность этого предложения.
Типичные примером успешной апелляции является борьба сторонников Проута против неблагоприятных экспериментальных данных с 1815 по 1911 гг. В течение десятилетий теория Проута (Т) ― “все атомы состоят из атомов водорода и, таким образом, “атомные веса” всех химических элементов должны выражаться целыми числами” ― и фальсифицирующие “наблюдательные” гипотезы, вроде “опровержения” Стаса (R) ― “атомный вес хлора ― 35,5” ― противостояли друг другу. Как известно, в конце концов Т восторжествовала над R.[120]120
Агасси утверждает, что этот пример показывает, что мы можем «удерживать гипотезу перед лицом известных фактов, надеясь на то, что факты сами приладятся к теории, а не придется искать другой путь» ([4], р. 18). Но каким образом приладятся факты? При каких особых условиях теория выигрывает спор? Агасси не отвечает на этот вопрос.
[Закрыть]
Первая стадия любой серьезной критики научной теории заключается в том, чтобы реконструировать, улучшать ее логическую, дедуктивную стройность. Проделаем это с теорией Проута, сопоставляя ее с опровержением Стаса. Прежде всего надо понять, что в приведенной выше формулировке Т и R не противоречат друг другу. (Вообще говоря, физики редко проясняют свои теории до той степени, когда критику легко поймать их на слове.) Чтобы показать противоречие между ними, надо придать им следующую форму: Т ― “атомный вес всех чистых (однородных) химических элементов кратен атомному весу водорода”; Р ― “хлор есть чистый (однородный) химический элемент и его атомный вес равен 35,5”. Последнее утверждение имеет форму фальсифицирующей гипотезы, которая, будучи хорошо подкрепленной, позволила бы использовать базисные предложения типа В: “Хлор Х есть чистый химический элемент и его атомный вес ― 35,5”, где Х ― имя собственное “кусочка” хлора с определенными, например, пространственно-временными параметрами.