龔啟榮，江西景德鎮(zhèn)人。1964年貴州大學畢業(yè)后被選派到貴州省委黨校理論研究班學習并開始從事理論教育工作。系貴州省先進科技工作者、國際符號邏輯協(xié)會會員、BLS國際邏輯學會會員、東亞國際符號學會會員、貴州省社科聯(lián)委員、貴州省科協(xié)第四屆委員、貴州制約邏輯學會理事長、貴州省邏輯教學研究會會長。曾任貴州大學信息管理系系主任?，F(xiàn)任貴州大學老科學技術(shù)工作者協(xié)會基礎(chǔ)與人文社會科學工作委員會副主任、邏輯學教授、學術(shù)帶頭人、邏輯學研究生導師，任貴州人民武裝學院督導和邏輯學教授。發(fā)表論著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）（《符號邏輯會刊》，美國，2007年第3期第13卷）、《形式邏輯導引》（M）（貴州人民出版社1995年）、《邏輯斯諦——又稱\數(shù)理邏輯\的二值數(shù)學》（M）（貴州教育出版社1998年）、《邏輯學》（（M）貴州人民出版社2005年）、《當代形式邏輯基礎(chǔ)》（M）（貴州教育出版社2006年）、《形式邏輯客體說導論》（M）（天馬出版有限公司2008年）、《當代形式邏輯引論》（M）（電子工業(yè)出版社2009年）、《當代形式邏輯及其在人工智能中的應(yīng)用理論研究》（M）（電子工業(yè)出版社2010年10月）等100多篇（部）。完成國家電子工業(yè)部、教育部和省級科研課題10余項。曾10余次受國際重要邏輯學術(shù)會議邀請并發(fā)表論文。龔啟榮的教學、科研情況在《團結(jié)報》、《貴州日報》、《貴州經(jīng)濟報》、《中國哲學年鑒》、《貴州年鑒》以及一些網(wǎng)站上均有介紹。
鄂公網(wǎng)安備 42010302001612號 