
龚启荣 教授,硕士生导师,男,汉族,1942年6月生,江西景德镇人。1964年于贵州大学毕业后选派到贵州省委党校理论研究班学习并开始从事理论教育工作。现任贵州大学逻辑学教授、信息管理系主任,是贵州大学学术(学科)带头人。研究方向有逻辑学、离散基础数学、语言学。发表论著Lin’s Entailment Logic ——A Development of Traditional Logic Our Times (第八届国际逻辑、科学哲学和科学方法讨论会论文集,莫斯科科学出版社1987年出版),Lin’s Entailment Logic And Knowledge Representation (《符号逻辑杂志》,美国,1992年第1期第57卷)、《形式逻辑导引》(41万字,贵州人民出版社1995年出版)、《逻辑斯谛——又称“数理逻辑”的二值数学》(34万字,贵州教育出版社1998年出版)等百余篇(部)。完成国家和省级科研课题10余项。曾10余次受国际重要学术会议邀请并发表论文。
完成的项目“制约逻辑在人工智能中的应用理论”,清晰而恰当地提出并回答了一系列属于人工智能的逻辑理论的重大问题;指出了人工智能的根本使命;完成了古典逻辑和形形色色非古典逻辑以及传统形式逻辑不能作为人工智能的逻辑理论基础的论证;发现并充分证明了,制约逻辑向人类提供了从已知获取新知的推理工具,因而是人工智能最合适的逻辑工具;上述成果居国际领先地位(以上摘自《贵州省科技进步奖获奖项目简介(1990年)》和《鉴定证书》)。
著作《逻辑斯谛》在出版前通过省内外7位同行专家的鉴定和推荐,认为在下述诸方面达到国际先进水平:(1)以制约逻辑辩证唯物论的客体说为主导思想,构建了区别于一般数理逻辑论著的反映客观世界的逻辑斯谛结构和逻辑斯谛规律的逻辑斯谛理论体系,所谓使数学处于第三次危机之中的罗素集合论悖论、著名的语义悖论——永恒的说谎者悖论等在该体系中不复成立。(2)在语用学方面揭示了逻辑斯谛两个致命缺陷,论证了制约逻辑正确合理的解决方案,为建立新型人工智能语言开辟了新思路。(3)推翻了以往逻辑界长期被默认的谬论及其对社会、对读者的误导。一针见血地指出,数理逻辑不是逻辑。将数理逻辑基础定性为离散数学的分支——二值数学,对正在展开的关于数理逻辑基础的定性问题以及由此带来的关于逻辑、数学的一系列理论和应用问题的学术讨论定将起重大的促进作用。
《形式逻辑导引》实施了区别于目前国内对传统形式逻辑教材改革的“改造论”(主张用数理逻辑改造或统帅传统形式逻辑)和“取代论”(主张用数理逻辑取代传统形式逻辑)的新颖的改革方案,遵循制约逻辑深刻正确的主导思想,充分继承传统形式逻辑久盛不衰的理论成果,摒弃还留存于当今一些流行的形式逻辑教材中种种陈陈相袭的积弊,成为坚持传统形式逻辑的真正逻辑科学方向、符合人的普通逻辑思考实际的名副其实的形式逻辑教材。
新著《当代形式逻辑研究》(待出版)师承我国逻辑学家林邦瑾教授的逻辑客体说,继承以韩非为代表的先秦逻辑学家的唯物论逻辑思想,以探讨当代逻辑为己任。
龚启荣是一位热心的社会活动家。他曾兼任中国国民党革命委员会贵州省委委员,积极参政议政。还兼任贵州省哲学社会科学联合会第二、三、四届委员会委员、贵州省科学技术协会第四届委员会委员、BLS国际逻辑学会会员、东亚国际符号学会会员,积极参加国内外学术活动。他创建了贵州制约逻辑学会和贵州省逻辑教学研究会并任两会理事长(会长)。20多年来为学会做了大量艰苦细致的工作,在学会的建设和发展中起着重要作用。他的教学、科研情况在《团结报》、《贵州日报》、《贵州经济报》、《贵州政协报》、《贵州年鉴》、《中国哲学年鉴》、《世界名人录》等均有介绍。