制約邏輯(Lin’s Entailment logic)是我們中國人於1968年創立的嶄新邏輯科學體系，被稱為現代數學新領域，創立者為北京市政協委員、貴州制約邏輯學會名譽會長林邦瑾教授，其45萬字的專著《制約邏輯》1985年在貴州人民出版社出版社。貴州學者自1983年與林邦瑾教授開始學術交往以來，便從事制約邏輯及其套用理論的研究。
基本介紹
- 中文名：貴州制約邏輯學會
- 外文名：Lin’s Entailment logic
- 創立時間：1968年
- 特色：嶄新邏輯科學體系
- 專著：《制約邏輯》
鑒於國際學術界已敏銳地確認了制約邏輯在計算機科學發展中的重要意義，一些已開發國家正採取有力措施開展對制約邏輯在人工智慧中的套用研究，一場激烈的國際競爭業已擺在我國邏輯科學及相關科學的學者面前，因而，組織並建立制約邏輯學術組織顯得十分緊迫和必要。在貴州省科協和貴州省社科聯的大力支持下，一個跨文、理、工科的綜合性學術組織——貴州制約邏輯學會於1990年8月16日在貴陽正式成立。貴州省副省長龔賢永對制約邏輯學會的成立給予了熱情關懷和支持。原省顧委副主任申雲甫、呂傳漢，理事長龔啟榮，副理事長楊黔福、蔣學鋒、周馬利、李國富，秘書長何國璽，學術委員會主任蔣學鋒（兼）。現有省內外個人委員300餘人，團體會員2個。
制約邏輯學會的宗旨是：在馬列主義毛澤東思想鄧小平理論、黨的四項基本原則和“雙百”方針指引下，積極動員和組織各地各方面的專家學者開展對制約邏輯及其套用的研究，交流學術成果，發展和繁榮邏輯科學及相關科學，為實現偉大祖國社會主義現代化，為振興家鄉貴州貢獻力量。
學會掛靠單位有：貴州大學、貴州師範大學。學會辦公地址在貴州大學。
學會負責人1986年和1987年在出席中共中央辦公廳委託國家科委、電子工業部、清華大學、中國計算機行業協會先後在清華大學召開的全國第一、二次高層次研討會期間，敏銳地看到制約邏輯會對計算機科學、人工智慧學、哲學、數學、語言學、科學方法論等產生重要影響，因此，便迅速地集中開展對制約邏輯及其套用理論的研究。迄今為止，完成國家和省級科研課題10餘項，在國外發表論文40餘篇，其中發表在《符號邏輯雜誌》（美國）的2篇，出版著作8部，受到國際邏輯、科學哲學和科學方法討論會、世界哲學大會等10餘次國際重要學術會議邀請共50多人次並發表論文。“制約邏輯在人工智慧中的套用理論研究”、“定罪量刑參考系統DZLX”等課題經省內外同行專家鑑定並藉助國際在線上檢索證明“居國際領先地位”或“達到世界先進水平”。
《貴州省社科志·概述》以及省內外專家對貴州制約邏輯學會的工作給予了充分肯定：“60年代後期創立的制約邏輯，從80年代中期起在貴州迅速興起，一枝獨秀，在國內外產生了一定影響。”（轉引自《社科新視野》1999年第1期）
