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