谓词抽象研究

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