Структура реальности
Шрифт:
Дэвид: Я рад, что по вашей просьбе я внимательно слушал, поскольку сейчас я понимаю, что, по крайней мере частично, наши разногласия вызваны недоразумением относительно терминологии. Когда Поппер говорит о «теориях-конкурентах» данной теории, он подразумевает не набор всех логически возможных конкурентов: он имеет в виду только фактических конкурентов, предложенных во время рациональной полемики. (Сюда входят и теории, «предложенные» и обдуманные про себя одним человеком во время «полемики», проходящей в его разуме.)
Криптоиндуктивист: Понятно. Ладно, я принимаю вашу терминологию. Но в этой связи (не думаю, что это имеет значение для наших настоящих целей, мне просто любопытно) разве не странное утверждение вы приписываете Попперу о том, что надежность теории
Дэвид: Не совсем так. Даже вы, индуктивисты, говорите о…
Криптоиндуктивист: Я не индуктивист!
Дэвид: Нет, индуктивист.
Криптоиндуктивист: Кхм! Я повторяю, что приму вашу терминологию, если вы настаиваете. Но вы можете точно так же назвать меня дикобразом. Называть «индуктивистом» человека, который всего лишь полагает, что необоснованность индуктивного рассуждения ставит перед нами нерешенную философскую проблему, – настоящее извращение.
Дэвид: Я так не считаю. Я думаю, что ваш тезис – это как раз то, что определяет и всегда определяло индуктивиста. Но я вижу, что по крайней мере одного Поппер достиг: слово «индуктивист» стало оскорбительным! В любом случае, я объяснял, почему не так уж странно, что надежность теории зависит от того, какие ложные теории были предложены в прошлом. Даже индуктивисты говорят о надежности или ненадежности теории при наличии определенных «данных». Ну а попперовцы могли говорить о наилучшей теории, доступной для использования на практике, при наличии определенной проблемной ситуации. А самые важные черты проблемной ситуации – это: какие теории и объяснения конкурируют; какие аргументы выдвинуты; какие теории опровергнуты. «Подтверждение» – это не просто принятие победившей теории. Оно требует экспериментального опровержения конкурирующих теорий. Подтверждающие примеры сами по себе не имеют никакого значения.
Криптоиндуктивист: Очень интересно. Теперь я понимаю роль, которую играют опровергнутые конкуренты теории при обосновании ее предсказаний. В рамках индуктивизма первостепенная важность принадлежала наблюдению. Человек представлял массу прошлых наблюдений, из которых предполагалось путем индуктивного рассуждения вывести теорию, и эти же наблюдения поставляли данные, которые каким-то образом обосновывали теорию. В картине научного прогресса по Попперу первостепенная важность принадлежит не наблюдениям, а проблемам, полемике, теориям и критике. Эксперименты придумывают и проводят только для разрешения споров. Следовательно, только те экспериментальные результаты, которые фактически опровергают теорию – и не просто любую теорию, а теорию, которая должна быть истинным претендентом на победу в рациональной полемике, – составляют «подтверждение». И только эти эксперименты становятся свидетельством надежности победившей теории.
Дэвид: Правильно. Но даже тогда «надежность», которую обеспечивает подтверждение, не абсолютна, а лишь относительна по сравнению с конкурирующими теориями. То есть мы ожидаем, что, полагаясь на подтвержденные теории, мы отберем лучшие из предложенных. Это достаточная основа для действия. Нам не нужна (да и нельзя корректным образом ее получить) уверенность в том, насколько хорошим будет предложенный порядок действий. Более того, мы всегда можем ошибаться, ну и что? Мы не можем использовать теории, которые еще не выдвинуты, и не можем исправить те ошибки, которые еще не видим.
Криптоиндуктивист: Вполне согласен. Я рад, что узнал кое-что о научной методологии. Но теперь (надеюсь, вы не сочтете меня невежливым) я должен еще раз обратить ваше внимание на вопрос, который я все время задаю. Допустим, что некая теория прошла весь этот процесс. Когда-то у нее были конкуренты. Затем провели эксперименты и опровергли всех ее конкурентов. Но ее не опровергли. Таким образом, она подтвердилась. Что
Дэвид: Поскольку всех ее конкурентов опровергли, они уже не являются рационально состоятельными. Подтвержденная теория – это единственная рационально состоятельная теория.
Криптоиндуктивист: Но ведь это просто переключает внимание с будущей значимости прошлого подтверждения на будущую значимость прошлого опровержения. Остается та же самая проблема. Почему конкретно экспериментально опровергнутая теория «не является рационально состоятельной»? Неужели всего лишь одно ложное следствие означает, что вся теория не может быть истинной?
Дэвид: Да.
Криптоиндуктивист: Но ясно же, что эта критика нерелевантна в отношении применимости данной теории в будущем. Вероятно, опровергнутая теория не может быть универсально истинной – в частности, она не могла быть истинной в прошлом, когда ее проверяли. Но она все же могла иметь много истинных следствий и, в частности, она может стать универсально истинной в будущем.
Дэвид: Эти термины – «истинная в прошлом» и «истинная в будущем» – вводят в заблуждение. Каждое конкретное предсказание теории либо истинно, либо ложно – это неизменно. В действительности вы имеете в виду, что, хотя опровергнутая теория строго ложна, так как она дает некоторые ложные предсказания, тем не менее все ее предсказания относительно будущего могут оказаться истинными. Иными словами, другая теория, которая делает те же самые предсказания относительно будущего, но другие предсказания относительно прошлого, может быть истинной.
Криптоиндуктивист: Пусть так. Тогда вместо того, чтобы спрашивать, почему опровергнутая теория не является рационально состоятельной, мне, строго говоря, следует спросить так: почему опровержение теории также переводит в разряд несостоятельных все варианты этой теории, которые согласуются с ней в отношении будущего, – даже те варианты, которые не были опровергнуты?
Дэвид: Не опровержение переводит такие теории в разряд несостоятельных. Просто иногда они уже несостоятельны, например потому, что являются плохими объяснениями. И именно в таких ситуациях возможен научный прогресс. Чтобы теория победила в споре, все ее конкуренты должны быть несостоятельными; это касается и всех вариантов конкурирующих теорий, которые только были придуманы. Но не забывайте: несостоятельными должны быть только те конкурирующие теории, которые уже придумали. Например, в случае с гравитацией никто никогда не предлагал состоятельной теории, которая согласовывалась бы с общепринятой во всех ее проверенных предсказаниях, но отличалась бы своими предсказаниями относительно будущих экспериментов. Я уверен, что такие теории возможны, и теория, которая последует за общепринятой сейчас, по-видимому, будет одной из них. Но если никто еще не придумал такую теорию, как можно действовать в соответствии с ней?
Криптоиндуктивист: Что вы имеете в виду, говоря, что «никто еще не придумал такую теорию»? Я прямо сейчас могу ее придумать.
Дэвид: Я очень сильно в этом сомневаюсь.
Криптоиндуктивист: Конечно, могу. Вот она: «Когда бы вы, Дэвид Дойч, не спрыгнули с большой высоты таким способом, что в соответствии с общепринятой теорией вы должны погибнуть, вы не погибнете, вы будете парить в воздухе. За исключением этого положения, общепринятая теория сохраняет универсальность». Я говорю вам, что каждая прошлая проверка вашей теории с необходимостью была и проверкой моей, поскольку все предсказания как вашей, так и моей теории относительно прошлых экспериментов идентичны. Следовательно, опровергнутые конкуренты вашей теории являются и опровергнутыми конкурентами моей теории. И, следовательно, моя новая теория подтверждена точно так же, как и ваша общепринятая. Почему моя теория может быть «несостоятельной»? Какие у нее могут быть недостатки, которых нет у вашей теории?