第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