非經(jīng)典邏輯系統(tǒng)發(fā)生學(xué)研究：兼論邏輯哲學(xué)的中心問題

前言
第一章 恰當(dāng)性問題：邏輯哲學(xué)的中心問題
1.1 什么是邏輯哲學(xué)？
1.1.1 邏輯與邏輯哲學(xué)
1.1.2 邏輯哲學(xué)與“哲學(xué)邏輯”
1.1.3 邏輯的劃界
1.2 邏輯系統(tǒng)及其現(xiàn)實(shí)原型
1.2.1 形式系統(tǒng)內(nèi)外的有效性
1.2.2 形式論證與非形式論證的關(guān)系
1.3 什么是邏輯哲學(xué)中心問題？
第二章 邏輯系統(tǒng)發(fā)生學(xué)：探索非經(jīng)典邏輯產(chǎn)生的奧秘
2.1 形式化的步驟和限度
2.2 蘊(yùn)涵詞及其演變--不斷克服形式化限度的過程
2.2.1 實(shí)質(zhì)蘊(yùn)涵
2.2.2 嚴(yán)格蘊(yùn)涵
2.2.3 相干蘊(yùn)涵與衍推
2.3 對(duì)應(yīng)原理與非經(jīng)典邏輯的產(chǎn)生
2.3.1 什么是對(duì)應(yīng)原理？
2.3.2 改造經(jīng)典邏輯的一般策略原則
2.3.3 非經(jīng)典邏輯產(chǎn)生和發(fā)展的奧秘
2.4 邏輯真與邏輯多元論
2.5 邏輯可修正與非經(jīng)典邏輯的興起
2.5.1 哈克論邏輯可修正
2.5.2 邏輯可修正的涵義
2.5.3 邏輯可修正與邏輯系統(tǒng)發(fā)生學(xué)
第三章 恰當(dāng)性和對(duì)應(yīng)性：模態(tài)邏輯的產(chǎn)生與擴(kuò)展
3.1 關(guān)于必然真理的哲學(xué)討論
3.2 模態(tài)邏輯諸形式系統(tǒng)：不同的形式刻畫
3.3 蒯因?qū)δB(tài)邏輯的責(zé)難
3.4 可能世界的語義學(xué)及其哲學(xué)疑難
3.5 從邏輯系統(tǒng)發(fā)生學(xué)視角看模態(tài)邏輯的擴(kuò)展
第四章 涵義與指稱：內(nèi)涵邏輯的興起
4.1 弗雷格的涵義和指稱理論
4.1.1 涵義和指稱
4.1.2 外延主義與內(nèi)涵主義之爭(zhēng)
4.1.3 涵義和指稱的邏輯
4.2 作為涵義與指稱邏輯的內(nèi)涵邏輯
4.2.1 內(nèi)涵邏輯簡(jiǎn)述
4.2.2 外延性原理及其限度
4.2.3 內(nèi)涵與內(nèi)涵邏輯
4.2.4 邱奇的內(nèi)涵邏輯系統(tǒng)及其局限
4.3 涵義與指稱邏輯的出路
4.3.1 什么是超內(nèi)涵問題？
4.3.2 超內(nèi)涵邏輯的興起
4.4 從邏輯哲學(xué)角度看內(nèi)涵邏輯
第五章 事實(shí)與價(jià)值：悖論、二難與道義邏輯的產(chǎn)生和發(fā)展
5.1 道義邏輯的產(chǎn)生
5.2 道義邏輯標(biāo)準(zhǔn)系統(tǒng)
5.3 道義邏輯悖論
5.3.1 羅斯悖論
5.3.2 齊碩姆悖論
5.3.3 溫和謀殺者悖論
5.3.4 承諾悖論
5.3.5 杰弗塔二難
5.4 從邏輯哲學(xué)的觀點(diǎn)看道義邏輯
第六章 真值與非真值：直陳條件句邏輯的發(fā)展
6.1 實(shí)質(zhì)條件句進(jìn)路
6.2 能世界進(jìn)路
6.3 非真值條件進(jìn)路
6.4 實(shí)質(zhì)條件句進(jìn)路的合理性與局限性
6.5 非真值條件進(jìn)路的優(yōu)勢(shì)與缺陷
6.6 直陳條件句邏輯的發(fā)展趨勢(shì)
第七章 帕斯卡與非帕斯卡：歸納概率邏輯的發(fā)展和演變
7.1 非帕斯卡概率邏輯系統(tǒng)的產(chǎn)生
7.1.1 非帕斯卡概率邏輯產(chǎn)生的哲學(xué)背景
7.1.2 非帕斯卡概率邏輯的恰當(dāng)性
7.2 概率解釋的分野
7.2.1 客觀解釋
7.2.2 主觀解釋
7.3 概率解釋的可應(yīng)用性
7.4 從帕斯卡概率解釋到非帕斯卡概率解釋的發(fā)展
第八章 精確與模糊：模糊邏輯的形式化發(fā)展
8.1 問題的提出
8.2 從邏輯哲學(xué)的觀點(diǎn)看
8.3 模糊邏輯FZ系統(tǒng)的邏輯哲學(xué)分析
8.4 簡(jiǎn)要的評(píng)論
第九章 對(duì)應(yīng)與互補(bǔ)：量子邏輯的產(chǎn)生與發(fā)展
9.1 作為一種非經(jīng)典邏輯的量子邏輯
9.2 引入量子邏輯的基本進(jìn)路
9.2.1 作為“實(shí)驗(yàn)命題”的邏輯
9.2.2 “實(shí)驗(yàn)命題”邏輯的形式化
9.3 量子邏輯的哲學(xué)爭(zhēng)論
9.3.1 普特南關(guān)于“邏輯可修改性”的弱論斷與強(qiáng)論斷
9.3.2 “意義不變性”論證
9.4 在幾種不同的量子力學(xué)解釋下看邏輯可修正性
9.4.1 量子力學(xué)正統(tǒng)解釋下的邏輯修正
9.4.2 德布羅意一玻姆理論解釋下的邏輯修正
9.4.3 埃弗雷特的多世界解釋下的邏輯修正
9.5 對(duì)應(yīng)原理--“普特南二難”的合理解
9.5.1 普特南觀點(diǎn)的澄清：基于經(jīng)驗(yàn)的理由還是哲學(xué)的考慮？
9.5.2 從整體多元論立場(chǎng)看非經(jīng)典邏輯
9.5.3 對(duì)應(yīng)原理與量子邏輯
第十章 二值與多值：多值邏輯的產(chǎn)生和發(fā)展
10.1 從認(rèn)識(shí)論角度看多值邏輯的產(chǎn)生
10.2 幾種典型的三值邏輯系統(tǒng)及其特異性質(zhì)
10.3 矛盾律、排中律與多值邏輯
10.4 從邏輯哲學(xué)角度看多值邏輯
第十一章 平庸矛盾與不平庸矛盾：次協(xié)調(diào)邏輯的興起及其意義
11.1 引言：次協(xié)調(diào)邏輯的產(chǎn)生
11.2 次協(xié)調(diào)邏輯的現(xiàn)實(shí)原型
11.3 悖論、二律背反與次協(xié)調(diào)邏輯
11.4 達(dá)·科斯塔的次協(xié)調(diào)邏輯
11.5 次協(xié)調(diào)命題演算Cn
11.6 次協(xié)調(diào)邏輯的哲學(xué)意義
第十一章 辯證法與辯證邏輯：辯證邏輯形式化的嘗試
12.1 作為一種哲理性非經(jīng)典邏輯的辯證邏輯
12.2 辯證邏輯形式化的有限目標(biāo)論題
12.3 辯證邏輯形式系統(tǒng)所不可或缺的基本性質(zhì)
12.4 辯證邏輯公理系統(tǒng)DLA的建立
第十三章 形式與非形式：論證邏輯的興起及其哲學(xué)意義
13.1 圖爾敏論證邏輯的意義
13.2 圖爾敏論證邏輯的哲學(xué)基礎(chǔ)
13.2.1 圖爾敏論證邏輯的基本論點(diǎn)
13.2.2 圖爾敏論證邏輯的基本原則
13.3 論證邏輯的發(fā)展與探索
13.3.1 圖爾敏論證模式的進(jìn)一步發(fā)展
13.3.2 關(guān)于有效性和保真性概念的探索
13.3.3 關(guān)于合理性觀念的進(jìn)一步探索
13.4 從邏輯哲學(xué)的視角看論證邏輯
結(jié)語
參考文獻(xiàn)
（一）中文文獻(xiàn)
（二）外文文獻(xiàn)
后記