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