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

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

Нельзя не отдать должное отваге нашего методологического фальсификациониста. Он, видимо, чувствует себя героем, лицом к лицу столкнувшимся с двумя смертельными опасностями, хладнокровно оценившим их и избравшим меньшее зло. Одна из этих опасностей - скептический фаллибилизм с его принципом "все проходит", с отчаянным отрицанием всех интеллектуальных стандартов, а значит, и идей научного прогресса. Ничто не может быть установлено, ничто не может быть отвергнуто, между отдельными системами знания не может быть никакой связи. Рост наук - возврастание хаоса, строительство Вавилонской башни.* Около двух тысяч лет ученые и научно мыслящие философы предпочитали джастификационистские иллюзии, лишь бы не быть ввергнутыми в этот кошмар. Некоторые из них думали, что есть только один-единственный выбор между индуктивистским джастификационизмом и иррационализмом. В. Рассел писал: "Я не вижу никакого выхода, кроме догматического признания индуктивного принципа или чего-то ему равного; иначе пришлось бы отбросить все или почти все, что наука или здравый смысл признают знанием". [70] Но наш методологический фальсификационист гордо отвергает такой "эскапизм". Он отваживается принять удар фаллибилизма, но преодолевает скептицизм, проводя смелую и рискованную политику, а не прячась за догмы. Он вполне сознает степень риска, но настаивает, что выбор только один: между методологическим фальсификационизмом и иррационализмом. Он предпочитает игру с небольшими шансами на победу, но говорит, что это все же лучше, чем просто сдаться без игры. [71]

И правда, те критики наивного фальсифи-кационизма, которые не смогли предложить альтернативного метода критицизма, неизбежно скатывались к иррационализму. Например, Нейрат заявлял, что фальсификация и последующая элиминация гипотез могут стать "препятствием прогрессу науки", [72] но его путаная аргументация не имеет никакой цены, если единственной замеченной им альтернативой является хаос. Гемпель несомненно прав, подчеркивая, что "наука дает множество примеров, когда конфликт между хорошо подтвержденной теорий и каким-то не поддающимся объяснению результатом эксперимента прекрасно разрешается тем, что последний признается как бы не имевшим места, а не принесением в жертву теории", [73] но все же он признает, что не видит иного "фундаментального стандарта", чем тот, какой выдвинут наивным фальсификационизмом. [74]

Нейрат и, кажется, Гемпель отвергают фальсификационизм как "псевдорационализм", [75] но что такое "настоящий рационализм"? Поппер еще в 1934 г. предупреждал, что "разрешительная" методология Нейрата (точнее было бы сказать, отсутствие методологии) превратила бы науку в не-эмпирическую и, следовательно, иррациональную: "Нам необходимо некоторое множество правил, ограничивающих произвольность "вычеркивания" (а также и "принятия") протокольных предложений. Нейрат не формулирует никаких правил такого типа и тем самым невольно выбрасывает за борт эмпиризм...

Любая система может быть оправданной, если кому-либо дозволяется (а по Нейрату, это право предоставляется всем) просто "вычеркнуть" мешающее ему протокольное предложение". [76]

Поппер соглашается с Нейратом в том, что все высказывания подвержены ошибкам, но он решительно настаивает на том, что прогресс невозможен без твердой рациональной стратегии или метода, которыми следует руководствоваться, когда одни высказывания противоречат другим. [77]

Но не является ли твердая стратегия методологического фальсификационизма, рассмотренная выше, слишком твердой? Не являются ли решения тех, кто придерживается этой стратегии, слишком произвольными? Кое-кто мог бы даже сказать, что методологический фальсификационизм отличается от догматического только тем, что лицемерно уверяет в своей преданности фаллибилизму!

Критиковать теорию критики обычно трудно. Натуралистический фальсификационизм было сравнительно легко опровергнуть, так как он покоится на эмпирической психологии восприятия; можно показать, что он просто ложен. Но как фальсифицировать методологический фальсификационизм? Нет такого бедствия, какое могло бы опровергнуть неджастификационистскую теорию рациональности. Более того, если бы даже эпистемологическая катастрофа разразилась, как могли бы мы узнать об этом? Мы лишены возможности судить о том, увеличивается или уменьшается правдоподобие наших успешных теорий. [78]

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

Если мы обратимся к истории науки, пытаясь понять, как происходили самые знаменательные фальсификации, нам придется признать, что некоторые из них были явно иррациональными либо покоились на таких принципах рациональности, которые радикально отличались от тех, какие только что обсуждались нами.

Прежде всего, к вящему сожалению фальсификациониста, придется признать, что упрямые теоретики часто и не думали подчиниться экспериментальным вердиктам и действовали так, будто последних вовсе не было. Фальсификационистский "закон и порядок" не мог бы допустить таких вольностей. Следующее затруднение связано с фальсификацией теорий, взятых вместе с ограничением ceteris paribus. [80] По фальсификационистским критериям фальсификация, как она имела место в реальной истории, может выглядеть иррациональной. По этим критериям, ученые часто необъяснимо медлительны. Например, понадобилось целых восемьдесят пять лет, чтобы от признания аномальности перигелия Меркурия перейти к признанию этого же факта как опровержения ньютоновской теории, несмотря на то, что ограничение ceteri s paribus было очень неплохо подкреплено. С другой стороны, ученые часто кажутся слишком опрометчивыми. Например, Галилей и его последователи, принявшие коперниковскую гелиоцентрическую небесную механику вопреки множеству свидетельств против вращения Земли ; или Бор и его последователи, принявшие теорию светового излучения вопреки тому, что она противоречила хорошо подкрепленной теории Максвелла.

Не так уж трудно заметить две характерные черты и догматического, и методологического фальсификационизма, вступающие в диссонанс с действительной историей науки.

1) проверка является (или должна быть) обоюдной схваткой между теорией и экспериментом; в конечном итоге, только эти противоборствующие силы остаются один на один;

2) единственным важным для ученого результатом такого противоборства является фальсификация: "настоящие открытия - это опровержения научных гипотез".[81]

Однако история науки показывает нечто иное: 1) проверка-это столкновение по крайней мере трех сторон: соперничающих теорий и эксперимента; 2) некоторые из наиболее интересных экспериментов дают скорее подтверждения, чем опровержения.

Но если это действительно так, то история науки не подтверждает нашу теорию научной рациональности. Значит, мы перед выбором. Можно вообще отказаться от попыток рационального объяснения успехов науки. Значение научного метода (или "логики исследования") в его функции оценки научных теорий и критерия прогресса научного знания в таком случае сводится к нулю. Можно еще, конечно, пытаться объяснять переходы от одних "парадигм" к другим, положив в основание социальную психологию. [82] Это путь Полани и Куна. [83] Альтернатива этому - постараться, насколько возможно, уменьшить конвенциональный элемент фальсификационизма (устранить совсем его нам не удастся) и заменить наивный вариант методологического фальсификационизма, характеризуемый приведенными выше тезисами (1) и (2), новой, утонченной версией, которая должна дать более приемлемое основание фальсификации и, таким образом, спасти идею методологии, идею прогресса научного знания. Это путь Поппера, и я намерен следовать по этому пути.

в) Утонченный фальсификационизм против наивного методологического фальсификационизма. Прогрессивный и регрессивный сдвиг проблемы

Утонченный фальсификационизм отличается от наивного фальсификационизма как своими правилами принятия (или "критерием демаркации"), так и правилами фальсификации или элиминации. Наивный фальсификационист рассматривает любую теорию, которую можно интерпретировать как экспериментально фальсифицируемую, как "приемлемую" или "научную". Для утонченного фальсификациониста теория "приемлема" или "научна" только в том случае, если она имеет добавочное подкрепленное эмпирическое содержание по сравнению со своей предшественницей (или соперницей), то есть, если только она ведет к открытию новых фактов. Это условие можно разделить на два требования: новая теория должна иметь добавочное эмпирическое содержание ("приемлемость"); и некоторая часть этого добавочного содержания должна быть верифицирована ("приемлемость"). Первое требование должно проверяться непосредственно, путем априорного логического анализа; второе может проверяться только эмпирически, и сколько времени потребуется для этого, сказать сразу нельзя.

Наивный фальсификационист считает, что теория фальсифицируется "подкрепленным" предложением наблюдения, которое, противоречит ей (или, скорее, которое он решает считать противоречащим ей). Утонченный фальсификационист признает теорию Т фальсифицированной, если и только если предложена другая теория Т' со следующими характеристиками: 1) Т' имеет добавочное эмпирическое содержание по сравнению с Т, то есть она предсказывает факты новые, невероятные с точки зрения Т или даже запрещаемые ею; [84] 2) Т' объясняет предыдущий успех Т, то есть все неопровергнутое содержание Т (в пределах ошибки наблюдения) присутствует в Т'; 3) какая-то часть добавочного содержания Т' подкреплена.[85]

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

Почему мы должны стремиться к фальсификации любой ценой? Не лучше ли наложить определенные ограничения на теоретические уловки, которыми пытаются спасать теорию от опровержений? В самом деле, кое-какие ограничения давно хорошо известны, о них идет речь в давних выпадах против объяснений ad hoc, против пустых и уклончивых решений, лингвистических трюков. [86] Мы уже видели, что Дюгем приближался к формулировке таких ограничений в терминах "простоты" и "здравого смысла".* Но когда защитный пояс теоретических уловок утрачивает "простоту" до такой степени, что данная теория должна быть отброшена? [87] Например, в каком смысле теория Коперника "проще", чем теория Птолемея? [88] Смутное дюгемовское понятие "простоты", как верно замечают наивные фальсификационисты, приводит к слишком большой зависимости решения методолога или ученого от чьего-либо вкуса.

Можно ли улучшить подход Дюгема? Это сделал Поппер. Его решение утонченный вариант методологического фальсификационизма - более объективно и более строго. Поппер согласен с конвенционалистами в том, что теория и фактуальные предложения всегда могут быть согласованы с помощью вспомогательных гипотез; он согласен и с тем, что главный вопрос в том, чтобы различать научные и ненаучные способы удержания теории, рациональные и нерациональные изменения теоретического знания. Согласно Попперу, удержание теории с помощью вспомогательных гипотез, удовлетворяющих определенным, точно сформулированным требованиям, можно считать прогрессом научного знания; но удержания теории с помощью вспомогательных гипотез, которые не удовлетворяют таким требованиям, - есть вырождение науки. Он называет такие недопустимые вспомогательные гипотезы "гипотезами ad hoc", чисто лингвистическими выдумками, "конвенционалистскими уловками". [89]

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

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

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

Будем считать, что такая последовательность теорий является теоретически прогрессивной (или "образует теоретически прогрессивный сдвиг проблем"), если каждая новая теория имеет какое-то добавочное эмпирическое содержание по сравнению с ее предшественницей, то есть предсказывает некоторые новые, ранее не ожидаемые факты. Будем считать, что теоретически прогрессивный ряд теорий является также и эмпирически прогрессивным (или "образует эмпирически прогрессивный сдвиг проблем"}, если какая-то часть этого добавочного эмпирического содержания является подкрепленным, то есть, если каждая новая теория ведет к действительному открытию новых фактов. [90] Наконец, назовем сдвиг проблем прогрессивным, если он и теоретически, и эмпирически прогрессивен, и регрессивным - если нет. [91]

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

Это различие между прогрессивным и регрессивным сдвигами проблем проливает новый свет на оценку научных - может быть лучше сказать, прогрессивных объяснений. Если для разрешения противоречия между предшествующей теорией и контрпримером мы предлагаем такую теорию, что она вместо увеличивающего содержания (т. е. научного) объяснения дает лишь уменьшающую содержание (лингвистическую) переинтерпретацию, то противоречие разрешается чисто словесным, ненаучным способом. Данный факт объяснен научно, если вместе с ним объясняется также и новый факт. [92]

Утонченный фальсификационизм, таким образом, сдвигает проблему с оценки теорий на оценку ряда (последовательности) теории. Не отдельно взятую теорию, а лишь последовательность теорий можно называть научной или ненаучной. Применять определение "научная" к отдельной теории - решительная ошибка. [[[96]]]

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

[70] [177]. р. 683.

[71] Я уверен, что кое-кто усмотрит в методологическом фальсификационизме "экзистенциалистскую" философию науки.

[72] [139], р. 356.

[73] [74], р. 621. Агасси [4] идет вслед за Нейратом и Гемвелем; см. особенно р. 16 и далее. Скорее забавно, что Агасси полагает, будто он в этом вопросе выступает против "всей литературы по методологии науки. В самом деле, многие ученые вполне понимали трудности, связанные с "конфронтацией теории и фактов". (Ср. [49] р. 27). Некоторые философы, симпатизирующие фальсификационизму. подчеркивали, что процесс отвержения научной гипотезы более сложен, чем кажется на первый взгляд" ([27], р. 20). Но только Поппер нашел конструктивное, рациональное решение.

[74] [74], р. 622. Решительный гемпелевский "тезис эмпирической определенности" только подновляет старые аргументы Нейрата и некоторые Поппера (против Карнапа. я полагаю); но прискорбно, что он даже не упоминает своих предшественников или единомышленников.

[75] [139].

[76] [ 161], гл. 26; [русск. перев., с. 129].

[77] Нейрат, кажется, так и не понял этот простой аргумент Поппера (см. [139]).

[78] Термин "правдоподобие" взят здесь в попперовском смысле: как разница между истинным и ложным содержанием теории. Оценка правдоподобия связана с известным риском; см. [93], р. 395 и далее.

[79] Данная статья может рассматриваться как попытка разработать такую общую теорию. См.: [95], [96], [97].

[80] Фальсификация теория зависит от высокой степени подкрепления ограничения ceterts paribus. Однако так бывает не всегда. Вот почему методологический фальсификационист советует доверять "научному инстинкту" ([161], гл. 18 [русск. перев., с. 101]) или "предчувствию" ([27], р. 20).

[81] Агасси [1] называет попперовскую идею науки "sclentia negatlva" (см. также [5]).

[82] Здесь надо вспомнить, что скептик-кунианец стоит перед тем, что я назвал бы "дилеммой ученого-скептика": всякий ученый скептик, пытаясь объяснить изменчивость своих верований, склонен видеть в собственной психологи некую теоретичность, нечто большее, чем просто веровавие, - "научное" верование. Юм, опираясь на теорию обучения, в основе которой лежит отношение "стимул-реакция", пытался изобразить науку как простую систему верований, но так и не задался вопросом, не относятся ли его теория обучения к самой себе. Говоря современным языком, можно было бы спросить, свидетельствует ли популярность философии Куна о том, что признана ее истинность? В таком случае она была бы отброшена. Может быть, она свидетельствует лишь о том, что эта философия привлекательна как новая мода? В таком случае она была бы "верифицирована". Но пришлась ли бы Куну по вкусу такая "верификация"?.

[83] Фейерабенд, который сделал, наверное, больше кого-либо другого в распространении идей Поппера, теперь, кажется, примкнул к враждебному лагерю- См. его статью "Утешение для специалиста". [Частичный русск. перевод см.; Фейерабенд Пё Изб. труды по методологии науки. М., 1986. С. 109- 124]."

[84] Термин "предсказание" здесь употреблен в широком смысле, допускающем и "после-сказание".

[85] Более подробное обсуждение этих правел принятия и отбрасывания со ссылками на работы Поппера см. в [93}, pp. 375-390.

[86] Например, Мольер смеялся над врачами ("Мнимый больной"), которые на вопрос, почему опиум усыпляет, отвечали, что он обладает усыпляющей силой. Можно даже утверждать, что знаменитое ньютоновское высказывание "Гипотез не измышляю" было в действительности направлено против объяснений ad hoc подобных его собственным объяснениям сил притяжения при помощи эфирной модели, которые должны были отвести возражения картезианцев.

[87] Между прочим, Дюгем соглашался с Бернаром, что одни только эксперименты, без учета соображений "простоты", могут решить судьбу физиологических теорий, но не физических ([40], гл. VI.   1).

[88] Кестлер справедливо замечает, что миф о большей простоте коперниковской теории был создан Галилеем [ 85], р. 476); на самом деле, "введение земного движения нисколько не упростило картину, по сравнению со старыми теориями; хотя сомнительные экваиты исчезли, система продолжала изобиловать вспомогательными кругами" ([39], гл. XIII).

[89] [161]. гл. 19 и 20 [русск. перев.: с. 106. 110]. Я детально рассматривал такие уловки, возникавшие в неформальной, псевдо-эмпирической математике, именуя их "монстрами" [92], [русск. пер.: с. 24].

[90] Если я уже знаю P1: "Лебедь А-белый", то Р: "Все лебеди белые" не представляет прогресса, потому, что оно может вести только к открытию подобных же фактов типа Р2: "Лебедь В-белый". Так называемые эмпирические обобщения не составляют прогресса. Новый факт должен быть невероятным или даже невозможным в свете предшествующего знания.

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

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