逻辑PDF电子书下载

1引论 1

1.1逻辑学是什么 2

1.2与论证有关的几个概念 10

1.3论证的含义、类型与功能 15

1.4识别论证 20

1.5论证评价 29

练习题 35

2定言命题逻辑 39

2.1定言命题概述 40

2.2对当关系论证 48

2.3定言命题运算论证 55

2.4三段论概述 61

2.5三段论的规则 71

2.6三段论的重构 77

练习题 87

3真值函项逻辑 91

3.1复合命题论证 92

3.2真值函项 103

3.3真值表 110

3.4形式演绎 118

3.5间接证明与简便证明 129

3.6逻辑与电脑 132

练习题 137

4量化逻辑 143

4.1量词符号化 144

4.2定言命题符号化 148

4.3论证有效性证明 149

4.4定言命题论证有效性证明 156

4.5归谬法的其他应用 162

4.6一般谓词理论 166

练习题 172

5归纳逻辑 177

5.1归纳法与可能性 178

5.2归纳概括 181

5.3归纳类比 187

5.4因果假设 190

5.5数值概率 199

5.6解释性假设 205

练习题 209

6认证与谬误 215

6.1什么是谬误 216

6.2前提谬误 219

6.3不相干谬误 225

6.4推不出谬误 235

练习题 242