• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта

Глава

Современные формализованные реконструкции Онтологического аргумента (на примере подхода Э. Залты и П. Оппенгеймера)

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