第1章 绪论 1
1.论证的要素 3
2.演绎与归纳 8
3.论证形式 11
4.真与有效性 13
5.可靠性 16
6.相容性 17
7.相容性和有效性之比较 19
8.发现的语境与辩护的语境 20
9.本书的安排 21
本章引入的关键术语 22
第一部分 语句逻辑 27
第2章 语句逻辑符号化 27
1.原子语句和复合语句 29
2.真值函数 29
3.合取 31
4.非真值函数联结词 34
5.变项与常项 35
6.否定 36
7.括号 38
8.析取 40
9.“并非既……又……”和“既不……也不……” 44
10.实质条件句 47
11.实质双条件句 50
12.“仅当”和“除非” 52
13.复杂语句符号化 54
14.语句逻辑的不同符号体系 63
本章引入的关键术语 66
第3章 真值表 69
1.真值的计算 71
2.重言句、矛盾句和偶真句 77
3.逻辑等价与条件句 83
4.用真值表检验有效性 87
5.用真值表检验相容性 90
6.有效性和相容性 92
7.用简化真值表方法检验无效性 93
8.用简化真值表方法检验相容性 99
9.代入特例 101
10.真值表与语句形式 107
本章引入的关键术语 110
第4章 证明 113
1.论证形式 115
2.肯定前件式和否定后件式 118
3.析取三段论和假言三段论 120
4.简化式和组合式 125
5.附加式和二难构成式 126
6.策略原则 131
7.双重否定律和德·摩根律 141
8.交换律、结合律和分配律 145
9.易位律、蕴析律和移出律 146
10.重言律和等值律 147
11.更多策略原则 153
12.解题中的常见错误 159
本章引入的关键术语 169
第5章 条件证明和间接证明 171
1.条件证明 173
2.间接证明 184
3.运用CP和IP的策略提示 191
4.定理 193
5.前提不相容的证明 194
6.附加的有效论证形式 197
7.语句逻辑的完全性和可靠性 198
8.引入规则和消去规则 200
9.实质蕴涵和有效的论证形式 206
本章引入的关键术语 209
第6章 语句逻辑真值树 211
1.语句逻辑真值树方法 213
2.真值树规则 214
3.真值树构造的细节 224
4.真值树方法的理论依据 229
5.真值树方法的应用 232
本章引入的关键术语 233
第二部分 谓词逻辑 237
第7章 谓词逻辑符号化 237
1.个体和属性 239
2.量词和自由变项 243
3.全称量词 245
4.存在量词 250
5.基本的谓词逻辑符号化 252
6.对当方阵 254
7.量化语句符号化的常见错误 255
8.展开式 259
9.“只有”“只有……才”和“除非”的符号化 262
本章引入的关键术语 265
第8章 谓词逻辑语义学 267
1.谓词逻辑中的解释 269
2.无效性的证明 271
3.使用展开式证明无效性 274
4.谓词逻辑中的相容性 276
5.谓词逻辑中的有效性和不相容性 278
本章引入的关键术语 279
第9章 谓词逻辑证明 281
1.有效性的证明 283
2.四个量词规则 285
3.五个主要限制 292
4.四个量词规则的精确形塑 298
5.熟练掌握四个量词规则 301
6.量词否定规则 307
本章引入的关键术语 313
第10章 关系谓词逻辑 315
1.关系谓词 317
2.含有重叠量词的符号表达式 320
3.展开式与重叠量词 321
4.地点与时间 326
5.“某人”“某地”“某时”等语词的符号化 328
6.关系谓词逻辑中的无效性与相容性 335
7.关系谓词逻辑的证明 336
8.关系谓词逻辑证明的策略 345
9.谓词逻辑中的定理与不相容性 349
10.谓词逻辑的元理论 353
11.量词规则的简化 354
第11章 四个量词规则精确形塑的理论说明 359
1.涉及五个主要限制的情形 361
2.一一对应问题 364
3.意外约束变项及其复杂情形 370
4.带有标记常项的谓词逻辑证明 376
第12章 谓词逻辑真值树 381
1.谓词逻辑真值树方法 383
2.无穷真值树 388
第13章 同一性与符号逻辑的哲学问题 393
1.同一性 395
2.限定摹状词 402
3.关系的性质 406
4.高阶逻辑 410
5.谓词逻辑的局限性 412
6.哲学问题 417
7.逻辑悖论 427
本章引入的关键术语 436
第三部分 其他逻辑系统 441
第14章 三段论逻辑 441
1.直言命题 443
2.存在含义 446
3.对当方阵 447
4.换位、换质和换质位 451
5.三段论逻辑——不假定存在含义 455
6.文恩图 457
7.三段论 460
8.判定三段论的有效性 463
9.有效性或无效性的文恩图证明 464
10.判定有效性或无效性的五个规则 470
11.扩展的三段论 475
12.省略式三段论 478
13.连锁式三段论 480
14.技术限制与局限性 483
本章引入的关键术语 487
第15章 非形式谬误 491
1.谬误的性质 493
2.谬误的分类 496
本章引入的关键术语 519
第16章 归纳逻辑 521
1.有关归纳与演绎的一种错误观点 523
2.归纳论证的种类 525
3.原因与结果 538
4.穆勒方法 542
5.归纳概率 552
6.概率演算 553
7.贝叶斯定理 555
8.归纳是不可证立的——老归纳之谜 558
9.理论的实例并不都能确证理论——新归纳之谜 562
本章引入的关键术语 565
第17章 公理系统 569
1.公理系统的特征 571
2.已解释系统和未解释系统 572
3.公理系统的性质 573
4.一个语句逻辑公理系统概要 577
5.谓词逻辑公理系统 584
6.其他公理系统 585
7.对公理系统的异议 586
本章引入的关键术语 587
第18章 择代逻辑 589
1.模态逻辑 591
2.严格蕴涵 592
3.模态公理 594
4.模态定理 596
5.模态怪论 597
6.一个哲学问题 597
7.模态谓词逻辑 598
8.认知逻辑：知识和信念的逻辑 602
9.认知定理 605
10.道义逻辑 606
11.道义系统的问题 609
本章引入的关键术语 611
部分习题解答 612
参考文献 721
特殊符号 726
索引 727
译者后记 743