汉语“似矛盾句”的语义解读——兼谈准确描写形容词的逻辑类型

本文以汉语似矛盾句为切入点 ,从语义、句法结构、形容词类型及理解策略几方面进行解读 ,在进一步廓清汉语似矛盾句的概念及范围的基础上 ,提出了“内部世界”参数 ,指出应在内涵逻辑的框架内对汉语似矛盾句进行描写。高阶类论语言中形容词的逻辑类型描写不一致 ,本文从汉语似矛盾句实例出发 ,联系预设因素 ,尝试统一形容词的逻辑类型描写。本文最后指出 ,不但话语理解过程中需要预设的参与 ,逻辑结构分析、逻辑类型确定的过程中同样需要参照预设 ,仅就表面的句法结构来判断其内在的逻辑判断结构是片面的。

论《墨辩》的逻辑类型

《墨辩》是我国古代第一部体系较完整的逻辑学专著。在《墨辩》逻辑的研究中,一些学者往往是把《墨辩》简单地看作为形式逻辑,因而注重以西方传统形式逻辑的模式来考察《墨辩》的内容和体系,而忽视《墨辩》与古希腊逻辑在类型上的深刻差异。从而使《墨辩》的许多内容未能得到合理的解释,甚至造成拔高或降低《墨辩》逻辑内容实际意义的情况。为了更深入地对《墨辩》进行研究,本文拟就《墨辩》的逻辑类型问题谈几点看法。

体育科研选题的逻辑类型研究

在体育科研实践活动中,根据体育科研课题的不同属性,人们将体育科研课题进行了常规分类,即将其划分为具有并列关系的不同类别。例如:按体育科研任务,可将其划分为基础理论与应用基础研究;按体育科研方法,可将其划分为实验性与调查性研究;按体育科研难度,可将其划分为探索性与发展性研究等等。固然,这些常规分类都从不同的侧面揭示出了体育科研课题的某些方面的特性,因而对于体育科研实践相应有一定的指导意义。

逻辑类型与数理逻辑的诞生

(一) 中国先秦逻辑对后世逻辑发展起着示导、规范作用,然而,作为现代逻辑主干的数理逻辑却并没有在中国产生。为什么?我们在运用逻辑类型观点和比较方法,从文化背景(主要指与逻辑发展有密切关联的哲学、民族思维方式、科学、语言结构)、逻辑学自身的规律、特点诸方面对这一问题进行探讨时发现:人类思维虽有其共同性与互通性。

科学预测方法的逻辑类型

所谓预测方法的逻辑类型,指的是每种预测方法所运用和所体现的不同逻辑规则和方法。不难看出,预测方法不管有多少种,归根到底本质上都不过是某种逻辑的推理。因此,预测方法是可以用不同的逻辑推理的形式来进行分类的。不同的预测方法所体现的逻辑类型基本上是三种,即归纳推理预测法,演译推理预测法,以及类比推理预测法。归纳推理方法的基本特点是从特殊推出一般,演译推理方法的基本特点是从一般推出特殊,类比推理的基本特点是从特殊推出特殊。

从逻辑学的历史发展看不同的逻辑类型

逻辑学是一门研究思维及其规律的科学。逻辑学在萌芽,创立,演变,发展的过程中,形成了不同的逻辑类型,分化出许多具体的分支。一、逻辑学和其它科学一样,只有在提出并解决了本学科的核心问题之后,才形成体系,建立了第一个逻辑类型。在任何科学发展中,人们往往首先发现并提出某些各别的命题,原理,尔后才逐渐形成完整的体系;而对其应用则有一个从自发到自觉的过程。正如黑格尔所说,人们“

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

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

CO-LOGIC:一种支持约束演绎OODB语言的多类型逻辑

近年来,针对传统数据库技术在一些新的应用领域(如CAD,CAE,cAsE等)所暴露的缺陷,提出和发展了面向对象方法,以适应这些新的要求。与此同时,演绎数据库也获得一些进展,但大都是在关系数据库提供的工具上进行逻辑程序设计的扩展,且缺乏对复杂对象进行推理的能力。因此,将演绎和面向对象方法结合起来是当前数据库研究的新方向。已提出一些系统:如ORION系统,POSTGRES系统,基于逻辑数据库语言LDL等,但其中一些只注意用规则说明和规则调用来扩展面向对象数据库界面。

基于范畴类型逻辑的汉语反身代词指代歧义的消解

范畴类型逻辑利用词条在类型λ-演算语言中的意义,不仅可以决定从自然语言到语义表示语言的组合翻译,而且还可以决定对象语言的组合解释;通过证明树中词条的不同毗连顺序以及对同一词条指派不同的范畴,可以从逻辑推演和计算的双重视角对汉语反身代词的指代歧义进行消解。

组合范畴语法与范畴类型逻辑的分析与比较

范畴语法的最早形式是AB-演算,目前已发展成为一系列相互联系的形式系统,它们把句法分析和语义分析视为基于类型的推理。范畴语法的两个最完善的分支是基于逻辑传统的范畴类型逻辑和基于组合传统的组合范畴语法,二者联系紧密,差异也明显,前者主要关心不同逻辑算子对语言的适用性和逻辑系统的证明论性质,认为生成能力不具有主要的理论意义,在计算应用中没有价值;后者更多集中在获得低的自动机理论能力和良好计算性质的语言表达系统。

把字句和被字句的类型逻辑语法处理方案

类型逻辑语法是近年来新兴的语言信息处理理论,该理论可以运用分析汉语常用句式把字句和被字句。把"把"处理为受动标记,把"被"处理为施动标记,可以演示此两种句式的句法构形和语义解释过程,通过意义公设建立两类句式与普通及物动词句之间的语义联系,最终将其泛化为两条词汇规则。

多模态范畴类型逻辑

多模态范畴类型逻辑是在组合范畴语法(CCG)和范畴类型逻辑(CTL)基础上发展起来的新方向。基于范畴语法的CCG强调函子范畴的组合运算,给各类规则中的斜线算子添加不同的模态下标,并在词库中给词条指派的范畴含有模态下标的斜线算子,从而限制了这些规则的适用范围,使描述自然语言的范畴推演进一步精细化。CTL则遵循严格的逻辑规范,对CCG涉及的函子范畴的各类规则从结构性质的角度把握其根源,用多模态范畴类型逻辑的方式涵盖了CCG各类规则。这就是CCG和CTL的融合产物。

混合范畴类型逻辑对汉语形名结构及其虚化成分的研究

尽管对形名修饰结构的句法生成与语义解释存在异议,但是学者们都将普通名词和形名结构本身赋予<e,t>的语义类型。因此,形名修饰结构的研究重心就落在了形容词的语义类型如何确定上。形名结构是自然语言中的普遍现象,而汉语形名结构则体现出自身的特点,比如形名结构中出现虚化成分"的"字等。混合范畴类型逻辑将多模态组合范畴语法的前提敏感特征带入了范畴类型逻辑,使得范畴类型逻辑可以对自然语言现象进行更为准确的刻画,这种逻辑工具对处理汉语这一意合型语言无疑具有值得期待的前景。

从语言到逻辑——范畴类型逻辑序列

范畴类型逻辑序列是近30年来语言和逻辑交叉研究的重要学派,是对自然语言的计算机处理影响很大的形式语义理论。该理论把自然语言的生成毗连看作是范畴的运算和推演,据此构造自然语言的语句系统,并确立直接或间接的语义解释。另一方面构造范畴推演的逻辑系统,并配备可能世界的模态语义解释。范畴类型逻辑的研究成果可以直接应用于自然语言的计算机信息处理,也可以应用于汉语的形式语义理论研究。

关于非连续量词的类型-逻辑语义处理

2005年宾夕法尼亚大学的克拉克教授提出一个处理英语中非连续量词的方案。在其论文中他获得以下成果:(1)把多复合量词(polyadic quantifier)“every…a different…”当作类似“more…than…”那样的非连续量词;(2)在兰贝克后承演算(Lambek Sequent Calculus)的基础上,对涉及上述量词的句子进行了形式语义学所要求的组合分析。考虑到表述的严格性,我们对克拉克教授的处理方案进行了几个方面的改进:首先,对非连续量词的后续部分也指派λ-词项和范畴值,这样可以在由若干λ-词项和范畴的序对形成的上下文中避免出现作为自然语言词条身份的非连续量词的后续部分。其次,采用兰贝克后承演算的自然演绎表述,增加对非连续量词的各个部分进行叠置合成的规则,这样使有关的组合分析更加严格。最后,增加刻画所谓结构性质的规则,直观地显示出关于复合量词语句的类型-逻辑推演结果的非连续来源。

论类型逻辑语法对蒙太古语法的继承与发展

蒙太古语法和类型逻辑语法的内部构造和运行方式大致相同,类型逻辑语法最重要的发展在于更严格地贯彻了组合性原则,原因是它采用的范畴语法达到了兰贝克演算的生成能力,高阶内涵逻辑增加了多形态并列组合器等手段。对名词短语的处理凸显了二者的异同。

时态数据库属性推理的类型逻辑

1994年Gabbay等论证了时态逻辑的公理化系统和证明论方法不适于时态数据库推理建模,因此目前主要使用非公理化的时态逻辑做推理。然而非公理化的时态逻辑缺乏公理化性质约束,形式晦涩,无直观性与运算性,因而一般不用于知识推理。另一方面,1983年Allen提出了13种时态关系运算,并使用区间逻辑对时态关系进行表达,但这些运算只能表示时间本身的运算关系,未能体现时间与属性之间的映射关系,不能表达时态数据库属性间的推理与运算。此外,时态数据库中仍存在着许多开问题,例如在做属性推理与运算时出现的Now语义的不确定性问题。基于此,我们提出一种基于时态数据库属性推理的类型逻辑系统,其主要思路为将属性映射为类型,将类型映射为时间向量子集,以时间向量集为逻辑语义模型,在推理中从句法逻辑系统剥离对时间的表示,减少逻辑算子,与时间相关的运算单纯由语义模型支持,从而降低复杂性,提高运算能力。并且由于该类型逻辑系统是基于构造性语义的,能直观解释Now的不确定性问题。文中给出了相对该系统的时态数据库属性推理的应用示例,从技术可操作性上介绍了根据该类型逻辑设计的时态推理中间件原型及工作流程,最后从元理论范畴证明了系统可靠性与完全性的逻辑性质及切割消除与判定性的证明论性质。

谈判双方利益分布的一种逻辑类型

在改革开放的今天,谈判确实是人与人之间交流信息、调整利益的重要工具之一。在此,我们想通过对一实例的分析来说明谈判双方利益分布的一种逻辑类型。一顾客到某个体商店买一件连衣裙。卖方要价48元。买方说“太贵了!”转身欲走。卖方连忙说:“你不如穿上试一试,如果合适的话,我可以考虑便宜一些。”买方试完衣服后,卖方又说:“这衣服你穿上太合适了,你说个价吧!”买方思索了半天说:“45元。”卖方爽快地说:“45元,我卖定了!”于是双方以45元达成协议,彼此都很满意。从这个例子中可以看出,买卖双方就价格问题,有各自的立场,买方希望价格越低越好,卖方则相反。在交易中,

处理汉语反身代词回指照应问题的范畴类型逻辑(Bi)LLC

贾戈尔给出了处理英语反身代词回指照应问题的范畴类型逻辑系统LLC,但汉语反身代词的复杂性使得LLC并不能对其加以处理,为了弥补LLC在处理汉语反身代词回指照应中的缺陷我们才要对其进行修正,进而得到系统(Bi)LLC。汉语反身代词在回指照应问题上具有"长距离约束"、主语倾向性、"次统领约束"和先行语后置等特殊性,范畴类型逻辑系统(Bi)LLC可以处理这些问题。

从范畴类型逻辑看蒙太格语法的被动转换规则

蒙太格语法是对范畴语法的继承,其句法规则采纳的是"毗连运算"这种遵循范畴语法函项应用原则的操作。但是在蒙太格语法中体现被动转换操作的扩展规则那里似乎看不到范畴语法的作用,被动转换规则是否遵循范畴语法的规律?以蒙太格语法对英语被动句——"结构被动句"的分析为例,从范畴语法的现代版本——范畴类型逻辑的视角来审视蒙太格语法的转换过程,获得的结论是:范畴类型逻辑提供的工具可以证明被动句转换的合理性,蒙太格语法扩展的被动转换规则同样遵循了范畴语法的规律。