导论 1
第一章 逻辑、逻辑后承与塔斯基语义学 10
1.1 当代逻辑的概念 10
1.2 逻辑后承 22
1.3 塔斯基语义学 32
第二章 逻辑与哲学 48
2.1 逻辑与哲学：世纪回眸 48
2.2 逻辑、哲学与哲学逻辑 58
2.3 哲学的逻辑建模 68
第三章 逻辑与形而上学 77
3.1 逻辑与本体论：一个蒯因的论题 77
3.2 非存在对象的逻辑 86
3.3 扎尔塔的模态对象演算 95
第四章 模态形而上学 104
4.1 卡尔纳普的量化模态逻辑形式语义学 104
4.2 刘易斯的模态形而上学 113
4.3 普兰汀格的模态形而上学和模态逻辑 123
4.4 福布斯反模态实在论 132
第五章 内涵逻辑 145
5.1 20世纪的内涵逻辑 145
5.2 内涵概念、语义学、证明论转向和模态化 154
5.3 赛里格曼的恰当描述逻辑 163
第六章 蒙太格语义学 173
6.1 蒙太格语法的历史命运 173
6.2 后蒙太格语义学的理论发展 183
6.3 蒙太格与扎尔塔内涵逻辑的一般比较 191
第七章 逻辑思想史系列 199
7.1 逻辑的先验构成 199
7.2 逻辑、逻各斯、定义与自然演绎系统 208
7.3 现代逻辑诞生前后的逻辑与哲学 221
第八章 康德、弗雷格和胡塞尔 231
8.1 现代语境与康德逻辑论题 231
8.2 弗雷格逻辑概念前后期的变化 240
8.3 弗雷格普遍主义的逻辑概念 248
8.4 胡塞尔《算术哲学》中的算术和逻辑思想 259
第九章 语义组合、自然类词项语义学与二维语义学 269
9.1 多学科多视域下的语义组合原则 269
9.2 克里普克与普特南自然类词项语义学观之异同 280
9.3 意义、理性和模态——二维语义学之向度 290
第十章 逻辑与应用 300
10.1 逻辑与语义分析 300
10.2 确证逻辑：一种基于证据的认知逻辑 314
10.3 逻辑与伦理学 322
人名索引 331
术语索引 336
后记 339