安瑟姆的模态本体论证的机械分析
摘要：安塞尔姆的《天韵篇》第三章的"Modal Ontological Argument"的论证是以我们的机械化验证系统PVS为基础进行考察的。我们考虑了几种已发表的对该论证的形式化，并显示它们基本上是相似的。此外，我们还展示了在考虑到模态公理后，这个论证是微不足道的。 这项工作是计算哲学的一种说明，并且展示了这些方法如何帮助检测和矫正模态推理中的错误。 这是对2021年4月发表在《国际宗教哲学杂志》第89卷135-152页的一篇论文做出的较小更新，进行了更好的排版并添加了一些小的补充。
作者：John Rushby
论文ID：2205.08628
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-13