论文标题
本体论论点的逻辑
Logic of the Ontological Argument
论文作者
论文摘要
戈德尔在他的本体论论点中没有说明其基本逻辑。该参数是模态，至少是二阶的，并且由于使用了S5 Axiom，因此广泛接受该参数的逻辑是S5二阶模态逻辑。但是，在证据中有一个步骤，戈德尔将必需品规则应用于论点的假设。他的所有追随者都重复了这一点。必要规则的这种应用可能会严重损害本体论论点逻辑的后果关系。似乎为本体论论点保留模态逻辑S5的唯一方法是在必要的形式中假设其某些公理。
In his ontological argument Gödel says nothing about its underlying logic. The argument is modal and at least of second-order and since S5 axiom is used so it is widely accepted that the logic of the argument is the S5 second-order modal logic. However, there is a step in the proof in which Gödel applies the necessitation rule on the assumptions of the argument. This is repeated by all of his followers. This application of the necessitation rule can seriously harm the consequence relation of the logic of the ontological argument. It seems that the only way to preserve the modal logic S5 for the ontological argument is to assume some of its axioms in the necessitated form.
