安瑟伦的发现

美国过程哲学家哈茨霍恩对安瑟伦本体论论证的现代重构。哈茨霍恩认为安瑟伦的真正"发现"不在于传统理解的本体论论证，而在于模态本体论论证——上帝的存在是必然的，不存在是不可能的。通过模态逻辑的分析，哈茨霍恩试图证明安瑟伦论证的有效性，为上帝存在的先验证明提供了新的哲学基础，引发了二十世纪下半叶本体论论证的复兴。

American process philosopher Hartshorne's modern reconstruction of Anselm's ontological argument. Hartshorne argues that Anselm's true "discovery" lies not in the traditionally understood ontological argument, but in the modal ontological argument—God's existence is necessary, non-existence impossible. Through modal logic analysis, Hartshorne attempts to prove the validity of Anselm's argument, providing new philosophical foundations for the a priori proof of God's existence and sparking a revival of the ontological argument in the latter half of the twentieth century.