《制约逻辑导论》PDF下载

  • 购买积分:13 如何计算积分?
  • 作  者:林邦瑾等编著
  • 出 版 社:贵阳:贵州人民出版社
  • 出版年份:1990
  • ISBN:7221003335
  • 页数:396 页
图书介绍:

一、制约逻辑是传统逻辑的当代发展,是传统逻辑与现代逻辑的有机结合 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元关系p 20

五、n目组集Un 20

二、关系的并、交、补 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