论联合演算
图书信息
书名：论联合演算作者：马雷
包装：平装
开本：16
全文字数：413000
出版社：科学出版社
出版时间：2013-10-01
图书简介
联合演算是一种新的逻辑工具，通过对传统逻辑和亚里士多德逻辑进行系统化、结构化的描述，消除了传统逻辑中的一些缺陷。本书对联合演算进行了深入的研究和发展，建立了形式化的传统直言推论系统和三段论化归系统，构造了亚里士多德模态三段论的推演系统和化归系统，从而证明了传统逻辑和亚里士多德逻辑在其适用范围内所具有的严密性和完备性。本书适合逻辑学、哲学及相关专业的研究者和学生参阅。
推荐理由
作为一本逻辑学论著，本书深入探讨了联合演算及其对传统逻辑和亚里士多德逻辑的影响以及等价翻译方案的建立，系统化地描述了逻辑的推理和演算方法，证明了传统逻辑和亚里士多德逻辑的严密性和完备性。对于逻辑学、哲学及相关专业的学生和研究者，是一本不可多得的参考书籍。
