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

摘要：

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

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

所属期刊栏目：33

分类号：B81(逻辑学(论理学))

资助基金：国家社会科学基金一般项目"逻辑基础问题研究"16BZX079

在线出版日期：2019-10-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：8-13