逻辑、语言和计算的交叉创新

逻辑学是自然科学和人文社会科学共同的基础学科,逻辑是构筑科学理论的工具。逻辑方法渗透到各门学科中导致创新驱动:逻辑和语言学的交叉研究产生了范畴语法的重大创新;逻辑与计算机科学的交叉融合引起了计算机科学的创新发展。在我国,逻辑针对语言学以及计算机科学的交叉研究尚明显不足,造成学科创新或理论创新的乏力,需要大力推进交叉创新研究。