Дэвид Дойч - Структура реальности. Наука параллельных вселенных

Криптоиндуктивист: Очень интересно. Теперь я понимаю роль, которую играют опровергнутые конкуренты теории при обосновании ее предсказаний. В рамках индуктивизма первостепенная важность принадлежала наблюдению. Человек представлял массу прошлых наблюдений, из которых предполагалось путем индуктивного рассуждения вывести теорию, и эти же наблюдения поставляли данные, которые каким-то образом обосновывали теорию. В картине научного прогресса по Попперу первостепенная важность принадлежит не наблюдениям, а проблемам, полемике, теориям и критике. Эксперименты придумывают и проводят только для разрешения споров. Следовательно, только те экспериментальные результаты, которые фактически опровергают теорию – и не просто любую теорию, а теорию, которая должна быть истинным претендентом на победу в рациональной полемике, – составляют «подтверждение». И только эти эксперименты становятся свидетельством надежности победившей теории.

Дэвид: Правильно. Но даже тогда «надежность», которую обеспечивает подтверждение, не абсолютна, а лишь относительна по сравнению с конкурирующими теориями. То есть мы ожидаем, что, полагаясь на подтвержденные теории, мы отберем лучшие из предложенных. Это достаточная основа для действия. Нам не нужна (да и нельзя корректным образом ее получить) уверенность в том, насколько хорошим будет предложенный порядок действий. Более того, мы всегда можем ошибаться, ну и что? Мы не можем использовать теории, которые еще не выдвинуты, и не можем исправить те ошибки, которые еще не видим.

Криптоиндуктивист: Вполне согласен. Я рад, что узнал кое-что о научной методологии. Но теперь (надеюсь, вы не сочтете меня невежливым) я должен еще раз обратить ваше внимание на вопрос, который я все время задаю. Допустим, что некая теория прошла весь этот процесс. Когда-то у нее были конкуренты. Затем провели эксперименты и опровергли всех ее конкурентов. Но ее не опровергли. Таким образом, она подтвердилась. Что же такого в том, что она подтверждена, что обосновывает нашу готовность полагаться на нее в будущем ?

Дэвид: Поскольку всех ее конкурентов опровергли, они уже не являются рационально состоятельными. Подтвержденная теория – это единственная рационально состоятельная теория.

Криптоиндуктивист: Но ведь это просто переключает внимание с будущей значимости прошлого подтверждения на будущую значимость прошлого опровержения. Остается та же самая проблема. Почему конкретно экспериментально опровергнутая теория «не является рационально состоятельной»? Неужели всего лишь одно ложное следствие означает, что вся теория не может быть истинной?

Дэвид: Да.

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

Дэвид: Эти термины – «истинная в прошлом» и «истинная в будущем» – вводят в заблуждение. Каждое конкретное предсказание теории либо истинно, либо ложно – это неизменно. В действительности вы имеете в виду, что, хотя опровергнутая теория строго ложна, так как она дает некоторые ложные предсказания, тем не менее все ее предсказания относительно будущего могут оказаться истинными. Иными словами, другая теория, которая делает те же самые предсказания относительно будущего, но другие предсказания относительно прошлого, может быть истинной.

Криптоиндуктивист: Пусть так. Тогда вместо того, чтобы спрашивать, почему опровергнутая теория не является рационально состоятельной, мне, строго говоря, следует спросить так: почему опровержение теории также переводит в разряд несостоятельных все варианты этой теории, которые согласуются с ней в отношении будущего, – даже те варианты, которые не были опровергнуты?

Дэвид: Не опровержение переводит такие теории в разряд несостоятельных. Просто иногда они уже несостоятельны, например потому, что являются плохими объяснениями. И именно в таких ситуациях возможен научный прогресс. Чтобы теория победила в споре, все ее конкуренты должны быть несостоятельными; это касается и всех вариантов конкурирующих теорий, которые только были придуманы. Но не забывайте: несостоятельными должны быть только те конкурирующие теории, которые уже придумали. Например, в случае с гравитацией никто никогда не предлагал состоятельной теории, которая согласовывалась бы с общепринятой во всех ее проверенных предсказаниях, но отличалась бы своими предсказаниями относительно будущих экспериментов. Я уверен, что такие теории возможны, и теория, которая последует за общепринятой сейчас, по-видимому, будет одной из них. Но если никто еще не придумал такую теорию, как можно действовать в соответствии с ней?

Криптоиндуктивист: Что вы имеете в виду, говоря, что «никто еще не придумал такую теорию»? Я прямо сейчас могу ее придумать.

Дэвид: Я очень сильно в этом сомневаюсь.

Криптоиндуктивист: Конечно, могу. Вот она: «Когда бы вы, Дэвид Дойч, не спрыгнули с большой высоты таким способом, что в соответствии с общепринятой теорией вы должны погибнуть, вы не погибнете, вы будете парить в воздухе. За исключением этого положения, общепринятая теория сохраняет универсальность». Я говорю вам, что каждая прошлая проверка вашей теории с необходимостью была и проверкой моей, поскольку все предсказания как вашей, так и моей теории относительно прошлых экспериментов идентичны. Следовательно, опровергнутые конкуренты вашей теории являются и опровергнутыми конкурентами моей теории. И, следовательно, моя новая теория подтверждена точно так же, как и ваша общепринятая. Почему моя теория может быть «несостоятельной»? Какие у нее могут быть недостатки, которых нет у вашей теории?

Дэвид: Да практически все недостатки, какие только описаны в книге Поппера! Ваша теория создана из общепринятой путем прибавления необъясненной модификации, что я буду парить в воздухе. Эта модификация в действительности является новой теорией, но вы не привели ни одного аргумента ни в противовес общепринятой теории моих гравитационных свойств, ни в пользу новой теории. Вы не подвергали свою новую теорию ни критике (помимо той, которую я провожу сейчас), ни экспериментальной проверке. Она не решает – и даже не претендует на решение – хоть какой-то текущей проблемы, и вы не предлагаете никакой новой интересной проблемы, которую она могла бы решить. И хуже всего то, что ваша модификация ничего не объясняет, но портит объяснение гравитации, лежащее в основе общепринятой теории. Именно это объяснение обосновывает то, что мы полагаемся на общепринятую теорию, а не на вашу. Таким образом, по всем рациональным критериям, вместе взятым, предложенную вами модификацию можно отвергнуть.