До тех пор пока Поппер твердо стоял на фальсификационистской позиции и видел в движении познания лишь простое изменение, но не прогресс, он мог довольствоваться формально-логическими понятиями истины и лжи даже при анализе развития науки. Вся теория разделяется на два класса — те, ложность которых уже обнаружена, и те, которые еще считаются истинными. Как только ложность теории обнаружена, она отбрасывается и заменяется новой. В этом состоит "научное изменение". Все теории в равной степени являются заблуждениями предшествующих поколений и нет преимущества в замене, например, физики Аристотеля физикой Галилея. Фальсификационизм мог признать и описать "научное изменение" как постоянное обнаружение и отбрасывание лжи, но он не видел прогресса в этом "изменении".
Когда же Поппер попытался выразить в своей методологии идею прогресса, формально-логических понятий истины и лжи оказалось недостаточно, поэтому он ввел понятие правдоподобия как степени приближения к истине. Теперь его методологическая концепция приблизилась к реальной истории науки и он смог утверждать в соответствии с мнением ученых, что переход от физики Аристотеля к физике Галилея был не просто переходом от одной ложной теории к другой, столь же ложной, а переходом от менее истинной теории к более истинной. Отсюда вытекает важный философский вывод: если методологическая концепция обращается к анализу развития знания и видит в этом развитии прогресс, то наряду с формально-логическими понятиями истины и лжи она должна включать в себя и понятие приближения к истине, которое играет здесь главную роль. Поппер понял это, подчеркнув, что понятие правдоподобия является "более применимым и, следовательно, более важным для анализа научных методов, чем само понятие истины" 30. Большая часть критиков Поппера увлеклась рассмотрением технических некорректностей его определения и, кажется, не оценила в полной мере глубокого философского значения его понятия правдоподобия.
II. 9. УСЛОВИЯ РОСТА ЗНАНИЯ
Для того чтобы сохранить эмпирический характер и не превратиться в метафизическую догму, наука необходимо должна развиваться. В ней постоянно должны происходить выдвижение новых теорий, их проверка и опровержение. Если же этот процесс приостанавливается и некоторые теории господствуют в течение длительного времени, то они превращаются в неопровержимые метафизические системы. "Я утверждаю, что непрерывный рост является существенным для рационального и эмпирического характера научного познания и, если наука перестает расти, она теряет этот характер. Именно способ роста делает науку рациональной и эмпирической, т. е. тот способ, с помощью которого ученые проводят различия между существующими теориями и выбирают лучшую из них или (если нет удовлетворительной теории) выдвигают основания для отвержения всех имеющихся теорий, формулируя те условия, которые должна выполнять удовлетворительная теория"31.
Какие же требования должна выполнять научная теория, чтобы считаться удовлетворительной?
Перед учеными стоит проблема: найти новую теорию, способную объяснить определенные экспериментальные факты — факты, которые успешно объяснялись прежними теориями; факты, которых прежние теории не смогли бы объяснить; факты, с помощью которых эти прежние теории были фальсифицированы. Новая теория должна также устранить некоторые теоретические трудности: как освободиться от ad hoc гипотез, как объединить в одно целое ранее несвязанные гипотезы и т. п. Если ученому удается создать теорию, разрешающую все эти трудности, то тем самым он уже сделает значительный вклад в развитие познания. Однако, по мнению Поппера, недостаточно, чтобы новая теория объясняла известные факты и решала известные теоретические трудности. Для того чтобы ее можно было считать новым приближением к истине, она должна удовлетворять еще некоторым требованиям.
Первое: новая теория должна исходить из какой-либо простой, новой, плодотворной и цельной идеи относительно некоторых связей или
30Поппер К. Р. Предположения и опровержения. Указ. соч., с. 355. г Там же, с. 325.
отношений (например, идеи гравитационного притяжения) между до сих пор несвязанными вещами (такими, как планеты и яблоки), или фактами (такими, как инерционная и гравитационная масса), или новыми "теоретическими сущностями" (такими, как поля и частицы). — Это требование простоты.
Второе: новая теория должна быть независимо проверяема. Это означает, что наряду с объяснением известных фактов новая теория должна иметь новые и проверяемые следствия (предпочтительно следствия нового рода), вести к предсказанию новых явлений. Это требование необходимо, так как без него новая теория может быть теорией ad hoc, ибо всегда можно создать теорию, которая будет соответствовать любому данному множеству фактов, требующих объяснения.
Если выполнено второе требование, то новая теория будет представлять собой потенциальный шаг вперед в развитии познания, каков бы ни был исход новых проверок. Новая теория, удовлетворяющая второму требованию, будет лучше проверяема, чем предшествующая ей теория, так как она не только объясняет все факты предыдущей теории, но и предсказывает новые, которые ведут к новым проверкам. Кроме того, выполнение второго требования обеспечивает большую плодотворность новой теории. Она приводит нас к постановке новых экспериментов и, даже если их результаты сразу опровергнут новую теорию, наше знание будет тем не менее возрастать, так как результаты новых экспериментов, опровергнувшие предложенную теорию, поставят перед нами новые проблемы, решение которых потребует создания новых теорий. Таким образом, если новая теория удовлетворяет второму требованию, то она уже является определенным шагом вперед в росте и развитии нашего знания. Первые два требования ограничивают область поисков новой теории, отбрасывая тривиальные и неинтересные решения стоящей перед нами проблемы.
Третье: "... мы требуем, чтобы теория выдержала некоторые новые и строгие проверки" 32.
Ясно, что это последнее требование резко отличается от двух первых. Выполнение первых двух требований можно установить посредством логического анализа старой и новой теории, и в этом смысле они являются "формальными" требованиями. Что же касается третьего требования, то его выполнение можно установить только с помощью эмпирической проверки новой теории, и в этом смысле оно является "материальным" требованием. Выполнение первых двух требований необходимо для того, чтобы новую теорию можно было вообще рассматривать всерьез и ставить вопрос о ее эмпирической проверке. Многие новые теории, весьма многообещающие и интересные, были опро-
32Поппер К. Р. Предположения и опровержения. Указ. соч., с. 366.
вергнуты при первой же попытке. Примером может служить теория Бора, Крамерса и Слэйтера (1924 г.), которая по своей интеллектуальной ценности, как считает Поппер, была почти равна квантовой теории Бора (1913 г.). Однако она сразу же была опровергнута фактами. Даже теория Ньютона в конце концов была опровергнута, и можно быть уверенным в том, что то же самое произойдет и с каждой новой теорией. Опровержение же теории через шесть месяцев, а не через шесть лет или шесть столетий, является, по мнению Поппера, не более чем исторической случайностью.
Опровержение теории часто рассматривается как неудача ученого или, по крайней мере, созданной им теории. Поппер подчеркивает, что )to — индуктивистской предрассудок. Каждое опровержение следует считать большим успехом не только ученого, который опроверг теорию, но и того ученого, который создал эту теорию и предложил тем самым опровергающий эксперимент. Даже если новая теория существовала недолго (как упомянутая теория Бора, Крамерса и Слэйтера), она не может быть забыта; она оставила после себя новые экспериментальные факты, новые проблемы и благодаря этому послужила прогрессу науки. Все это говорит о том, что третье требование не является необходимым в обычном смысле слова: даже та теория, которая не удовлетворяет этому требованию, может внести важный вклад в науку. Поэтому это требование необходимо в другом смысле.
Дальнейший прогресс в науке становится невозможным, полагает Поппер, если не выполняется третье требование. Новые теории предсказывают новые эффекты, выдвигают новые проверяемые следствия (например, теория Ньютона предсказала отклонения движения планет от законов Кеплера, обусловленные взаимным притяжением планет). Новые предсказания такого рода должны достаточно часто подтверждаться, для того чтобы прогресс науки был непрерывным: "... чрезвычайно существенно, что великие теории стремятся к новым завоеваниям неизвестного, к новым успехам в предсказании того, о чем никогда не думали ранее. Нам нужны такие успехи, как успех Дирака, античастицы которого пережили отказ от некоторых других аспектов его теории, или успех теории мезона Юкавы. Нам нужен успех, эмпирическое подтверждение некоторых наших теорий хотя бы для того, чтобы оценить важность успешных и плодотворных опровержений (подобных опровержению четности). Мне представляется совершенно очевидным, что только благодаря этим временным успехам наших теорий мы можем достаточно разумно приписывать нашим опровержениям определенное теоретическое значение... Сплошная последовательность опровергнутых теорий вскоре привела бы нас в тупик: мы потеряли бы ключ к решению вопроса о том, какие элементы этих теорий — или нашей основы познания — отвечают за их провал" 33.
Наука остановилась бы в своем развитии и потеряла эмпирический характер, если бы научные теории не опровергались. По аналогичным причинам, считает Поппер, прогресс науки должен был бы остановиться, если бы новые предсказания не верифицировались. Допустим, нам удалось создать последовательность теорий, каждая из которых объясняет все факты в своей области, включая факты, опровергавшие предшествующие теории. Каждая из теорий этой последовательности независимо проверяема, однако сразу же опровергается при первой проверке ее новых предсказаний. Таким образом, теории такой последовательности выполняют первые два требования, но не выполняют третьего.