降低生物参数 swMATH ID: 38024 软件作者： 大卫·富恩市长；克里斯托夫·本兹穆勒 描述： E.J.Lowe模态本体论论证的计算机辅助重建与评估。计算机可以帮助我们理解——而不仅仅是验证——哲学论点。通过在迭代解释过程中使用现代证明助手，我们可以通过完全形式化的方法重建和评估论点。通过E.J.Lowe的圣安瑟姆本体论论证变体的机械化，这是一个自然语言论证的范例，与形而上学和宗教有着紧密的联系，我们为我们的计算机辅助解释方法提供了一个理想的展示。 主页： https://www.isa-afp.org/entries/Lowe_Obiological_Argument.html（http://www.isa-afp.org/entries/Lowe_Obiological_Argument.html） 依赖项： 伊莎贝尔 相关软件： Nitpick公司;存档正式证据;嵌入模式;伊莎贝尔/霍尔 引用于： 1文件 2位作者引用 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 福恩市长，大卫 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文