Объективное знание. Эволюционный подход - страница 9
(8) Результатом описанной процедуры может оказаться некоторое множество теорий, «конкурирующих» между собой в том смысле, что они предлагают решения хотя бы некоторых общих для них проблем, хотя каждая из них дает, кроме того, решения некоторых проблем, которых не дают другие теории. Ведь хотя мы требуем, чтобы новая теория давала решение и проблем, решенных ее предшественницей, и проблем, которые предыдущей теории не удалось решить, разумеется, всегда может случиться, что будут предложены две или более новые конкурирующие теории, каждая из которых удовлетворяет этим требованиям и вдобавок предлагает решения каких-то проблем, которых не решают остальные.
(9) В любой момент времени t теоретика особенно интересует нахождение наиболее поддающейся проверке из конкурирующих теорий, чтобы подвергнуть ее новым испытаниям. Я показал, что она в то же время будет отличаться и наибольшим информационным содержанием, и наибольшей объяснительной способностью. Эта теория будет больше других заслуживать проверки новыми испытаниями, короче говоря, это будет «лучшая» из конкурирующих теорий на момент времени t. Если она выдержит испытания, то она будет еще и лучше всего испытанной теорией из рассмотренных к этому моменту, включая всех ее предшественниц.
(10) Говоря о «лучшей» теории, я исхожу из предположения, что хорошая теория — это не теория ad hoc>{9}. Понятия «адхоковости» (ad-hocness) и ее противоположности, которую, может быть, можно назвать «смелостью» или «дерзостью» (boldness), очень важны. Объяснения ad hoc — это объяснения, которые невозможно проверить независимо, то есть независимо от объясняемого следствия. Они достаются даром и потому не представляют особого теоретического интереса. Я обсуждал вопрос о степенях независимости испытаний в разных моих работах сороковых и пятидесятых годов[20] — это интересная проблема, она связана с проблемами простоты и глубины теорий. Позже, в шестидесятые годы, я подчеркивал также[21] необходимость соотносить ее с проблемой объяснения, для решения которой мы строим данную теорию, и с проблемными ситуациями, которые мы при этом рассматриваем, потому что все эти понятия связаны со степенью «хорошести» конкурирующих теорий. Более того, степень дерзости теории зависит также от того, как она соотносится с предшествующими теориями.
На мой взгляд, интереснее всего здесь то, что мне удалось дать объективный критерий для высоких степеней дерзости или не-«адхоковости». Этот критерий состоит в том, что хотя новая теория должна объяснять то же самое, что объясняла и старая теория, она корректирует старую теорию, то есть она по сути дела противоречит старой теории: она включает в себя старую теорию, но только в качестве приближения. Так, я указывал на то, что теория Ньютона противоречит и теории Кеплера, и теории Галилея — хотя она объясняет их благодаря тому, что включает их в себя в качестве приближений. Аналогичным образом теория Эйнштейна противоречит теории Ньютона, которую она также объясняет и включает в себя в качестве приближения.
(11) Описанный мною метод можно назвать критическим методом. Это метод проб и исключения ошибок, он состоит в том, чтобы выдвигать теории и подвергать их самым строгим испытаниям, какие мы только сможем изобрести. Если в силу каких-либо ограничивающих предположений только конечное число конкурирующих теорий считаются возможными, этот метод может привести нас к определению единственной истинной теории путем исключения всех ее конкурентов. В обычных случаях, то есть во всех случаях, когда число возможных теорий бесконечно, этот метод не может помочь определить наверняка, какая из теорий истинна, как не может этого и никакой другой метод. Он остается применимым, хотя и не дает окончательного решения.
(12) Обогащение проблем посредством опровержения ложных теорий вместе с требованиями, сформулированными в пункте (3), приводят к тому, что предшественница каждой новой теории — с точки зрения этой новой теории — оказывается приближением к этой новой теории. Конечно, ничто не гарантирует, что для каждой опровергнутой теории мы сможем найти «лучшую» последующую теорию или лучшее приближение, для которого эти требования будут выполнены.