|本期目录/Table of Contents|

基于括号表示法的一阶逻辑系统(PDF)

《安徽大学学报(哲学社会科学版)》[ISSN:1001-5019/CN:34-1040/C]

期数:
2019年03期
页码:
35-42
栏目:
哲学
出版日期:
2019-05-10

文章信息/Info

Title:
-
作者:
杜国平
中国社会科学院哲学研究所
Author(s):
-
关键词:
括号表示法逻辑常项唯一性公式长度一阶逻辑系统推理结构
分类号:
-
DOI:
-
文献标识码:
A
摘要:
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。

参考文献/References

-

备注/Memo

备注/Memo:

基金项目:国家社会科学基金重点项目(13AZX019);国家社会科学基金重大招标项目(14ZDB014)

作者简介:杜国平,中国社会科学院哲学研究所教授,博士生导师(北京100732)。

更新日期/Last Update: