XX

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

407

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

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

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

Я думаю, мы вправе ожидать и надеяться на то, что даже самые лучшие наши теории будут со временем превзойдены и заменены еще лучшими теориями (хотя в то же время мы мо-

408

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

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

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

409

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