资源描述：
《the 全国逻辑与计算机科学学术研讨会综述guide downloadnew》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、者想揭示的则多是普遍意义的问题。据黄俊杰教授的总结,我们可以把会议引发而又有待进一步讨论的问题,归纳为下列四个方面:第一,经典解释的多样性及其限度。经典作为历史文本,在时间脉络中接受解释,从而落实其在思想领域的影响。但是,如何防止脱离解释规范,漫无边际,便成一个问题。陈少明教授的论文提到“诗与哲学”的言述风格,以及解释者对文本整体性的取径尺度对解释的影响,就涉及解释的“合法性”问题,并由此激发出对解释的无政府状态的讨论。即解释的无政府主义是否可取或是否应避免,为什么?第二,解释社群与权力结构的关系。依青年马
2、克思的观点,解释者不是作为一个范畴而存在的,而是参与生产的、活生生的人,其观念必然受现实的权力结构的影响。甘怀真教授把中古时代的君臣作为一个解释社群,分析他们如何引经据典讨论各种礼仪,就是这方面的个案研究。任剑涛教授研究表明,《孟子字义疏证》、《孟子微》二书的思想趋势,反映那个时代中国社会结构的变迁。解释社群与权力结构的关系,还涉及解释者在权力结构中的地位及相应的解释策略的选择等有待继续探讨的问题。第三,解释的语言性,在技术层面上便是解释者如何进行表述的问题。吴展良教授的论文《朱子之鬼神观述义》,尝试用与经
3、典相似的语言风格进行表达,认为它是与经典作者交流的有效形式。这也是一种有趣,同时也被认为需要进一步考量的尝试。第四,什么是有中国特色的解释学,问题由陈昭瑛教授引起,但也是整个讨论中接触最多而且也是最大的问题。黄俊杰教授认为,对这一问题的探索,需要敞开心胸,吸纳西方的理论与经验,尤其是要研读西方的诠释学。只有在一个比较的脉络中,才能确定什么是中国经典诠释学的特色。反过来说,我们的研究成果,最终必须接受比较文化史的检验。(责任编辑 干春松)《(哲学动态》2002年第4期)“全国逻辑与计算机科学学术研讨会”综述熊
4、明辉 (中山大学逻辑与认知研究所 广东广州 510275)〔中图分类号〕B81 〔文献标识码〕C 〔文章编号〕1002-8862(2002)04-0019-03由中山大学逻辑与认知研究所主办的全国逻辑与计算机科学学术研讨会,于2001年7月9日至10日在清华园召开。参加会议的有来自教育部、中国社会科学院、中国科学院、人民出版社以及全国各高校的近50名专家学者。会议围绕“21世纪的逻辑学”的主题,对21世纪逻辑学发展的方向、哲学逻辑与逻辑哲学、逻辑学在计算机科学中的应用等问题展开了讨论。21世纪逻辑学发展
5、的方向,是本次会议的焦点。鞠实儿在《面向前沿,勇于探索》的报告中提出,逻辑学正在经历着它诞生以来的第一次重大转向———认知转向。它的目标是,给出知识获取,知识表达以及知识的扩展和修正的合理方法。这一观点得到了大家的一致认19同。他指出,19-20世纪之交面向数学基础问题发展起来的数理逻辑,为计算机科学及其应用提供了理论基础和实现方法。20世纪中后期计算机科学的发展进入了知识处理和智能模拟领域。从逻辑学理论到工程应用一度是漫长的路程,现在已变得只有一步之遥了。构造逻辑系统描述认知过程的特征,进行知识表达与处理
6、,研制新型软件,实现逻辑学的认知转向,这已是当代科技发展的要求,也是逻辑学发展最有生命力的方向。相似性是认识的基础,对相似性的深入研究将有助于实现逻辑学的认知转向。傅小兰认为,研究相似性,不仅要考虑被比较对象的物理特征上的相似性或其特征结构关系上的相似性,也要考虑被比较对象的物理特征对于具有某种知识背景或来自某一特定文化背景的比较者来说所具有的意义上的相似性。她提出了相似性比较中的诊断性原则和文化影响的作用。在哲学逻辑与逻辑哲学方面,本次会议集中讨论了开放类逻辑、真理与意义、模态逻辑、归纳逻辑、语用逻辑、语
7、义学、计算与推理、图灵机与自我意识等一系列问题。鞠实儿认为,休谟问题与演绎逻辑的合理性,是开放类逻辑的哲学基础。对于“开放类”、“开放逻辑”等基本概念作了内涵和外延上的界定,讨论了休谟问题与开放类的辩证关系,认为开放类的划分问题是一个特殊的休谟问题,从而提出了开放世界预设和封闭世界预设方式,揭示了开放类逻辑的特征:如果一个语句为假,它的否定真值不确定。刘壮虎提出了开放世界的逻辑结构,并给出了开放世界的命题演算系统、一阶理论的形式语义系统。关于逻辑学在计算机科学中的应用,本次会议集中讨论了知识表达与处理、信息
8、时代的逻辑学、多值逻辑与数字化、可满足性问题、多主体人工智能的逻辑、智能逻辑学等有关问题。鞠实儿指出,19-20世纪之交面向数学基础问题发展起来的数理逻辑,为计算机科学及其应用提供了理论基础和实现方法。20世纪中后期计算机科学的发展进入了知识处理和智能模拟领域。从逻辑学理论到工程应用一度是漫长的路程,现在已变得只有一步之遥了。构造逻辑系统描述认知过程的特征,进行知识表达与处理,研制新型软件,实现逻辑学的认知转向,
