逻辑 正确思维和有效交际的理论PDF格式文档图书下载

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

查看更多关于逻辑 正确思维和有效交际的理论的内容