制约逻辑 传统逻辑与现代逻辑的结合PDF|Epub|txt|kindle电子书版本网盘下载

制约逻辑 传统逻辑与现代逻辑的结合PDF格式电子书版下载

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

前言4

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

二、传统形式逻辑与正统数理逻辑7

三、构造制约逻辑的动意9

四、制约逻辑的研究领域、哲学思想和理论观点10

五、对符号语言的语义的、语构的和语用的研究11

第一章 导论13

1.对象、个体与集13

一、对象13

二、个体15

三、集15

一、论域上的n目组21

2.n目组、n目组集与n元关系21

二、论域上的n目组集24

三、n元关系25

3.映射和n元函数关系31

一、映射31

二、n元函数关系32

4、原子事件39

一、闭原子事件39

二、开原子事件39

三、原子事件有、无的不矛盾律、排中律和选一律42

二、真值函数关系的定义43

5.真值函数关系和正统复合事件43

一、真值——有、无43

三、不同的n元真值函数和真值表44

四、正统(纯真值)复合事件47

五、否定、合取对真值函数的完全性51

第二章 制约逻辑语义学56

6.制约关系和非正统复合事件56

一、充分条件关系56

二、制约关系和第一独立性57

三、内涵的科学分析58

四、制约关系不是真值函数关系，是主要的逻辑关系59

五、普通逻辑思考中的联结词“若，则”60

六、第二独立性，两个独立性62

七、制约事件——非正统(非纯真值)复合事件62

7.联结关系、复合事件和事件的逻辑结构63

一、联结关系63

二、复合事件和事件的分类63

三、事件的高和层64

四、事件的逻辑结构66

8.客观世界的逻辑规律67

9.词70

一、命题的定义72

10.命题72

二、命题的经验内容和逻辑内容74

三、命题的分类75

四、命题的真值78

五、命题和语句80

六、命题的形式化81

七、对命题的内容和真值的一些讨论85

八、外延合取命题和内涵制约命题86

九、命题与判断91

11.逻辑定理93

一、逻辑定理——逻辑有效命题与逻辑规则93

三、“形式逻辑不管真假”说剖析94

二、从一个具体有效命题即可得出有效式94

四、逻辑定理揭举客观世界的逻辑规律95

五、命题逻辑定理和名词逻辑定理95

六、经验真值，常真与常假、可真与可假96

12.推导97

一、推导的定义97

二、导出与推出98

三、重言式剖析101

四、科学史上使用命题逻辑推理式的几个实例102

五、两个独立性从经验进到逻辑的历史的追溯106

六、蕴假制威108

七、逻辑思考及其形式化111

13.证明111

一、证明的定义111

二、已证明的结论是否已证实114

三、结论对前提来说是否新知116

四、证实的定义120

五、证明的前提及其证实122

六、简短的结语129

第三章 古典公理系统、现代公理系统与逻辑演算形式系统130

14.公理系统的定义130

15.从欧几里德的古典公理系统到希尔伯特的现代公理系统131

16.语义的研究和语构的研究136

17.逻辑的现代公理系统137

18.逻辑演算形式系统138

19.公理系统的一些重要性质141

第四章 制约逻辑语构学——制约系统概述144

20.条件关系144

一、条件关系的定义(一)144

二、条件关系的定义(二)145

三、条件关系的定义(三)146

四、定义(三)不满足无误性要求148

六、传统系统——由且仅由传统逻辑定理主刻划的逻辑系统150

五、改进定义(三)的困难150

八、条件关系的定义(四)154

七、够用的无衍系统——制约系统154

21.以条件关系为解释含义的制约系统梗概156

22.蕴涵怪论157

一、概述157

二、蕴涵怪论的语义定义157

三、蕴涵怪论的种类158

23.制约系统是够用的无衍系统159

一、无衍系统159

24.语构学的一般特征161

二、够用161

第五章 制约逻辑命题演算Cm系统163

25.Cm的形式语言163

一、形式符号164

二、形成规则164

三、语构变元165

四、一些必要的缩写165

五、解释166

六、式的判定167

三、Cm的原始公式(公理)168

二、模式、公式模式与公理模式168

一、公式、规则、原始公式与原始规则168

26.Cm的原始公式与原始规则168

四、Cm的原始规则169

27.形式系统中的定理与关于形式系统的定理(形式定理与元定理)170

一、公式与形式证明170

二、导出规则171

三、一般归纳法172

四、关于形式系统的定理(元定理)173

28.Cm的形式定理与关于Cm的元定理175

一、Cm的形式证明的标注175

二、Cm的导出公式、导出规则与元定理176

29.Cm的无衍性190

一、无衍性定理190

二、Cm的除外式191

三、对无衍系统的一些讨论195

30.Cm的可判定部分196

一、标准式196

二、关于Cm的重言定理和不矛盾性定理197

三、正统中制定理198

31.Cm推理式判定定理199

第六章 制约逻辑名词演算Cn系统201

二、形成规则202

一、形式符号202

32.Cn的形式语言202

三、式的判定203

四、缩写204

五、个体变元在式中的约束出现与自由出现205

六、项对在式中出现的个体变元的可代入206

七、解释206

33.cn的原始公式、原始规则、形式定理与元定理209

一、Cn的原始公式与原始规则209

二、与Cm定理相应的Cn定理210

三、Cn中的形式定理与关于Cn的元定理210

一、Cn与传统外延名词逻辑214

34.名词演算Cn与传统的名词逻辑214

二、Cn与传统内涵名词逻辑215

五、对传统逻辑的批评221

三、Cn与传统的关于“必然、可能”的推理229

第七章 制约逻辑在数学和辩证逻辑中的运用229

四、Cn与传统的归纳、类比推理230

35.名词演算Cn与正统的一阶谓词演算F232

一、Cn与F殊异232

二、Cn与F的纯语构对照233

三、关于逻辑量词236

二、Cnd的公理模式239

36. 带等词号的名词演算Cnd系统239

一、Cnd的形式语言239

三、Cnd的形式定理和关于Cnd的元定理240

37.初等数论的形式系统241

一、N的形式语言241

二、M的公理模式242

三、一些备用的N的导出公式和导出规则242

四、初等数论形式系统N的导出公式243

38.运用制约逻辑和数学方法分析辩证逻辑问题246

一、普通逻辑的界限247

二、运用制约逻辑和数学方法分析一个辩证命题248

三、在辩证逻辑中运用制约逻辑和数学方法的结果之一——辩证命题的逻辑性质256

四、在辩证逻辑中运用制约逻辑和数学方法的结果之二——辩证三律在辩证式中的体现259

第八章 悖论261

39.从数学的三次危机说到“悖论”的定义261

40.历史上的种种“悖论”(自相矛盾、佯谬、谬论和禅机)264

41.现代的种种“悖论”(佯悖)272

42.佯悖剖析279

43.对“悖论”问题的几点看法284

Appcndix285

Ⅰ.ENTAILMENT SYSTEM—Propositinal calculus system Cm and notional calculus system Cn285

Ⅱ.English Contents Of the Book295