当代形式逻辑基础PDF电子书下载

第壹篇　导论 1

第一章 引言 1

1.1　逻辑科学在现代科学中的地位 2

1.2　传统形式逻辑与正统数理逻辑 4

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

1.4　本书宗旨 7

第二章 当代形式逻辑语义学基础 11

2.1　集 11

2.2　n目组、n目组集和n元关系 15

2.3　n元函数关系 16

2.4　客观世界的项（term） 17

2.5　原子事件 21

2.6　真值函数关系与纯真值复合事件 23

2.7 基本的非纯真值联结关系——充分条件关系及其两个独立性 25

2.8　导出的非纯真值联结关系和非纯真值复合事件 30

2.9　事件 31

2.10　客观世界的逻辑结构 33

第三章　客观世界的逻辑规律 35

3.1　逻辑规律概述 35

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

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

3.4　逻辑规律是且仅是客观世界的规律 40

3.5　逻辑规律的分类 42

第四章　非推导逻辑定律 48

4.1　不矛盾律 48

4.2　排中律 50

第贰篇　逻辑思考　概念 52

第五章　逻辑思考概述 52

5.1　逻辑思考的定义 52

5.2　逻辑思考的内容 53

5.3　逻辑思考的形式化 54

5.4　逻辑思考、思考对象、语言载体的关系 55

5.5　逻辑语义学、语构学、语用学 58

第六章　概念 59

6.1　概念的概述 59

6.2　概念的内涵和外延 60

6.3　概念的种类 61

6.4　2元关系概念 65

6.5　概念间的关系 67

6.6　划分 71

6.7　概念的限制和概括 73

6.8　传统概念理论中存在的问题 74

第叁篇　命题 81

第七章　原子命题　纯真值复合命题 81

7.1　命题的概述 81

7.2　原子命题 82

7.3　纯真值复合命题 85

7.4　重言式的判定 92

7.5　纯真值复合命题的否定命题及其恒等命题 96

7.6　对纯真值有效式的剖析 97

第八章　非纯真值复合命题 102

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

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

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

8.4　非纯真值复合命题的否定命题及其恒等命题 109

8.5　外延命题和内涵命题 110

8.6　下定义和定义 112

8.7　复合命题的自然语言载体 115

第九章　传统直言命题 118

9.1　传统直言命题概述 118

9.2　AEIO的真假情况 120

9.3　AEIO的真假关系 121

9.4　AEIO的主词和宾词的周延性问题 123

9.5　直言命题的否定命题及其恒等命题 124

9.6　传统命题的当代形式逻辑剖析 124

第肆篇　逻辑定理 130

第十章　推理和导出 130

10.1　逻辑定理概述 130

10.2　常见的命题逻辑推理 133

10.3　常见的命题逻辑导出式 145

10.4　对流行的传统形式逻辑读本中命题逻辑推理式的几点剖析 148

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

10.6　归纳规则　类比规则 156

第十一章　传统直言命题推导 160

11.1　传统直言命题变形推导 160

11.2　传统直言命题对当关系推导 162

11.3　传统直言三段论 163

11.4　传统的直接推理 间接推理的当代形式逻辑剖析 167

第伍篇　逻辑证明 173

第十二章　逻辑证明概述 173

12.1　证明的定义 174

12.2　几种常见的证明方法 175

第十三章　证明的哲学意义 179

13.1 已证明的结论是否已证实 179

13.2　结论对前提来说是否新知 181

13.3　证实的定义 186

13.4　证明的前提及其证实 187

13.5　简短的结语 194

第陆篇　结语 196

第十四章　逻辑科学的定义 196

后记 198

参考文献 203