得书 - 好书推荐、正版图书免费阅读

内容简介

本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand 定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。

谓词抽象研究是2017年由社会科学文献出版社出版,作者魏燕侠 著。

得书感谢您对《谓词抽象研究》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。