|
题名:
|
论联合演算 / 马雷著 , |
|
ISBN:
|
978-7-03-038928-2 价格： CNY88.00 |
|
语种:
|
chi |
|
载体形态:
|
314页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2013 |
|
内容提要:
|
本书通过对传统词项逻辑的一般特征的分析，抓住联合演算的实质特点，划分了联合演算的两个层次，在此基础上提出结构分析的方法作为判明或建构永真式的一个依据，同时提出一个极近似于命题逻辑的范式判定方法，用于在有穷步骤内解决一联合演算的判定问题。本书认为现行的联合演算对传统推论的刻画，仅就变项而言，就没有穷尽其全部特征，因而初步尝试构造了一个新的等价翻译的模式。本书还运用联合演算的理论构建了一个形式化的传统推论系统，并通过三段论化归进一步探讨了这一系统的优美性。本书的全部努力旨在说明：传统词项逻辑在其自身所把握的范围内，确如康德所说，是封闭的和完备的。 |
|
主题词:
|
逻辑哲学 研究 |
|
中图分类法:
|
B81-05 版次： 5 |
|
中图分类法:
|
B81 版次： 4 |
|
主要责任者:
|
马雷, 著 |