当代形式逻辑引论【2025|PDF下载-Epub版本|mobi电子书|kindle百度云盘下载】

当代形式逻辑引论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