• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site

Book chapter

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

E. Zalta and P. Oppenheimer have created non-modal reading of the Anselm’s argument about the existence of God, The Ontological Argument. The authors have deduced the existence of God from his being. For this purpose, the term "that than which none greater can be conceived" used as a definite description. Through the predicate logic with the descriptions and several special axioms Zalta and Oppenheimer have formalized Anselm’s argument and demonstrate that from a formal point of view, his arguments is quite correct. But if we use as a tool the Theory of abstract objects we obtain the ontological argument, consequence of which is fundamentally different from the conclusion that Anselm has made.