《逻辑学 知识的基础》求取 ⇩

前言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