谓词抽象研究

书籍简介:

本书分为两部分，第一部分为谓词抽象的逻辑研究。作者认为谓词抽象的本质是一种形式辖域装置，它使得证明模态Herbrand定理成为现实。第二部分为谓词抽象的哲学应用。作者认为从谓词抽象理论的角度看，一些相关哲学问题，包括同一性问题、模态语境下摹状词的指称问题、以及当代知识论的核心问题——葛梯尔问题，都可以得到很好的解决。该选题的价值在于运用新逻辑方法来解决相关的逻辑与哲学问题。

书籍规格:

书籍信息归属:

谓词抽象研究是社会科学文献出版社于2017.12出版的中图分类号为 O141.12 的主题关于 谓词逻辑 的书籍。