类型逻辑语法与汉语中的照应省略

现代汉语中存在大量语义资源重复使用的现象,最典型的是代词的回指照应、以及李艳惠在《省略与成分缺失》一文中提到的三种谓词省略结构[1]。在类型逻辑语法框架下,基于Jger构造的LLC系统添加针对"省略槽"引入范畴的规则eI,再借助照应算子的回指搜索功能,不但能够处理一般的代词回指、VP回指现象,还能够推广刻画汉语的多动词单句和兼语句等现象,获得正确的语义解读。可以证明,添加对应eI规则的公理的新系统在特定框架模型下是可靠并且完全的。

汉语连动句题元结构的形式语义分析

一个句子基本的逻辑语义信息是由逻辑谓词决定的,逻辑谓词是句子的焦点,一个单句通常只有一个焦点。而汉语连动句是由两个或两个以上谓词按照一定顺序组合而成的单句,句子中含有两个或两个以上的逻辑谓词,多个逻辑谓词和句子的句首名词之间虽然都是陈述与被陈述的语法关系,但是它们在逻辑上存在多种语义格关系,即存在多种题元结构形式。这使得句法结构关系和逻辑语义关系往往呈现出不对称关系,为我们的理解和使用带来一定的困扰,这对于汉语作为第二语言能力的人或者对于计算机识读和理解时,无疑更会产生许多困难和阻力。为了更加准确科学地解读和描写这种自然语言现象,我们可以根据范畴类型逻辑语法规则,对此进行形式化的计算和描写,即采用类型逻辑语法竖线算子方式进行进行具体的计算和推演处理,使其获得形式化的语义解读。考虑到集中性,我们暂且把讨论的范围限于以专名充当NP,两个VP连用的连动句,VP结构不作深入分析。