1 语言、意义和逻辑 1
1.1 指号 1
1.2 语言 3
1.2.1 语言的构成 3
1.2.2 语言的特性 6
1.2.3 话语、语句和抽象语句 7
1.2.3.1 话语 7
1.2.3.2 语句和抽象语句 11
1.3 意义 15
1.3.1 抽象语句的意义--命题 16
1.3.2 语句的意义--命题态度 18
1.3.3 话语的意义--意谓 19
1.3.4 交际语境中的话语的意义--意思 20
1.4 语形学、语义学和语用学 22
1.5 逻辑 25
二 29
2 命题逻辑 29
2.1 集合、关系和函项 29
2.1.1 集合 29
2.1.2 关系 35
2.1.3 函项 40
2.2 命题联结词和关于联结词的推理 42
2.2.1 复合命题 42
2.2.2 真值函项和重言式 50
2.3 形式语言LP 58
2.3.1 对象语言、元语言和形式语言 58
2.3.2 形式语言LP的语形 59
2.3.3 形式语言LP的语义 61
2.4.1 形式系统 63
2.4 命题逻辑的自然推理系统P 63
2.4.2 P的推演规则 64
2.4.3 P的定理 70
2.4.4 P的系统特性 77
3 谓词逻辑 81
3.1 量词和关于量词的推理 81
3.1.1 个体常元和谓词 81
3.1.2 个体变元和量词 82
3.1.3 命题函项 85
3.1.4 一阶逻辑的命题形式 87
3.1.5 关系命题的重叠量词 90
3.2 形式语言LQ的语形 92
3.2.1 LQ的符号和形成规则 92
3.2.2 自由变元和约束变元 95
3.3.1 Q解释 96
3.3 形式语言LQ的语义 96
3.3.2 Q可满足,Q有效和Q语义后承 97
3.4 一阶逻辑的自然推理系统Q 100
3.4.1 Q的推演规则 100
3.4.2 Q的定理 103
3.4.3 带等词的一阶逻辑自然推理系统Q= 111
3.4.3.1 数量量词和数量表达式 111
3.4.3.2 LQ=的语形 113
3.4.3.3 LQ=的语义 114
3.4.3.4 Q=的推演规则 114
3.4.3.5 Q=的定理 115
3.4.4 关于“多数”、“少数”的讨论 118
3.4.5 摹状词 120
3.5 高阶逻辑 124
3.5.1 一阶语言表达能力的局限 124
3.5.2.1 二阶逻辑的语言 127
3.5.2 二阶逻辑 127
3.5.2.2 二阶逻辑QⅡ 129
3.5.2.3 二阶逻辑QⅡ的语义 132
3.5.3 高阶谓词和含高阶谓词的逻辑 134
3.5.4 关于副词的处理 137
4 模态逻辑 142
4.1 必然性概念和可能世界 144
4.2 模态命题逻辑系统 150
4.3 克里普克模型 161
4.4 严格蕴涵和相干蕴涵 170
4.5 模态谓词逻辑 178
5 条件句逻辑 186
5.1 条件句的初步分析 187
5.2 条件句逻辑的自然推理系统 196
6 时态逻辑 210
6.1.1 时态命题的符号化 212
6.1 时态命题及其语义解释 212
6.1.2 时态命题的语义解释 216
6.1.3 时态命题的真假关系 220
6.2 极小时态逻辑Kt 223
6.2.1 Kt的构造 223
6.2.2 Kt的一些定理 223
6.2.3 Kt为什么是极小系统 229
6.3 线性时态逻辑 230
6.3.1 线性时态逻辑CL 231
6.3.2 无端点线性时态逻辑SL 233
6.3.3 稠密无端点线性时态逻辑PL 234
6.3.4 循环时态逻辑PCr 235
6.4 枝形时态逻辑 238
6.5 时态逻辑与模态逻辑 240
7 道义逻辑 250
7.1 道义命题及其语义解释 252
7.1.1 道义命题的符号化 252
7.1.2 道义命题的语义解释 256
7.1.3 道义命题的真假关系 259
7.2 绝对道义逻辑 262
7.2.1 朴素绝对道义逻辑 263
7.2.2 真势绝对道义逻辑 275
7.2.2.1 命题常项S 275
7.2.2.2 康德原理 277
7.2.2.3 承诺悖论 279
7.2.2.4 乐善好施者悖论 280
7.2.2.5 互相冲突的义务二难 281
7.3 相对道义逻辑 283
8 认知逻辑 289
8.1 断定的逻辑分析 290
8.2 相信的逻辑分析 297
8.3 知道的逻辑分析 304
8.4 几点讨论 311
9 命令逻辑 318
9.1 命令逻辑的形式语言LIQ 318
9.2 命令逻辑系统IQB 326
9.3 命令逻辑的其他系统概述 334
10 问题逻辑 340
10.1 问题及其种类 340
10.2 初等问题和复合问题 348
10.3 形式语言LZQ=和形式演绎系统ZQ= 363
10.4 形式语言LY和形式演绎系统Y 370
10.5 问题逻辑理论研究概述 380
11.1 语义语境 385
三 385
11 语境 385
11.2 语用语境 387
11.3 语境Co、Cs、CH和CSH 389
12 言语行为 393
12.1 什么是言语行为 393
12.2 言语行为的意义理论 399
12.3 语旨行为的分类 402
12.4 显性施行式与隐性施行式 410
12.5 间接言语行为 418
12.6 对言语行为理论的评述 428
13 隐涵 430
13.1 格赖斯的隐涵理论 430
13.2 格赖斯的合作原则及其准则 432
13.3 格赖斯的谈话隐涵 433
13.4 格赖斯隐涵理论的问题 438
13.5 合作原则和合作准则 439
13.6 隐涵 444
13.7 等级隐涵和子句隐涵 448
13.7.1 等级隐涵 448
13.7.2 子句隐涵 449
13.8 隐涵的特性和应用 450
14 预设 453
14.1 预设理论的提出 453
14.2 什么是预设 457
14.2.1 语义预设和语用预设 457
14.2.2 预设的定义 459
14.3 直陈话语的预设 461
14.3.1 直陈简单话语的预设 461
14.3.2 直陈复合话语的预设 464
14.3.3 一些特别的直陈话语的预设 466
14.4 疑问话语的预设 468
14.4.1 选择疑问话语的预设 468
14.4.2 是否疑问话语的预设 470
14.4.3 特指疑问话语的预设 471
14.5 命令话语的预设 473
14.6 预设和隐涵的关系 475
14.7 预设的应用 476
15 修辞 480
15.1 修辞的逻辑功能 480
15.2 现代逻辑对修辞中逻辑功能的研究 485
15.3 隐喻--一种具有很强说服力的修辞手法 489
15.3.1 什么是隐喻 489
15.3.2 隐喻的理解 490
15.3.3 隐喻的分类 494
15.3.4 隐喻在论辩中的逻辑作用 496
15.4 其它修辞手法在论辩中的作用 500
15.4.1 夸张 500
15.4.2 反语 501
16 成功的交际 503
16.1 语言交际图式 503
16.2 说话者S如何传达 505
16.3 听话者H如何理解 507
16.4 成功的交际 508
四 510
17 谈话 510
17.1 谈话与语境 510
17.1.1 谈话的特征 510
17.1.2 语境在谈话中的作用 513
17.2.1 预示语列 514
17.2 谈话的结构 514
17.2.2 对答语列 517
17.2.3 插入语列 518
17.2.4 修正语列 519
17.2.5 开始语列和结束语列 520
17.3 谈话的讯息结构 522
17.3.1 话题与说明 522
17.4 良表达 528
17.4.1 表达和良表达 528
17.4.2 准确性 530
17.4.3 恰当性 531
17.4.4 灵活性 532
17.5 译义和释义 534
17.5.1 传达与理解 534
17.5.2 译义 535
17.5.3 释义 537
17.5.4 误解和曲解 539
18.1 概述 541
18.1.1 讲演的特征 541
18 讲演 541
18.1.2 讲演者、讯息和听众 542
18.1.3 讲演术的源流 544
18.2 说服力 546
18.2.1 讲演的语效--说服 546
18.2.2 理性 547
18.2.3 情感 548
18.2.4 品格 550
18.3.1 讲演论证的特征 551
17.3.2 话语宏观结构 552
18.3.2 讲演中常用的论证方法 552
18.3 论证 557
18.4 陈述 559
18.4.1 讲演中的陈述 559
18.4.2 讲演中常用的陈述方法 561
18.5 听讲术 565
18.5.1 听讲有术 565
18.5.2 记忆性听讲 567
18.5.3 评价性听讲 569
19 辩论 572
19.1 概述 572
19.1.1 辩论的特征 572
19.1.2 辩论术的源流 573
19.2.1 辩题与辩论推理 576
19.2 辩论推理 576
19.2.2 辩论推理与形式推理的区别 579
19.2.3 辩论推理的精确化问题 581
19.3 反驳 583
19.3.1 反驳与论证 583
19.3.2 反驳的类型 584
19.3.3 常用的反驳方法 586
19.4.1 辩护与反驳 591
19.4 辩护 591
19.4.2 常用的辩护方法 593
19.5 辩谬 597
19.5.1 辩谬在辩论中的作用 597
19.5.2 谬误的类型 598
19.5.3 谬误与辩论技巧的区别 601
19.5.4 斥诡辩 603
参考书目 605
索引 609