论类型逻辑语法的多种表述

摘要：

@@ 一、类型逻辑语法的三种基本表述
类型逻辑语法亦称范畴类型逻辑.荷兰逻辑学家和计算语言学家莫特加特(Moortgat)用三个口号概括出要点:认知(cognition)=计算(computation);语法(grammar)=逻辑(logic);解析(parsing)=演绎(deduction)(Moortgat,2005a).这意谓,语言认知可以化归为计算过程;语言的语法解析(句法毗连和语义组合)能够纳入逻辑的框架;语言的句法语义分析就是一种演绎推理.

机标关键词：类型逻辑语法

分类号：B81(逻辑学(论理学))

资助基金：北京市哲学社会科学规划项目06BaZX022

在线出版日期：2010-01-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：119-125