逻辑学导论PDF电子书下载

绪论 1

0.1　逻辑的研究对象 1

0.2　逻辑的基本规律 6

0.2.1 同一律 8

0.2.2　矛盾律 11

0.2.3　排中律 15

0.3　逻辑的功能定位 17

0.4　逻辑的历史演进 21

练习题 25

第1章　命题逻辑（一） 28

1.1　命题和推理的概述 28

1.1.1　命题、判断与语句 28

1.1.2　命题的分类 29

1.1.3　推理及其有效性 30

1.2　联言命题及其推理 32

1.2.1　联言命题 32

1.2.2　联言推理 33

1.3　选言命题及其推理 35

1.3.1　选言命题 35

1.3.2　选言推理 37

1.4　假言命题及其推理 39

1.4.1　充分条件假言命题及其推理 39

1.4.2　必要条件假言命题及其推理 41

1.4.3　充分必要条件假言命题及其推理 43

1.5　负命题及其推理 45

1.5.1　负命题 45

1.5.2　复合命题的负命题 46

1.5.3　负命题的等值推理 47

1.6.1　什么是二难推理 49

1.6.2　二难推理的形式 49

1.6　二难推理 49

1.6.3　二难推理的应用 51

1.7　其他复合命题推理 53

1.7.1　假言联言推理 53

1.7.2　假言连锁推理 54

1.7.3　假言易位推理 54

1.7.4　归谬推理 55

1.7.5　反三段论 55

练习题 58

2.1　真值联结词 64

2.1.1　真值联结词概述 64

第2章　命题逻辑（二） 64

2.1.2　五个基本的真值联结词 65

2.2　真值形式 68

2.2.1　什么是真值形式 68

2.2.2　真值函项 69

2.2.3　重言式 71

2.3　真值表方法 73

2.3.1　列真值表的方法 73

2.3.2　真值表的判定作用 74

2.3.3　简化真值表方法 76

2.4　范式及其应用 78

2.4.1　范式 78

2.4.2　求范式的方法 80

2.4.3　简化范式和优范式 81

2.4.4　范式的应用 85

练习题 91

3.1　命题逻辑自然推理概述 94

3.1.1　初始符号 94

3.1.2　形成规则 94

3.1.3　推演规则 94

第3章　命题逻辑（三） 94

3.2　推理规则及其应用 95

3.2.1　推理规则 95

3.2.2　推理规则的应用 97

3.3　置换规则及其应用 99

3.3.1　置换规则 99

3.3.2　置换规则的应用 101

3.4　条件证明规则及其应用 105

练习题 110

4.1.1　直言命题及其组成 113

4.1.2　直言命题的分类 113

第4章　谓词逻辑（一） 113

4.1　直言命题 113

4.1.3　直言命题的真假 114

4.1.4　直言命题间的真假关系 116

4.1.5　直言命题的文恩图解 118

4.1.6　词项的周延性 122

4.2　直言命题的直接推理 123

4.2.1　对当关系推理 123

4.2.2　命题变形推理 126

4.3　三段论 131

4.3.1　对三段论的一般考察 131

4.3.2　三段论的规则 131

4.3.3　三段论的格与式 133

4.3.4　运用文恩图解方法检验三段论的有效性 136

4.3.5　三段论的还原 138

4.3.6　三段论的带证式 141

练习题 143

第5章　谓词逻辑（二） 148

5.1　个体词、谓词与量词 148

5.2　直言命题符号化 151

5.3　关系命题 154

5.3.1　关系命题的结构成分 154

5.3.2　关系命题的形式 155

5.3.3　带等词的命题形式 159

5.4　否定式的量化与量化式的否定 161

5.5　普遍有效性和可满足性 163

5.5.2　不可满足式 164

5.5.1　普遍有效式 164

5.5.3　可满足式 165

练习题 166

第6章　谓词逻辑（三） 167

6.1　谓词逻辑的推理规则 167

6.1.1　量词销去与引入的规则 167

6.1.2　量词互换的规则 176

6.1.3　“引进主词假设”的规则 178

6.2　带量词的关系命题推理 179

6.3　转换判定方法 185

6.3.1　全称式转换为合取式 185

6.3.2　存在式转换为析取式 186

6.4　解释方法 186

练习题 191

7.1.1　什么是真值模态命题 193

7.1　真值模态命题及其推理 193

第7章　模态逻辑 193

7.1.2　真值模态命题间的对当关系 196

7.1.3　真值模态推理 200

7.2　规范命题及其推理 204

7.2.1　什么是规范命题 204

7.2.2　规范命题间的对当关系 205

7.2.3　规范推理 206

7.3　时态命题及其推理 207

7.3.1　什么是时态命题 207

7.3.2　时态命题间的对当关系 209

7.3.3　时态推理 210

练习题 212

8.1　归纳逻辑概述 216

第8章　归纳逻辑 216

8.2　枚举归纳推理 218

8.3　探求因果联系的逻辑方法 222

8.3.1　求同法 222

8.3.2　求异法 223

8.3.3　求同求异并用法 224

8.3.4　共变法 225

8.3.5　剩余法 226

8.4　类比推理 227

8.5　概率推理和统计推理 230

8.5.1　随机事件和概率 230

8.5.2　统计推理 233

练习题 235

9.1　语境概念的提出 239

第9章　语用逻辑（一） 239

9.1.1 国外学者的语境观 241

9.1.2 国内学者的语境观 243

9.2　语境的分类 244

9.2.1　言内语境与言外语境 245

9.2.2　内涵语境与外延语境 246

9.2.3　真实语境与虚拟语境 247

9.3　语境的实质——认知语境 248

9.3.1　认知语境的基本特征 248

9.3.2　认知语境的建构过程 250

9.4　语境的交际功能 251

练习题 255

第10章　语用逻辑（二） 257

10.1　言语行为理论的缘起 257

10.2　语旨行为的分类 260

10.3　间接言语行为 264

10.3.1 间接言语行为的提出 264

10.3.2　规约性间接言语行为和非规约性间接言语行为 264

10.3.3　间接言语行为的丰富性 267

10.4　语旨行为的恰当性条件 268

练习题 272

第11章　语用逻辑（三） 274

11.1　预设的特征 274

11.2　衍推、断言与预设 277

11.3　预设的分类 279

11.3.1　存在预设、事实预设与种类预设 279

11.3.2　事实预设与理论预设 280

11.4　从预设规则到预设定义 282

11.5　预设的合适性与共识性 284

练习题 287

第12章　语用逻辑（四） 289

12.1　合作原则的提出 289

12.2　会话含义的定义与特征 290

12.3　QIM三原则 293

12.3.1　量准则（Q-原则） 293

12.3.2　信息原则（I-原则） 294

12.3.3　方式原则（M-原则） 295

12.4　礼貌原则 295

12.5　扩展了的合作准则 297

练习题 300

第13章　非形式逻辑（一） 303

13.1　真实定义 303

13.1.1　内涵定义 303

13.1.2 外延定义 306

13.2　语词的定义 308

13.2.1　说明定义 309

13.2.2　规定定义 310

13.3　定义的规则 311

13.4　定义的作用 312

练习题 313

第14章　非形式逻辑（二） 317

14.1　论证的概述 317

14.2　论证的方法 320

14.2.1　直接论证 320

14.2.2　间接论证 323

14.3　论证的规则 325

14.4　反驳 330

14.4.1　反驳及其组成 330

14.4.2　反驳的方法 333

练习题 337

第15章　非形式逻辑（三） 341

15.1　谬误的定义与分类 341

15.1.1　什么是谬误 341

15.1.2　谬误的分类 342

15.2　歧义性谬误 344

15.2.1　词义混淆 345

15.2.2　构型歧义 346

15.2.3　强调谬误 347

15.2.4　合谬与分谬 349

15.3　不相干谬误 350

15.3.1　诉诸权威 351

15.3.3　因人废言 352

15.3.2　人身攻击 352

15.3.4　因人纳言 354

15.3.5　诉诸公众 355

15.3.6　诉诸无知 357

15.3.7　诉诸感情 357

15.3.8　诉诸威胁 359

15.4　论据不足的谬误 359

15.4.1　统计谬误 359

15.4.2　轻率概括 362

15.4.3　因果谬误 366

15.4.4　类比不当 368

15.5　研究谬误的意义 370

练习题 371

主要参考文献 375

后记 377