内涵逻辑发展的新趋势——应用逻辑系列《内涵逻辑的进展》一书简介.pdfVIP

  • 4
  • 0
  • 约1.34万字
  • 约 10页
  • 2019-01-10 发布于北京
  • 举报

内涵逻辑发展的新趋势——应用逻辑系列《内涵逻辑的进展》一书简介.pdf

逻辑学研究 2011 年第4 期,88–97 文章编号:1674-3202(2011)-04-0088-10 内涵逻辑发展的新趋势 ——应用逻辑系列《内涵逻辑的进展》一书简介 M. de Rijke (ed.), 1997, Advances in Intensional Logic, Dordrecht: Kluwer Academic Publishers. 从哲学和数学的传统主题到认知科学、计算机科学、人工智能和语言学等更 加新近的学科,当代逻辑科学正日益广泛地应用于众多的学科之中,这一结果的 产生使逻辑这门古老的学科充满了生机和活力。1997 年荷兰克鲁尔出版公司出 版的《应用逻辑系列丛书》,便是对上述观点的一个极好的佐证。该书由世界著 名逻辑学家加贝(D. M. Gabbay),巴怀士(J. Barwise)和斯普尔(J. Spurr)共 同编辑。其中的第七卷是由英国沃尔克大学计算机科学系里克(M. De Rijke)教 授编辑的《内涵逻辑的进展》([15],以下简称《进展》)。《进展》收入的九篇论 文题材新颖,风格各异。鲜明地体现了内涵逻辑所具有的“深刻统一性和广泛应 用”,突显出当代内涵逻辑研究的新思想、新成果,以及发展的主要趋势。本文 在介绍呈现于本书中的内涵逻辑的一般发展趋势之外,还尽可能表现每位作者的 个

文档评论(0)

1亿VIP精品文档

相关文档