量詞是現(xiàn)代邏輯的關(guān)鍵性概念。對量詞的語義解釋要涉及真、指稱、同一、謂述等諸多概念,并由此帶來人們關(guān)于邏輯的觀念和范圍的不同界定,量詞理論由此成為語言哲學(xué)和現(xiàn)代邏輯的核心問題。《量詞理論研究 從蒯因的觀點(diǎn)看》以蒯因的觀點(diǎn)為視角,探討了兩種對量詞的解釋方案——指稱量化和替換量化,分析了它們所引發(fā)的不同的邏輯后果和哲學(xué)后果,并在此基礎(chǔ)上對量詞和真、指稱、本體論之間的聯(lián)系,以及邏輯和哲學(xué)之間的關(guān)系進(jìn)行總結(jié)和展望。
楊紅玉,女,河南南陽人,哲學(xué)博士。2013年畢業(yè)于清華大學(xué)哲學(xué)系,現(xiàn)為河南大學(xué)哲學(xué)與公共管理學(xué)院講師,河南大學(xué)馬佩邏輯研究中心執(zhí)行主任。主要研究方向:現(xiàn)代邏輯,邏輯哲學(xué)以及語言哲學(xué)。
序言
第一章 引言
一 什么是量詞
(一)從亞里士多德的角度看
(二)從弗雷格的角度看
(三)傳統(tǒng)邏輯和現(xiàn)代邏輯
二 什么是量化理論
三 對象量化和替換量化
四 本選題的研究思路和基本內(nèi)容
第二章 “存在就是成為一個變元的值”
一 用名字表達(dá)存在的理論困難
二 用一種邏輯的方法解決本體論問題
(一)蒯因?qū)ψ冊闹匦陆缍?nbsp;
(二)消去個體詞
三 本體論與本體論承諾
四 量化和本體論
第三章 “沒有同一性就沒有實(shí)體”
一 什么是同一
二 同一與個體詞
(一)同一與個體化
(二)同一與語詞的設(shè)定
(三)同一與指稱
三 個體詞與謂述
(一)個體詞與概念詞
(二)個體詞與謂述的位置
四 同一、指稱與量化
第四章 “模態(tài)邏輯解釋的幾個問題”
一 模態(tài)邏輯及其語義解釋的核心問題
二 包含模態(tài)的三個層次
(一)語詞的使用和提及
(二)包含模態(tài)的三個層次
三 模態(tài)謂詞邏輯的理論困難
(一)指稱不明
(二)存在概括規(guī)則失效
(三)承諾本質(zhì)主義
第五章 一種質(zhì)疑的方案——替換量化理論
一 替換量化對對象量化的批評
(一)語言表達(dá)能力有限
(二)對量詞域的質(zhì)疑
二 什么是替換量化
(一)替換例與替換類
(二)替換量化的語義解釋理論
三 替換量化下的本體論承諾
四 同一的必然性和新的本質(zhì)主義理論
(一)“同一的必然性”
(二)新的本質(zhì)主義理論
第六章 反思:對象量化與替換量化
一 對象量化與替換量化的主要區(qū)別
二 替換量化是擴(kuò)大了量詞域還是消解了量詞域
三 替換量化是否避免了本體論承諾
四 替換量化是否建立起了一種獨(dú)立的語義解釋
第七章 結(jié)語
一 量化理論的意義和價(jià)值
(一)量化與哲學(xué)
(二)量化與邏輯
二 邏輯與哲學(xué)
參考文獻(xiàn)
《量詞理論研究 從蒯因的觀點(diǎn)看》:
因此,亞里士多德選擇“S是P”作為其構(gòu)建三段論的基礎(chǔ),其目的是想表達(dá)一種普遍性和普適性。但是,亞里士多德的三段論推理系統(tǒng)雖然代表著古典邏輯的最高成就,但三段論推理針對的主要是直言命題,而表達(dá)關(guān)系的語句和包含個體詞的語句都無法在三段論系統(tǒng)中得到刻畫,因此其邏輯處理能力大為受限。而弗雷格認(rèn)為,包含單稱詞的語句是表達(dá)思想的一種最簡單的情況,因而是一種對語句分析的基礎(chǔ)和基本手段。弗雷格把包含單稱詞的語句所表達(dá)的思想劃分為兩個部分:飽和的(完整的)和不飽和的,其中個體詞相應(yīng)于思想中完整的部分,而這個語句中其余的部分(概念詞)相當(dāng)于思想中的不完整的部分。保持概念詞不變,而使得完整的部分發(fā)生變化,那么相應(yīng)于這種變化所形成的不同的思想,必將有一個真值。
……