中南民族大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

论联合演算/马雷著

出版发行项:

北京:科学出版社,2013

ISBN及定价:

978-7-03-038928-2/CNY88.00

载体形态项:

314页:图;24cm

个人责任者:

马雷, 1965- 著

学科主题:

逻辑哲学

中图法分类号:

B81-05

书目附注:

有书目 (第310-311页)

提要文摘附注:

本书通过对传统词项逻辑的一般特征的分析，抓住联合演算的实质特点，划分了联合演算的两个层次，在此基础上提出结构分析的方法作为判明或建构永真式的一个依据，同时提出一个极近似于命题逻辑的范式判定方法，用于在有穷步骤内解决一联合演算的判定问题。本书认为现行的联合演算对传统推论的刻画，仅就变项而言，就没有穷尽其全部特征，因而初步尝试构造了一个新的等价翻译的模式。本书还运用联合演算的理论构建了一个形式化的传统推论系统，并通过三段论化归进一步探讨了这一系统的优美性。本书的全部努力旨在说明：传统词项逻辑在其自身所把握的范

豆瓣简介：