符号逻辑PDF电子书下载

第一单元 基本概念 3

第1章 符号逻辑的基本观念 3

1-1逻辑的形式特性与内容 3

1-2语句与论证 7

1-3演绎论证与归纳论证 14

1-4论证的辨识 17

1-5当代逻辑发展简史 22

第2章 演绎论证的评估 25

2-1演绎论证的类型 25

2-2有效性与真确性 29

2-3逻辑一致性 34

第二单元 语句逻辑 41

第3章 语句逻辑的符号系统 41

3-1语句常元与逻辑运算子 41

3-2运算域与主要逻辑运算子 48

3-3日常语言中语句的符号化 55

3-4日常语言中论证的符号化 75

第4章 真值表 81

4-1真值函数与基本真值表 81

4-2语句句式和替代个例 85

4-3复合句真值表的建构 92

第5章 语句的逻辑分类与逻辑关系 101

5-1语句的逻辑分类 101

5-2语句的逻辑关系 107

第6章 归谬原理 119

6-1归谬真值表 119

6-2语意树枝法 129

6-3语意树枝法的运用 138

第7章语句逻辑论证有效性的检定 145

7-1论证式与逻辑类比驳斥 145

7-2反例法与真假值指定法 152

7-3真值表法 159

7-4归谬真值表法 164

7-5语意树枝法 166

第8章 有效论证的证明：直接证法 171

8-1证明的观念 171

8-2蕴涵规则（一） 174

8-3蕴涵规则（二） 181

8-4置换规则（一） 195

8-5置换规则（二） 203

第9章 有效论证的证明：条件证法与归谬证法 217

9-1条件证法 217

9-2加强型条件证法 228

9-3归谬证法 232

9-4恒真句的证明 236

第三单元 述词逻辑 243

第10章 述词逻辑的符号系统 243

10-1单称语句的内部结构 244

10-2函数-引元分析 250

10-3语句函数的运作：抽象化 255

10-4 语句函数的运作：个例化 260

10-5语句函数的运作：量限化 264

10-6量限域 270

10-7日常语言的述词逻辑表达式 279

第11章 一元述词逻辑论证有效性的检定 293

11-1通称语句的真假值 293

11-2 反例法 298

11-3释模与通称语句的扩展 301

11-4 释模法 311

第12章 述词逻辑的证明 317

12-1全称个例化规则（UI） 317

12-2存在通则化规则（EG） 329

12-3存在个例化规则（EI） 337

12-4全称通则化规则（UG） 344

12-5量限词互换规则（QN） 349

12-6逻辑真理的证明 352

第13章 关系述词逻辑 363

13-1关系的逻辑表达式 363

13-2关系述词论证的证明 371

13-3对称性、递移性与自反性 377

13-4同一 385

13-5确定描述词 395

第四单元 形式演绎系统 403

第14章 形式演绎系统的基本观念 403

14-1对象语言与后设语言 403

14-2形式语言 406

14-3形式演绎系统 412

14-4释模理论 417

第15章 语句逻辑的形式演绎系统 421

15-1语句逻辑的形式语言SL 421

15-2语句算学SC 425

15-3 SL语言释义 433

15-4 语句逻辑的一些后设性质 442

15-5其他语句逻辑的形式演绎系统 449

第16章 述词逻辑的形式演绎系统 455

16-1一元述词逻辑的形式语言Q LM 455

16-2一元述词算学QCM 462

16-3 QLM语言释义 467

16-4 多元述词逻辑的形式语言QLP与形式系统QCP 475

16-5包含等号的多元述词逻辑QC＝ 481

第五单元 其他 487

第17章 亚理斯多德逻辑 487

17-1主词—述词分析 488

17-2传统对立方形 491

17-3范畴语句的置换规则 496

17-4 范畴三段论 500

17-5范恩图解 508

17-6范畴五律 512

17-7存在谬误与现代对立方形 514

第18章 其他逻辑 519

18-1多值逻辑 519

18-2自由逻辑 523

18-3模态逻辑 526

18-4 相干逻辑 530

18-5二阶逻辑 531

中英名词对照 533

英中名词对照 541

推论规则 549