［哲学］现行联合演算的判定标准不可靠的理由（摘要）
作者：马 雷
《武汉大学学报（人文科学版）》 2004年 第03期
多个检索词，请用空格间隔。
[作者简介]马 雷(1965—)，男，安徽舒城人，东南大学哲学与科学系教授，哲学博士，主
要从事逻辑学研究。
[摘 要]希尔柏脱和阿克曼试图导出一个普遍可行的判定标准，判定一联合演算公式是否永真。克劳斯用这个标准来论证传统推论式并排除不正确的推理式。但是，由希尔柏脱和阿克曼提出并经克劳斯转述的所谓联合演算的“判定标准”并不是一个十分可靠的标准。联合演算的最特殊的方面是，其演算不可能在单一的层次上进行，必须在两个层次上同时进行。第一个层次是命题逻辑的层次，第二个层次是谓词逻辑或类逻辑的层次。希尔柏脱和阿克曼试图在第一个层次上解决问题，克劳斯则承袭其思路，总是想把一联合演算的公式化为使其竖号在公式最外面的形式，然后在判定过程中脱去竖号。 忽视联合演算的两个层次，正是现行联合演算出现混乱和错误的根源。
[关键词]希尔柏脱和阿克曼；克劳斯；联合演算；判定标准
[中图分类号]B815 [文献标识码]A [文章编号]1671—881X(2004)03—0333—05