传统名辩学与当代逻辑之核心理论——推理能获取新知识”

专题研讨会

龚启荣/文

贵州制约逻辑学会于11月14日-15日在贵州大学花溪北校区举行了“传统名辩学与当代逻辑之核心理论——推理能获取新知识”专题研讨会。参加研讨会的会员共37人，其中，教授、研究员和副教授15人。

14日在贵州大学人武学院会议室举行了专题研讨大会。会议由理事长龚启荣教授主持。龚启荣介绍了本专题研讨会的背景（研讨名辩与逻辑，为“大数据”时代添砖加瓦）、主题（弘扬获取新知识的逻辑思想，开发实现中国梦的创新智慧；把传统的名辩学与当代逻辑学结合起来，为“大数据”时代添砖加瓦）和会议程序。

研讨会正式开始后，龚启荣做了主题发言：

实现中国梦必备的创新智慧的要素

推理能获取新知识的两块基石

——传统名辩学与当代逻辑之核心理论

第一，龚启荣引用达尔文的著作《兰必虫媒》（如果x是兰花，那么x虫媒）为实例，深入浅出地阐述了我们学会创立的逻辑学中的推理能获取新知识的两个独立性——推理的前提与结论之间逻辑的充分条件关系的两个独立性，这是实现中国梦必备的创新智慧的要素。

围绕这个主题，大家展开了热烈的讨论。作了系统发言的有：罗丽副教授的《也谈充分条件关系及其两个根本属性——推动理论创新与实践创新必备的思想理论要素》、庄梦兰副教授的《充分条件两个独立性从经验进到逻辑的历史追溯》、段祥富副教授的《尽举选言命题的种类及其逻辑性质》、梁俊峰讲师的《当代形式逻辑对传统直接推理、间接推理的剖析与发展》、郑 超研究生的《当代形式逻辑对传统命题的剖析与发展》和《客体逻辑的哲学指导思想》、曾贤模副教授的《隐喻与逻辑》。林邦瑾教授做了《逻辑证明是获取新真理的普适工具——制约关系中的内涵两独是确保获取新真理的核心要素》的书面发言。

第二，龚启荣把充分条件关系的两个独立性和作为真值函数的蕴涵关系的两个依耐性对比，阐述了现在的数字计算机的与、或、非门与我们提出的内涵智能机的必然门的实质性区别。号召会员们为研制内涵智能机的必然门努力。与会者对此问题特感兴趣。马瑞安、褚智萍等教授提出，要开动脑筋，多渠道，多路子开展研制。

第三，姚侗副教授、张延伍讲师等会员提出，我们在当前大数据的形势下，要积极研究我们提出的内涵智能机。认为，内涵智能机的研制成功就能解决大数据的处理工作，为大数据添砖加瓦。那时，我们就真正进入了崭新的智能时代。

15日，在贵州大学北校区第一教学楼，会议分三个小组进行了深入研讨。

与会者反映，这次研讨很成功，很受鼓舞，受益匪浅。

通过这次专题研讨活动，与会者对下述问题有了进一步的深入认识：

1.逻辑推理的前提与结论之间的关系——即全世界其它论著都说不清楚的“推出关系”——就是逻辑的充分条件关系，它的逻辑的两个独立性是由经验的充分条件关系的经验的两个独立性升华而来的。

2.经验的和逻辑的充分条件的两个独立性是逻辑科学能从已有知识获取新知识的两块基石，它为人类在认识世界、改造世界过程中从已有知识获取新知识铺平了道路。

3.贵州制约逻辑学会揭举了充分条件的根本属性，为研制必然门，从而为研制内涵智能机奠定了坚实基础。我们制约逻辑界有坚定的信心，世界上第一台真正的智能机——内涵智能机必将首先在祖国大地上诞生！