引言：当代逻辑哲学 1
1.逻辑与哲学 1
2.在逻辑的糖果店里 2
3.理解逻辑的多元性 6
4.哲学逻辑与逻辑哲学的未来方向 10
逻辑是什么？ 14
1.逻辑与推理 14
2.演绎推理与信息 15
3.分析推理 16
4.外推性推理 17
5.“逻辑”对“超逻辑的系统化” 18
6.语形与语义 19
7.语形进路的限制 20
8.语义进路的限制 21
9.策略性规则与定义性规则 22
10.什么是一阶逻辑？ 24
11.公认一阶逻辑的预设 25
12.量词的意义 27
13.语义博弈 28
14.独立—友好逻辑的含义：可公理化性 29
15.否定及其重要性 31
16.高阶逻辑 32
17.没有本体论差异的一个区分 34
18.替代逻辑？ 35
19.外推性推理与信息采集 37
逻辑的范围和限制 50
1.全面回顾 50
2.逻辑的定义 51
3.属于逻辑的概念 53
4.三段论断言 55
5.推理模式 58
6.逻辑还原 62
7.蒯因的“逻辑的范围” 66
8.逻辑概念 69
9.我们应该如何思考？ 71
哲学中的逻辑 82
1.在那个世纪 82
2.一次快乐的历史之行 86
3.逻辑形式与自然逻辑：从三段论逻辑学到广义量词 91
4.推理类型：从波尔扎诺到条件逻辑和人工智能 96
5.语义解释机制：从塔斯基到“动力学” 101
6.理论与信念修正：从新实证主义到计算机科学 106
7.动态逻辑、交流、行为和博弈 111
8.深入主题 116
9.结论：再次讨论逻辑与哲学 117
非形式逻辑与论证概念 129
1.“论证”的技术和日常意义 130
2.论证作为通过提供一个以上的理由支持某观点的对话 132
3.诱导推理的论证 135
4.扩展：潜在论证与论证的等价类 136
5.复合直接论证 138
6.假定论证 141
7.总结一 145
8.论证的竞争概念 147
9.排除在论证类之外的对象 151
10.总结二 153
11.后记 153
论非形式与符号逻辑的关系 166
1.一种奇怪的二分法 166
2.关于形式逻辑与非形式逻辑的定义 168
3.形式逻辑与非形式逻辑的合作 172
4.结论 192
模糊性与日常语言的逻辑 196
1.认知诊断 197
2.逻辑适用于日常世界吗？ 198
3.柏拉图天堂中的模糊性 199
4.逻辑适用于日常语言吗？ 201
5.作为前逻辑现象的模糊性 202
6.逻辑只能松散地使用吗？ 206
7.真值间隙 206
8.逻辑多元论 207
9.变异逻辑 209
10.多值逻辑 210
11.家族相似性 211
12.原型 215
逻辑与语义分析 218
1.引言 218
2.一些经典的论证 220
3.通过逻辑类推进行语义分析 229
4.在逻辑中进行语义分析 241
5.开放性问题与深入解读 251
形式语义学的辩护无关问题 257
1.背景及概述 257
2.辩护一种形式逻辑的问题 259
3.逻辑衍推系统E 261
4.E-模型结构——Ems的使用与解释 263
5.关于两个和三个“点”的世界一线矩阵 272
真之简史 282
1.简介 282
2.早期观点 283
3.中期思想 314
4.后期观点 344
5.简短的结论 387
真与悖论：哲学概览 405
1.本文的目标与结构 405
2.d真与真 407
3.说谎者悖论：总括图景与计划 409
4.弗完全 411
5.弗协调逻辑 458
6.d真、有效性与保真 472
7.离开d真：参数与语境转变 476
8.修正理论 489
9.集合论悖论 495
10.最终的复仇 497
11.延伸阅读 503
希尔伯特纲领的过去与现在 516
1.引言 516
2.希尔伯特纲领的过去 517
3.希尔伯特纲领的哲学解释 527
4.希尔伯特纲领的现状 543
5.结论 552
逻辑主义及其在当代的遗产 566
1.弗雷格 570
2.语境、数与新弗雷格逻辑主义 579
3.罗素的逻辑主义与“无类”理论 595
4.卡尔纳普的内在逻辑主义 598
5.逻辑主义的当代评论 603
6.结构主义对逻辑主义的替代 611
7.逻辑主义与类型论 616
经典逻辑时代的来临 628
1.引言 628
2.一阶逻辑的崛起 630
3.语义可判定性与语义完备性 633
4.形式上不可判定的陈述、真的不可定义性以及非标准模型的存在性 635
5.第二不完备性定理以及后来哥德尔成果的扩充 638
6.第二不完备性定理之后的一致性证明 641
7.递归论的兴起 643
8.选择公理与广义连续统假设的相对一致性 651
9.巅峰与编撰 655
无穷 663
1.引言 663
2.实无穷 667
3.潜无穷 691
4.物理无穷 713
勒文海姆—司寇仑定理 743
1.引言 743
2.勒文海姆—司寇仑定理 746
3.勒文海姆—司寇仑—塔斯基定理 750
4.从“非常大”到“非常小” 754
5.建构基数到逻辑中 757
6.普通逻辑系统中的转移 760
7.一般性质 767
8.在有穷中的转移 771
司寇仑悖论的数学 779
1.司寇仑悖论 781
2.一个简明的技术求解 794
3.量化的优点 798
4.量化Ⅰ的缺陷 804
5.量化Ⅱ的缺陷 808
6.一些结论 813
量词的对象与替换的解释 820
1.引言 820
2.蒯因和本体论承诺 824
3.指称的与非指称的基础语义学 826
4.替换策略 828
5.克里普克关于替换量化 836
6.莱肯—范·因瓦根—法恩的反对 840
7.太多名称的问题 844
8.自然语言替换主义 846
多值逻辑 849
1.基本观点 849
2.历史概述 855
3.多值逻辑的基本系统 858
4.标准的及代数的语义学 861
5.特殊的三值和四值—系统 865
6.基于t-范数的联结词逻辑 874
7.剩余蕴涵对S-蕴涵 876
8.连续t-范数 878
9.连续t-范数的逻辑 880
10.左连续t-范数的逻辑 883
11.一些推广 885
12.帕维尔卡式外延 888
13.杰拉的一般方法 890
14.最近的一些应用 892
相干逻辑 907
1.经典“蕴涵”的一个问题 909
2.一次衍推 914
3.T-聚焦票据衍推 917
4.其他相干逻辑：B、L、E和R 969
弗协调逻辑与弗协调性 991
1.引言 991
2.C-逻辑 998
3.弗协调集合论 1035
4.亚希科夫斯基的逻辑 1051
5.标记逻辑 1069
6.弗协调逻辑的发展 1083
7.应用 1089
8.结束语 1122
外延与内涵逻辑 1142
1.弗雷格的意谓 1142
2.卡尔纳普的外延及外延逻辑 1149
3.外延性的失败与卡尔纳普的内涵 1156
4.模态逻辑 1159
5.模态谓词逻辑 1162
6.蒙塔古的“局部的”内涵逻辑 1165
7.“整体”内涵逻辑 1169
8.蒯因的外延主义者计划 1172
9.超越内涵 1174
逻辑可能世界和模态逻辑的对应语义学 1182
1.导言 1182
2.没有对象的世界 1186
3.对象的世界 1200
模态实在论及其在数学实在论中的根源 1250
1.引言 1250
2.刘易斯的可能世界 1252
3.普兰汀格的可能世界理论 1260
4.论证T的一个检验 1268
5.结束语 1277
自由逻辑 1280
1.自由的好处 1280
2.空域 1282
3.证明理论 1284
4.单域与对偶域 1286
5.正语义学 1288
6.负语义学 1291
7.零价的语义学 1295
8.超赋值 1297
9.哪一种语义学？ 1299
10.限定摹状词 1300
11.集合论 1305
12.被定义的逻辑及程序语言 1308
13.模态和时态逻辑 1310
14.直觉主义逻辑 1315
15.双条件句替换的失败 1317
16.一种表达的限制 1318
17.什么是自由逻辑？ 1321
18.结论 1323
虚构及其逻辑 1329
1.逻辑 1329
2.虚构逻辑的目标 1336
3.直觉 1338
4.考察基本概念模型 1357
5.最大的解释 1395
反事实语句、因果关系以及抢先占有 1415
1.引言 1415
2.反事实语句的逻辑 1416
3.反事实的因果论 1419
4.作为影响的因果关系 1423
5.事实上的依赖 1426
6.蓝图策略 1430
逻辑、数学与自然科学 1438
1.引言 1438
2.自然科学中假设演绎法构造方法的适当性问题 1438
3.经验理论的反驳 1440
4.不可证经验陈述的反实在论解释 1444
5.应用数学中严格经典定理的命运 1446
6.面对伯吉斯的反对 1450
缺省推理 1458
1.缺省推理 1458
2.展望错误的前景 1460
3.作为缺省推理的归纳 1462
4.非单调的缺省推理 1463
5.一些有益的思考 1464
索引 1469