符号逻辑PDF|Epub|txt|kindle电子书版本网盘下载

符号逻辑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语句逻辑的形式语言SL421

15-2语句算学SC425

15-3 SL语言释义433

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

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

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

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

16-2一元述词算学QCM462

16-3 QLM语言释义467

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

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