凝聚智慧   助力同步小康

第十六分会场

 贵州制约逻辑学会2013年“获取新知”专题研讨会

在贵阳召开

    本报讯（记者团  田杨旭/报道）2013年11月17日至18日，2013年贵州省社会科学学术年会第16分会场贵州制约逻辑学会2013年“获取新知”专题研讨会在贵州大学成功召开。研讨会以“凝聚智慧  助力同步小康”为年会主题，以“弘扬获取新知的思想  开发振兴贵州的智慧”为分会场主题。由贵州省社科联主办，贵州制约逻辑学会承办，贵州省逻辑教会研究会、贵州大学、贵州人民武装学院协办。国际符号逻辑协会会员、贵州省先进科技工作者、贵州制约逻辑学会理事长龚启荣教授、常务副理事长傅于川教授、学会顾问委员会常务副主任李承龙教授、学会副理事长曾庆华教授、曾贤模教授、学会顾问委员会副主任、贵州省易经研究会会长麻福昌教授，以及贵州省社科联刘丰泉同志、贵州人民武装学院院长杨明教授、贵阳市委党校副校长郝强教授等来宾共一百多人出席了研讨会开幕式。1

       1月17日下午2点30分，开幕式正式开始。会议由学会常务副理事长傅于川教授主持。

会议呈现在与会者面前的有三种资料：学会2013年集体完成的科普著作《内涵智能机的基础理论——制约逻辑通俗读本》、《贵州制约逻辑学会2013年“获取新知”专题研讨会论文集》、《贵州制约逻辑学会2013年“获取新知”专题研讨会会议资料集》。

会议开始后，龚启荣理事长代表学会感谢贵州省社科联、省科协、贵州大学、贵州人民武装学院等单位对本次学术会议的大力支持。龚启荣理事长代表学会向贵州省社科联、贵阳市委党校赠送学会出版的专著。

学会顾问委员会常务副主任李承龙教授代表理事会在开幕式上做了《贵州制约逻辑学会2013年工作总结暨2014年工作计划》的工作报告。李承龙教授指出，我们学会评估获4A的好成绩，究其原因，主要是在龚启荣理事长率领下，学会科研成果、学术交流活动在国内外产生了很好影响。尤其是：第一，1991年，在龚启荣带领下，学会15篇论文在瑞典举行的第九届国际逻辑、科学哲学和科学方法讨论会论文集上发表 ，制约逻辑从此蜚声国内外。一个省级学术组织在国际最高规格的学术会议上发表这样多论文，在世界上实属罕见。第二，学会会员先后在国际最高级别的逻辑杂志《符号逻辑杂志》和《符号逻辑会刊》发表论文5篇。这在大陆也是少有的。第三，学会自建立以来，每年一次学术研讨会，雷打不动。而且，每次都有新的创新成果报告。第四，学会从酝酿、筹备建立制约逻辑学会以来的全部资料保存齐全完好。李承龙教授还报告的2013年学会参加全省科普活动等方面的情况。

学会理事长龚启荣教授做了“获取新知”专题研讨会的大会主题报告《开发智慧凝聚智慧必备的最基本素养之核心——获取新知识的两块基石》。龚理事长的报告紧扣全省学术年会的主题“凝聚智慧  助力同步小康”。报告一开始，龚理事长就用制约逻辑能够从已有知识获取新知识的推理，证明了“开发智慧”是“助力同步小康”的必要条件。紧接着又证明了制约逻辑是开发智慧、开发创新思维的最重要的学问：人类这个群体的知识的来源，尤其是对于作为指导人类实践的重要科学原理的来源都只能通过间接的制约逻辑推理这一途径获取。龚启荣教授严谨地阐述了制约逻辑揭举了推理能从已有知识获取新知识的核心充分条件关系的两个独立性。他指出，“充分条件关系的两个独立性为人类在认识世界、改造世界过程中从已有知识获取新知识铺平了道路。”龚启荣理事长还阐述了数理逻辑和传统形式逻辑称为推理的表达式出现了无穷多蕴涵怪论，不能从已有知识获取新知识。最后，龚启荣理事长举出了制约逻辑人解决了科学难题的实例（从理论上讲有无穷多创新实例），证明了制约逻辑人在制约逻辑理论熏陶下的创新思维、创新智慧。

常务副理事长傅于川教授做了《客体逻辑推理能出新知与开发智慧凝聚智慧》的会议中心学术报告。随后，学会副理事长曾贤模教授作了《逻辑范畴化理论和语言范畴化理论的对比》的报告，学会顾问委员会副主任、贵州省易经研究会会长麻福昌教授作了《易经的智慧与逻辑的必然性探索》的报告，学会学术处副处长吴春红作了《内涵命题理论在客体逻辑中的地位》的报告，学会秘书处副秘书长张延伍作了《内涵命题与外延命题理论在直言命题中的应用》的报告。

贵州省易经研究会理事长麻福昌教授在论文《易经的智慧与逻辑的必然性探索》中指出，“继第一座丰碑、第二座丰碑之后，制约逻辑的诞生无疑是第三丰碑。可以预见，在中国的有志者坚韧不拔、百折不回的努力下，人类历史上第一台以制约门为核心元件的具有真正智能的内涵智能机一定会在神州大地上显现。有志者事竟成”。“不可否认，中国人发现别人没有发现的靓丽风景线，易经在21世纪的重要贡献--制约逻辑论，发展创新其影响不仅在中国而且享誉世界，彰显自己的文化软实力。”“作为贵州省制约逻辑学会的成员，为其AAAA的4A评估结果表示热烈的祝贺，恭喜恭喜。”

省社科联刘丰泉同志、贵阳市委党校副校长郝强教授等来宾先后在开幕式上讲了话。

时至下午6点钟，开幕式在热烈的气氛中落下帷幕。

18日，由学会理事长龚启荣教授主持，在贵州大学第一教学楼605教室，采取灵活多样的形式，进行了深入的学术交流。会议收到交流论文共18篇。其中，林邦瑾教授的《基于制约逻辑的内涵智能机——智能工具的核心部件》、龚启荣教授的《用数理逻辑“改造”或“取代”传统形式逻辑是一种常识性错误》、高东升教授的《基于制约逻辑的内涵智能机研究》、杨黔福教授的《逻辑科学发展的康庄大道》、曾庆华教授的《客体逻辑学关于概念的内涵和外延》、贺祝群教授的《已证明的结论是否已证实》、盛作国博士的《所谓“1=0”等结论的证明》、姚树举博士的《论刑法第三条的立法技术：逻辑结构与立法语言》等均属国际领先水平的论文。鉴于国际科技界已敏锐地确认逻辑客体说理论制约逻辑在人工智能科学发展中的重要意义，学会要在马列主义、毛泽东思想、邓小平理论、“三个代表”、实践科学发展观和党的“双百”方针指引下，积极动员和组织各地各方面的专家学者开展对制约逻辑及其应用研究，交流学术成果，发展和繁荣逻辑科学及相关学科，为实现伟大祖国经济、军事实力的飞跃发展，为振兴家乡贵州贡献力量。

本次会议为全国制约逻辑研究人员提供了一个交流、研讨和报告他们最新研究成果的良好机会。

学会常务理事会还借这次年会的机会召开了会员代表大会，讨论并通过了理事会根据民政厅的意见再次修改的学会章程。 

龚启荣理事长还阐述了数理逻辑和传统形式逻辑称为推理的表达式出现了无穷多蕴涵怪论，不能从已有知识获取新知识。最后，龚启荣理事长举出了制约逻辑人解决了科学难题的实例（从理论上讲有无穷多创新实例），证明了制约逻辑人在制约逻辑理论熏陶下的创新思维、创新智慧。

 

常务副理事长傅于川教授做了《客体逻辑推理能出新知与开发智慧凝聚智慧》的会议中心学术报告。随后，学会副理事长曾贤模教授作了《逻辑范畴化理论和语言范畴化理论的对比》的报告，学会顾问委员会副主任、贵州省易经研究会理事长麻福昌教授作了《易经的智慧与逻辑的必然性探索》的报告，学会学术处副处长吴春红作了《内涵命题理论在客体逻辑中的地位》的报告，学会秘书处副秘书长张延伍作了《内涵命题与外延命题理论在直言命题中的应用》的报告。

  省社科联刘丰泉同志、贵阳市委党校副校长郝强教授等来宾先后在开幕式上讲了话。

时至下午6点钟，开幕式在热烈的气氛中落下帷幕。

18日，由学会理事长龚启荣教授主持，在贵州大学第一教学楼605教室，采取灵活多样的形式，进行了深入的学术交流。会议收到交流论文共18篇。其中，林邦瑾教授的《基于制约逻辑的内涵智能机——智能工具的核心部件》、龚启荣教授的《用数理逻辑“改造”或“取代”传统形式逻辑是一种常识性错误》、高东升教授的《基于制约逻辑的内涵智能机研究》、杨黔福教授的《逻辑科学发展的康庄大道》、曾庆华教授的《客体逻辑学关于概念的内涵和外延》、贺祝群教授的《已证明的结论是否已证实》、盛作国博士的《所谓“1=0”等结论的证明》、姚树举博士的《论刑法第三条的立法技术：逻辑结构与立法语言》等均属国际领先水平的论文。鉴于国际科技界已敏锐地确认逻辑客体说理论制约逻辑在人工智能科学发展中的重要意义，学会要在马列主义、毛泽东思想、邓小平理论、“三个代表”、实践科学发展观和党的“双百”方针指引下，积极动员和组织各地各方面的专家学者开展对制约逻辑及其应用研究，交流学术成果，发展和繁荣逻辑科学及相关学科，为实现伟大祖国经济、军事实力的飞跃发展，为振兴家乡贵州贡献力量。

本次会议为全国制约逻辑研究人员提供了一个交流、研讨和报告他们最新研究成果的良好机会。