Этот мир отчасти открыт людьми (но далеко не все в нем пока известно!) и представлен нашими математическими теориями, существующими в мире 2а; эта репрезентация — культурный конструкт, однако не таковы математические характеристики, лежащие в ее основе; как и законы физики, они открываются людьми, и часто открываются нечаянно, как например, нуль [48] и иррациональные числа. Этот мир обладает причинной эффективностью в процессах открытия и описания (например, значения иррациональных чисел или графическое изображение множества Мандельброта можно напечатать в книге).
Ключевой вопрос состоит в следующем: что, если сюда же следует включить какую‑то часть логики, теории вероятности или физики? В некотором хоть и необъяснимом пока смысле мир математики лежит в основе мира физики [39]. Многие физики, как минимум, молчаливо (а иногда и открыто) признают существование в основе физики платонического бытия: а именно
Мира 4б: физических законов, лежащих в основе физических возможностей (мир 3а).
Далее можно предположить:
Мир 4в: платонический мир понятий и идей, составляющих основу миров 2а и 2в, и
Мир 4г: платонические эстетические формы, составляющие основу нашего чувства прекрасного.
Пока мы не будем раскрывать этих возможностей, хотя идея миров 4б и 4в впоследствии нам пригодится. Но для текущих моих целей достаточно отметить, что существование мира математических форм, в котором (вместе с Пенроузом) я твердо убежден, показывает, что эта категория миров действительно существует и обладает причинным влиянием.
Теперь, после этого долгого предисловия, я могу сделать главное утверждение:
Семья миров: все эти миры существуют — все перечисленные миры, от 1 до 4, онтологически реальны и отличны друг от друга. Вот основания для этого утверждения: (1) они каузально эффективны — пропуск любого из них приводит к неполноте причинно–следственных объяснений действий и событий физического мира, как показано выше; и (2) они четко отделены друг от друга по своей природе. В самом деле, у каждого из них природа иная, чем у остальных, например, возможности не существуют в том же смысле, как реальные события, так что смысл понятия «бытие» в каждом случае иной; тем не менее я утверждаю, что каждый из этих видов бытия необходим для составления полной причинно–следственной схемы событий физического мира. Пока неясно, существует ли мир возможностей (мир 3) независимо от мира 1, который эти возможности реализует; этого вопроса я коснусь позже. Однако каузальная эффективность мира 3 может быть аргументирована независимо от разрешения этой проблемы. Кроме того, непонятно, «где» существуют миры 3 и 4. К этому вопросу я вернусь далее, в контексте рассуждений о богословии.
Мое утверждение четко отрицает простодушный материализм, поскольку приписывает бытие разнообразным явлениям, не обитающим в мире 1 (с материалистической точки зрения миром 1 ограничивается все существующее). Кроме того, оно отвергает как жесткий релятивизм, так и любой жесткий редукционизм, признавая реальность различных уровней иерархии материальной структуры и приписывая экзистенциальную реальность упорядочивающим взаимоотношениям (а в случае живых существ — биологической информации), придающим этим уровням их сущностную природу[181].
Как же быть с эпистемологией? Учитывая существование различных миров, перечисленных выше, следует предположить, что эпистемология — это изучение отношения мира 2 с мирами 1, 3 и 4. Она стремится достичь точных соответствий свойств всех миров при помощи явлений мира 2а.
Это скрыто или открыто подразделяет теории и утверждения мира 2а на: (1) верные/точные репрезентации; (2) частично верные/частично неверные репрезентации; (3) неверные/ вводящие в заблуждение репрезентации; и (4) репрезентации, о корректности которых мы судить не можем. Диапазон этих утверждений простирается от «верно, что у нее рыжие волосы» или «в этой комнате нет коровы» до «электроны существуют», «теория Ньютона дает очень хорошее описание среднемасштабных физических систем на низких скоростях и при слабых гравитационных полях» или «свидетельства в пользу существования НЛО очень сомнительны»[182].
181
Выражаясь терминами Рьюза [44]:
182
Таким образом, этот подход открыто включает в себя