现行联合演算的判定标准不可靠的理由

Why is Current Standard of Judgment in Joint Calculau Unreliable?

希尔柏脱和阿克曼试图导出一个普遍可行的判定标准 ,判定一联合演算公式是否永真。克劳斯用这个标准来论证传统推论式并排除不正确的推理式。但是 ,由希尔柏脱和阿克曼提出并经克劳斯转述的所谓联合演算的“判定标准”并不是一个十分可靠的标准。联合演算的最特殊的方面是 ,其演算不可能在单一的层次上进行 ,必须在两个层次上同时进行。第一个层次是命题逻辑的层次 ,第二个层次是谓词逻辑或类逻辑的层次。希尔柏脱和阿克曼试图在笫一个层次上解决问题 ,克劳斯则承袭其思路 ,总是想把一联合演算的公式化为使其竖号在公式最外面的形式 ,然后在判定过程中脱去竖号。忽视联合演算的两个层次 。

D.Hilbert and W.Ackermann try to give us a decision standard to judge whether a formular of calculau is eternal truth or not. G.Claus use the standard to argue traditional form of inference and remove false form of inference. But so-called decision standard advanced by Hilbert and Aackermann and used by Klaus is unreliable. We can’t use the joint calculau on single level,but on two levels. The first level is the level of propositional logic,the second level is the level of predicate logic or logic of class. Hilbert and Ackermann try to solve the problem on the first level, Klaus follow their erroneous train of thought. It is ignoring two levels of joint calculau that leads to the confusion and mistakes of current joint calculations.