📚 网上馆配 · 在线荐购平台

内容简介：本书系统地考察了当代形式理论的研究路径、方法以及所取得的成就。试图从语义学、公理化和哲学三个方面对当代形式真理论进行研究和阐述，主要有三方面，一是考察为真谓词构建的语义学，包括塔斯基对真概念的清晰定义，克里普克为真概念所构造的不动点模型，古普塔等人所创建的修正语义学以及菲尔德创立的带良好条件句的语义学；二是基于语义学考察各种公理化系统，通过公理化形式系统阐明所构造的语义学能揭示真谓词的哪些特性，还有哪些不足；三是结合语义学和公理化系统，对理论进行哲学上的考量和批判。