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