奎因是20世纪世界著名的逻辑学家与哲学家。本书是对奎因逻辑哲学思想的初探。奎因致力于为逻辑的发展注入哲学的动机,把逻辑与集合论和其他科学区分开来,确立了逻辑的范围。本书分别在句子逻辑、量化逻辑和模态逻辑等方面讨论了奎因的逻辑思想,进而以逻辑一元论来描述奎因的逻辑观。奎因的逻辑观基本上是通过对一阶逻辑的特征描述建立起来的。在逻辑常项和逻辑系统两个问题上,本书探讨了奎因逻辑哲学的延伸问题。奎因并没有触及塔尔斯基的逻辑常项问题,也没有探讨什么是逻辑系统的问题,而是以语义学为核心进行论述的,这与他的哲学动机有密切的关系。
样章试读
目录
- 目录
第1章 导论 1
1.1 奎因生平简介 1
1.2 奎因的逻辑研究 3
1.3 什么是逻辑哲学 6
1.4 奎因的逻辑哲学 9
第2章 句子逻辑 12
2.1 真之载体 12
2.2 真值函数 19
2.3 句子逻辑演算 29
2.4 多值逻辑 34
2.5 直觉主义句子逻辑 45
2.6 逻辑与经验 57
第3章 量化逻辑 61
3.1 传统词项逻辑 62
3.2 单称句子的逻辑形式 68
3.3 量词 82
3.4 量化与本体论 86
3.5 其他量化 91
第4章 模态逻辑 95
4.1 信念句子 96
4.2 模态的三个层次 102
4.3 可能世界语义学 106
4.4 弗雷格式信念逻辑 111
4.5 量化模态逻辑 120
第5章 逻辑一元论 129
5.1 逻辑真句子 129
5.2 奎因的逻辑观 133
5.3 一阶逻辑与集合论 138
5.4 逻辑的变异 140
5.5 逻辑的扩张 144
第6章 逻辑常项 154
6.1 逻辑常项问题 155
6.2 塔尔斯基标准的应用问题 158
6.3 修正费弗曼标准 162
6.4 模态常项 165
6.5 动态认知逻辑 168
第7章 逻辑系统 173
7.1 逻辑系统的概念 174
7.2 代数语义与证明论语义 179
7.3 抽象逻辑的观念 183
参考文献 185