克服困难积极开展学术交流活动.pdfVIP

克服困难积极开展学术交流活动 贵州省制约逻辑学会 龚启荣 Entailment 制约逻辑(Lin’s Logic)是北京市政协委员、北京市“五一”劳动奖章获得者、 我国后起的逻辑学家林邦瑾教授在传统形式逻辑和数理逻辑的基础上，取二者之长，舍二者之短， 于1968年创立的—个既符合人的普通逻辑思考实际又具有现代科学水平的堪称逻辑科学当代发 展的崭新逻辑体系。林邦瑾教授的专著《制约逻辑》于1985年在贵州人民出版社出版后，国内 外逻辑界、计算机科学界为之震动。国内40多家报刊杂志、电台电视台相继作了专题报导和评 介。清华大学、中国人民解放军军事科学院等40多个单位纷纷邀请林邦瑾教授前去讲学。—个 学习、研究制约逻辑的热潮在国内兴起。1986年，科研项目“制约逻辑及其应用理论研究”由 电子工业部列人国家“七五”计划。在国外，联邦德国亚琛大学数学系教授利契特博士致函林邦 瑾教授说：“我们计划组织一个专家研究班，翻译和讨论您的著作。我们认为，您所构造的这种 逻辑体系是重要的，因为它与计算机科学，特别是与‘判定程序’关系密切。”美国数学会秘书 长利佛库博士致函中国对外出版贸易总公司，要求将《制约逻辑》一书译成英文在美国出版，并 把《制约逻辑》的英文摘要推荐给第8届国际逻辑、科学哲学和科学方法讨论会，该讨论会第一 副主席奥地利塞尔兹大学教授瓦因加特纳博士致函林邦瑾教授，邀请他出席1987年8月在莫斯 科召开的第8届国际讨论会 ——这是国内学者第一次第—个应邀参加这个国际最高规格、最高水平的逻辑会议并作专题 报告的。 贵州学者自1983年与林邦瑾教授开始学术交往以来，便从事制约逻辑理论研究。1984年7 月在贵阳举办第一期全国制约逻辑讲习班期间，林邦瑾教授扣人心弦的讲演和制约逻辑深刻正确 的逻辑思想深深地打动了讲习班上的逻辑学、计算机科学工作者。与会者经过充分酝酿，提出并 组建了贵州制约逻辑学会筹备委员会。在贵州省科协和省社科联的大力支持下，1990年8月16 日正式成立 了跨文、理、工科的交叉性学术组织——贵州制约逻辑学会。至今有在册会员160多人。其 中。专职从事逻辑学教学或研究的30多人，非专职但其工作涉及逻辑学理论或应用的120多人。 自建立贵州制约逻辑学会以来，每年至少一次学术专题研讨会，已成为我们学会学术活动的特色 之一。2005年建立了自己的网站，搭建了更广泛的交流平台。 (一)克服困难开展学术活动 鉴于贵州逻辑学者1986年出席中共中央办公厅委托国家科委、电子工业部在清华大学召开 的全国第一次高层次研讨会期间，敏锐地看到制约逻辑将对人工智能科学、计算机科学、数学、 ．138． 哲学、语言学等产生重要影响。因此，更集中地对制约逻辑及其应用理论进行研究。至2008年 止，贵州制约逻辑学会会员发表论文200多篇(其中在国外发表30多篇)，出版著作11部，出 版讨论专辑3期，参加并完成电子工业部国家七五计划电子工业基础研究、应用研究项目l项， 主持教育部项目“当代形式逻辑极其在人工智能中的理论应用”，并出版了专门的著作《形式逻 辑基础》(2007年出版)、《形式逻辑客体说导论》(2008年出版)。完成省级立项课题10多项， 主办全国性研讨会6次，接待国外同行专家来访2次，邀请国际知名专家讲学9次，出席全国制 1次国际重要学术会 约逻辑高层次研讨会8人次，应邀到清华大学计算机系讲学3人次，受到1 议邀请54人次并发表论文。在国内外产生了一定影响。 总结起来，我们开展学术活动和科学研究有下述特点： 第一个特点是：高起点的学术交流。 在贵州经济困难的情况下，积极创造条件出席国际逻辑学术会议。出席国际会议主要有两个 条件：—个要有高质量高水平的科研论文，另—个是要解决经费问题。为了使科研上—个台阶， 我们在理事会之下设立了学术委员会，专门负责学术研究工作。经常召开学术委员会或扩大会议， 专题研究和讨论高水平的科研计划和科研论文。论文是高起点的学术成果，居于国际领先水平。 但是，在经费问题上，到现在为止，我们没有—个好的解决办法，致使1998年在德国德累 斯顿召开的国际符号学大会，我们提交了高水平论文，大会程序委员会已安排我们的代表在大会 上发言(这是不容易的)o但是非常遗憾，