制約邏輯學會的宗旨是:在馬列主義毛澤東思想鄧小平理論、黨的四項基本原則和“雙百”方針指引下,積極動員和組織各地各方面的專家學者開展對制約邏輯及其套用的研究,交流學術成果,發展和繁榮邏輯科學及相關科學,為實現偉大祖國社會主義現代化,為振興家鄉貴州貢獻力量。
學會掛靠單位有:貴州大學、貴州師範大學。學會辦公地址在貴州大學。
學會負責人1986年和1987年在出席中共中央辦公廳委託國家科委、電子工業部、清華大學、中國計算機行業協會先後在清華大學召開的全國第一、二次高層次研討會期間,敏銳地看到制約邏輯會對計算機科學、人工智慧學、哲學、數學、語言學、科學方法論等產生重要影響,因此,便迅速地集中開展對制約邏輯及其套用理論的研究。迄今為止,完成國家和省級科研課題10餘項,在國外發表論文40餘篇,其中發表在《符號邏輯雜誌》(美國)的2篇,出版著作8部,受到國際邏輯、科學哲學和科學方法討論會、世界哲學大會等10餘次國際重要學術會議邀請共50多人次並發表論文。“制約邏輯在人工智慧中的套用理論研究”、“定罪量刑參考系統DZLX”等課題經省內外同行專家鑑定並藉助國際在線上檢索證明“居國際領先地位”或“達到世界先進水平”。
《貴州省社科志·概述》以及省內外專家對貴州制約邏輯學會的工作給予了充分肯定:“60年代後期創立的制約邏輯,從80年代中期起在貴州迅速興起,一枝獨秀,在國內外產生了一定影響。”(轉引自《社科新視野》1999年第1期)
相關詞條
-
邏輯學
”。美國數學會秘書長利弗庫博士推薦《制約邏輯》英文摘要給下屆國際邏輯...的《制約邏輯誕生記》(簡稱《制》文)。同年9月,中國邏輯學會會長周禮全等向...工程師林邦瑾創立了一門新的邏輯學說——制約邏輯,向前兩座豐碑提出了挑戰...
簡介 邏輯學 制約邏輯 當代邏輯的新領域--制約邏輯 附釋六 附釋五 -
張學立[貴州民族大學黨委書記]
張學立,男,1964年5月生,貴州大方人,中共黨員,哲學博士,教授,碩士研究生導師,貴州省省管專家,貴州省高校哲學社會科學學術帶頭人,中國邏輯學會中國邏...
人物履歷 任免信息 學術科研 主要論著 科研項目 -
林邦瑾
。貴州制約邏輯學會名譽會長。 1959年畢業於清華大學自動化系,隨即進行...(部),其中包括: 《制約邏輯》(42萬字,貴州人民出版社1985出版...》; 《制約邏輯導論》(63萬字,貴州人民出版社1990齣版); 《現代...
-
張學立
學立 貴州省制約邏輯學會首屆優秀成果一等獎 貴州省制約邏輯學會...個人簡介張學立,男,1964年5月生,貴州大方縣人,中共黨員,哲學博士,教授,邏輯學專業碩士研究生導師,貴州省省管專家,貴州省高校哲學社會科學...
個人簡介 -
龔啟榮
符號邏輯協會會員、BLS國際邏輯學會會員、東亞國際符號學會會員、貴州省社科聯委員、貴州省科協第四屆委員、貴州制約邏輯學會理事長、貴州省邏輯教學...龔啟榮,江西景德鎮人。1964年 貴州大學畢業後被選派到 貴州...
-
汪學明
研究會副會長、貴州制約邏輯學會副理長兼學術委員會主任、貴州省計算機學會理事、貴州省自動化學會會員、中國密碼學會高級會員。貴州大學計算機學院信息... 貴州大學教授汪學明教授、博士汪學明教授、博士,教授,工學博士...
貴州大學教授 中國地科院教授級高工 -
葛宇寧
碩士學位。主要研究方向為:法律邏輯、邏輯哲學、法律哲學。貴州科技協會會員、貴州制約邏輯學會會員、中國邏輯學會法律邏輯專業委員會會員。個人經歷2006年...,講授《職業道德與就業指導》、《法律基礎》;2005—2008就讀於貴州大學...
人物簡介 個人經歷 科研成果