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