English Version
全部
卷期
作者
文章
首页
本刊介绍
关于本刊
现任主编及编辑
现任编辑委员会成员
历任主编
历任编辑委员会成员
历次编辑委员会会议
提前发表
往期浏览
作者检索
欢迎订阅
首页
本刊介绍
关于本刊
现任主编及编辑
现任编辑委员会成员
历任主编
历任编辑委员会成员
历次编辑委员会会议
往期浏览
作者检索
欢迎订阅
/
首页
/
作者检索
/
郭世铭
郭世铭
作者介绍
发表论文
评《制约逻辑》中的几个形式系统
《制约逻辑》(林邦瑾著,贵州人民出版社1985版)的主要内容可以看作两个部分:一是批评古典的数理逻辑和传统逻辑——“传统逻辑是模糊的正确,数理逻辑是清晰的错误”;二是讲述作者自称为“清晰的正确”的制约逻辑系统——命题演算Cm,“名词演算”Cn,带等词的“名词演算”Cnd以及“形式数论系统”N。《制约逻辑》对传统逻辑的批评是否有道理,当由传统逻辑工作者去评说,我们不拟代庖。《制约逻辑》对数理逻辑的批评贯穿全书,语 更多还原
作者二:董亦农 中国软件技术公司
作者:
郭世铭
卷期: 1987
页码:70-74+80
关于我们
© 2021 中国科学院大学版权所有 地址:北京市石景山区玉泉路19号(甲) 邮编:100049
微信公众号