?
Современные формализованные реконструкции Онтологического аргумента (на примере подхода Э. Залты и П. Оппенгеймера)
Э. Залта и П. Оппенгеймер попытались создать свободное от модальных посылок прочтение рассуждения Ансельма Кентерберийского о существовании Бога, которое приводится во II главе Прослогиона. Несмотря на присутствие модальности в оригинальном тексте Ансельма (Нечто, более чего невозможно ничего помыслить), авторы обходят ее, заменяя процесс выведения актуальности Бога из возможности существования Бога на выведение существования Бога из Его бытия. С этой целью выражение «то, больше чего нельзя помыслить» получает роль определенной дескрипции. Используя логику предикатов с дескрипциями и несколькими специальными аксиомами, Залта и Оппенгеймер формализуют рассуждение Ансельма и демонстрируют, что, с формальной точки зрения, аргумент вполне корректен. Если же в качестве инструмента использовать теорию абстрактных объектов Залты и формализовать посылки аргумента так, чтобы они получили истинное прочтение, получим онтологический аргумент, следствие которого принципиально отлично от заключения Ансельма.