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

• 作者: 刘新文
• 来源期刊: 重庆理工大学学报（社会科学版）
• 学科: 哲学
• 关键词: 沈有鼎 纯逻辑演算 括号记法 条件析取 带等词一阶逻辑的无量词片段
• 年，卷（期）: 2019,（9）
• 所属期刊栏目: 逻辑与科学方法论
• 页码范围: 8-13
• 页数: 6页
• 分类号: B81
• 字数: 4745字
• 语种: 中文
• DOI: 10.3969/j.issn.1674-8425(s).2019.09.002

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘新文	中国社会科学院哲学研究所	58	56	5.0	6.0