Анафем

Вычислительная метафизика. Залта твёрдо верит в формализацию философии, то есть в то, что философские утверждения можно перевести в символы формальной логики. Когда это сделано, можно сравнивать идеи разных философов, как физик сравнивает две разные теории, записывая их в виде уравнений и проверяя, противоречат ли они друг другу или сводятся к одному тому же. И в математике, и в формальной логике правила довольно просты, но вот применить их к реальным уравнениям и высказываниям очень сложно – иногда настолько, что человеку с этим не справиться. Залта использует для решения таких задач компьютерную программу – «систему автоматических рассуждений» PROVER9. Это очень напоминает Лейбницев замысел универсальной символической логики, и действительно, Залта и его соавтор Бранден Фитлсон упоминают Лейбница в первом абзаце своей изданной в 2007 году статьи «Шаги к вычислительной метафизике». Позже в этой же статье они упоминают ведущуюся сейчас работу по использованию упомянутой системы для доказательства теорем из статьи Залты «(Лейбницева) теория концепций» (2000 год), в которой он сводит положения Лейбницевой метафизики к теоремам на языке формальной логики. В других статьях Залта и его коллеги Фрэнсис Джеффри Пеллетье и Бернард Лински оперируют трудами Платона, Гуссерля, Гёделя и Дэвида Льюиса, о котором речь пойдёт ниже. Так что вот ответы на заданный ранее вопрос (что происходило в этой области последние тридцать лет?). Кстати, вычислительная метафизика подсказала идею музыки, упоминаемой в «Анафеме». В частности, живущие на деревьях, одетые в набедренники фраа, которые появляются на актале инбраса в Тредегаре, выполняют – хоть и очень медленно – вычисления в духе PROVER9. Они пытаются решить важную метафизическую проблему, что требует очень долгого времени, поскольку у них нет компьютеров.

Дэвид Льюис и множественность миров. Залта много занимался формами утверждений, что заставило его обратиться к трудам покойного философа Дэвида Льюиса. Залта и Лински обсуждают онтологию Льюиса в статье 1991 года «Майнонгианец ли Льюис?». Думаю, не ошибусь, сказав, что они принимают Льюиса всерьёз, но не соглашаются с ним. Льюис написал книгу «О множественности миров» (David Lewis, On the Plurality of Worlds, ISBN 978–0631224266) – название покажется знакомым читателям «Анафема», поскольку так же звался мессал, в котором участвовал фраа Эразмас. В ней Льюис закладывает основы модального реализма, метафизики, которая (если очень грубо её обобщить) утверждает, что все возможные миры существуют и не менее реальны, чем наш. Значение модального реализма для «Анафема» очевидно. Как уже говорилось, Дэвид Дойч упоминает труды Льюиса в своих работах о многомировой интерпретации квантовой механики.

Стоит упомянуть, что на работы Дойча и Залты я наткнулся, занимаясь совершенно разными линиями исследования. К первому меня привёл интерес к физике, ко второму – интерес к преемству Платон – Лейбниц – Гуссерль – Гёдель. Когда обнаружилось, что оба они пишут об одном философе, Дэвиде Льюисе, у меня возникло чувство (быть может, ложное), что круг волшебным образом замкнулся.

Есть, впрочем, и другие замкнувшиеся круги. В статье 1995 года «Натурализированный платонизм и платонизированный натурализм» Залта и Лински выдвигают теорию «целостного платонизма» в противоположность «дробному платонизму», как они называют доморощенную форму математического платонизма, разделяемую большинством математиков. Здесь не место разъяснять сущность «целостного платонизма», но, думаю, можно утверждать, что он отчасти созвучен модальному реализму Льюиса, поскольку говорит о всей полноте абстрактных математических объектов в противоположность «дробной» модели, которой придерживаются другие математические платоники.

Макс Тегмарк, космолог из Массачусетского технологического института, начав с совершенно других предпосылок, пришел к выводам, очень созвучным с работой Залты и Лински. Хотя интересы Тегмарка по большей части относятся непосредственно к области космологии, он написал несколько статей о том, что вполне можно назвать метафизикой. В особенности это относится к его недавней «Математической вселенной», в которой он утверждает, что материальный мир – абстрактная математическая структура. В разделе о том, что он именует «метавселенной четвёртого уровня», Тегмарк тоже упоминает Дэвида Льюиса и описывает гипотезы, удивительно напоминающие целостный платонизм Залты.

Другие источники вдохновения и идей

Электродинамический фал, при помощи которого наши герои перемещаются в космосе, – вполне реальное изобретение, предложенное покойным доктором Робертом Форвардом и сейчас развиваемое доктором Робом Хойтом и его коллегами по Tethers Unlimited. Я признателен Хойту за обмен электронными письмами, в которых он ответил мне, что может и чего не может это устройство; впрочем, любые технические несуразицы на страницах романа объясняются исключительно художественной вольностью или моим непониманием; ни Хойт, ни Форвард в них не повинны.