联合演算何以可能
一元谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征.亚氏逻辑与命题逻辑一样,都是二值逻辑.三段论蕴涵式比命题蕴涵式复杂,它表示一种特殊的蕴涵关系.希尔柏脱和阿克曼认为,对命题演算符号可作谓词演算的解释,也可作类演算的解释.通过对谓词的新解释,可以在命题演算、谓词演算与类演算之间建立起完全的类比,从而把传统推理的有些形式作现代逻辑的处理.这一联合演算思想虽未发育成熟,却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系,特别是传统逻辑与现代逻辑的关系开辟广阔的空间.
作 者： 马雷 作者单位： 东南大学,哲学与科学系,江苏,南京,210096 刊 名： 淮阴师范学院学报(哲学社会科学版) 英文刊名： JOURNAL OF HUAIYIN TEACHERS COLLEGE(SOCIAL SEIENCES EDITION) 年，卷(期)： 2003 25(3) 分类号： B81 关键词： 词项逻辑 谓词逻辑 类逻辑 命题逻辑 联合演算