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

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

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

ДЭВИД: Что доказывает принципы рациональности? Как обычно, аргумент. Что, например, оправдывает то, что мы полагаемся на законы дедукции, кроме того, что любая попытка доказать их логически должна вести либо к порочному кругу, либо к бесконечной регрессии? Они доказаны, потому что заменой законов дедукции невозможно улучшить ни одно объяснение.