论文标题
在安塞尔姆的本体论论点中对空缺的机械辅助检查和问题
A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument
论文作者
论文摘要
我使用机械化的验证来检查安塞尔姆本体论论点的几个第一和更高阶段的形式，以反对乞讨这个问题。我提出了一个前提的三个不同但相关的标准，可以在完全正式的证据中引出这个问题，并发现一个或另一个适用于所检查的所有形式化。我还表明，所有这些形式化都需要空置的变体，从某种意义上说，它们对“没有更大的解释”，因此很容易受到Gaunilo的反驳的影响。 我的目的是证明机械化验证提供了执行这些分析的有效和可靠的技术。读者可以决定问题的形式是否乞讨和空缺会影响他们对论点或各种形式化的兴趣。 此版本更新了最初以“超越信仰与理性：关于逻辑，宗教和哲学的论文”的第13章的论文，以回应Oppenheimer和Zalta的批评。
I use mechanized verification to examine several first- and higher-order formalizations of Anselm's Ontological Argument against the charge of begging the question. I propose three different but related criteria for a premise to beg the question in fully formal proofs and find that one or another applies to all the formalizations examined. I also show that all these formalizations entail variants that are vacuous, in the sense that they apply no interpretation to "than which there is no greater" and are therefore vulnerable to Gaunilo's refutation. My purpose is to demonstrate that mechanized verification provides an effective and reliable technique to perform these analyses; readers may decide whether the forms of question begging and vacuity so identified affect their interest in the Argument or its various formalizations. This version updates the paper that originally appeared as Chapter 13 in "Beyond Faith and Rationality: Essays on Logic, Religion and Philosophy" published by Springer to respond to criticisms by Oppenheimer and Zalta.
