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

Примеров сколько угодно. В XVIII веке проводилось множество экспериментов, которые, как свидетельствуют данные историко-социологического анализа, воспринимались очень многими как "решающие" свидетельства против галилеевского закона свободного падения и ньютоновской теории тяготения. В XIX столетии было несколько "решающих" экспериментов, основанных на измерениях скорости света, которые "опровергали" корпускулярную теорию и затем оказались ошибочными в свете теории относительности . Эти "решающие" эксперименты были потом вычеркнуты из джастификационистских учебников как примеры постыдной близорукости или претензиозной зависти. (Недавно они снова появились в некоторых новых учебниках, на этот раз с тем, чтобы иллюстрировать неизбежную иррациональность научных стилей). Однако, в тех случаях, когда мнимые "решающие эксперименты" производились на самом деле гораздо позднее того, как были разгромлены программы, историки обвиняли тех, кто сопротивлялся им, в глупости, подозрительности или недопустимом подхалимстве по отношению к тем, кому эти программы были обязаны своим рождением. (Вошедшие ныне в моду "социологи познания" - или "психологи познания" - хотели бы объяснить подобные положения исключительно в социальных или психологических терминах, тогда, как они, как правило, объясняются принципами рациональности. Типичный пример - объяснение оппозиции Эйнштейна к принципу дополнительности Бора тем, что "в 1926 г. Эйнштейну было сорок семь лет. Этот возраст может быть расцветом жизни, но не для физика". (290))*

Учитывая сказанное ранее, идея скороспелой рациональности выглядит утопической. Но эта идея является отличительным признаком большинства направлений в эпистемологии. Джастификационистам хотелось бы, чтобы научные теории были доказательно обоснованы еще прежде, чем они публикуются; пробабилисты возлагают надежды на некий механизм, который мог бы, основываясь на опытных данных, немедленно определить ценность (степень подтверждения) теории; наивные фальсификационисты верили, что по крайней мере элиминация теории есть мгновенный результат вынесенного экспериментом приговора. (291) Я, надеюсь, показал, что все эти теории скороспелой рациональности - и мгновенного обучения - ложны. В этой главе на примерах показано, что рациональность работает гораздо медленнее, чем принято думать, и к тому же может заблуждаться. Сова Минервы вылетает лишь в полночь. Надеюсь также, что мне удалось показать следующее: непрерывность в науке, упорство в борьбе за выживание некоторых теорий, оправданность некоторого догматизма - все это можно объяснить только в том случае, если наука понимается как поле борьбы исследовательских программ, а не отдельных теорий. Немного можно понять в развитии науки, если держать за образец научного знания какую-либо изолированную теорию вроде "Все лебеди белые", которая живет сама по себе, не относясь к какой-либо большой исследовательской программе. Мой подход предполагает новый критерий демаркации между "зрелой наукой", состоящей из исследовательских программ, и "незрелой наукой", работающей по затасканному образцу проб и ошибок. (292) Например, мы имеем гипотезу, затем получаем ее опровержение и спасаем ее с помощью вспомогательной гипотезы, не являющейся ad hoc, в том смысле, о котором шла речь выше. Она может предсказывать новые факты, часть которых могут даже получить подкрепление. (293) Такой "прогресс" может быть достигнут и при помощи лоскутной, произвольной серии разрозненных теорий. Для хорошего ученого такой суррогат прогресса не является удовлетворительным;

может быть, он даже отвергнет его как не являющийся научным в подлинном смысле. Он назовет такие вспомогательные гипотезы просто "формальными", "произвольными", "эмпирическими", "полуэмпирическими" или даже "ad hoc". (294)

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

В этом требовании непрерывного роста заключена моя рациональная реконструкция широко распространенного требования "единства" или "красоты" науки. Оно позволяет увидеть слабость двух - по видимости весьма различных - видов теоретической работы. Во-первых, слабость программ, которые, подобно марксизму или фрейдизму, конечно являются "едиными", предлагают грандиозный план, по которому определенного типа вспомогательные теории изобретаются для того, чтобы поглощать аномалии, но которые в действительности всегда изобретают свои вспомогательные теории вослед одним фактам, не предвидя в то же время других . (Какие новые факты предсказал марксизм, скажем, начиная с 1917 г.?) Во-вторых, она бьет по приглаженным, не требующим воображения скучным сериям "эмпирических" подгонок, которые так часто встречаются, например, в современной социальной психологии. Такого рода подгонки способны с помощью так называемой "статистической техники" сделать возможными некоторые "новые" предсказания и даже наволхвовать несколько неожиданных крупиц истины. Но в таком теоретизировании нет никакой объединяющей идеи, никакой эвристической силы, никакой непрерывности. Из них нельзя составить исследовательскую программу, и в целом они бесполезны .

Мое понимание научной рациональности, хотя и основанное на концепции Поппера, все же отходит от некоторых его общих идей. До известной степени я присоединяюсь как к конвенционалистской позиции Леруа в отношении теорий, так и к конвенционализму Поппера по отношению к базисным предложениям. С этой точки зрения, ученые (и, как я показал, математики (297)) поступают совсем не иррационально, когда пытаются не замечать контрпримеры, или, как они предпочитают их называть, "непокорные" или "необъяснимые" примеры, и рассматривают проблемы в той последовательности, какую диктует положительная эвристика их программы, разрабатывают и применяют свои теории, не считаясь ни с чем. (298) Вопреки фальсификационистской морали Поппера, ученые нередко и вполне рационально утверждают, что "экспериментальные результаты ненадежны или что расхождения, которые, мол, существуют между данной теорией и экспериментальными результатами, лежат на поверхности явлений и исчезнут при дальнейшем развитии нашего познания". (299) И поступая так, они могут вовсе не идти "вразрез с той критической установкой, которая... должна характеризовать ученого". (300) Разумеется, Поппер прав, подчеркивая, что "догматическая позиция верности однажды принятой теории до последней возможности имеет важное значение. Без нее мы никогда не смогли бы разобраться в содержании теории - мы отказались бы от нее прежде, чем обнаружили всю ее силу; и как следствие ни одна теория не могла бы сыграть свою роль упорядочения мира, подготовки нас к будущим событиям или привлечения нашего внимания к вещам, которые мы иначе никогда не имели бы возможность наблюдать". (301) Таким образом, "догматизм" "нормальной науки" не мешает росту, если он сочетается с попперианским по духу различением хорошей, прогрессивной нормальной науки, и плохой, регрессивной нормальной науки; а также, если мы принимаем обязательство элиминировать - при определенных объективных условиях - некоторые исследовательские программы.