第一章 导论 1
第一节 逻辑的含义 1
一、逻辑之词源 1
二、逻辑之含义 2
第二节 逻辑学的历史与现状 3
一、传统逻辑的产生 3
二、逻辑学在近代的发展 4
三、现代逻辑的产生与发展 5
第三节 语言、思维与逻辑 9
一、思维与思维形式 9
二、语言与逻辑 10
第二章 逻辑思维的基本规律 13
第一节 概述 13
一、逻辑思维基本规律的含义 13
二、逻辑思维基本规律的客观基础 13
三、逻辑思维基本规律的适用条件 14
第二节 同一律 15
一、同一律的基本内容和逻辑要求 15
二、违反同一律的逻辑错误 17
三、同一律的作用 19
第三节 矛盾律 19
一、矛盾律的基本内容和逻辑要求 19
二、违反矛盾律的逻辑错误 20
三、矛盾律的作用 21
第四节 排中律 22
一、排中律的基本内容和逻辑要求 22
二、违反排中律的逻辑错误 22
三、排中律的作用 23
四、正确理解排中律 23
五、同一律、矛盾律和排中律之间的关系 24
第三章 命题逻辑 28
第一节 命题逻辑概述 28
一、命题 28
二、推理 30
第二节 复合命题及其推理 32
一、复合命题 32
二、复合命题的推理 41
第三节 命题演算 49
一、重言式及其判定 49
二、命题逻辑的公理系统 53
三、命题逻辑的自然推理系统 56
第四章 词项逻辑 62
第一节 词项 62
一、词项逻辑概述 62
二、词项及其指称 63
三、词项分类 64
四、词项外延之间的关系 65
第二节 直言命题 70
一、简单命题的主谓式整编 70
二、直言命题的形式分析 71
三、直言命题中词项的周延性 72
四、直言命题的真值情况 74
第三节 直接推理 77
一、对当关系推理 77
二、命题变形的直接推理 80
第四节 间接推理 81
一、三段论的形式 81
二、三段论有效性的判定 82
三、有效三段论的性质 87
第五章 谓词逻辑 92
第一节 谓词语言 92
一、个体词、谓词与量词 92
二、谓词语言 93
三、直言命题的形式 95
四、更复杂的形式 96
五、等词 97
第二节 模型与指派 98
一、公式的直观解释 98
二、模型和指派 101
三、赋值 102
四、自由变元与约束变元 104
第三节 恒真式及其判定 105
一、恒真式 106
二、演绎后承 107
三、不可判定性 108
第四节 谓词演算 109
一、公理模式和推导规则 109
二、可证公式 110
三、健全性和完全性 111
第六章 模态逻辑 114
第一节 模态逻辑概述 114
一、模态和模态方阵 114
二、模态逻辑的产生 115
三、模态逻辑的发展 117
四、模态逻辑的名称 119
第二节 模态命题逻辑及其语形学 119
一、模态命题逻辑 119
二、模态逻辑的基础：正规模态逻辑 121
三、正规模态逻辑系统之间的关系 124
第三节 模态命题逻辑的语义学 125
一、可能世界语义学 125
二、框架和可通达关系 126
三、模型和模型真 127
四、模型真图表表示法 127
五、有效和逻辑后承 129
六、局域演绎定理和全域演绎定理 131
第四节 带量词的模态逻辑 132
一、模态命题逻辑的两种扩张 132
二、时态逻辑 132
三、带量词的模态逻辑 136
第七章 归纳与类比 140
第一节 归纳推理概述 140
一、归纳推理及其特征 140
二、归纳推理的种类 142
第二节 探求因果联系的传统方法 145
一、因果联系 145
二、探求因果联系的传统方法——穆勒五法 146
第三节 概率推理与统计推理 150
一、概率推理 151
二、统计推理 152
第四节 类比推理 154
一、类比推理及其特征 154
二、类比推理的种类 155
三、类比推理的作用 157
第八章 论证与谬误 163
第一节 批判性思维及其培养 163
一、批判性思维 163
二、批判性思维的培养 167
第二节 论证 169
一、论证及其构成 169
二、证明的种类 170
三、反驳的种类 173
四、论证的规则 176
第三节 谬误 179
一、形式谬误和非形式谬误 179
二、谬误的辨析 184
第九章 语境、预设与会话含义 192
第一节 语境 192
一、语境研究的历史与现状 193
二、语境的含义及基本类型 195
三、语境与交际过程 198
四、语境在表达与理解中的作用 199
第二节 预设 202
一、预设的基本含义 202
二、不同类型语句的预设 203
三、预设与语境 205
四、语用预设 208
第三节 合作原则与会话含义 210
一、合作原则理论 211
二、会话含义理论 212
三、礼貌原则 216
四、诚意原则 216
参考文献 221