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

摘要

从哲学和数学的传统主题到认知科学、计算机科学、人工智能和语言学等更加新近的学科,当代逻辑科学正日益广泛地应用于众多的学科之中,这一结果的产生使逻辑这门古老的学科充满了生机和活力.1997年荷兰克鲁尔出版公司出版的《应用逻辑系列丛书》,便是对上述观点的一个极好的佐证.该书由世界著名逻辑学家加贝(D.M.Gabbay),巴怀士(J.Barwise)和斯普尔(J.Spurr)共同编辑.其中的第七卷是由英国沃尔克大学计算机科学系里克(M.De Rijke)教授编辑的《内涵逻辑的进展》([15],以下简称《进展》).《进展》收入的九篇论文题材新颖,风格各异.鲜明地体现了内涵逻辑所具有的"深刻统一性和广泛应用",突显出当代内涵逻辑研究的新思想、新成果,以及发展的主要趋势.