Анафем

Гуссерль закончил «Картезианские размышления» примерно в 1933 году, а Гёдель опубликовал последнюю работу в 1974-м, за четыре года до смерти. Естественно, возникает вопрос: что происходило в этой области на протяжении следующих тридцати лет? Поскольку я писал роман, а не проводил серьёзное философское исследование, не стану утверждать, будто досконально проштудировал всю доступную литературу. Однако труды Эдварда Н. Залты из Стэнфордского университета и его соавторов представляют собой серьёзное метафизическое исследование, затрагивающее многие из упомянутых тем. Залта и его коллеги — практикующие философы и могут развивать и совершенствовать идеи, о которых я лишь читаю как об исторических памятниках. Статьи, автором и соавтором которых выступает Залта, посвящены в основном Платону, Лейбницевой теории концепций, феноменологии Гуссерля и математическому платонизму Гёделя, так что когда Стивен Хорст указал мне на Залту, я, признаюсь, испытал безграничный восторг землепроходца, перед которым открылись новые горизонты. Это довольно большой корпус статей, и я не стану их пересказывать, а привлеку внимание читателя к двум важным вопросам.

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

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

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