当代形式逻辑引论

龚启荣，江西景德镇人。1964年贵州大学毕业后被选派到贵州省委党校理论研究班学习并开始从事理论教育工作。系贵州省先进科技工作者、国际符号逻辑协会会员、BLS国际逻辑学会会员，东亚国际符号学会会员，贵州省社科联黍员、贵州省科协第四届委员，贵州制约逻辑学会理事长、贵州省逻辑教学研究会会长，任贵州大学逻辑学教授、学术带头人、逻辑学研究生点主持人、领衔导师，任责州人民武装学院督导和逻辑学教授。发表论著EntailmentLogic——ADevelopmenofTradItionalLogicOurTimes（J）（第八届国际逻辑、科学哲学和科学方法讨论会论文集，莫斯科科学出版社1987年）、EntailmentLogicAndKrlowledgeRepresentation（J）（《符号逻辑杂志》，美国，1992年第1期第57卷），Objee—tivityLogicisReBesPLogicInstrumentofKnowl-edgeRepresentation（J）（《符号逻辑会刊》，美国，2007年第3期第13卷）、OrthodoxMathematicalLogicisNotaReasoningTheor（J）（《符号逻辑会刊》，美国，2007年第3期第13卷）、《形式逻辑导引》（M）（贵州人民出版社1995年），《逻辑斯谛——又称“数理逻辑”的二值数学》（M）（贵州教育出版社1998年）、《逻辑学》（M）（贵州人民出版社2005年）、《当代形式逻辑基础》（M）（贵州教育出版社2006年）等100多篇（部）。完成国家电子工业部、教育部和省级科研课题10余项。曾10余次受国际重要逻辑学术会议邀请并发表论文。龚启荣的教学、科研情况在《团结报》、《贵州日报》、《贵州经济报》、《中国哲学年鉴》、《贵州年鉴》以及一些网站上均有介绍。