量詞是現代邏輯的關鍵性概念。對量詞的語義解釋要涉及真、指稱、同一、謂述等諸多概念，並由此帶來人們關於邏輯的觀念和範圍的不同界定，量詞理論由此成為語言哲學和現代邏輯的核心問題。《量詞理論研究 從蒯因的觀點看》以蒯因的觀點為視角，探討了兩種對量詞的解釋方案——指稱量化和替換量化，分析了它們所引發的不同的邏輯後果和哲學後果，並在此基礎上對量詞和真、指稱、本體論之間的聯繫，以及邏輯和哲學之間的關繫進行總結和展望。

楊紅玉，女，河南南陽人，哲學博士。2013年畢業於清華大學哲學繫，現為河南大學哲學與公共管理學院講師，河南大學馬佩邏輯研究中心執行主任。主要研究方向：現代邏輯，邏輯哲學以及語言哲學。

序言
第一章 引言
一 什麼是量詞
（一）從亞裡士多德的角度看
（二）從弗雷格的角度看
（三）傳統邏輯和現代邏輯
二 什麼是量化理論
三 對像量化和替換量化
四 本選題的研究思路和基本內容

第二章 “存在就是成為的值”
一 用名字表達存在的理論困難
二 用一種邏輯的方法解決本體論問題
（一）蒯的重新界定
（二）消去個體詞
三 本體論與本體論承諾
四 量化和本體論

第三章 “沒有同一性就沒有實體”
一 什麼是同一
二 同一與個體詞
（一）同一與個體化
（二）同一與語詞的設定
（三）同一與指稱
三 個體詞與謂述
（一）個體詞與概念詞
（二）個體詞與謂述的位置
四 同一、指稱與量化

第四章 “模態邏輯解釋的幾個問題”
一 模態邏輯及其語義解釋的核心問題
二 包含模態的三個層次
（一）語詞的使用和提及
（二）包含模態的三個層次
三 模態謂詞邏輯的理論困難
（一）指稱不明
（二）存在概括規則失效
（三）承諾本質主義

第五章 一種質疑的方案——替換量化理論
一 替換量化對對像量化的批評
（一）語言表達能力有限
（二）對量詞域的質疑
二 什麼是替換量化
（一）替換例與替換類
（二）替換量化的語義解釋理論
三 替換量化下的本體論承諾
四 同一的必然性和新的本質主義理論
（一）“同一的必然性”
（二）新的本質主義理論

第六章 反思：對像量化與替換量化
一 對像量化與替換量化的主要區別
二 替換量化是擴大了量詞域還是消解了量詞域
三 替換量化是否避免了本體論承諾
四 替換量化是否建立起了一種獨立的語義解釋

第七章 結語
一 量化理論的意義和價值
（一）量化與哲學
（二）量化與邏輯
二 邏輯與哲學
參考文獻

《量詞理論研究 從蒯因的觀點看》：
因此，亞裡士多德選擇“S是P”作為其構建三段論的基礎，其目的是想表達一種普遍性和普適性。但是，亞裡士多德的三段論推理繫統雖然代表著古典邏輯的最高成就，但三段論推理針對的主要是直言命題，而表達關繫的語句和包含個體詞的語句都無法在三段論繫統中得到刻畫，因此其邏輯處理能力大為受限。而弗雷格認為，包含單稱詞的語句是表達思想的一種最簡單的情況，因而是一種對語句分析的基礎和基本手段。弗雷格把包含單稱詞的語句所表達的思想劃分為兩個部分：飽和的（完整的）和不飽和的，其中個體詞相應於思想中完整的部分，而這個語句中其餘的部分（概念詞）相當於思想中的不完整的部分。保持概念詞不變，而使得完整的部分發生變化，那麼相應於這種變化所形成的不同的思想，必將有一個真值。
……