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

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

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

关于“不用联结词的逻辑系统”的注记

杜国平   

  1. 中国社会科学院哲学研究所
  • 发布日期:2019-05-21
  • 作者简介:杜国平，教授，博士，博士生导师，主要从事应用逻辑与逻辑应用研究。

  • Published:2019-05-21

PDF (PC)

207

赞

摘要： 张清宇先生在20世纪90年代创建了不用联结词的逻辑系统，在其中使用括号表达命题联结词和量词的功能，这是一项逻辑符号技术的创新性工作。波兰表示法和括号表示法是逻辑符号表示法的两个相互映衬的典范。在括号表示法中，“不用联结词”指的仅仅是语形层面上的，而不是语义层面上的。基于括号表示法的命题逻辑公理系统H和一阶逻辑系统QH都可以进一步简化。

关键词: 命题联结词, 波兰表示法, 括号表示法, 独立性, 公理系统

中图分类号: 

  • B81