Структура реальности

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

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

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

КРИПТО-ИНДУКТИВИСТ: По-моему, это не слишком надежная основа для чистой логики.

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

КРИПТО-ИНДУКТИВИСТ: Тогда, значит, вы считаете, что не существует «задачи дедукции»?

ДЭВИД: Нет. Я не думаю, что при обычных способах доказательства выводов в науке, философии или математике может возникнуть какая-либо задача. Однако, интересен тот факт, что физическая вселенная допускает процессы, создающие знание о самой себе и о других вещах. Мы разумно можем попытаться объяснить этот факт точно так же, как объясняем другие физические факты, то есть через объяснительные теории. В главе 6 «Структуры реальности» вы видели, что я считаю принцип Тьюринга уместной в данном случае теорией. Он гласит, что можно построить генератор виртуальной реальности, репертуар которого содержит каждую физически возможную среду. Если принцип Тьюринга является физическим законом, что я доказал, значит, мы не должны удивляться, обнаружив, что можем создавать точные теории о реальности, потому что это просто виртуальная реальность в действии. Как факт возможности паровых двигателей — непосредственное выражение принципов термодинамики, так и факт, что человеческий разум способен создавать знание, — непосредственное выражение принципа Тьюринга.

КРИПТО-ИНДУКТИВИСТ: Но откуда нам известно об истинности принципа Тьюринга?

ДЭВИД: Конечно, это нам неизвестно… Но вы боитесь, что если мы не сможем доказать принцип Тьюринга, то опять потеряем оправдание того, что полагаемся на научные предсказания?

КРИПТО-ИНДУКТИВИСТ: Э, да.

ДЭВИД: Но мы уже перешли к совсем другому вопросу! Сейчас мы обсуждаем очевидный факт о физической реальности, а именно, что она может давать надежные предсказания о самой себе. Мы пытаемся объяснить этот факт, чтобы поместить его в те же рамки, в которых находятся все остальные известные нам факты. Я говорил о том, что, возможно, здесь действует определенный закон физики. Но если я ошибался, на самом деле, даже если бы мы совсем не могли объяснить это замечательное свойство реальности, это ни на йоту не повлияло бы на доказательство любой научной теории. Поскольку это ни на йоту не ухудшило бы объяснения такой теории.

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