逻辑学导论2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

逻辑学导论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