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