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

The origin and development of Shen Yuting’s “pure logic calculus”:To commemorate the 30th anniversary of the death of Shen Yuting

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

After surveying the main contents and ideas of Shen Yuting’s draft A Calculus of Individuals and Truth-Values and paper A Fragment of “Pure Logic Calculus” without Quantifiers, the present paper traces the direct source of Shen Yuting ’s “pure logic calculus” without quantifiers. After doing this we establish its influences on Zhang Qingyu’s “Bracket-notation” for classical logic in 1990s and along which we give a sequent calculus for classical propositional logic based on the ternary connective “conditioned disjunction”.