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