当代形式逻辑引论PDF电子书下载

引言 1

一、逻辑科学在现代科学中的地位 1

二、传统形式逻辑与数理逻辑 5

三、当代形式逻辑语义学、语构学、语用学 7

四、当代形式逻辑的研究领域、哲学思想和理论观点 9

第1篇 客观世界的逻辑结构和逻辑规律 11

第1章 当代形式逻辑语义学基础（1）—客观世界的项和事件 11

1.1 客观世界的集 11

1.1.1 对象、个体与集 11

1.1.2 集的共仅属性 12

1.1.3 集的性质 13

1.1.4 集的分类 13

1.1.5 集与集之间的关系 15

1.2 客观世界的n目组、n目组集和n元关系 17

1.3 客观世界的n元函数关系 18

1.3.1 映射 18

1.3.2 n元函数关系 19

1.4 客观世界的项（term） 20

1.4.1 个体变元 20

1.4.2 n元函数的变值 21

1.4.3 项的定义 21

1.4.4 项的分类 22

1.5 客观世界的原子事件 25

1.5.1 闭原子事件及其有无值 25

1.5.2 开原子事件及其划分 26

1.6 客观世界的真值函数关系与纯真值复合事件 28

1.6.1 真值函数关系 28

1.6.2 真值表 29

1.6.3 纯真值联结关系 29

1.6.4 纯真值复合事件 30

1.7 客观世界基本的非纯真值联结关系—充分条件关系及其两个独立性 31

1.7.1 充分条件关系与必然关系同义 31

1.7.2 充分条件事件的定义及充分条件关系的两个独立性 33

1.8 客观世界的导出的非纯真值联结关系和非纯真值复合事件 38

1.8.1 必要条件关系和必要条件事件 38

1.8.2 约合关系和约合事件 38

1.8.3 尽举相容选择关系和尽举相容选择事件 38

1.8.4 尽举反相容选择关系和尽举反相容选择事件 38

1.8.5 尽举不相容选择关系和尽举不相容选择事件 39

1.8.6 充分必要条件关系和充分必要条件事件 39

1.9 客观世界的事件 39

第2章 当代形式逻辑语义学基础（2）—客观世界的逻辑结构和逻辑规律 42

2.1 客观世界的逻辑结构 42

2.2 客观世界逻辑规律的种类 44

2.3 客观世界的逻辑定律 44

2.3.1 客观世界的事件逻辑定律 44

2.3.2 客观世界的项逻辑定律 46

2.4 客观世界的逻辑法则 47

2.4.1 客观世界的事件逻辑法则 48

2.4.2 客观世界的项逻辑法则 49

第3章 逻辑规律是客观世界的规律 51

3.1 逻辑规律概述 51

3.2 逻辑规律不是思维自身的规律 53

3.3 逻辑规律不是符号自身的规律 56

3.4 逻辑规律是且只能是客观世界的规律 58

第2篇 逻辑思考概念 61

第4章 逻辑思考概述 61

4.1 逻辑思考的定义 61

4.2 逻辑思考的内容 62

4.3 逻辑思考的形式化 63

4.4 逻辑思考、思考对象、语言载体的关系 65

第5章 概念 69

5.1 概念的概述 69

5.2 当代形式逻辑关于概念的内涵和外延 70

5.2.1 概念的外延 70

5.2.2 概念的内涵 71

5.3 概念的种类 72

5.3.1 实概念空概念 72

5.3.2 普遍概念 单独概念 72

5.3.3 集合概念 非集合概念 73

5.3.4 正概念 负概念 74

5.3.5 性质概念和关系概念 75

5.4 当代形式逻辑关于2元关系概念 76

5.4.1 何谓2元关系概念 76

5.4.2 2元关系的性质 77

5.5 概念间的关系 79

5.5.1 全同关系 79

5.5.2 种属关系 79

5.5.3 属种关系 80

5.5.4 交叉关系 81

5.5.5 全异关系 81

5.6 划分 84

5.6.1 何谓划分 84

5.6.2 划分的种类 85

5.6.3 划分的规则 85

5.7 概念的限制和概括 86

5.7.1 概念的限制 86

5.7.2 概念的概括 87

第3篇 命题 89

第6章 原子命题 纯真值复合命题 89

6.1 命题的概述 89

6.1.1 何谓命题 89

6.1.2 命题的真值 89

6.1.3 命题的分类 90

6.2 原子命题 91

6.2.1 闭原子命题 91

6.2.2 开原子命题 93

6.2.3 1元原子命题和多元原子命题 93

6.2.4 原子命题的真值 94

6.3 纯真值复合命题 95

6.3.1 基本的纯真值复合命题 95

6.3.2 导出的纯真值复合命题 97

6.3.3 多重纯真值复合命题 100

6.4 重言式的判定方法 101

6.4.1 真值表方法 102

6.4.2 归谬赋值法 104

6.5 纯真值复合命题的否定命题及其恒等命题 106

第7章 非纯真值复合命题 108

7.1 基本的非纯真值复合命题—充分条件假言命题 108

7.1.1 何谓充分条件假言命题 108

7.1.2 充分条件假言命题前后件真假关系的特征 108

7.2 导出的非纯真值复合命题（1）—必要条件假言命题、充分必要条件假言命题 109

7.2.1 必要条件假言命题 109

7.2.2 充分必要条件假言命题 110

7.3 导出的非纯真值复合命题（2）—尽举选言命题、约合命题 112

7.3.1 尽举选言命题 112

7.3.2 约合命题 115

7.4 非纯真值复合命题的否定命题及其恒等命题 116

7.4.1 充分条件假言命题的否定命题及其恒等命题 116

7.4.2 必要条件假言命题的否定命题及其恒等命题 117

7.4.3 充分必要条件假言命题的否定命题及其恒等命题 117

7.4.4 尽举相容选言命题的否定命题及其恒等命题 117

7.4.5 尽举反相容选言命题的否定命题及其恒等命题 117

7.4.6 尽举不相容选言命题的否定命题及其恒等命题 118

7.4.7 约合命题的否定命题及其恒等命题 118

7.5 外延命题和内涵命题 118

7.5.1 外延命题 118

7.5.2 内涵命题 120

7.6 下定义和定义 121

7.6.1 下定义和定义 121

7.6.2 如何鉴别一命题是否定义 122

7.6.3 表述定义的自然语句句型 124

7.7 复合命题的自然语言载体 126

第4篇 逻辑定理 129

第8章 推理和导出 129

8.1 逻辑定理概述 129

8.1.1 命题逻辑和名词逻辑 130

8.1.2 推理和推理式 131

8.1.3 导出和导出式 132

8.2 常见的命题逻辑推理 133

8.2.1 假言推理 133

8.2.2 尽举选言推理 137

8.2.3 充分条件假言联锁推理 141

8.2.4 充分条件假言联言推理 142

8.2.5 二难推理 144

8.2.6 归谬推理 147

8.2.7 假言易位推理 148

8.3 常见的命题逻辑导出 149

8.4 关于“必然”、“可能”的推理 152

8.4.1 上反对关系推理 153

8.4.2 下反对关系推理 154

8.4.3 矛盾关系推理 154

8.4.4 差等关系推理 155

8.4.5 关于“实然”与“必然”、“可能”的推理 156

8.5 归纳规则类比规则 157

8.5.1 不完全归纳规则 157

8.5.2 类比规则 159

第9章 非推导逻辑定理 162

9.1 不矛盾定理 162

9.1.1 何谓不矛盾定理 162

9.1.2 不矛盾定理的运用 162

9.2 排中定理 163

9.2.1 何谓排中定理 163

9.2.2 排中定理的运用 164

第5篇 传统形式逻辑直言命题及其推导理论简介 167

第10章 传统形式逻辑直言命题 167

10.1 传统直言命题概述 167

10.1.1 什么是直言命题 167

10.1.2 直言命题的种类 168

10.2 AEIO的真假情况 170

10.3 AEIO的真假关系 171

10.4 AEIO的主词和宾词的周延性问题 173

10.5 直言命题的否定命题及其恒等命题 175

第11章 传统形式逻辑直言命题推导 176

11.1 传统直言命题对当关系推导 176

11.1.1 以sAP或其否定命题?（sAP）为前提的四种推导 176

11.1.2 以sEp或其否定命题?（sEp）为前提的四种推导 176

11.1.3 以sIP或其否定?（sIP）为前提的四种推导 176

11.1.4 以sOP或其否定命题?（sOP）为前提的四种推导 177

11.2 传统直言命题变形推导 177

11.2.1 换质推导 177

11.2.2 换位推导 178

11.2.3 换质位推导 179

11.3 传统直言三段论 180

11.3.1 三段论的概述 180

11.3.2 三段论的规则 180

11.3.3 三段论的格与式 183

11.3.4 三段论的省略式 185

第6篇 逻辑证明及其认识论意义 187

第12章 逻辑证明与证实 187

12.1 几个有关概念 187

12.2 证明的定义 188

12.3 几种常见的证明方法 189

12.3.1 反证法 189

12.3.2 侧证法 189

12.3.3 正证法 190

12.3.4 一般归纳法 191

12.3.5 归谬法 191

第13章 逻辑证明的认识论意义 193

13.1 证实的定义 193

13.2 已证明的结论是否已证实 194

13.3 结论对前提来说是否新知 197

第7篇 对逻辑科学发展的进一步研究 203

第14章 对传统形式逻辑读物中一些问题的讨论 203

14.1 传统形式逻辑概念理论中存在的问题 203

14.1.1 关于概念的定义至今仍不能自圆其说 204

14.1.2 有些概念种类划分不合理 206

14.1.3 “概念不明确”是一种自相矛盾或者模棱两可的提法 208

14.1.4 值得推敲的其他问题 210

14.2 对纯真值有效式的分析 211

14.2.1 对应于传统命题逻辑推理式的纯真值有效式 211

14.2.2 对应于传统命题逻辑导出式的纯真值有效式 213

14.2.3 作为蕴涵怪论的纯真值重言式 215

14.3 关于流行的传统形式逻辑读物中命题逻辑推理式的几点讨论 216

14.3.1 所谓反三段论 216

14.3.2 所谓选言推理式?A∧（A∨B）→B等 218

14.3.3 真值表方法不是命题逻辑推理式有效性的判定方法 219

14.4 传统形式逻辑直言命题的当代形式逻辑剖析 221

14.4.1 传统直言命题理论中存在的问题 221

14.4.2 当代形式逻辑对传统直言命题理论问题的解决 223

14.4.3 传统直言命题和与之相应的外延命题、内涵命题之间的区别 227

14.5 传统形式逻辑直接推理、间接推理的当代形式逻辑剖析 228

14.5.1 关于传统直接推理 229

14.5.2 关于传统三段论 232

14.6 在逻辑理论上本著作与现行传统形式逻辑读本的比较 236

第15章 关于逻辑证明哲学意义的深入探讨 241

15.1 伽利略的功勋 241

15.2 伽利略的证明纳入当代形式逻辑 242

15.3 关于推理及其前提的一些分析 246

15.4 证明的一般前提的形成和证实 247

15.5 简要结语 251

第16章 当代形式逻辑基础理论在军事管理中的应用研究实例 252

16.1 概念理论知识在军事管理中的应用实例 253

16.2 命题理论知识在军事管理中的应用实例 256

16.3 逻辑定理在军事管理中的应用实例 258

16.4 逻辑证明在军事管理中的应用实例 261

结语 逻辑科学的定义 265

后记 268

参考文献 272