龔啟榮

tailmen tailmen tailmen

龔啟榮，江西景德鎮人。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年）》和《鑑定證書》）。龔啟榮的教學、科研情況在《團結報》、《貴州日報》、《貴州經濟報》、《貴州政協報》、《中國哲學年鑑》、《貴州年鑑》以及一些網站上均有介紹。