2) Но даже если бы такая естественная демаркация существовала, вторая посылка догматического фальсификационизма была бы ниспровергнута логикой. Дело в том, что значения истинности предложений “наблюдения” не могут быть однозначно определены: никакое фактуальное предложение не может быть доказательно обосновано экспериментом. Можно только выводить одни предложения из других, но нельзя их вывести из фактов; попытаться доказывать предложения, ссылаясь на показания чувств, все равно, что доказывать свою правоту, “стуча кулаком по столу”.[15] Это элементарная логическая истина, но даже сегодня она усвоена совсем немногими.[16]

Если фактуальные предложения недоказуемы, то они могут быть ошибочными. Но если они могут быть ошибочными, то конфликт между теориями и фактуальными предложениями не обязательно означает “фальсификацию”, это может быть просто несогласованность. Быть может, воображение играет более важную роль при формулировании теорий, чем “фактуальных предложений”[17], но ошибочными могут быть и те, и другие. Следовательно, мы не можем не только доказательно обосновывать теории, но и опровергнуть их.[18] Никакой демаркации между рыхлыми, недоказуемыми “теориями” и жесткими, доказательно обоснованными предложениями “эмпирического базиса” не существует: все научные предложения являются теоретическими и, увы, погрешимыми.[19]

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

Чтобы убедиться в этом, рассмотрим одну поучительную историю, прежде чем перейти к общим выводам.

Это история о том, как неправильно вели себя планеты. Некий физик до-эйнштейновской эпохи, пользуясь ньютоновской механикой и законом всемирного тяготения (N) при некоторых данных условиях (I), вычисляет траекторию только что открытой малой планеты Р. Но планета не желает двигаться по вычисленному пути, ее траектория отклоняется. Что делает наш физик? Может быть, он заключает, что, поскольку такое отклонение не предусмотрено теорией Ньютона, а с упрямым фактом ничего поделать нельзя, то, стало быть, теория N опровергнута? Ничуть не бывало.

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

Но планета Р' слишком мала, ее не удается разглядеть даже в самые мощные из существующих телескопов. Тогда астроном-наблюдатель требует построить более мощный телескоп, без которого успешное наблюдение невозможно.[20]

Через три года новый телескоп готов. Если бы ранее не известная планета Р' была бы открыта, ученые на весь мир раструбили бы о новом триумфе ньютонианской теории. Но ничего подобного не произошло.

Что же наш физик? Отверг ли он ньютоновскую теорию вместе со своей гипотезой о причине отклонения планеты от вычисленной траектории? Отнюдь! Вместо этого он уверяет, что планета Р' скрыта от нас облаком космической пыли. Он вычисляет координаты и параметры этого облака и просит денег на постройку искусственного спутника Земли, наблюдениями с которого можно было бы проверить его вычисления. Предположим, что установленные на спутнике приборы (возможно, самые новейшие, основанные на еще мало проверенной теории) зарегистрировали бы существование гипотетического облака. Разумеется, это было бы величайшим достижением ньютоновской науки. Но облако не найдено.

Отбросил ли теперь наш ученый теорию Ньютона вместе со своими гипотезами о планете-возмутительнице и облаке, превращающем ее в планету-невидимку? Ничего подобного.

Теперь он уверяет, что существует некое магнитное поле в этом районе вселенной, из-за которого приборы спутника не могут обнаружить пылевое облако. И вот построен новый спутник с другими приборами. Если бы теперь магнитное поле было обнаружено, ньютонианцы праздновали бы головокружительную победу. И снова ― увы!

Может быть, теперь уже можно считать ньютоновскую теорию опровергнутой? Как бы не так. Тотчас выдвигается новая еще более остроумная гипотеза, объясняющая очередную неудачу, либо..

Либо вся эта история погребается в пыльных томах периодики и уже больше никем не вспоминается.[21]

Эта история ясно показывает, что даже самые респектабельные научные теории вроде ньютоновской динамики и теории гравитации могут терпеть неудачу, запрещая какие-либо наблюдаемые положения вещей.[22]

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

Можно по-другому сказать, что в структуру научных теорий входит, как правило, ограничение ceteris paribus [при прочих равных условиях (лат ). ― Перев.][23]; в таких случаях теория может быть опровергнута только вместе с этим ограничением. Но если взять теорию без этого ограничения, она уже не может быть опровергнута, так как заменяя ceteris paribus, можно получить уже иную теорию и, следовательно, никакие проверки не могут считаться решающими.

А это значит, что “безжалостная” стратегия опровержения, которой следует догматический фальсификационизм, в этих случаях проваливается, даже если бы мы допустили существование абсолютно непоколебимого эмпирического базиса, как пусковой площадки для разрушительных залпов modus tollens, ведь цель, по которой велся бы огонь, оказывается совершенно неуязвимой.[24] И когда такими целями оказываются наиболее значительные, “зрелые” теории, знаменующие собой целые этапы в истории науки, они prima facie приобретают репутацию “неопровержимых”. Но более того, по критериям догматического фальсификационизма под эту категорию подпадают и все вероятностные (probabilistic) теории, ибо никакая конечная подборка фактов не может опровергнуть универсальную вероятностную теорию[25], такие теории, как и теории с ограничением ceteris paribus, не имеют эмпирического базиса. Но тогда догматический фальсификационист, в соответствии со своими правилами, должен отнести даже самые значительные научные теории к метафизике, где нет места рациональной дискуссии ― если исходить из критериев рациональности, сводящихся к доказательствам и опровержениям, ― поскольку метафизические теории не являются ни доказуемыми, ни опровержимыми. Таким образом, критерий демаркации догматического фальсификациониста оказывается в высшей степени антитеоретическим.