院重大课题“现代逻辑及共在哲学、语言学和人工智能等领域中的应用”结项报告

• 来源期刊: 学术动态（北京)
• 学科: 哲学
• 关键词: 现代逻辑 人工智能 课题组 语言学 中国社会科学院 结项报告
• 年，卷（期）: xsdtbj_2006,（32）
• 页码范围: 17-21
• 页数: 5页
• 分类号: B81

摘要

“现代逻辑及其在哲学、语言学和人工智能等领域中的应用”课题系中国社会科学院2000年立项的重大A类课题，由中国社科院哲学研究所张清宇研究员主持完成，最终成果为专著《逻辑与哲学》、《人工智能中的逻辑》、《范畴类型逻辑研究》，约90万字。课题组主要成员有张家龙、王路、李小五、邹崇理等。