第一章 引言

一 什么是量词

（一）从亚里士多德的角度看

（二）从弗雷格的角度看

（三）传统逻辑和现代逻辑

二 什么是量化理论

三 对象量化和替换量化

四 本选题的研究思路和基本内容

第二章 “存在就是成为一个变元的值”

一 用名字表达存在的理论困难

二 用一种逻辑的方法解决本体论问题

（一）蒯因对变元的重新界定

（二）消去个体词

三 本体论与本体论承诺

四 量化和本体论

第三章 “没有同一性就没有实体”

一 什么是同一

二 同一与个体词

（一）同一与个体化

（二）同一与语词的设定

（三）同一与指称

三 个体词与谓述

（一）个体词与概念词

（二）个体词与谓述的位置

四 同一、指称与量化

第四章 “模态逻辑解释的几个问题”

一 模态逻辑及其语义解释的核心问题

二 包含模态的三个层次

（一）语词的使用和提及

（二）包含模态的三个层次

三 模态谓词逻辑的理论困难

（一）指称不明

（二）存在概括规则失效

（三）承诺本质主义

第五章 一种质疑的方案——替换量化理论

一 替换量化对对象量化的批评

（一）语言表达能力有限

（二）对量词域的质疑

二 什么是替换量化

（一）替换例与替换类

（二）替换量化的语义解释理论

三 替换量化下的本体论承诺

四 同一的必然性和新的本质主义理论

（一）“同一的必然性”

（二）新的本质主义理论

第六章 反思：对象量化与替换量化

一 对象量化与替换量化的主要区别

二 替换量化是扩大了量词域还是消解了量词域

三 替换量化是否避免了本体论承诺

四 替换量化是否建立起了一种独立的语义解释

第七章 结语

一 量化理论的意义和价值

（一）量化与哲学

（二）量化与逻辑

二 逻辑与哲学

参考文献