《逻辑 正确思维和有效交际的理论》求取 ⇩

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 形式语言LP58

2.3.1 对象语言、元语言和形式语言58

2.3.2 形式语言LP的语形59

2.3.3 形式语言LP的语义61

2.4.1 形式系统63

2.4 命题逻辑的自然推理系统P63

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 一阶逻辑的自然推理系统Q100

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 极小时态逻辑Kt223

6.2.1 Kt的构造223

6.2.2 Kt的一些定理223

6.2.3 Kt为什么是极小系统229

6.3 线性时态逻辑230

6.3.1 线性时态逻辑CL231

6.3.2 无端点线性时态逻辑SL233

6.3.3 稠密无端点线性时态逻辑PL234

6.3.4 循环时态逻辑PCr235

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 命题常项S275

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 命令逻辑的形式语言LIQ318

9.2 命令逻辑系统IQB326

9.3 命令逻辑的其他系统概述334

10 问题逻辑340

10.1 问题及其种类340

10.2 初等问题和复合问题348

10.3 形式语言LZQ=和形式演绎系统ZQ=363

10.4 形式语言LY和形式演绎系统Y370

10.5 问题逻辑理论研究概述380

11.1 语义语境385

三385

11 语境385

11.2 语用语境387

11.3 语境Co、Cs、CH和CSH389

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