《传统与现代逻辑概论》求取 ⇩

1复合命题及其推理11

1.1 复合命题12

1.1.1 联言命题12

1.1.2 选言命题13

1.1.3 假言命题15

1.1.4 负命题18

1.2 复合命题的推理22

1.2.1 联言推理22

1.2.2 选言推理23

1.2.3 假言推理25

1.2.4 二难推理31

习题135

2命题演算39

2.1 命题演算基础知识39

2.1.1 命题命题公式真值函项39

2.1.2 重言式和重言式的判定42

2.1.3 范式和优范式47

2.2 命题逻辑自然推理系统51

2.3 命题逻辑公理系统P58

2.4 命题演算的一致性和完全性62

2.5 命题逻辑的形式证明64

习题268

3直言命题及其推理70

3.1 词项与概念70

3.1.2 概念的种类71

3.1.1 概念的内涵和外延71

3.1.3 概念外延间的关系73

3.2 类的基本知识75

3.2.1 类和元素75

3.2.2 类的并和交76

3.3 直言命题77

3.3.1 直言命题的结构和种类77

3.3.2 直言命题的欧拉图解和真假关系81

3.3.3 直言命题的文恩图解86

3.3.4 A、E、I、O的词项周延问题88

3.3.5 直言命题的负命题89

3.4 直言命题的推理90

3.4.1 对当关系推理90

3.4.2 命题变形推理92

3.4.3 三段论95

习题3105

4谓词演算110

4.1 谓词逻辑的命题形式111

4.1.1 个体词谓词111

4.1.2 量词113

4.1.3 普遍有效式可满足式不可满足式115

4.1.4 谓词逻辑公式的判定问题116

4.1.5 直言命题形式的公式化118

4.1.6 关系命题的命题形式121

4.2 谓词逻辑的自然推理123

4.2.1 推理规则124

4.2.2 定理的证明128

4.3 谓词逻辑的形式证明132

4.4 解释方法134

习题4139

5模态逻辑142

5.1 模态模态命题形式143

5.1.1 模态143

5.1.2 模态命题形式144

5.2.1 模态逻辑系统K148

5.2 模态命题逻辑系统148

5.2.2 模态逻辑系统T152

5.2.3 模态逻辑系统S4153

5.2.4 模态逻辑系统S5154

5.2.5 可能世界语义理论155

5.3 模态狭谓词逻辑QTB158

5.4 道义逻辑160

5.4.1 道义命题形式161

5.4.2 四种基本道义命题之间的关系163

5.4.3 道义逻辑公理系统164

5.4.4 部分道义逻辑系统之间的关系167

习题5168

6多值逻辑169

6.1 卢卡西维茨的多值逻辑系统170

6.2 另外一些多值逻辑系统174

7归纳推理176

7.1 归纳推理概述176

7.2 概率178

7.2.1 概率的概念179

7.2.2 初始概率180

7.2.3 特殊合取规则181

7.2.4 普遍合取规则182

7.2.5 特殊析取规则183

7.2.6 普遍析取规则184

7.2.7 否定规则185

7.2.8 现实生活中的概率185

7.3 因果推理186

7.3.1 因果关系的不同种类187

7.3.2 求因果联系的方法190

7.3.3 因果推理与概率197

7.4 经验概括198

7.4.1 观察陈述198

7.4.2 普遍经验概括199

7.5 统计推理202

习题6204

8类比推理206

8.1 类比推理的形式和或然性206

8.2 类比推理的作用209

习题7210

9假说与科学解释212

9.1 假说212

9.1.1 假说的基本性质212

9.1.2 假说的形成213

9.2.1 普遍概括的检验模式214

9.2 确证与证伪214

9.2.2 确证实例的可接受性标准216

9.2.3 简单性标准217

9.2.4 统计概括的检验模式217

9.2.5 确证的复杂性219

9.2.6 证伪的复杂性219

9.3.1 科学解释的结构220

9.3.2 科学解释的类型220

9.3 科学解释220

9.3.3 有效的和无效的解释222

习题8222

10定义224

10.1 内涵定义224

10.1.1 事物定义225

10.1.2 语词定义229

10.2 外延定义232

10.2.1 实指定义232

10.2.3 划分定义233

10.2.2 举例定义233

10.3 其他一些定义方法234

10.3.1 递归定义234

10.3.2 公理定义234

10.3.3 说服定义235

10.3.4 比喻定义236

习题9237

11非形式论证238

11.1 证明239

11.1.1 什么是证明239

11.1.2 证明的种类241

11.1.3 证明的规则245

11.2 反驳249

11.2.1 什么是反驳249

11.2.2 反驳的种类250

11.2.3 反驳的方法251

习题10254