逻辑:正确思维和有效交际的理论

1 语言、意义和逻辑
1.1 指号
1.2 语言
1.2.1 语言的构成
1.2.2 语言的特性
1.2.3 话语、语句和抽象语句
1.2.3.1 话语
1.2.3.2 语句和抽象语句
1.3 意义
1.3.1 抽象语句的意义--命题
1.3.2 语句的意义--命题态度
1.3.3 话语的意义--意谓
1.3.4 交际语境中的话语的意义--意思
1.4 语形学、语义学和语用学
1.5 逻辑
二
2 命题逻辑
2.1 集合、关系和函项
2.1.1 集合
2.1.2 关系
2.1.3 函项
2.2 命题联结词和关于联结词的推理
2.2.1 复合命题
2.2.2 真值函项和重言式
2.3 形式语言LP
2.3.1 对象语言、元语言和形式语言
2.3.2 形式语言LP的语形
2.3.3 形式语言LP的语义
2.4 命题逻辑的自然推理系统P
2.4.1 形式系统
2.4.2 P的推演规则
2.4.3 P的定理
2.4.4 P的系统特性
3 谓词逻辑
3.1 量词和关于量词的推理
3.1.1 个体常元和谓词
3.1.2 个体变元和量词
3.1.3 命题函项
3.1.4 一阶逻辑的命题形式
3.1.5 关系命题的重叠量词
3.2 形式语言LQ的语形
3.2.1 LQ的符号和形成规则
3.2.2 自由变元和约束变元
3.3 形式语言LQ的语义
3.3.1 Q解释
3.3.2 Q可满足，Q有效和Q语义后承
3.4 一阶逻辑的自然推理系统Q
3.4.1 Q的推演规则
3.4.2 Q的定理
3.4.3 带等词的一阶逻辑自然推理系统Q=
3.4.3.1 数量量词和数量表达式
3.4.3.2 LQ=的语形
3.4.3.3 LQ=的语义
3.4.3.4 Q=的推演规则
3.4.3.5 Q=的定理
3.4.4 关于“多数”、“少数”的讨论
3.4.5 摹状词
3.5 高阶逻辑
3.5.1 一阶语言表达能力的局限
3.5.2 二阶逻辑
3.5.2.1 二阶逻辑的语言
3.5.2.2 二阶逻辑QⅡ
3.5.2.3 二阶逻辑QⅡ的语义
3.5.3 高阶谓词和含高阶谓词的逻辑
3.5.4 关于副词的处理
4 模态逻辑
4.1 必然性概念和可能世界
4.2 模态命题逻辑系统
4.3 克里普克模型
4.4 严格蕴涵和相干蕴涵
4.5 模态谓词逻辑
5 条件句逻辑
5.1 条件句的初步分析
5.2 条件句逻辑的自然推理系统
6 时态逻辑
6.1 时态命题及其语义解释
6.1.1 时态命题的符号化
6.1.2 时态命题的语义解释
6.1.3 时态命题的真假关系
6.2 极小时态逻辑Kt
6.2.1 Kt的构造
6.2.2 Kt的一些定理
6.2.3 Kt为什么是极小系统
6.3 线性时态逻辑
6.3.1 线性时态逻辑CL
6.3.2 无端点线性时态逻辑SL
6.3.3 稠密无端点线性时态逻辑PL
6.3.4 循环时态逻辑PCr
6.4 枝形时态逻辑
6.5 时态逻辑与模态逻辑
7 道义逻辑
7.1 道义命题及其语义解释
7.1.1 道义命题的符号化
7.1.2 道义命题的语义解释
7.1.3 道义命题的真假关系
7.2 绝对道义逻辑
7.2.1 朴素绝对道义逻辑
7.2.2 真势绝对道义逻辑
7.2.2.1 命题常项S
7.2.2.2 康德原理
7.2.2.3 承诺悖论
7.2.2.4 乐善好施者悖论
7.2.2.5 互相冲突的义务二难
7.3 相对道义逻辑
8 认知逻辑
8.1 断定的逻辑分析
8.2 相信的逻辑分析
8.3 知道的逻辑分析
8.4 几点讨论
9 命令逻辑
9.1 命令逻辑的形式语言LIQ
9.2 命令逻辑系统IQB
9.3 命令逻辑的其他系统概述
10 问题逻辑
10.1 问题及其种类
10.2 初等问题和复合问题
10.3 形式语言LZQ=和形式演绎系统ZQ=
10.4 形式语言LY和形式演绎系统Y
10.5 问题逻辑理论研究概述
三
11 语境
11.1 语义语境
11.2 语用语境
11.3 语境Co、Cs、CH和CSH
12 言语行为
12.1 什么是言语行为
12.2 言语行为的意义理论
12.3 语旨行为的分类
12.4 显性施行式与隐性施行式
12.5 间接言语行为
12.6 对言语行为理论的评述
13 隐涵
13.1 格赖斯的隐涵理论
13.2 格赖斯的合作原则及其准则
13.3 格赖斯的谈话隐涵
13.4 格赖斯隐涵理论的问题
13.5 合作原则和合作准则
13.6 隐涵
13.7 等级隐涵和子句隐涵
13.7.1 等级隐涵
13.7.2 子句隐涵
13.8 隐涵的特性和应用
14 预设
14.1 预设理论的提出
14.2 什么是预设
14.2.1 语义预设和语用预设
14.2.2 预设的定义
14.3 直陈话语的预设
14.3.1 直陈简单话语的预设
14.3.2 直陈复合话语的预设
14.3.3 一些特别的直陈话语的预设
14.4 疑问话语的预设
14.4.1 选择疑问话语的预设
14.4.2 是否疑问话语的预设
14.4.3 特指疑问话语的预设
14.5 命令话语的预设
14.6 预设和隐涵的关系
14.7 预设的应用
15 修辞
15.1 修辞的逻辑功能
15.2 现代逻辑对修辞中逻辑功能的研究
15.3 隐喻--一种具有很强说服力的修辞手法
15.3.1 什么是隐喻
15.3.2 隐喻的理解
15.3.3 隐喻的分类
15.3.4 隐喻在论辩中的逻辑作用
15.4 其它修辞手法在论辩中的作用
15.4.1 夸张
15.4.2 反语
16 成功的交际
16.1 语言交际图式
16.2 说话者S如何传达
16.3 听话者H如何理解
16.4 成功的交际
四
17 谈话
17.1 谈话与语境
17.1.1 谈话的特征
17.1.2 语境在谈话中的作用
17.2 谈话的结构
17.2.1 预示语列
17.2.2 对答语列
17.2.3 插入语列
17.2.4 修正语列
17.2.5 开始语列和结束语列
17.3 谈话的讯息结构
17.3.1 话题与说明
17.3.2 话语宏观结构
17.4 良表达
17.4.1 表达和良表达
17.4.2 准确性
17.4.3 恰当性
17.4.4 灵活性
17.5 译义和释义
17.5.1 传达与理解
17.5.2 译义
17.5.3 释义
17.5.4 误解和曲解
18 讲演
18.1 概述
18.1.1 讲演的特征
18.1.2 讲演者、讯息和听众
18.1.3 讲演术的源流
18.2 说服力
18.2.1 讲演的语效--说服
18.2.2 理性
18.2.3 情感
18.2.4 品格
18.3 论证
18.3.1 讲演论证的特征
18.3.2 讲演中常用的论证方法
18.4 陈述
18.4.1 讲演中的陈述
18.4.2 讲演中常用的陈述方法
18.5 听讲术
18.5.1 听讲有术
18.5.2 记忆性听讲
18.5.3 评价性听讲
19 辩论
19.1 概述
19.1.1 辩论的特征
19.1.2 辩论术的源流
19.2 辩论推理
19.2.1 辩题与辩论推理
19.2.2 辩论推理与形式推理的区别
19.2.3 辩论推理的精确化问题
19.3 反驳
19.3.1 反驳与论证
19.3.2 反驳的类型
19.3.3 常用的反驳方法
19.4 辩护
19.4.1 辩护与反驳
19.4.2 常用的辩护方法
19.5 辩谬
19.5.1 辩谬在辩论中的作用
19.5.2 谬误的类型
19.5.3 谬误与辩论技巧的区别
19.5.4 斥诡辩
参考书目
索引