沈有鼎的"纯逻辑演算"思想源流——纪念沈有鼎先生逝世30周年
The origin and development of Shen Yuting's "pure logic calculus":To commemorate the 30th anniversary of the death of Shen Yuting
刘新文1
作者信息
- 1. 中国社会科学院 哲学研究所,北京 100732
- 折叠
摘要
在概述沈有鼎先生的《个体与真值的演算》与《"纯逻辑演算"中不依赖量词的部分》两篇论文的主要内容和思想的基础上,找到沈有鼎不带量词的"纯逻辑演算"的直接思想来源;确立张清宇在20世纪90年代为经典逻辑提出的"括号记法"的直接思想来源;沿着这一传统为经典命题逻辑建立一个三元联结词"条件析取"的后承演算.
关键词
沈有鼎/纯逻辑演算/括号记法/条件析取/带等词一阶逻辑的无量词片段引用本文复制引用
基金项目
国家社会科学基金一般项目(16BZX079)
出版年
2019
NETL
NSTL
万方数据