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