首页 | 本学科首页   官方微博 | 高级检索  
   检索      

括号表示法:一种中国式表示法
引用本文:杜国平.括号表示法:一种中国式表示法[J].哲学研究,2023(4):103-115+127.
作者姓名:杜国平
作者单位:中国社会科学院哲学研究所;中国社会科学院大学哲学院
摘    要:逻辑常项是各种逻辑系统研究的核心,使用合适的方式表示逻辑常项,可以为逻辑研究提供良好的技术工具和清晰的呈现方式。根据逻辑常项符号表示法的产生和发展历程,可以将其归纳为三种形态:自然语言表示法、符号表示法和形式化表示法。逻辑常项表示法的变迁,不仅决定着逻辑形态的呈现形式,而且决定着逻辑研究的持续和深入发展。中置法和前置法是国际逻辑学界通行的两种主要的逻辑常项表示法,与之不同,作者受舍弗(H. M. Sheffer)函数和张清宇先生相关工作的启发,提出了一种新的逻辑常项表示法——括号表示法。在该表示法中,表示逻辑常项的符号只有一对左右括号。作者阐明在任意给定的逻辑系统中,只要使用一对括号就可以定义出该系统的所有逻辑常项,彰显了括号表示法强大的归约功能和表达功能。作者还证明了括号表示法其形式语言表达的唯一性。在此基础上,作者阐明:比起中置法,括号表示法表达更简洁;比起波兰表示法,括号表示法表达更清晰。括号表示法是一种整体表示法,是由中国学者提出并系统构建的符号表示法,因此也可以称为中国式表示法。

关 键 词:逻辑常项  括号表示法  中国式表示法  表达功能
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号