|
|||||
|
|
| 评《制约逻辑》中的几个形式系统 | |
| 引用本文： | 郭世铭,董亦农.评《制约逻辑》中的几个形式系统[J].自然辩证法通讯,1987(3). |
| 作者姓名： | 郭世铭 董亦农 |
| 作者单位： | 中国政法大学 (郭世铭)，中国软件技术公司(董亦农) |
| 摘 要： | 《制约逻辑》(林邦瑾著,贵州人民出版社1985版)的主要内容可以看作两个部分:一是批评古典的数理逻辑和传统逻辑——“传统逻辑是模糊的正确,数理逻辑是清晰的错误”;二是讲述作者自称为“清晰的正确”的制约逻辑系统——命题演算Cm,“名词演算”Cn,带等词的“名词演算”Cnd以及“形式数论系统”N。《制约逻辑》对传统逻辑的批评是否有道理,当由传统逻辑工作者去评说,我们不拟代庖。《制约逻辑》对数理逻辑的批评贯穿全书,语 |
| 本文献已被 CNKI 等数据库收录！ | |