引言 1
第一节 现代模态逻辑的建立及存在的问题 1
第二节 西方哲学研究中的逻辑分析传统 7
第三节 谓词抽象：主题与脉络 17
第一章 谓词抽象的观念与发展历程 26
第一节 一类特殊的日常语言歧义现象及其哲学意义 26
第二节 谓词抽象思想的引入 35
第三节 菲汀与谓词抽象的完善 46
第二章 谓词抽象与模态Herbrand定理 51
第一节 经典Herbrand定理 52
第二节 模态系统K′的Herbrand定理 66
第三章 模态系统K′的Herbrand定理的证明 82
第一节 从右到左方向的证明 82
第二节 加标公式表列系统K′ 84
第三节 从左到右方向的证明 100
第四章 模态系统D′、T′、S4′的Herbrand定理及证明 110
第一节 模态系统D′、T′、S4′的Herbrand定理 110
第二节 D′、T′、S4′的Herbrand定理的证明 120
第五章 谓词抽象与同一问题 143
第一节 形上学视阈下的同一问题 144
第二节 逻辑视阈下的同一问题 153
第三节 谓词抽象视阈下的同一问题 160
第六章 谓词抽象与摹状词理论 165
第一节 经典逻辑视阈下的摹状词指称问题 166
第二节 模态逻辑视阈下的摹状词指称问题 175
第三节 谓词抽象视阈下的摹状词指称问题 181
第七章 谓词抽象与葛梯尔问题 186
第一节 葛梯尔问题及传统解答方案 186
第二节 葛梯尔问题的认知逻辑解答方案 190
第三节 谓词抽象视阈下的葛梯尔问题 192
参考文献 202