| 现行联合演算的判定标准不可靠的理由 |
| |
| 引用本文： | 马雷. 现行联合演算的判定标准不可靠的理由[J]. 武汉大学学报(人文科学版), 2004, 57(3): 333-337 |
| |
| 作者姓名： | 马雷 |
| |
| 作者单位： | 东南大学,哲学与科学系,江苏,南京,210096 |
| |
| 摘 要： | 希尔柏脱和阿克曼试图导出一个普遍可行的判定标准 ,判定一联合演算公式是否永真。克劳斯用这个标准来论证传统推论式并排除不正确的推理式。但是 ,由希尔柏脱和阿克曼提出并经克劳斯转述的所谓联合演算的“判定标准”并不是一个十分可靠的标准。联合演算的最特殊的方面是 ,其演算不可能在单一的层次上进行 ,必须在两个层次上同时进行。第一个层次是命题逻辑的层次 ,第二个层次是谓词逻辑或类逻辑的层次。希尔柏脱和阿克曼试图在笫一个层次上解决问题 ,克劳斯则承袭其思路 ,总是想把一联合演算的公式化为使其竖号在公式最外面的形式 ,然后在判定过程中脱去竖号。忽视联合演算的两个层次 ,正是现行联合演算出现混乱和错误的根源
|
| 关 键 词： | 希尔柏脱和阿克曼 克劳斯 联合演算 判定标准 |
| 文章编号： | 1671-881X(2004)03-0333-05 |
| 修稿时间： | 2003-12-05 |
Why is Current Standard of Judgment in Joint Calculau Unreliable? |
| |
| MA Lei. Why is Current Standard of Judgment in Joint Calculau Unreliable?[J]. Wuhan University Journal (Humanity Sciences), 2004, 57(3): 333-337 |
| |
| Authors: | MA Lei |
| |
| Abstract: | |
| |
| Keywords: | D.Hilbert and W.Ackermann G.Claus joint culculau decision standard |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
