逻辑与哲学 现代逻辑导论 第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