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

гравитация кривизной пространства-времени или чем-то другим. Просто сравните свою теорию с совершенно обоснованным утверждением, что перо будет парить, медленно спускаясь вниз, потому что к нему действительно будет приложена достаточная направленная вверх сила со стороны воздуха. Это утверждение — следствие нашей существующей объяснительной теории о том, что такое воздух, поэтому, в отличие от вашей теории, оно не вызывает появления новой задачи.

КРИПТО-ИНДУКТИВИСТ: Я понимаю это. Вы не могли бы помочь мне привести в порядок мое мировоззрение?

ДЭВИД: Вы читали мою книгу Структура реальности7.

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

ДЭВИД: Я вас слушаю.

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

ДЭВИД: Нет, с логикой все в порядке. То, что вы называете «сырьем», на самом деле уже содержит утверждения о будущем. Лучшие из существующих теорий, от которых нельзя легко отказаться, потому что они решают задачи, уже содержат предсказания относительно будущего. И эти предсказания нельзя отделить от остального содержания теорий, что вы пытались сделать, потому что в этом случае будет испорчена объяснительная способность этих теорий. Следовательно, любая новая теория, которую мы предлагаем, должна быть либо согласована с существующими теориями, содержащими некоторые намеки на то, что может сказать о будущем новая теория, либо она должна противоречить некоторым существующим теориям, но обращаться к задачам, поставленным ею, давая альтернативные объяснения, которые вновь ограничивают то, что она может сказать о будущем.

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

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

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

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

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

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

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

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

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

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

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

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

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