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