逻辑与哲学 现代逻辑导论 第9版2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

逻辑与哲学 现代逻辑导论 第9版PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

第1章 绪论1

1.论证的要素3

2.演绎与归纳8

3.论证形式11

4.真与有效性13

5.可靠性16

6.相容性17

7.相容性和有效性之比较19

8.发现的语境与辩护的语境20

9.本书的安排21

本章引入的关键术语22

第一部分 语句逻辑27

第2章 语句逻辑符号化27

1.原子语句和复合语句29

2.真值函数29

3.合取31

4.非真值函数联结词34

5.变项与常项35

6.否定36

7.括号38

8.析取40

9.“并非既……又……”和“既不……也不……”44

10.实质条件句47

11.实质双条件句50

12.“仅当”和“除非”52

13.复杂语句符号化54

14.语句逻辑的不同符号体系63

本章引入的关键术语66

第3章 真值表69

1.真值的计算71

2.重言句、矛盾句和偶真句77

3.逻辑等价与条件句83

4.用真值表检验有效性87

5.用真值表检验相容性90

6.有效性和相容性92

7.用简化真值表方法检验无效性93

8.用简化真值表方法检验相容性99

9.代入特例101

10.真值表与语句形式107

本章引入的关键术语110

第4章 证明113

1.论证形式115

2.肯定前件式和否定后件式118

3.析取三段论和假言三段论120

4.简化式和组合式125

5.附加式和二难构成式126

6.策略原则131

7.双重否定律和德·摩根律141

8.交换律、结合律和分配律145

9.易位律、蕴析律和移出律146

10.重言律和等值律147

11.更多策略原则153

12.解题中的常见错误159

本章引入的关键术语169

第5章 条件证明和间接证明171

1.条件证明173

2.间接证明184

3.运用CP和IP的策略提示191

4.定理193

5.前提不相容的证明194

6.附加的有效论证形式197

7.语句逻辑的完全性和可靠性198

8.引入规则和消去规则200

9.实质蕴涵和有效的论证形式206

本章引入的关键术语209

第6章 语句逻辑真值树211

1.语句逻辑真值树方法213

2.真值树规则214

3.真值树构造的细节224

4.真值树方法的理论依据229

5.真值树方法的应用232

本章引入的关键术语233

第二部分 谓词逻辑237

第7章 谓词逻辑符号化237

1.个体和属性239

2.量词和自由变项243

3.全称量词245

4.存在量词250

5.基本的谓词逻辑符号化252

6.对当方阵254

7.量化语句符号化的常见错误255

8.展开式259

9.“只有”“只有……才”和“除非”的符号化262

本章引入的关键术语265

第8章 谓词逻辑语义学267

1.谓词逻辑中的解释269

2.无效性的证明271

3.使用展开式证明无效性274

4.谓词逻辑中的相容性276

5.谓词逻辑中的有效性和不相容性278

本章引入的关键术语279

第9章 谓词逻辑证明281

1.有效性的证明283

2.四个量词规则285

3.五个主要限制292

4.四个量词规则的精确形塑298

5.熟练掌握四个量词规则301

6.量词否定规则307

本章引入的关键术语313

第10章 关系谓词逻辑315

1.关系谓词317

2.含有重叠量词的符号表达式320

3.展开式与重叠量词321

4.地点与时间326

5.“某人”“某地”“某时”等语词的符号化328

6.关系谓词逻辑中的无效性与相容性335

7.关系谓词逻辑的证明336

8.关系谓词逻辑证明的策略345

9.谓词逻辑中的定理与不相容性349

10.谓词逻辑的元理论353

11.量词规则的简化354

第11章 四个量词规则精确形塑的理论说明359

1.涉及五个主要限制的情形361

2.一一对应问题364

3.意外约束变项及其复杂情形370

4.带有标记常项的谓词逻辑证明376

第12章 谓词逻辑真值树381

1.谓词逻辑真值树方法383

2.无穷真值树388

第13章 同一性与符号逻辑的哲学问题393

1.同一性395

2.限定摹状词402

3.关系的性质406

4.高阶逻辑410

5.谓词逻辑的局限性412

6.哲学问题417

7.逻辑悖论427

本章引入的关键术语436

第三部分 其他逻辑系统441

第14章 三段论逻辑441

1.直言命题443

2.存在含义446

3.对当方阵447

4.换位、换质和换质位451

5.三段论逻辑——不假定存在含义455

6.文恩图457

7.三段论460

8.判定三段论的有效性463

9.有效性或无效性的文恩图证明464

10.判定有效性或无效性的五个规则470

11.扩展的三段论475

12.省略式三段论478

13.连锁式三段论480

14.技术限制与局限性483

本章引入的关键术语487

第15章 非形式谬误491

1.谬误的性质493

2.谬误的分类496

本章引入的关键术语519

第16章 归纳逻辑521

1.有关归纳与演绎的一种错误观点523

2.归纳论证的种类525

3.原因与结果538

4.穆勒方法542

5.归纳概率552

6.概率演算553

7.贝叶斯定理555

8.归纳是不可证立的——老归纳之谜558

9.理论的实例并不都能确证理论——新归纳之谜562

本章引入的关键术语565

第17章 公理系统569

1.公理系统的特征571

2.已解释系统和未解释系统572

3.公理系统的性质573

4.一个语句逻辑公理系统概要577

5.谓词逻辑公理系统584

6.其他公理系统585

7.对公理系统的异议586

本章引入的关键术语587

第18章 择代逻辑589

1.模态逻辑591

2.严格蕴涵592

3.模态公理594

4.模态定理596

5.模态怪论597

6.一个哲学问题597

7.模态谓词逻辑598

8.认知逻辑：知识和信念的逻辑602

9.认知定理605

10.道义逻辑606

11.道义系统的问题609

本章引入的关键术语611

部分习题解答612

参考文献721

特殊符号726

索引727

译者后记743