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