联合演算何以可能

联合演算何以可能

一元谓词逻辑和类逻辑都不能完全反映传统词项逻辑的特征.亚氏逻辑与命题逻辑一样,都是二值逻辑.三段论蕴涵式比命题蕴涵式复杂,它表示一种特殊的蕴涵关系.希尔柏脱和阿克曼认为,对命题演算符号可作谓词演算的解释,也可作类演算的解释.通过对谓词的新解释,可以在命题演算、谓词演算与类演算之间建立起完全的类比,从而把传统推理的有些形式作现代逻辑的处理.这一联合演算思想虽未发育成熟,却能够为我们全面、深入地理解词项逻辑、谓词逻辑、类逻辑和命题逻辑之间的关系,特别是传统逻辑与现代逻辑的关系开辟广阔的空间.

作 者： 马雷   作者单位： 东南大学,哲学与科学系,江苏,南京,210096  刊 名： 淮阴师范学院学报(哲学社会科学版)  英文刊名： JOURNAL OF HUAIYIN TEACHERS COLLEGE(SOCIAL SEIENCES EDITION)  年，卷(期)： 2003 25(3)  分类号： B81  关键词： 词项逻辑   谓词逻辑   类逻辑   命题逻辑   联合演算  

【联合演算何以可能】相关文章：

文化进化何以可能04-27

主体际性何以可能04-27

环境伦理学何以可能04-27

高职院校治理何以可能：研究进路与反思03-01

技术的批判与批判的技术--兼论技术哲学何以可能04-27

矢量GIS空间方向关系的演算模型04-27

纯粹自由何以可能? --从三大批判看康德自由理论的逻辑建构04-26

何以解忧作文08-30

何以回报作文09-12

何以解忧唯有作文11-14