逻辑学 知识的基础PDF电子书下载

前言 1

序章 逻辑学的基础和课题 5

1)认识和逻辑 5

2)元语言和对象语言 7

3)语法的基本条件 9

1)概念 11

2)简单概念和复合概念 11

Ⅰ.概念论 11

第一章 概念和判断 11

3)实质概念和形式概念 13

4)主项概念、谓项概念和类型 14

5)可变概念和不变概念 17

6)外延和内涵 19

7)定义 21

8)概念的分类法——类和种 24

9)价值概念 26

2)命题和类型 27

1)判断和命题 27

Ⅱ.判断 27

3)命题的种类 29

4)命题系统和布尔系统 31

5)命题的真值和真值函项 34

6)量化命题 36

7)重言式 39

第二章 演绎推理 42

Ⅰ.命题 42

1)命题的分类 44

2)标准命题 46

3)自然语言之翻译为标准命题 46

Ⅱ.对当关系 50

1)矛盾关系和反对关系 51

2)小反对关系 52

3)从属关系 53

Ⅲ.命题的变形 54

1)换位法 54

2)换质法 55

3)换质位法 56

Ⅳ.演绎推理 57

1)直言三段论法 58

2)三段论法的公理 60

3)周延的规则，质的规则 66

4)假言三段论法 71

5)选言三段论法 74

6)二难推理 76

Ⅰ.归纳的关系 78

第三章 归纳推理 78

Ⅱ.归纳关系的举例 79

1)由特殊到一般 80

2)由特殊到特殊 81

3)统计的三段论法 82

Ⅲ.演绎的关系和归纳的关系 84

Ⅳ.“归纳法的合理性”问题 86

Ⅴ.轻率概括的谬误 87

Ⅵ.性质的相互关系 90

Ⅷ.“分析的”和“综合的” 92

第四章 谬误 96

Ⅰ.思维和谬误 96

1)思维和精神 97

2)思维和意识 97

3)思维和知识 98

4)观察的谬误 99

5)思维和推理 100

6)思维的逻辑规律 102

7)推理的逻辑规律 103

8)推理规则 103

9)演绎推理 104

10)演绎推理的谬误 106

11)还原推理(归纳推理) 106

12)归纳推理的谬误 108

Ⅱ.谬误的各种类型 109

1)暧昧的谬误 109

2)文理上的谬误 111

3)以人为据的谬误 112

4)以权威为据的谬误 113

5)以感情为据的谬误 113

6)以无知为据的谬误 114

7)窃取论点的谬误 115

8)合成的谬误 115

9)分解的谬误 116

10)转移论题的谬误 116

11)统计的谬误 117

第五章 传统形式逻辑和符号逻辑 118

Ⅰ.传统形式逻辑和符号逻辑 118

Ⅱ.传统形式逻辑和符号逻辑对命题理解的区别 119

Ⅲ.符号逻辑对命题形式的理解方法(之一) 121

Ⅳ.符号逻辑对命题形式的理解方法(之二) 124

Ⅴ.归结 130

第六章 符号逻辑 132

序说 语义学的概念 132

1)真值函项 138

〔A〕真值函项理论(命题逻辑) 138

Ⅰ.真值函项的复合语句 138

2)真值函项举例 140

3)包含复合语句的复合语句 146

Ⅱ.包含真值函项的语言 149

1)真值函项语言 149

2)包含真值函项的语言 153

3)重言式和矛盾式 154

4)语义等值和语义蕴涵 157

5)重言式举例 160

6)重言式和矛盾式的演绎 162

7)语义上的非一致 166

Ⅲ.论证 170

1)论证的正确性 170

2)正确性和语义上的蕴涵 172

Ⅳ.枝图 173

〔B〕量词理论(谓词逻辑) 177

1)原子语句 178

I.简单语句 178

2)存在语句和全称语句 180

3)包含引用词组的语句 183

Ⅱ.(一阶)谓词语言 187

1) (一阶)谓词语言的说明 187

2)重言式和矛盾式 193

3)真值表的使用 199

Ⅲ.枝图 202

结论 (一阶)谓词语言的界限 212

1)公理化的目的 216

第七章 现代逻辑的各种问题 216

Ⅰ.公理系统 216

2)公理系统举例 217

3)公理系统应该满足的各种条件 218

4)公理系统和语法学 220

Ⅱ.古典逻辑 221

1)推理中的怪论 221

2)古典逻辑的引申 222

3)古典命题逻辑 224

4)证明和演绎 227

Ⅲ.命题逻辑的普遍化 229

1)命题逻辑的特征 229

2)原始逻辑 230

3)肯定逻辑 231

4)最小逻辑 232

Ⅳ.直觉主义逻辑 234

1)排中律的否定 234

2)集合论的矛盾 237

3)直觉主义逻辑的模型 239

Ⅴ.多值逻辑、模态逻辑和义务逻辑 245

1)多值逻辑 245

2)模态逻辑 247

3)义务逻辑 252

符号一览表 258

索引 260

著者简历 282