新编逻辑教程PDF电子书下载

§1 形式逻辑的对象 1

1．1．1 事物和思维 1

第一章 绪论 1

1．1．2 思维和语言 4

1．1．3 思维和思维形式的结构 4

§2 形式逻辑的性质 9

1．2．1 对象决定性质 9

1．2．2 形式逻辑与形而上学 10

1．2．3 形式逻辑与辩证逻辑 13

§3 形式逻辑的作用 16

1．3．1 形式逻辑是求真的科学 16

1，3．2 形式逻辑是论证和表达思想的工具 18

1．3．3 形式逻辑是揭露和驳斥诡辩的武器 19

本章习题 20

2．1．1 什么是概念 21

第二章 概念 21

§1 概念的概述 21

2．1．2 概念与语词 22

2．1．3 概念的内涵和外延 23

2．1．4 概念的功能 24

§2 概念的类型 25

2．2．1 单独概念、普遍概念和虚概念 25

2．2．2 集合概念和非集合概念 27

2．2．3 正概念与负概念 29

2．2．4 相对概念与绝对概念 29

§3 概念外延间的关系 30

2．3．1 全同关系 30

2．3．2 真包含于关系 31

2．3．3 真包含关系 31

2．3．5 全异关系 32

2．3．4 交叉关系 32

2．4．1 什么是定义 34

2．4．2 定义的类型 34

§4 定义 34

2．4．3 定义规则 38

§5 划分 41

2．5．1 什么是划分 41

2．5．2 划分的类型 42

2．5．3 划分的规则 42

§6 限制和概括 44

2．6．1 内涵和外延的反变关系 44

2．6．2 概念限制 44

2．6．3 概念概括 45

本章习题 45

3．1．1 判断的特征 48

第三章 判断(上) 48

§1 判断的概述 48

3．1．2 判断与语句 50

3．1．3 判断与命题 52

3．1．4 判断的类型 53

§2 性质判断 55

3．2．1．什么是性质判断 55

3．2．2 性质判断的类型 56

3．2．3 对当关系 62

§3 关系判断 68

3．3．1 什么是关系判断 68

3．3．2 关于关系判断的主项 69

3．3．3 关系的性质 69

3．4．1 什么是模态判断 72

§4 模态判断 72

3．4．2 事物模态和认识模态 73

3．4．3 必然判断和可能判断 74

3．4．4 模态对当关系 76

§5 规范判断 78

3．5．1．什么是规范判断 78

3．5．2 规范判断的主要类型 79

3．5．3 必须P、必须不P、允许P、允许不P之间的关系 80

本章习题 82

第四章 判断(下) 85

§1 联言判断 85

4．1．1 什么是联言判断 85

4．1．2 联言判断的真假 86

4．2．1 什么是选言判断 87

§2 选言判断 87

4．1．3 联言判断表达的语言形式 87

4．2．2 相容选言判断 88

4．2．3 不相容选言判断 89

§3．假言判断 91

4．3．1 什么是假言判断 91

4．3．2 充分条件假言判断 91

4．3．3 必要条件假言判断 93

4．3．4 充分必要条件假言判断 95

§4 判断的否定 96

4．4．1 什么是判断的否定 96

4．4．2 简单判断的否定 97

4．4．3 复合判断的否定 97

4．4．4 复合判断的联合运用和多项联接词 100

4．5．2 怎样运用真值表 101

§5 真值表及其判定作用 101

4．5．3 真值表的作用 103

本章习题 104

第五章 形式逻辑基本规律 107

§1 逻辑规律的概述 107

5．1．1 什么是逻辑规律 107

5．1．2 逻辑的基本规律 107

5．1．3 逻辑基本规律的客观基础 108

§2 同一律 109

5．2．1 什么是同一律 109

5．2．2 违反同一律要求的逻辑错误 110

5．2．3 怎样正确地运用同一律 111

§3 矛盾律 112

5．3．1 什么是矛盾律 112

5．3．2 违反矛盾律要求的逻辑错误 113

5．3．3 怎样正确地运用矛盾律 114

§4 排中律 115

5．4．1 什么是排中律 115

5．4．2 违反排中律要求的逻辑错误 116

5．4．3 怎样正确地运用排中律 116

5．4．4 形式逻辑基本规律间的关系 117

本章习题 118

第六章 演绎推理(上) 121

§1 推理的概述 121

6．1．1 什么是推理 121

6．1．2 推理要合乎逻辑 122

6．1．3 推理的类型 124

§2 直接推理 124

6．2．1 什么是直接推理 124

6．2．2 换质法 125

6．2．3 换位法 126

6．2．4 换质位法 127

§3 三段论 130

6．3．1 什么是三段论 130

6．3．2 三段论公理 131

6．3．3 三段论规则 133

6．3．4 三段论的格和式 139

6．3．5 三段论的省略式 147

6．3．6 三段论的复杂式 150

§4 关系推理 154

6．4．1 什么是关系推理 154

6．4．2 直接关系推理 154

6．4．3 间接关系推理 155

6．5．2 直接模态推理 157

§5 模态推理 157

6．5．1 什么是模态推理 157

6．5．3 根据模态判断和性质判断间的关系作模态推理 158

6．5．4 模态三段论 158

§6 规范推理 160

6．6．1 什么是规范推理 160

6．6．2 根据规范判断间的关系而作的推理 160

6．6．3 规范三段论 161

本章习题 162

第七章 演绎推理(下) 166

§1 联言推理 166

7．1．1 什么是联言推理 166

7．1．2 合成式 166

7．2．1 什么是选言推理 167

§2 选言推理 167

7．1．3 分解式 167

7．2．2 相容选言推理 168

7．2．3 不相容选言推理 169

§3 假言推理 171

7．3．1 什么是假言推理 171

7．3．2 假言直言推理 172

7．3．3 纯假言推理 178

§4 二难推理 180

7．4．1 什么是二难推理 180

7．4．2 简单的二难推理 181

7．4．3 复杂的二难推理 182

7．4．4 破斥二难推理的方法 184

§5 复合判断的其他推理 186

7．5．1 假言联言推理 186

7．5．2 假言易位推理 187

7．5．3 归谬式推理 188

本章习题 189

第八章 归纳逻辑 193

§1 归纳推理的定义和类型 193

8．1．1 什么是归纳推理 193

8．1．2 简单枚举归纳推理 194

8．1．3 完全归纳推理 196

§2 归纳推理和演绎推理的区别和联系 198

8．2．1 归纳推理和演绎推理的区别 198

8．2．2 归纳推理和演绎推理的联系 198

§3 弥尔五法 199

8．3．1 因果联系 199

8．3．2 求同法 201

8．3．3 求异法 203

8．3．4 求同求异并用法 204

8．3．5 共变法 206

8．3．6 剩余法 207

8．3．7 弥尔五法的局限性 208

§4 概率的基本知识 210

8．4．1 概念的古典定义和频率定义 210

8．4．2 随机事件和随机试验 212

8．4．3 事件之间的逻辑关系 213

8．4．4 概率演算 215

§6 古典归纳逻辑和概率逻辑 219

8．5．1 两种逻辑的奠基和发展 219

8．5．2 概率逻辑 220

8．5．3 两种归纳逻辑的合流 221

§6 关于现代归纳逻辑的一些理论问题 222

8．6．1 归纳的基础是什么 223

8．6．2 如何解释或证明归纳的原则 224

8．6．3 归纳悖论 226

8．6．4 归纳证据的分类概念 229

本章习题 231

第九章 类比推理和假说 235

§1 类比推理 235

9．1．1 什么是类比推理 235

9．1．2 类比推理的客观基础 235

9．1．3 类比推理的作用 236

9．1．4 怎样提高类比推理结论的可靠性 238

§2 假说 239

9．2．1 什么是假说 239

9．2．2 假说形成的步骤 239

9．2．3 检验假说的步骤 241

9．2．4 假说的作用 242

10．1．3 论证的作用 243

本章习题 243

§1 论证的特征 245

10．1．1 什么是论证 245

第十章 论证 245

10．1．2 论证的结构 246

§2 论证的类型 251

10．2．1 直接论证和间接论证 251

10．2．2 演绎论证和归纳论证 255

§3 反驳 258

10．3．1 什么是反驳 258

10．3．2 反驳论题 259

10．3．3 反驳论据 260

10．3．4 反驳论证方式 261

10．4．2 论证不得转移或偷换论题 262

10．4．1 论题必须明确 262

§4 论证规则 262

10．4．3 论据必须真实 263

10．4．4 论据的真实性不能依赖论题的真实性来证明 264

10．4．5 论证必须遵守逻辑规则 264

§5 谬误 266

10．5．1 谬误概述 266

10．5．2 谬误分类 267

10．5．3 不相干的论证 267

10．5．4 有关含糊的谬误 272

10．5．5 预先假定的谬误 274

本章习题 276

附录(1)：中国先察逻辑简史 281

附录(2)：西方逻辑简史 300

后记 317