Это может выглядеть как парадоксальная ловушка, но я думаю, что говорю нечто весьма простое. Однако, чтобы прояснить свою мысль, я, наверное, должен сказать о том, чего, по моему мнению, аргумент Ансельма не достигает и не может достигнуть; а фактически это означает отвергнуть самые последние попытки христианских философов восстановить этот аргумент в его собственно аналитической форме. В настоящее время те представители академического мира, которые более всего симпатизируют аргументу Ансельма, склонны защищать его с точки зрения особого подхода к модальной логике (то есть логике, касающейся возможности и невозможности, случайности и необходимости), дающего именно тот результат, который, на мой взгляд, сводит всю идею необходимости Бога к бессмыслице. Лучшая характеристика этой «модальной версии» онтологического аргумента, которую я могу предложить, состоит в том, что он представляет собой попытку вывести логическую необходимость Бога из Его метафизической необходимости и вывести Его метафизическую необходимость из Его простой логической возможности, и вывести эту логическую возможность только из того факта, что в ней нет очевидного логического противоречия. Это долгий и опасный путь для любой аргументации. Есть, однако, некоторые внушающие опасения мыслители, которые считают, что можно безопасно следовать по этому пути до конца. Самый изобретательный сторонник этого модального пересмотра аргумента Ансельма на сегодняшний день – выдающийся американский философ Элвин Плантинга. Он утверждает, что Бог может и должен быть понят как «существо» (a being), обладающее свойством, которое называется «максимальным величием (greatness)», и что такое существо, если его существование логически возможно, должно существовать в каком-то возможном мире. Или, скорее, как Плантинга предпочел бы сформулировать этот вопрос (по причинам здравым, но здесь не играющим роли), существует некоторый возможный мир, в котором свойство максимального величия иллюстрируется на примере. Максимальное величие, однако, предполагает не только «максимальное превосходство» (все возможные достоинства, силы и т. д.), но и необходимое существование (якобы незаменимое свойство «создания величия»); а так как необходимая истина по определению истинна в любой возможной реальности, подобно математическим истинам или другим строго логическим истинам, всякое бытие с максимальным величием в одном возможном мире должно иметь необходимое существование не только в этом мире, но и во всех возможных мирах, включая наш.