Девид Дойч - Структура реальности

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

КРИПТО-ИНДУКТИВИСТ: Продолжайте.

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