论联合演算

【书名】 论联合演算
【作者】 马雷
【出版社】 北京科学出版社
【出版时间】 2013.1
【关键词】 逻辑哲学研究
【摘要描述】 本书通过对传统词项逻辑的一般特征的分析,抓住联合演算的实质特点,划分了联合演算的两个层次,在此基础上提出结构分析的方法作为判明或建构永真式的一个依据,同时提出一个极近似于命题逻辑的范式判定方法,用于在有穷步骤内解决一联合演算的判定问题。
本书认为现行的联合演算对传统推论的刻画,仅就变项而言,就没有穷尽其全部特征,因而初步尝试构造了一个新的等价翻译的模式。
本书还运用联合演算的理论构建了一个形式化的传统推论系统,并通过三段论化归进一步探讨了这一系统的优美性。
【中国图书分类号】 B81-05

在线工具导航