文献知网节
  • 记笔记

评《制约逻辑》中的几个形式系统

郭世铭董亦农

中国政法大学中国软件技术公司

摘要:<正> 《制约逻辑》(林邦瑾著,贵州人民出版社1985版)的主要内容可以看作两个部分:一是批评古典的数理逻辑和传统逻辑——“传统逻辑是模糊的正确,数理逻辑是清晰的错误”;二是讲述作者自称为“清晰的正确”的制约逻辑系统——命题演算Cm,“名词演算”Cn,带等词的“名词演算”Cnd以及“形式数论系统”N。《制约逻辑》对传统逻辑的批评是否有道理,当由传统逻辑工作者去评说,我们不拟代庖。《制约逻辑》对数理逻辑的批评贯穿全书,语
  • 专辑:

    文史哲; 理工A(数学物理力学天地生)

  • 专题:

    逻辑学

  • 手机阅读
    即刻使用手机阅读
    第一步

    扫描二维码下载

    "移动知网-全球学术快报"客户端

    第二步

    打开“全球学术快报”

    点击首页左上角的扫描图标

    第三步

    扫描二维码

    手机同步阅读本篇文献

  • CAJ下载
  • PDF下载

下载手机APP用APP扫此码同步阅读该篇文章

下载:43 页码:70-74+80 页数:6 大小:320k

相关推荐
  • 相似文献
  • 读者推荐
  • 相关基金文献
  • 关联作者
  • 相关视频