非经典逻辑系统发生学研究：兼论逻辑哲学的中心问题

前言

第一章 恰当性问题：逻辑哲学的中心问题

1.1 什么是逻辑哲学？

1.1.1 逻辑与逻辑哲学

1.1.2 逻辑哲学与“哲学逻辑”

1.1.3 逻辑的划界

1.2 逻辑系统及其现实原型

1.2.1 形式系统内外的有效性

1.2.2 形式论证与非形式论证的关系

1.3 什么是逻辑哲学中心问题？

第二章 逻辑系统发生学：探索非经典逻辑产生的奥秘

2.1 形式化的步骤和限度

2.2 蕴涵词及其演变--不断克服形式化限度的过程

2.2.1 实质蕴涵

2.2.2 严格蕴涵

2.2.3 相干蕴涵与衍推

2.3 对应原理与非经典逻辑的产生

2.3.1 什么是对应原理？

2.3.2 改造经典逻辑的一般策略原则

2.3.3 非经典逻辑产生和发展的奥秘

2.4 逻辑真与逻辑多元论

2.5 逻辑可修正与非经典逻辑的兴起

2.5.1 哈克论逻辑可修正

2.5.2 逻辑可修正的涵义

2.5.3 逻辑可修正与逻辑系统发生学

第三章 恰当性和对应性：模态逻辑的产生与扩展

3.1 关于必然真理的哲学讨论

3.2 模态逻辑诸形式系统：不同的形式刻画

3.3 蒯因对模态逻辑的责难

3.4 可能世界的语义学及其哲学疑难

3.5 从逻辑系统发生学视角看模态逻辑的扩展

第四章 涵义与指称：内涵逻辑的兴起

4.1 弗雷格的涵义和指称理论

4.1.1 涵义和指称

4.1.2 外延主义与内涵主义之争

4.1.3 涵义和指称的逻辑

4.2 作为涵义与指称逻辑的内涵逻辑

4.2.1 内涵逻辑简述

4.2.2 外延性原理及其限度

4.2.3 内涵与内涵逻辑

4.2.4 邱奇的内涵逻辑系统及其局限

4.3 涵义与指称逻辑的出路

4.3.1 什么是超内涵问题？

4.3.2 超内涵逻辑的兴起

4.4 从逻辑哲学角度看内涵逻辑

第五章 事实与价值：悖论、二难与道义逻辑的产生和发展

5.1 道义逻辑的产生

5.2 道义逻辑标准系统

5.3 道义逻辑悖论

5.3.1 罗斯悖论

5.3.2 齐硕姆悖论

5.3.3 温和谋杀者悖论

5.3.4 承诺悖论

5.3.5 杰弗塔二难

5.4 从逻辑哲学的观点看道义逻辑

第六章 真值与非真值：直陈条件句逻辑的发展

6.1 实质条件句进路

6.2 能世界进路

6.3 非真值条件进路

6.4 实质条件句进路的合理性与局限性

6.5 非真值条件进路的优势与缺陷

6.6 直陈条件句逻辑的发展趋势

第七章 帕斯卡与非帕斯卡：归纳概率逻辑的发展和演变

7.1 非帕斯卡概率逻辑系统的产生

7.1.1 非帕斯卡概率逻辑产生的哲学背景

7.1.2 非帕斯卡概率逻辑的恰当性

7.2 概率解释的分野

7.2.1 客观解释

7.2.2 主观解释

7.3 概率解释的可应用性

7.4 从帕斯卡概率解释到非帕斯卡概率解释的发展

第八章 精确与模糊：模糊逻辑的形式化发展

8.1 问题的提出

8.2 从逻辑哲学的观点看

8.3 模糊逻辑FZ系统的逻辑哲学分析

8.4 简要的评论

第九章 对应与互补：量子逻辑的产生与发展

9.1 作为一种非经典逻辑的量子逻辑

9.2 引入量子逻辑的基本进路

9.2.1 作为“实验命题”的逻辑

9.2.2 “实验命题”逻辑的形式化

9.3 量子逻辑的哲学争论

9.3.1 普特南关于“逻辑可修改性”的弱论断与强论断

9.3.2 “意义不变性”论证

9.4 在几种不同的量子力学解释下看逻辑可修正性

9.4.1 量子力学正统解释下的逻辑修正

9.4.2 德布罗意一玻姆理论解释下的逻辑修正

9.4.3 埃弗雷特的多世界解释下的逻辑修正

9.5 对应原理--“普特南二难”的合理解

9.5.1 普特南观点的澄清：基于经验的理由还是哲学的考虑？

9.5.2 从整体多元论立场看非经典逻辑

9.5.3 对应原理与量子逻辑

第十章 二值与多值：多值逻辑的产生和发展

10.1 从认识论角度看多值逻辑的产生

10.2 几种典型的三值逻辑系统及其特异性质

10.3 矛盾律、排中律与多值逻辑

10.4 从逻辑哲学角度看多值逻辑

第十一章 平庸矛盾与不平庸矛盾：次协调逻辑的兴起及其意义

11.1 引言：次协调逻辑的产生

11.2 次协调逻辑的现实原型

11.3 悖论、二律背反与次协调逻辑

11.4 达·科斯塔的次协调逻辑

11.5 次协调命题演算Cn

11.6 次协调逻辑的哲学意义

第十一章 辩证法与辩证逻辑：辩证逻辑形式化的尝试

12.1 作为一种哲理性非经典逻辑的辩证逻辑

12.2 辩证逻辑形式化的有限目标论题

12.3 辩证逻辑形式系统所不可或缺的基本性质

12.4 辩证逻辑公理系统DLA的建立

第十三章 形式与非形式：论证逻辑的兴起及其哲学意义

13.1 图尔敏论证逻辑的意义

13.2 图尔敏论证逻辑的哲学基础

13.2.1 图尔敏论证逻辑的基本论点

13.2.2 图尔敏论证逻辑的基本原则

13.3 论证逻辑的发展与探索

13.3.1 图尔敏论证模式的进一步发展

13.3.2 关于有效性和保真性概念的探索

13.3.3 关于合理性观念的进一步探索

13.4 从逻辑哲学的视角看论证逻辑

结语

参考文献

（一）中文文献

（二）外文文献

后记