制约逻辑导论PDF|Epub|txt|kindle电子书版本网盘下载

制约逻辑导论PDF格式电子书版下载

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

一、制约逻辑是传统逻辑的当代发展，是传统逻辑与现代逻辑的有机结合1

二、传统形式逻辑与正统数理逻辑是两门不同的学科2

三、制约关系在演绎逻辑中的决定作用，充分发展了的当代演绎逻辑可以称为制约逻辑3

四、制约逻辑语义学、语构学、语用学3

五、制约逻辑导论是制约逻辑语义学的基础部分4

六、传统形式逻辑的弊端4

上篇 客观世界的逻辑结构与逻辑规律5

第一章　集与关系5

§1．对象和个体5

§2．集和元6

§3．集的共仅属性和刻划法7

一、集的共仅属性7

一、元的单一性9

二、元的无序性9

二、集的刻划法9

§4．集的性质9

三、个体与集的相对性10

四、集的排己性10

五、属于关系的不矛盾性10

六、属于关系的排中性11

§5．并集、交集、补集11

一、并集11

二、交集12

三、补集13

一、集的分类15

二、实集15

§6．集的种类15

三、空集16

§7．集与集之间的关系16

一、子集16

二、真子集17

三、幂集17

§8．n目组、n目组集18

一、论域上的n目组18

二、n目组的性质18

三、n目组的种类19

四、m元论域上的n目组的个数19

§9．n元关系20

一、n元关系p20

五、n目组集Un20

二、关系的并、交、补22

三、全关系和空关系23

四、2元关系的域24

§10．逆关系、连关系与对称性、传递性、自反性24

一、逆关系与对称性24

二、连关系与传递性25

三、自反性26

第二章 n元函数关系27

§11．映射27

一、什么叫映射27

二、不同的映射29

§12．n元函数关系32

一、什么是n元函数关系32

二、不同的n元函数34

三、0元函数35

13．项35

一、个体变元和n元函数的变值35

二、项的定义36

三、项的分类37

§14．原子事件40

一、闭原子事件40

二、开原子事件43

三、原子事件45

§15．真值函数关系48

一、真值——有、无48

二、真值函数的定义48

三、不同的n元真值函数关系49

四、真值表53

§16．纯真值（正统）联结关系55

§17．纯真值联结关系对真值函数的完全性58

§18．纯真值（正统）复合事件62

第三章　客观世界的逻辑结构66

§19．充分条件与必然同义66

§20．月地距离的测定与王冠的故事68

§21．第一独立性69

§22．制约关系71

§23．第二独立性73

§24．联结关系75

§25．复合事件、事件76

一、复合事件、事件的定义76

三、开复合事件与闭复合事件77

二、子事件77

一、事件的高和层78

§26．事件的逻辑结构78

二、事件的逻辑结构的定义79

三、逻辑结构鸟瞰80

§27．同基异构事件80

§28．狐假虎威与咕咚来了82

第四章　客观世界的逻辑规律84

§29．事件性质的划分84

一、对象的经验属性和逻辑属性84

二、非逻辑对象和逻辑对象84

三、事件的逻辑性质与非逻辑性质86

§30．客观世界的逻辑定律87

二、从经验的一独、二独往到逻辑的一独、二独的升华89

§31．逻辑的一独、二独89

一、逻辑的的一独、二独的定义89

三、两独是逻辑科学的精髓90

§32．介绍几个逻辑定律91

一、韩非的不矛盾律91

二、内涵三段律92

三、逆否律92

§33．客观世界的逻辑法则93

一、客观世界的逻辑法则的定义93

二、分离法则94

三、代入法则94

四、相等置换法则94

§34．客观世界的逻辑规律94

§35．客观世界逻辑规律的分类95

二、重言（正统）定律和含制约（非正统）定律96

一、事件逻辑规律和项逻辑规律96

三、客观世界逻辑规律鸟瞰97

四、重言规律和制约规律98

§36．从韩非的逻辑思想评当今形式逻辑的某些逻辑思想98

下篇 逻辑思考106

第五章　词106

§37．逻辑思考概述106

一、逻辑思考的定义106

二、逻辑思考的内容及经验内容、逻辑内容107

三、逻辑思考的形式化107

四、逻辑思考及思考对象、语言载体110

一、词的定义112

§38．词的定义及分类112

二、词的分类113

§39．非逻辑词113

一、n目组词114

二、n元函数词115

三、n元关系词115

四、1阶常项词116

五、多阶常项词116

六、非0阶变项词117

§40．逻辑词117

一、个体变元词117

二、联结词118

§41．词的语言载体——词语119

一、一“词”采用多种词语承载120

二、一词语承载多种“词”121

第六章　命题123

§42．命题的概述123

一、命题的具体内容及经验内容、逻辑内容123

二、命题的真值124

三、命题的式124

§43．命题的分类126

一、命题的一般分类126

二、复合命题的进一步分类128

三、外延命题和内涵命题135

§44．传统命题的制约逻辑剖析136

一、名词（概念）的内涵和外延141

§45．下定义和定义141

二、下定义、定义142

第七章　逻辑定理145

§46．逻辑定理概述145

§47．命题逻辑和名词逻辑146

一、有效命题和有效式146

二、命题逻辑和名词逻辑147

三、推理式和导出式148

§48．逻辑定理的分类150

一、逻辑定理分类概述150

二、常见的命题逻辑导出式153

三、常见的命题逻辑推理式155

§49．传统名词逻辑的制约逻辑剖析161

一、传统的直接、间接推理的制约逻辑剖析162

二、关于“必然”、“可能”的推理163

三、传统的不完全归纳推理、类比推理169

§50．制约系统简介171

第八章　证明与证实174

§51．证明的定义174

§52．已证明的结论是否已证实177

§53．结论对前提来说是否新知179

§54．证实的定义183

§55．证明的前提及其证实185

一、伽利略的功勋185

二、伽利略的证明纳入制约逻辑186

三、关于推理及其前提的一些分析189

四、证明一般前提的形成和证实190

§56．简短的结语192

参考文献194

1．形式逻辑和数理逻辑是两门不同的学科 林邦瑾194

2．构造“制约逻辑”的动意 林邦瑾203

3．制约逻辑命题演算Cm系统与名词演算Cn系统 林邦瑾211

4．论偶然——兼论风马牛 林邦瑾218

5．宇宙、人类、制约逻辑、人工智能——奉献给想在十分钟内了解制约逻辑的人们 林邦瑾239

6．两脚不离大道一身飞上雄关 何伊德240

7．制约逻辑——传统形式逻辑在我们时代的崭新发展 龚启荣244

8．立于世界逻辑之林的一棵新树——读林邦瑾的《制约逻辑》 李欣247

9．制约逻辑述评——从逻辑哲学观点看 桂起权252

10．制约逻辑对正统数理逻辑的超越 崔同庆260

11．形式逻辑与制约逻辑 田文新263

12．对客观世界的一种新的思考——向思维科学的爱好者简介《制约逻辑》 周健勇267

13．林邦瑾和制约逻辑 刘宝昌275

14．植根泥土　昂首云天——从哲学的角度看制约逻辑的理论特色 杨弓278

15．1.5比0.5 蔡忠仁284

16．对“两个独立性”的理解 鲜明287

17．对“两个独立性”的再理解 鲜明291

18．系统间的形式等价性（可译性）与实质特异性 桂起权299

19．对“质疑”的质疑 彭宏　唐兴305

20．从对“悖论”的剖析看制约逻辑坚定彻底的辩证唯物论思想——一谈制约逻辑是逻辑史上的新突破 龚启荣310

21．对《〈制约逻辑〉简评》的简评 李正316

22．此事刻不容缓——一个老干部的呼吁 华飞322

23．哈尔滨船舶工程学院致北京开关厂厂长函325

24．在制约逻辑课程开课前的讲话 刘大昕326

25．在制约逻辑研讨班上的讲话 柳维长327

26．制约逻辑创立者林邦瑾工程师在哈尔滨船舶工程学院讲学 马智328

27．逻辑学的最新进展及其应用——哈船院设立制约逻辑与人工智能科研课题组聘请制约逻辑创始人林邦瑾为兼职教授 杨秀文329

28．知识的获取与表示——制约逻辑应用初探 陈永331

29．PROLOG中的制约关系 印桂生345

30．制约、推理和智能 邢晶349

31．制约逻辑与人工智能 李长海356

32．什么是智能？——第五代计算机是智能机吗？ 黄俊涛358

33．制约逻辑与计算机的发展 秦俊明362

34．制约逻辑对人工智能、语言识别的影响 王文波364

35．制约辑逻应用于人工智能研讨会通知368

36．制约逻辑应用于人工智能研讨会纪要369

附件一373

附件二389

37．浩然正气　开拓前进——记制约逻辑应用于人工智能研讨会 何立庭390

38．基于制约逻辑的自然语言理解系统ENLUS 黄厚宽、俞经善、李敬敏、林一兵392