重庆理工大学学报（社会科学）

重庆理工大学学报（社会科学） ›› 2019, Vol. 33 ›› Issue (9): 7-13.

• 逻辑与科学方法论 • 上一篇    下一篇

沈有鼎的“纯逻辑演算”思想源流———纪念沈有鼎先生逝世 30 周年

刘新文   

  1. 中国社会科学院 哲学研究所
  • 发布日期:2019-10-12
  • 作者简介:刘新文，研究员，博士，主要从事哲学逻辑和逻辑哲学研究。

  • Published:2019-10-12

PDF (PC)

47

赞

摘要： 在概述沈有鼎先生的《个体与真值的演算》与《“纯逻辑演算”中不依赖量词的部分》两篇论文的主要内容和思想的基础上，找到沈有鼎不带量词的“纯逻辑演算”的直接思想来源；确立张清宇在20世纪90年代为经典逻辑提出的“括号记法”的直接思想来源；沿着这一传统为经典命题逻辑建立一个三元联结词“条件析取”的后承演算。

关键词: 沈有鼎, 纯逻辑演算, 括号记法, 条件析取, 带等词一阶逻辑的无量词片段

中图分类号: 

  • B81