基于格语法思想的范畴类型逻辑研究

格语法的基本思想是:自然语言语句的底层结构以动词为中心,动词的论元由动词周围具有不同格角色的名词所担任,构成复合表达式的部分表达式分为中心成分和非中心成分.格语法的分析是多分法的语法模式.在格语法看来,有时候句中围绕同样动词的名词性成分可多可少,动词的语法功能因此改变.汉语体现了格语法的动词中心思想,产生了各式各样的格语句.动词双宾语现象和动词前和动词后的多重介词短语句皆是多分法分析的例证.汉语格语句中有不少的可选格名词,这样使得其中动词的语法功能发生变化.对格语法进行范畴语法的抽象,获得一种新型的范畴类型逻辑系统:中心成分和非中心成分的区分要求积范畴分为左积和右积;多分法的分析模式使得积范畴和函子范畴的论元是多元的,动词语法功能的改变对应函子范畴的论元增添.这种范畴类型逻辑系统的框架语义中的可及关系是非单一的,构建基于这种框架的语义模型,可以证明系统的可靠性和完全性.