序言**章  引言  一  什么是量詞    (一)從亞里士多德的角度看    (二)從弗雷格的角度看      (三)傳統邏輯和現代邏輯    二  什么是量化理論  三  對象量化和替換量化  四  本選題的研究思路和基本內容第二章  “存在就是成為一個變元的值”    一  用名字表達存在的理論困難  二  用一種邏輯的方法解決本體論問題    (一)蒯因對變元的重新界定      (二)消去個體詞    三  本體論與本體論承諾  四  量化和本體論第三章“沒有同一性就沒有實體”  一  什么是同一  二  同一與個體詞    (一)同一與個體化      (二)同一與語詞的設定      (三)同一與指稱    三  個體詞與謂述    (一)個體詞與概念詞    (二)個體詞與謂述的位置  四  同一、指稱與量化第四章“模態邏輯解釋的幾個問題”  一  模態邏輯及其語義解釋的核心問題  二  包含模態的三個層次    (一)語詞的使用和提及    (二)包含模態的三個層次  三  模態謂詞邏輯的理論困難    (一)指稱不明    (二)存在概括規則失效    (三)承諾本質主義第五章一種質疑的方案——替換量化理論  一  替換量化對對象量化的批評    (一)語言表達能力有限    (二)對量詞域的質疑  二  什么是替換量化    (一)替換例與替換類    (二)替換量化的語義解釋理論  三  替換量化下的本體論承諾  四  同一的必然性和新的本質主義理論    (一)“同一的必然性”    (二)新的本質主義理論第六章反思：對象量化與替換量化  一  對象量化與替換量化的主要區別  二  替換量化是擴大了量詞域還是消解了量詞域  三  替換量化是否避免了本體論承諾  四  替換量化是否建立起了一種獨立的語義解釋第七章結語  一  量化理論的意義和價值    (一)量化與哲學    (二)量化與邏輯  二  邏輯與哲學參考文獻