蒙太古语法及其应用研究

蒙太古语法是用形式化方法研究自然语言指号学的理论，是现代逻辑发展到新阶段的重大成果。蒙太古首先用范畴语法，借助17条语形规则设定一个自然语言英语片语FE；同时采用类型层次的、高阶量化的、带有λ抽象、时态、模态、内涵算子的方法建立人工的形式语言内涵逻辑系统IL；再借助从FE到IL的翻译映射，建立FE的间接的语义解释。本书在概述蒙太古语法的涵义、架构的基础上，论述了蒙太古语法在哲学、语言学、逻辑学和信息科学方面的应用研究。