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

逻辑学研究 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]，以下简称《进展》）。《进展》收入的九篇论 文题材新颖，风格各异。鲜明地体现了内涵逻辑所具有的“深刻统一性和广泛应 用”，突显出当代内涵逻辑研究的新思想、新成果，以及发展的主要趋势。本文 在介绍呈现于本书中的内涵逻辑的一般发展趋势之外，还尽可能表现每位作者的 个