信息、智能与逻辑 智能科学的逻辑基础研究 第2卷 下PDF电子书下载

上册 3

第一篇 智能科学之逻辑基础 3

科技革命时代逻辑学发展的方向&黄顺基 3

论第二次数理逻辑革命&何华灿 何智涛 35

复杂性科学呼唤逻辑学创新&苗东升 54

从认知心理学的观点看数理辩证逻辑&赵总宽 75

辩证逻辑正在向深度和广度进军&桂起权 96

我国辩证逻辑的历史与未来&杨武金 114

容纳矛盾的逻辑何以可能？&杨武金 125

建构数理辩证逻辑必须澄清的一些理论问题&马佩 134

对两个著名的数理逻辑系统的评析&马佩 150

从逻辑哲学看模糊逻辑的形式化&桂起权 165

人脑使用的逻辑都不是形式化的&苗东升 181

当代逻辑科学“应用转向”探纲&张建军 195

从中西科学的发展看辩证逻辑&余宗森 205

周易象数算法与象数逻辑&李曙华 216

生成的逻辑与内涵价值的科学&李曙华 231

渗透逻辑及其应用和发展&柳昌清 248

中医思维方式的历史性变革&孟凯韬 273

阴阳五行逻辑&孟凯韬 280

智能逻辑和数理逻辑的区别&郑福全 293

逻辑悖论的形成原因和语形模式&郑福全 298

第二篇 柔性逻辑之路 317

连续值逻辑代数——柔性逻辑的基础研究&何华灿 317

再论集合、逻辑和代数的关系&罗敏霞 何华灿 355

泛逻辑的应用模式与示例分析&陈志成 何华灿 毛明毅 372

论事物的存在度原理&洪昆辉 403

对当前数理辩证逻辑研究的哲学反思&罗翊重 425

中册 437

第三篇 易经逻辑之路 437

易经逻辑扩大系统——数理辩证逻辑纲要&赵总宽 437

第1章 数理辩证逻辑与逻辑学概说 437

第2章 从共性类理论到互补属性整体类理论 481

第3章 从数理命题逻辑到数理辩证命题逻辑 551

第4章 从数理谓词逻辑到数理辩证谓词逻辑 690

第5章 从物理事态谓词逻辑到心理事态谓词逻辑 744

下册 819

第四篇 非－反逻辑之路 819

导读：罗翊重的辩证逻辑思想 819

解析中华太极图的阴阳数字化之谜&罗翊重 胥良 825

回归自然语言逻辑的本体论承诺&罗翊重 845

论蕴涵命题的模态意义&罗翊重 866

千年逻辑之争终成和合之解&罗翊重 893

从代数不等式的非反演算看哥德尔的第一不完全性定理&胥良 965

逻辑推理四大基础类型及其相互关系研究&罗翊重 980

逻辑推理基础类型之外延与内涵间的相互转换定律&罗翊重 1018

哲学逻辑对判断的非反否定演算研究&罗翊重 1058

论人工智能机对辩证矛盾命题的程序演算&罗翊重 1077

第五篇 次协调逻辑之路 1107

关于互补性逻辑、辩证逻辑及次协调逻辑&桂起权 1107

辩证矛盾与不协调系统S&张金成 1118

多矛盾命题与系统S的拓展&张金成 1134

经典逻辑视野中的弗协调逻辑&杜国平 1144

直觉主义逻辑新系统Hc的建立以及归纳中证认悖论的解决&陈自立 桂起权 1153

语义封闭性、真矛盾论与悖论逻辑&付敏 1175

编后寄语 1185