【摘要】希尔柏脱和阿克曼试图导出一个普遍可行的判定标准,判定一联合演算公式是否永真.克劳斯用这个标准来论证传统推论式并排除不正确的推理式.但是,由希尔柏脱和阿克曼提出并经克劳斯转述的所谓联合演算的"判定标准"并不是一个十分可靠的标准.联合演算的最特殊的方面是,其演算不可能在单一的层次上进行,必须在两个层次上同时进行.第一个层次是命题逻辑的层次,第二个层次是谓词逻辑或类逻辑的层次.希尔柏脱和阿克曼试图在笫一个层次上解决问题,克劳斯则承袭其思路,总是想把一联合演算的公式化为使其竖号在公式最外面的形式,然后在判定过程中脱去竖号.忽视联合演算的两个层次,正是现行联合演算出现混乱和错误的根源.
【关键词】
全文来源于知网
多模态话语分析:理论模型及其对新媒体跨文化传播研究的方法论意义 肖珺 2017 119 0 ¥:0
收藏
西方语言经济学研究的新进展:趋势与评价 刘国辉 , 张卫国 2017 157 0 ¥:0
收藏
语言经济学的维度及视角 赵世举 , 葛新宇 2017 211 0 ¥:0
收藏
小程序与轻应用:基于场景的社会嵌入与群体互动 喻国明 , 梁爽 2017 347 0 ¥:0
收藏
二战后日本提供援助与中国放弃赔偿间关系的再探讨 徐显芬 2017 459 0 ¥:0
收藏