林邦瑾

林邦瑾 教授，碩士生導師,男,1937年2月生，漢族，浙江寧波人。北京開關廠高級工程師，中國機械工業部質量管理諮詢診斷師，北京市五一勞動獎章獲得者，北京市先進科技工作者，北京市政協委員，清華大學、哈爾濱工程大學、貴州大學邏輯學碩士點、北京計算機研究所等教育研究機構兼職教授，山東濰坊開發區（地市級）高級顧問、專家委員會副主任，遼寧省撫順市人民政府高級顧問。貴州制約邏輯學會名譽會長。 1959年畢業於清華大學自動化系，隨即進行邏輯學研究，於1968年創建嶄新科學體系--制約邏輯（Lin’s Entailment Logic）。1985年底出版專著《制約邏輯》。 1987年應邀出席在莫斯科召開的第八屆國際邏輯、科學哲學和方法論討論會，在會上作了題為《制約邏輯名詞演算Cn系統》的專題發言，另一篇論文收入莫斯科科學出版社出版的會議論文集；嗣後，收到十餘次重要國際學術會議邀請並發表論文。
《新華通訊社》（中英文）、《人民日報》（國內、海外版）、《解放軍報》、《經濟日報》、《科技日報》、《北京日報》、《文匯報》、《解放日報》、《浙江日報》、《中央電視台》、《中央人民廣播電台》、《北京電視台》、《北京人民廣播電台》等三十餘家新聞媒體發表長篇報導、學術評論。
先後在中國人民大學、中央民族大學、清華大學、浙江大學、哈爾濱船舶工程學院、中國軍事科學院、華北計算機研究所、中科院自動化研究所、北京計算機研究所等高等院校、研究機構作學術報告、為研究生、本科生講授制約邏輯課程。2000年應貴州大學人文學院邀請作數次學術報告。
在國內外發表出版論文論著百餘篇（部），其中包括：
《制約邏輯》（42萬字，貴州人民出版社1985出版，獲1986年全國優秀圖書獎）；
1986年新華通信社向中共中央政治局發出題為《林邦瑾創立的“制約邏輯”在國外引起反響，急需在國內取得應有地位》的機密檔案《國內動態清樣》(第2028期)；中共中央統戰部、中共中央辦公廳機要局局長汪道海、北京市科委、市總工會領導先後到北京開關廠看望了林邦瑾；
同年中共中央辦公廳委託電子工業部在清華大學召開制約邏輯高層次研討會，並將“制約邏輯及其套用理論”研究項目由電子工業部列入國家七五計畫，林邦瑾主持，1989年完成；
2000年《制約邏輯》作為辭條收入中共中央黨校出版社出版、任繼愈教授主編的《二十世紀學術要籍大辭典》；
《制約邏輯導論》（63萬字，貴州人民出版社1990齣版）；
《現代邏輯辭典》（人民出版社1992，合作）；
《簡明邏輯辭典》（安徽人民出版社1995，合作）；
THE MOTIVATION OF CONSTRUCTING LIN’S ENTAILMENT LOGIC （《第8屆國際邏輯、科學哲學和方法論討論會論文集》莫斯科科學出版社1987）；
WHY I CONSTRUCT LIN’S ENTAILMENT LOGIC?(《KLEENE國際數理邏輯研討會論文集》SOFIA ESPERANTO 出版社1990)；
LIN’S ENTAILMENT SYSTEM—proposition calculus system Cm and notional coiculus system Cn (《第9屆國際邏輯、科學哲學和方法論討論會論文集》烏普薩拉大學出版社1991)；
THE TRUTH OF PARADOX（第19屆世界哲學大會論文，莫斯科1993）：
《“矛盾命題”的無矛盾形式》（《哲學研究》1987），《辯證命題的形式化》（《哲學研究》1988）；
《數理邏輯不是形式邏輯的現代發展》（《社會科學戰線》1989年，人大複印資料中心《邏輯》轉載）；
《數學歸納公理與內涵科學分析法》（《貴州大學學報》自然版1994.No.2）；
《邏輯與非邏輯的劃界標準》（《貴陽師專學報》2001. No.1，人大複印資料中心《邏輯》轉載）；
《宇宙智慧型、人類智慧型、人工智慧》（《《貴州大學學報》自然版2002. No.1》；
《制約邏輯是內涵智慧型機的邏輯工具》（《貴州科協優秀論文集－2003年》，合作）；
《第五代工具－內涵智慧型機》（中國科協2004年學術年會論文）；
林邦瑾已經證明了的關於制約邏輯在人工智慧中套用的20多個定理，迄今尚未公布，其目的就是要留給中華民族，留給深深愛著的祖國。
未來真正的人工智慧的基礎裝置是內涵智慧型機，其硬體的核心元件是從根本上區別於與、或、非門，輸入輸出之間不是任何函式關係的制約門，而與、或、非門僅僅是起大量存儲、快速檢索信息這種輔助作用的次要組成元件。制約邏輯刻劃清楚了制約門的邏輯性質，為研製制約門從而進一步設計、製造內涵智慧型機提供了作為基礎理論的邏輯理論基礎。