- 1、本文档共2页,可阅读全部内容。
- 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
2009年应用逻辑学术会议综述.pdf
105
2009年应用逻辑学术会议综述
刘邦凡 (燕山大学文法学院 河北秦皇岛 066004)
刘新文 (中国社会科学院哲学所 北京 100732)
[中图分类号 ]B 81 [文献标识码 ] C [文章编号 ] 1002 - 8862 (2009) 10 - 0 105 - 02
2009年 6月 20 - 22 日, 由中国社会科学哲学研究所 、南京大学哲学系共同主办的 “2009年应用逻
辑学术研讨会 ”在北京昌平召开 。来 自中国社会科学院、北京大学 、清华大学 、中国人民大学 、南京
大学 、河北大学 、广西大学 、北京理工大学等 10余所高校院所的学者 20余人参加了会议 。与会者就以
下主题进行了深入的讨论 。
一 、应用逻辑的学科定位 、研究方向
中国逻辑学会会长张家龙研究员、中国逻辑学会秘书长邹崇理研究员就应用逻辑的学科定位 、研究
方向分别表述了各自的观点 。张家龙指出 , 应用逻辑是现代逻辑中一类大的学科群体 , 在哲学逻辑 、非
经典逻辑的概念提出之前 , 应用逻辑基本上涵盖了哲学逻辑和非经典逻辑的范围。
中国社会科学院哲学所刘新文认为应用逻辑是一个研究领域 , 如何在更为广泛的背景下定位 , 是一
件重要而值得做的事情 : 应用逻辑能够建成为与数理逻辑 、哲学逻辑相提并论的方向吗 ? 他重点阐述了
莫斯 (L Mo ss) 在 “应用逻辑宣言 ”一文中所表述的主要观点 : 应用逻辑大致可以说成是逻辑方法和
数学方法在超出数理逻辑传统领域之外的基础领域的应用 , 目前核心的应用领域是计算机科学 , 在其他
领域也有重要应用 ; 应用逻辑是逻辑边界的扩张 , 从而可以包括像机遇 ( change) 、不确定性 ( uncer
tain ty) 、不可靠性 ( fallib ility) 、共同体 ( comm un ity) 等等方面的研究 ; 应用逻辑的兴趣当然是关于人
类推理 , 因此会和心理学、人工智能、认知科学 ; 应用逻辑是跨学科研究领域 , 应用逻辑是最有活力的逻
辑分支 ; 应用逻辑就是应用数学 。报告最后还介绍了由盖贝 (D M Gabbay) 、冈察诺夫 ( SSGoncharov)
和扎哈利亚契夫 (M Zakharya schev) 主编 、2006和 2007年出版的两卷本 《应用逻辑中的数学问题 : 2 1
世纪的逻辑 》的基本内容 。
北京大学哲学系周龙生指出所有的逻辑都是可应用的 , 尤其是经典逻辑应用最为广泛 。但是在有些
领域经典逻辑的应用难以技术化 , 于是诞生了各种各样的非经典逻辑以满足这些领域的应用 。这样就产
生了应用逻辑 。它们在特别的应用领域中 , 有特别应用价值 (起关键性作用 , 解决领域中的重要问
)
题 ; 特别引人注 目的是那些新领域里的新问题带来的已有逻辑的新应用或者催生出的新的逻辑 。比如
计算机科学 、语言学 、经济学背景下催生的各种应用逻辑 。在此意义上 , 我们也可以将应用逻辑称之为
“新近的逻辑 ”或者 “晚生的逻辑 ”。
二 、应用逻辑的理论研究
对于一个信息系统 , 如果其中包含不协调的信息 , 那么使用经典逻辑作为推理工具的话 , 就可能使
得相应的信息处理系统陷入无法适从的境地 。2009 年法国发生空难失事的原因之一是飞机的自动驾驶
系统停止了工作 。而导致出现这种情况的可能原因之一是 : 该系统接收到了相互矛盾的速度数据后自行
停止工作 。为了解决包含不协调信息的系统的推理问题 , 国际上先后出现了不同的解决方案 。南京大学
哲学系杜国平在分析前人方案的基础上提出了两种不同的方案 :
您可能关注的文档
最近下载
- 2023年11月深圳市福田区公开选用机关事业单位辅助人员和社区专职工作者笔试历年(2016-2023年)真题荟萃带答案解析.pdf VIP
- 2024秋(人教版)英语七年级上册:单词表 汇总表.pdf
- 2022年通信工程师中级传输与接入(无线)真题及答案.pdf
- 第二章一元二次函数、方程和不等式教学设计(全章).docx
- 国家开放大学《电子商务概论》1-9章 形考任务阶段测验1、2答案(无错版本)82295 .pdf VIP
- 江苏省普通高校“专转本”选拔考试管理专业大类专业综合操作技能考试大纲.docx
- 银行开展减费让利宣传活动的总结范文(30篇).docx VIP
- 美育——美即生活-期末复习-题库-试卷.docx
- 预定动作时间标准法(PTS).doc VIP
- 中国饮食文化(教案) (中职教育).docx
文档评论(0)