当代形式逻辑基础2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

当代形式逻辑基础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