Структура реальности

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

КРИПТО-ИНДУКТИВИСТ: Понятно. Ладно, я принимаю вашу терминологию. Но в этой связи (не думаю, что это имеет значение для наших настоящих целей, мне просто любопытно) разве не странное утверждение вы приписываете Попперу о том, что надежность теории зависит от случайности того, какие другие теории — ложные теории — люди предложили в прошлом, а не только от содержания рассматриваемой теории и экспериментальных свидетельств?

ДЭВИД: Не совсем так. Даже вы, индуктивисты, говорите о…

КРИПТО-ИНДУКТИВИСТ: Я не индуктивист!

ДЭВИД: Нет, индуктивист.

КРИПТО-ИНДУКТИВИСТ: Уф! Я повторяю, что приму вашу терминологию, если вы настаиваете. Но вы можете точно также назвать меня дикобразом. Называть «индуктивистом» человека, который всего лишь полагает, что необоснованность индуктивного рассуждения дает нам нерешенную философскую задачу, — настоящее извращение.

ДЭВИД: Я так не считаю. Я думаю, что основная идея — это то, что определяет и всегда определяло индуктивиста. Но я вижу, что по крайней мере одного Поппер достиг: слово «индуктивист» стало оскорбительным! В любом случае, я объяснял, почему не так уж странно то, что надежность теории должна зависеть от того, какие ложные теории были предложены в прошлом. Даже индуктивисты говорят о надежности или ненадежности теории при наличии определенных «свидетельств». Ну а попперианцы могли говорить о лучшей теории, доступной для использования на практике, при наличии определенной проблемной ситуации. А самые важные черты проблемной ситуации — это: какие теории и объяснения конкурируют; какие аргументы выдвинуты; какие теории опровергнуты. «Подтверждение» — это не просто принятие победившей теории. Для подтверждения необходимо экспериментальное опровержение конкурирующих теорий. Подтверждающие примеры сами по себе не имеют никакого значения.

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

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

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

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

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

ДЭВИД: Да.