谓词抽象研究

作者：魏燕侠日期：2018-11-15 09:18:41

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

阅读提示：谓词抽象研究的作者是魏燕侠，全书语言优美，行文流畅，内容丰富生动引人入胜。为表示对作者的支持，建议在阅读电子书的同时，购买纸质书。