Объективное знание. Эволюционный подход - [7]

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

Пункты (1)-(5) можно подытожить следующим образом:

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

(6) Новая теория, как и все неопровергнутые теории, может оказаться ложной. Поэтому теоретик изо всех сил старается обнаружить ложные теории среди множества неопровергнутых конкурентов; он пытается «подловить» их. Иначе говоря, он стремится по отношению к каждой данной неопровергнутой теории придумать случаи или ситуации, при которых, если она ложна, ее ложность могла бы проявиться. Таким образом, он будет пытаться спланировать строгие испытания и решающие проверочные ситуации. По сути это означает построение фальсифицирующего закона, то есть закона, уровень универсальности которого может быть настолько низок, что он будет не в состоянии объяснить успехи теории, подлежащей проверке, но который, тем не менее, может подсказать решающий эксперимент — эксперимент, который может опровергнуть, в зависимости от его исхода, либо теорию, подвергающуюся проверке, либо фальсифицирующую ее теорию.

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

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

(8) Результатом описанной процедуры может оказаться некоторое множество теорий, «конкурирующих» между собой в том смысле, что они предлагают решения хотя бы некоторых общих для них проблем, хотя каждая из них дает, кроме того, решения некоторых проблем, которых не дают другие теории. Ведь хотя мы требуем, чтобы новая теория давала решение и проблем, решенных ее предшественницей, и проблем, которые предыдущей теории не удалось решить, разумеется, всегда может случиться, что будут предложены две или более новые конкурирующие теории, каждая из которых удовлетворяет этим требованиям и вдобавок предлагает решения каких-то проблем, которых не решают остальные.

(9) В любой момент времени t теоретика особенно интересует нахождение наиболее поддающейся проверке из конкурирующих теорий, чтобы подвергнуть ее новым испытаниям. Я показал, что она в то же время будет отличаться и наибольшим информационным содержанием, и наибольшей объяснительной способностью. Эта теория будет больше других заслуживать проверки новыми испытаниями, короче говоря, это будет «лучшая» из конкурирующих теорий на момент времени t. Если она выдержит испытания, то она будет еще и лучше всего испытанной теорией из рассмотренных к этому моменту, включая всех ее предшественниц.

(10) Говоря о «лучшей» теории, я исхожу из предположения, что хорошая теория — это не теория ad hoc^{9}. Понятия «адхоковости» (ad-hocness) и ее противоположности, которую, может быть, можно назвать «смелостью» или «дерзостью» (boldness), очень важны. Объяснения ad hoc — это объяснения, которые невозможно проверить независимо, то есть независимо от объясняемого следствия. Они достаются даром и потому не представляют особого теоретического интереса. Я обсуждал вопрос о степенях независимости испытаний в разных моих работах сороковых и пятидесятых годов[20] — это интересная проблема, она связана с проблемами простоты и глубины теорий. Позже, в шестидесятые годы, я подчеркивал также[21] необходимость соотносить ее с проблемой объяснения, для решения которой мы строим данную теорию, и с проблемными ситуациями, которые мы при этом рассматриваем, потому что все эти понятия связаны со степенью «хорошести» конкурирующих теорий. Более того, степень дерзости теории зависит также от того, как она соотносится с предшествующими теориями.

На мой взгляд, интереснее всего здесь то, что мне удалось дать объективный критерий для высоких степеней дерзости или не-«адхоковости». Этот критерий состоит в том, что хотя новая теория должна объяснять то же самое, что объясняла и старая теория, она корректирует старую теорию, то есть она по сути дела противоречит старой теории: она включает в себя старую теорию, но только в качестве приближения. Так, я указывал на то, что теория Ньютона противоречит и теории Кеплера, и теории Галилея — хотя она объясняет их благодаря тому, что включает их в себя в качестве приближений. Аналогичным образом теория Эйнштейна противоречит теории Ньютона, которую она также объясняет и включает в себя в качестве приближения.