词条 | 龚启荣 |
释义 | 龚启荣,江西景德镇人。1964年贵州大学毕业后被选派到贵州省委党校理论研究班学习并开始从事理论教育工作。系贵州省先进科技工作者、国际符号逻辑协会会员、BLS国际逻辑学会会员、东亚国际符号学会会员、贵州省社科联委员、贵州省科协第四届委员、贵州制约逻辑学会理事长、贵州省逻辑教学研究会会长。曾任贵州大学信息管理系系主任,现任贵州大学老科学技术工作者协会基础与人文社会科学工作委员会副主任、逻辑学教授、学术带头人、逻辑学研究生导师,任贵州人民武装学院教学督导和逻辑学教授。发表论文Entailment Logic——A Development of Traditional Logic Our Times(J)(第八届国际逻辑、科学哲学和科学方法讨论会论文集,莫斯科科学出版社1987年)、Entailment Logic And Knowledge Representation(J)(《符号逻辑杂志》,美国,1992年第1期第57卷)、Orthodox Mathematical Logic is Not a Reasoning Theory(J)和Lin’s Entailment Logic Symbol System Can Logically Represent All Knowledge(《符号逻辑会刊》,美国,2007年第3期第13卷)等100多篇。出版著作《形式逻辑导引》(M)(贵州人民出版社1995年)、《逻辑斯谛——又称"数理逻辑"的二值数学》(M)(贵州教育出版社1998年)、《逻辑学》(M)(贵州人民出版社2005年)、《当代形式逻辑基础》(M)(贵州教育出版社2006年)、《形式逻辑客体说导论》(M)(天马出版有限公司2008年)、《当代形式逻辑引论》(M)(电子工业出版社2009年)、《当代形式逻辑及其在人工智能中的应用理论研究》(M)(电子工业出版社2011年1月)、《客体逻辑导引》(M)(人民日报出版社2011年9月)等9部。曾10余次受国际重要逻辑学术会议邀请并发表论文。完成国家工业和信息化部、教育部和省级科研课题10余项。其中一个应用项目,由贵州省科委组织同行专家鉴定,并经国际联机检索,认定该项目的“一些成果居国际领先水平”(见《贵州省科技进步奖获奖项目简介(1990年)》和《鉴定证书》)。龚启荣的教学、科研情况在《团结报》、《贵州日报》、《贵州经济报》、《贵州政协报》、《中国哲学年鉴》、《贵州年鉴》以及一些网站上均有介绍。 |
随便看 |
百科全书收录4421916条中文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。