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