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