第一章 引言 1
一 什么是量词 2
（一）从亚里士多德的角度看 2
（二）从弗雷格的角度看 11
（三）传统逻辑和现代逻辑 18
二 什么是量化理论 26
三 对象量化和替换量化 30
四 本选题的研究思路和基本内容 34
第二章 “存在就是成为一个变元的值” 37
一 用名字表达存在的理论困难 38
二 用一种逻辑的方法解决本体论问题 43
（一）蒯因对变元的重新界定 44
（二）消去个体词 52
三 本体论与本体论承诺 54
四 量化和本体论 56
第三章 “没有同一性就没有实体” 60
一 什么是同一 61
二 同一与个体词 64
（一）同一与个体化 66
（二）同一与语词的设定 68
（三）同一与指称 71
三 个体词与谓述 72
（一）个体词与概念词 73
（二）个体词与谓述的位置 77
四 同一、指称与量化 83
第四章 “模态逻辑解释的几个问题” 88
一 模态逻辑及其语义解释的核心问题 89
二 包含模态的三个层次 93
（一）语词的使用和提及 93
（二）包含模态的三个层次 95
三 模态谓词逻辑的理论困难 100
（一）指称不明 100
（二）存在概括规则失效 104
（三）承诺本质主义 105
第五章 一种质疑的方案——替换量化理论 109
一 替换量化对对象量化的批评 110
（一）语言表达能力有限 110
（二）对量词域的质疑 112
二 什么是替换量化 114
（一）替换例与替换类 115
（二）替换量化的语义解释理论 117
三 替换量化下的本体论承诺 120
四 同一的必然性和新的本质主义理论 123
（一）“同一的必然性” 123
（二）新的本质主义理论 130
第六章 反思：对象量化与替换量化 132
一 对象量化与替换量化的主要区别 135
二 替换量化是扩大了量词域还是消解了量词域 139
三 替换量化是否避免了本体论承诺 144
四 替换量化是否建立起了一种独立的语义解释 149
第七章 结语 155
一 量化理论的意义和价值 156
（一）量化与哲学 157
（二）量化与逻辑 161
二 逻辑与哲学 169
参考文献 179