全部商品分类
| 联系编辑 | |
|---|---|
| 标题： | |
| 内容： | |
| 联系方式： | |
本书通过对传统词项逻辑的一般特征的分析，抓住联合演算的实质特点，划分了联合演算的两个层次，在此基础上提出结构分析的方法作为判明或建构永真式的一个依据，同时提出一个极近似于命题逻辑的范式判定方法，用于在有穷步骤内解决一联合演算的判定问题。本书认为现行的联合演算对传统推论的刻画，仅就变项而言，就没有穷尽其全部特征，因而初步尝试构造了一个新的等价翻译的模式。本书还运用联合演算的理论构建了一个形式化的传统推论系统，并通过三段论化归进一步探讨了这一系统的优美性。本书的全部努力旨在说明：传统词项逻辑在其自身所把握的范围内，确如康德所说，是封闭的和完备的。
- 暂时还没有任何用户评论
全部咨询(共0条问答)
- 暂时还没有任何用户咨询内容
|
中国科技出版传媒股份有限公司 版权所有 本平台为互联网非涉密平台，严禁处理、传输国家秘密。 京ICP备14028887号-5 京ICP证150976号
北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com |
京公网安备 11010102004214号