杨红玉，女，河南南阳人，哲学博士。2013年毕业于清华大学哲学系，现为河南大学哲学与公共管理学院讲师，河南大学马佩逻辑研究中心执行主任。主要研究方向：现代逻辑，逻辑哲学以及语言哲学。

　　量词是现代逻辑的关键性概念。对量词的语义解释要涉及真、指称、同一、谓述等诸多概念，并由此带来人们关于逻辑的观念和范围的不同界定，量词理论由此成为语言哲学和现代逻辑的核心问题。《量词理论研究 从蒯因的观点看》以蒯因的观点为视角，探讨了两种对量词的解释方案——指称量化和替换量化，分析了它们所引发的不同的逻辑后果和哲学后果，并在此基础上对量词和真、指称、本体论之间的联系，以及逻辑和哲学之间的关系进行总结和展望。

　　《量词理论研究 从蒯因的观点看》：
　　因此，亚里士多德选择“S是P”作为其构建三段论的基础，其目的是想表达一种普遍性和普适性。但是，亚里士多德的三段论推理系统虽然代表着古典逻辑的最高成就，但三段论推理针对的主要是直言命题，而表达关系的语句和包含个体词的语句都无法在三段论系统中得到刻画，因此其逻辑处理能力大为受限。而弗雷格认为，包含单称词的语句是表达思想的一种最简单的情况，因而是一种对语句分析的基础和基本手段。弗雷格把包含单称词的语句所表达的思想划分为两个部分：饱和的（完整的）和不饱和的，其中个体词相应于思想中完整的部分，而这个语句中其余的部分（概念词）相当于思想中的不完整的部分。保持概念词不变，而使得完整的部分发生变化，那么相应于这种变化所形成的不同的思想，必将有一个真值。
　　……

序言
第一章 引言
一 什么是量词
（一）从亚里士多德的角度看
（二）从弗雷格的角度看
（三）传统逻辑和现代逻辑
二 什么是量化理论
三 对象量化和替换量化
四 本选题的研究思路和基本内容

第二章 “存在就是成为一个变元的值”
一 用名字表达存在的理论困难
二 用一种逻辑的方法解决本体论问题
（一）蒯因对变元的重新界定
（二）消去个体词
三 本体论与本体论承诺
四 量化和本体论

第三章 “没有同一性就没有实体”
一 什么是同一
二 同一与个体词
（一）同一与个体化
（二）同一与语词的设定
（三）同一与指称
三 个体词与谓述
（一）个体词与概念词
（二）个体词与谓述的位置
四 同一、指称与量化

第四章 “模态逻辑解释的几个问题”
一 模态逻辑及其语义解释的核心问题
二 包含模态的三个层次
（一）语词的使用和提及
（二）包含模态的三个层次
三 模态谓词逻辑的理论困难
（一）指称不明
（二）存在概括规则失效
（三）承诺本质主义

第五章 一种质疑的方案——替换量化理论
一 替换量化对对象量化的批评
（一）语言表达能力有限
（二）对量词域的质疑
二 什么是替换量化
（一）替换例与替换类
（二）替换量化的语义解释理论
三 替换量化下的本体论承诺
四 同一的必然性和新的本质主义理论
（一）“同一的必然性”
（二）新的本质主义理论

第六章 反思：对象量化与替换量化
一 对象量化与替换量化的主要区别
二 替换量化是扩大了量词域还是消解了量词域
三 替换量化是否避免了本体论承诺
四 替换量化是否建立起了一种独立的语义解释

第七章 结语
一 量化理论的意义和价值
（一）量化与哲学
（二）量化与逻辑
二 逻辑与哲学
参考文献