Очевидно, что я не сужу строго аргумент Плантинги, сводя его к нескольким строчкам, и он не тот человек, с которым я особенно желаю скрестить модальные мечи; но аргумент этот кажется мне явно ложным не только по форме, но и в принципе – и по причинам, которые я считаю чрезвычайно важными здесь. Я не верю, что логическую необходимость можно вывести из простой логической возможности, да еще и с помощью этакой «случайно подвернувшейся» («happenstantial») метафизической необходимости. Даже если придать легитимность разговору о возможных мирах как способу определения того, что является метафизически возможным – то есть даже если полагать, что что-то должно быть реально возможным только потому, что, кажется, не влечет за собой очевидного логического противоречия
, – то идея какого-то отдельного существа, которое имеет «необходимое существование» просто как некий атрибут среди других атрибутов, сбивает с толку, как это ясно понял Макки. Как возможно такое существо? Разве оно не было бы лишь контингентно или деривативно «необходимым», а потому необходимым лишь потому, что случилось так, что оно существует, и, следовательно, не необходимым в полном смысле слова? Что фактически может означать необходимость в таком контексте? Разве мы не комбинируем здесь метафизическую и логическую необходимость, не имея для этого четкого обоснования? В конце концов верно, что все, что логически необходимо, по определению, обязательно имеет место в каждом возможном мире. Два плюс два должны дать четыре в любом возможном контексте реальности. Но, конечно, неверно, что любое существо (being), которому просто случайно выпало быть метафизически необходимым, должно также существовать в каждом возможном мире; и, конечно, в рассуждениях Плантинги устанавливается только существование метафизически необходимого существа в каком-либо возможном мире, так как нет никакой причины думать, будто идея дискретного существа, «иллюстрирующего своим примером» логическую необходимость, является вразумительной и осмысленной. Если так, то, конечно, аргумент Плантинги, кажется, должен быть обратимым: поскольку речь идет лишь о возможных мирах и о максимальном величии только как о некоем свойстве, возможно, иллюстрируемом на примере внутри одного из них, и, стало быть, только потому, что это – свойство, которое, кажется, не влечет за собой противоречия, мы можем также сказать, что всегда можно вообразить себе мир, в котором максимальное величие не иллюстрируется на примере, а это значит, что есть возможный мир, в котором Бога нет, что означает, что Он не может быть логически необходимым во всех возможных мирах и поэтому не может обладать необходимым существованием ни в одном. Также нельзя сказать, имея в виду только этот разговор о логической возможности, что аргумент Плантинги уже каким-то образом исключил возможность такого безбожного мира; обратное кажется более вероятным, поскольку логическое содержание утверждения о том, что какое-то отдельное существо необходимо, ужасно неопределенно. В конце концов мыслимая возможность безбожного мира может оказаться противоречием, присущим самому понятию максимального величия.