逻辑学基础PDF电子书下载

第一章 基本概念 1

1.1 论证、前提与结论 1

逻辑史注记 6

习题1.1 8

1.2 识别论证 15

简单的非推理段落 17

说明性段落 19

例解 20

解说 21

条件陈述 23

小结 26

习题1.2 28

1.3 演绎与归纳 35

演绎论证形式 37

归纳论证形式 39

其他考虑因素 40

小结 42

习题1.3 43

1.4 有效性、真、可靠性、力度与信服力 47

演绎论证 48

归纳论证 51

小结 56

习题1.4 58

1.5 论证形式：证明无效性 62

反例法 65

习题1.5 68

本章总结 70

第二章 非形式谬误 73

2.1 谬误概论 73

习题2.1 76

2.2 相干性谬误 77

1.诉诸强力 77

2.诉诸怜悯 79

3.诉诸公众 80

4.人身攻击 84

5.偶例 87

6.稻草人 88

7.歪曲论题 89

8.转移话题 90

习题2.2 93

2.3 弱归纳谬误 97

9.诉诸无效权威 98

10.诉诸无知 99

11.轻率概括 101

12.虚假因果 103

13.滑坡谬误 106

14.不当类比 107

习题2.3 109

2.4 预设谬误、歧义谬误与不当转换谬误 114

15.乞题 115

16.复杂问语 118

17.假两难推理 120

18.遮盖论据 121

19.歧义 123

20.含糊 125

21.合成 127

22.分解 129

习题2.4 132

2.5 日常语言中的谬误 139

发现谬误 139

避免谬误 141

习题2.5 146

本章总结 150

第三章 直言命题 153

3.1 直言命题的构成 153

习题3.1 156

3.2 质、量与周延 157

习题3.2 161

3.3 文恩图与现代对当方阵 162

存在预设 162

文恩图 164

现代对当方阵 167

检验直接推理 167

习题3.3 171

3.4 换位、换质与换质位 172

换位 173

换质 174

换质位 177

习题3.4 180

3.5 传统对当方阵 182

检验直接推理 185

习题3.5 188

3.6 将日常语言陈述翻译为直言形式 193

1.无名词的词项 194

2.非标准动词 194

3.单称命题 194

4.副词与代词 196

5.未表达的量词 196

6.非标准量词 197

7.条件陈述 198

8.排他性命题 198

9.“仅有的” 199

10.除外命题 200

习题3.6 202

本章总结 205

第四章 直言三段论 209

4.1 标准形式、式与格 209

习题4.1 216

4.2文恩图 218

布尔式立场 220

亚里士多德式立场 224

习题4.2 228

4.3 规则与谬误 231

布尔式立场 231

亚里士多德式立场 235

习题4.3 237

4.4 减少词项的数量 239

习题4.4 242

4.5 日常语言中的论证 242

习题4.5 245

4.6 省略三段论 246

习题4.6 249

4.7 连锁推理 252

习题4.7 255

本章总结 260

第五章 命题逻辑 263

5.1 符号与翻译 263

习题5.1 274

5.2 真值函项 277

五个逻辑算子的定义 278

较长命题的真值的计算 282

真值函项与日常语言 284

习题5.2 285

5.3 命题的真值表 287

陈述的分类 290

陈述的比较 291

习题5.3 293

5.4 论证的真值表 295

习题5.4 298

5.5间接真值表 302

初步技巧 303

检验论证的有效性 304

检验陈述的一致性 307

习题5.5 309

5.6 论证形式与谬误 311

常见论证形式 311

反驳构造式两难与解构式两难 316

无效形式注意事项 318

总结与应用 319

习题5.6 323

本章总结 330

第六章 命题逻辑的自然演绎 333

6.1 蕴涵规则Ⅰ 333

习题6.1 341

6.2 蕴涵规则Ⅱ 345

习题6.2 351

6.3 置换规则Ⅰ 355

习题6.3 361

6.4 置换规则Ⅱ 366

习题64 371

6.5 条件证明 378

习题65 381

6.6 间接证明 383

习题66 387

6.7 逻辑真理的证明 389

习题6.7 390

本章总结 391

第七章 谓词逻辑 393

7.1 符号与翻译 393

习题7.1 401

7.2 推理规则的使用 403

习题7.2 412

7.3 量词否定规则 416

习题7.3 419

7.4 条件证明与间接证明 421

习题7.4 424

7.5 证明无效性 426

习题7.5 429

本章总结 429

习题答案 431

术语表 465