重庆理工大学学报(社会科学版)2019，Vol.33Issue(4) ：7-12.

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

A note on "logical systems without connectives"

杜国平
重庆理工大学学报(社会科学版)2019，Vol.33Issue(4) ：7-12.
✕
  • NETL
  • NSTL
  • 万方数据

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

A note on "logical systems without connectives"

杜国平1
扫码查看

作者信息

  • 1. 中国社会科学院哲学研究所,北京100732
  • 折叠

摘要

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

关键词

命题联结词/波兰表示法/括号表示法/独立性/公理系统

引用本文复制引用

基金项目

国家社会科学基金重点项目(13AZX019)

国家社会科学基金重大项目(14ZDB014)

出版年

2019
重庆理工大学学报(社会科学版)
重庆理工大学

重庆理工大学学报(社会科学版)

CHSSCD
影响因子：0.646
ISSN：1674-8425
被引量5
参考文献量5
段落导航相关论文