Предположения и опровержения. Рост научного знания

Все это ясно указывает на то, что наше третье требование не является необходимым: даже та теория, которая ему не удовлетворяет, может внести важный вклад в науку. И все-таки я думаю, что в некотором ином смысле это требование не менее необходимо. (Бор, Крамере и Слэтер справедливо хотели большего, чем просто внести важный вклад в науку.)

Прежде всего, я полагаю, что дальнейший прогресс науки стал бы невозможным, если бы мы достаточно часто не стремились выполнить это требование; поэтому если прогресс науки является непрерывным, и ее рациональность не уменьшается, то нам нужны не только успешные опровержения, но также и позитивные успехи. Это означает, что мы должны достаточно часто создавать теории, из которых вытекают новые предсказания, в частности, предсказания новых результатов, и новые проверяемые следствия, о которых никогда не думали раньше²⁸. Таким новым предсказанием было, например, предсказание того, что при определенных условиях движение планет должно отклоняться от законов Кеплера или что свет, несмотря на свою нулевую массу, оказывается подвержен гравитационному притяжению (эйнштейновское отклонение при затмении). Другим примером является предсказание Дирака, что для каждой элементарной частицы должна существовать

406

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

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

XX

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

407

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

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

Таким образом, наше третье требование, подобно второму, нужно для того, чтобы устранить тривиальные теории и теории ad hoc¹⁹. Однако оно необходимо и по более серьезным причинам.