马克思主义理论研究和建设工程教材 逻辑学 第2版

绪论 1

第一节 逻辑学的研究对象和类型 1

一、逻辑学的含义 1

二、逻辑学的研究对象 1

三、逻辑学的类型 4

第二节 逻辑学的性质与学习逻辑学的作用 6

一、逻辑学的性质 6

二、学习逻辑学的作用 11

第三节 逻辑学的研究方法与学习方法 14

一、逻辑学的研究方法 14

二、逻辑学的学习方法 16

第四节 逻辑学的发展概况 17

一、逻辑学的三大传统 17

二、现代逻辑学的发展 23

三、当代中国逻辑学的普及与发展 24

第一章 传统词项逻辑 26

第一节 词项 26

一、词项概述 26

二、词项的种类 27

三、词项外延之间的关系 28

第二节 直言命题 32

一、直言命题及其逻辑结构 32

二、直言命题的分类 35

三、直言命题主项和谓项的周延性 37

四、对当方阵 39

第三节 直接推理 43

一、直接推理的特点 43

二、对当关系推理 44

三、直言命题变形推理 45

四、直言命题直接推理的检验 48

第四节 三段论 50

一、什么是三段论 50

二、三段论推理的一般规则 51

三、三段论的格及其特殊规则 53

四、三段论的式 55

五、非标准形式三段论 56

六、用文恩图解法检验三段论的有效性 58

第二章 命题逻辑 67

第一节 命题逻辑概述 67

一、句子与命题 67

二、简单命题与复合命题 68

三、推理 69

第二节 复合命题及其推理 70

一、命题联结词的真值表 72

二、复合命题推理 75

三、复合命题的逻辑等值推理 79

四、复合命题推理的综合运用 80

第三节 真值表方法 81

第三章 命题逻辑的自然演绎系统 88

第一节 证明与子证明 88

第二节 推理规则 89

一、结构规则 89

二、联结词规则 90

第三节 系统NP中的推导 94

一、合取规则的运用 95

二、蕴涵规则的运用 95

三、否定规则的运用 97

四、析取规则的运用 98

五、等值规则的运用 99

六、综合运用 101

第四节 无前提推导与演绎定理 105

第四章 谓词逻辑 112

第一节 个体词、谓词和量词 112

一、个体词 112

二、谓词 114

三、量词 116

第二节 谓词逻辑的形式语言 116

一、谓词逻辑的公式 117

二、命题的符号化 118

第三节 基本语法概念 126

一、自由变元与约束变元 126

二、代入 127

第四节 谓词逻辑语义 130

一、模型和赋值 130

二、有效公式与有效推理 134

第五章 谓词逻辑的自然演绎系统 138

第一节 谓词逻辑自然演绎系统 138

一、全称量词消去规则 138

二、全称量词引入规则 139

三、存在量词消去规则 142

四、存在量词引入规则 143

第二节 带等词的谓词逻辑自然演绎系统NQ≡ 150

一、等词消去规则 150

二、等词引入规则 151

第六章 传统归纳逻辑 155

第一节 归纳推理 155

一、归纳推理的定义 155

二、归纳推理的作用 156

第二节 枚举归纳推理 157

一、枚举归纳推理的定义 158

二、枚举归纳推理的作用 158

第三节 穆勒五法 159

一、求同法 159

二、求异法 161

三、求同求异并用法 162

四、共变法 164

五、剩余法 165

六、如何正确对待穆勒五法 166

第四节 类比推理 166

一、类比推理的定义 166

二、运用类比推理时应该注意的问题 167

三、模拟方法 168

第七章 现代归纳逻辑 176

第一节 概率和概率演算 176

一、概率和概率解释 176

二、概率演算 179

三、贝叶斯规则 188

第二节 统计推理 193

一、统计推理概述 193

二、统计推理的类别、形式和相关概念 195

三、统计推理的抽样问题 198

四、统计推理的应用 200

第八章 科学逻辑 210

第一节 科学方法与科学逻辑 210

第二节 科学说明与科学预测 213

一、科学说明 213

二、科学预测 215

第三节 科学假说 217

一、科学假说的基本特征 217

二、科学假说的形成 218

三、科学假说的检验 219

第四节 科学理论及其演化 221

一、假说转化为理论 221

二、科学理论的系统演化 222

三、科学悖论的形成与解决 225

第九章 论辩逻辑 233

第一节 非形式逻辑与论辩逻辑 233

第二节 论证、反驳与辩护 233

一、论证的建构与评估 234

二、反驳的建构与评估 238

三、辩护的建构与评估 239

第三节 定义与划分 239

一、明确概念的基本方法 239

二、定义的种类与评估 240

三、划分的种类与评估 242

第四节 谬误与诡辩 243

一、形式谬误与非形式谬误 243

二、非形式谬误的辨析 245

第十章 语言交际的逻辑 251

第一节 语言逻辑概述 251

一、句法学 251

二、语义学 252

三、语用学 253

第二节 言语行为理论 254

一、言语行为理论的产生与发展 254

二、语用逻辑 257

三、间接言语行为 258

第三节 言语行为与成功交际 260

一、切当性标准 260

二、成功交际的条件 261

三、间接言语行为的准则 264

第十一章 逻辑思维的基本规律 268

第一节 逻辑规律与思维规范 268

第二节 矛盾律 269

一、矛盾律的基本内容 269

二、矛盾律的规范作用 271

第三节 排中律 274

一、排中律的基本内容 274

二、排中律的规范作用 276

第四节 同一律 278

一、同一律的基本内容 278

二、同一律的规范作用 279

练习题参考答案 284

阅读文献 323

人名译名对照表 325

术语中英文对照表 327

后记 330

第二版后记 331