何华灿，教授，博士生导师，西北工业大学人工智能和泛逻辑研究所原所长，主要学术兼职：中国人工智能学会原副理事长， 中国人工智能专业委员会原主任。主要研究方向：人工智能基础理论和应用、泛逻辑学。主持完成了多项国家自然科学基金项目、省部级基金项目、国家教委博士学科点专项科学基金项目等。多次获得过省部级科技进步有、二、三奖。出版有《人工智能导论》、《泛逻辑学原理》、《统一无穷理论》（合著）等，主编《人工智能丛书》一套，被国务院评为有突出贡献的专家，享受国务院特殊津贴,获国防科工委光华基金 3 等奖。

第1章逻辑学需要适应智能化时代的需求1

第2章命题泛逻辑中的关系柔性32

第3章泛逻辑运算模型的生成规则56

第4章N范数和N性生成元完整簇75

第5章T范数和S范数的一般原理92

第6章T/S性生成元完整簇和T/S范数 118

第7章二元泛命题连接词151

第8章不可交换的命题泛逻辑184

第9章命题泛逻辑学理论体系211

第10章柔性神经元的结构和工作原理229

第11章命题泛逻辑在现代逻辑学中的应用259
第12章命题泛逻辑在新一代人工智能中的应用284
12.6.1“洛神计划”321
12.6.2超长位进位直达计算协处理器322
第13章S型超协调逻辑简介324
13.1引言325
13.1.1公理化方法带来的新问题325
13.2悖论是逻辑演算的不封闭项331
13.3从标准逻辑到S型超协调逻辑的扩张337
第14章关于无穷公理的讨论348
14.1现行无穷公理的隐患与重建348
14.2SZF公理集合论中的几个重要问题357
参考文献379
附录泛逻辑团队的主要研究成果及应用(1996—2019年)397