目录

序言

第一章 引言

一 什么是量词

二 什么是量化理论

三 对象量化和替换量化

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

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

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

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

三 本体论与本体论承诺

四 量化和本体论

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

一 什么是同一

二 同一与个体词

三 个体词与谓述

四 同一、指称与量化

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

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

二 包含模态的三个层次

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

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

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

二 什么是替换量化

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

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

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

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

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

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

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

第七章 结语

一 量化理论的意义和价值

二 逻辑与哲学

参考文献