В хорошо известном учебнике по философии физики мы узнаем, что (1) "закону (или принципу) сохранения энергии был брошен серьезный вызов экспериментами по b -распаду, результаты которых были неоспоримы"; (2) "тем не менее, закон не был отброшен, и было допущено существование новых частиц ("нейтрино"), чтобы привести этот закон в соответствие с экспериментальными данными"; (3) "основанием для этого допущения было то, что отрицание закона сохранения лишило бы значительную часть нашего физического знания его систематической связности" [271]- [[[289]]]
Все три пункта - ошибочны. Первый ошибочен, ибо никакой закон не может быть поставлен под сомнение из-за одного только эксперимента. Второй - ибо новые научные гипотезы нужны не для того только, чтобы заделывать трещины между данными и теорией, но для того, чтобы предсказывать новые факты. Третий ошибочен потому, что все было наоборот: тогда казалось, что только отрицание закона сохранения спасло бы "систематическую связность" нашего физического знания.
(г4) Заключение. Требование непрерывного роста
Нет ничего такого, что можно было бы. назвать решающими экспериментами, по крайней мере, если понимать под ними такие эксперименты, которые способны немедленно опрокидывать исследовательскую программу. На самом деле, когда одна исследовательская программа терпит поражение и ее вытесняет другая, можно - внимательно вглядевшись в прошлое - назвать эксперимент решающим, если удается увидеть в нем эффектный подтверждающий пример в пользу победившей программы и очевидное доказательство провала той программы, которая уже побеждена (придав этому тот смысл, что данный пример ни когда не мог быть "прогрессивно объяснен" или просто "объяснен" в рамках побежденной программы ) . Но ученые, конечно, не всегда правильно оценивают эвристические ситуации. Сгоряча ученый может утверждать, что его эксперимент разгромил программу, а часть научного сообщества - тоже сгоряча - может согласиться с его утверждением. Но если ученый из "побежденного" лагеря несколько лет спустя предлагает научное объяснение якобы "решающего эксперимента" в рамках якобы разгромленной программы (или в соответствии с ней), почетный титул может быть снят и "решающий эксперимент" может превратиться из поражения программы в ее новую победу.
Примеров сколько угодно. В XVIII веке проводилось множество экспериментов, которые, как свидетельствуют данные историко-социологического анализа, воспринимались очень многими как "решающие" свидетельства против галилеевского закона свободного падения и ньютоновской теории тяготения. В XIX столетии было несколько "решающих" экспериментов, основанных на измерениях скорости света, которые "опровергали" корпускулярную теорию и затем оказались ошибочными в свете теории относительности . Эти "решающие" эксперименты были потом вычеркнуты из джастификационистских учебников как примеры постыдной близорукости или претензиозной зависти. (Недавно они снова появились в некоторых новых учебниках, на этот раз с тем, чтобы иллюстрировать неизбежную иррациональность научных стилей). Однако, в тех случаях, когда мнимые "решающие эксперименты" производились на самом деле гораздо позднее того, как были разгромлены программы, историки обвиняли тех, кто сопротивлялся им, в глупости, подозрительности или недопустимом подхалимстве по отношению к тем, кому эти программы были обязаны своим рождением. (Вошедшие ныне в моду "социологи познания" - или "психологи познания" - хотели бы объяснить подобные положения исключительно в социальных или психологических терминах, тогда, как они, как правило, объясняются принципами рациональности. Типичный пример - объяснение оппозиции Эйнштейна к принципу дополнительности Бора тем, что "в 1926 г. Эйнштейну было сорок семь лет. Этот возраст может быть расцветом жизни, но не для физика". [272])*
Учитывая сказанное ранее, идея скороспелой рациональности выглядит утопической. Но эта идея является отличительным признаком большинства направлений в эпистемологии. Джастификационистам хотелось бы, чтобы научные теории были доказательно обоснованы еще прежде, чем они публикуются; пробабилисты возлагают надежды на некий механизм, который мог бы, основываясь на опытных данных, немедленно определить ценность (степень подтверждения) теории; наивные фальсификационисты верили, что по крайней мере элиминация теории есть мгновенный результат вынесенного экспериментом приговора. [273] Я, надеюсь, показал, что все эти теории скороспелой рациональности - и мгновенного обучения - ложны. В этой главе на примерах показано, что рациональность работает гораздо медленнее, чем принято думать, и к тому же может заблуждаться. Сова Минервы вылетает лишь в полночь. Надеюсь также, что мне удалось показать следующее: непрерывность в науке, упорство в борьбе за выживание некоторых теорий, оправданность некоторого догматизма - все это можно объяснить только в том случае, если наука понимается как поле борьбы исследовательских программ, а не отдельных теорий. Немного можно понять в развитии науки, если держать за образец научного знания какую-либо изолированную теорию вроде "Все лебеди белые", которая живет сама по себе, не относясь к какой-либо большой исследовательской программе. Мой подход предполагает новый критерий демаркации между "зрелой наукой", состоящей из исследовательских программ, и "незрелой наукой", работающей по затасканному образцу проб и ошибок. [274] Например, мы имеем гипотезу, затем получаем ее опровержение и спасаем ее с помощью вспомогательной гипотезы, не являющейся ad hoc, в том смысле, о котором шла речь выше. Она может предсказывать новые факты, часть которых могут даже получить подкрепление. [275] Такой "прогресс" может быть достигнут и при помощи лоскутной, произвольной серии разрозненных теорий. Для хорошего ученого такой суррогат прогресса не является удовлетворительным; может быть, он даже отвергнет его как не являющийся научным в подлинном смысле. Он назовет такие вспомогательные гипотезы просто "формальными", "произвольными", "эмпирическими", "полуэмпирическими" или даже "ad hoc". [276]
272
[II]. Р. 129. Чтобы оценить какие элементы соперничающих проблемных сдвигов прогрессивны и какие регрессивны, нужно понимать те идеи, которые в них фигурируют. Но социология познания часто служит удобной ширмой, за которой скрывается невежество: большинство социологов познания не понимают, и даже не хотят понимать эти идеи; они наблюдают социо-психологнческие образцы поведения. Поппер часто рассказывал об одном "социальном психологе", д-ре X, который изучал поведение группы ученых. Он пришел на семинар физиков, чтобы заниматься исследованиями по психологии науки. Он наблюдал "возникновение лидера", "создание кругового эффекта" в одних случаях и "защитную реакцию" в других, корреляции между возрастом, полом и агрессивностью поведения и т. п. (Д-р Х заявлял, что владеет утонченной техникой современной статистики, применяемой при изучении небольших групп.) В конце его увлеченного повествования Поппер спросил: "А какая .проблема обсуждалась в исследуемой Вами группе?" Д-р Х был изумлен таким вопросом: "О чем Вы спрашиваете? Я не прислушивался к тому, о чем они говорили! И какое это имеет значение для психологии познанвя?"
273
Разумеется, наивные фальсификационисты все же отпускают какое-то время на "приговор эксперимента": ведь эксперимент должен повторяться и критически анализироваться. Но как только дискуссия приходит к завершению, и эксперты надодят общий язык, и "базисные предложения" считаются принятыми, и решено, какая специальная теория попадает под их удар наивный фальсификационист больше не испытывает сострадания к тем, кто продолжает "увиливать".
274
Разработка этого критерия демаркации в двух последующих параграфах была улучшена уже тогда, когда рукопись находилась в печати, благодаря исключительно ценным замечаниям. полученным мною в беседе с П. Милем в Миннеаполисе в 1969 г.
275
Ранее [931 я различал, следуя Попперу, два критерия подгонки". Я называл ad hoc1, теории, которые не имеют избыточного содержания по сравнению со своими предшественницами (или соперницами), т. е. не предсказывали никаких новых фактов; я называл ad hoc2 теории, которые предсказывали новые факты, но при этом полностью заблуждались: ни одно из таких предсказаний не получало подкрепления.
276
Формула излучения Планка (как она приведена в [146]) является хорошим примером. Такие гипотезы, которые не являются ни ad hoc1, ни ad hoc2, но все же неудовлетворительны ? смысле, обозначенном здесь, можно назвать гипотезами ad hoc3". Эти три (все с уничижительным оттенком) смысл ad hoc могут быть с успехом помещены в "Оксфордский словарь английского языка". Интересно отметить, что термины "эмпирическая" и "формальная" одинаково синонимичны ad hoс3. Миль в своей блестящей работе [119] отмечает. что в современной психологии - особенно в социальной психологии - многие якобы "исследовательские программы" состоят из череды таких уловок ad Ьосз.