试论话语表现理与动态谓词逻辑.pdfVIP

中文摘要 话语表现理论是形式语义学发展过程中的一道分水岭，人们称其之前的为传 统形式语义学。它与传统形式语义学最大的不同就是：后者对句子的分析是静态 的，而话语表现理论对句子的分析则是动态的。该理论是动态地描述自然语言意 义的逻辑语义学理论，把传统语义学对单个句子的处理扩大到句子序列，通过逐 渐增添话语信息的方法，联系上下文展现其中名词与代词的指代照应关系；而且 还从算法的角度展现了从英语语句的句法结构到其语义表现的过程，刻画了语义 分析的动态过程，还在话语表现结构等概念的基础上创建了独特的形式推演系统。 正是这种动态的分析方法使其成功地解决了蒙太格语法对摹状词处理的不恰当问 题。 动态谓词逻辑与话语表现理论一脉相承，为经典谓词逻辑提供一种动态的语 义解释。根据塔斯基的真值定义，动态谓词逻辑用指派的集合来确定公式在模型 中的所指外延，将公式的语义表现为指派之间的二元有序对关系，适当地延伸了 量词的约束力，使“|x①八甲”与“|x(①入、王，)等价，与话语表现理论相比， 更好地处理了跨句照应和驴子句的指代照应关系。 尽管话语表现理论与动态谓词逻辑都是动态的形式语义学，但是前者的处理 对象直接针对自然语言表达式，而后者则针对一阶谓词逻辑对自然语言表达式的 翻译公式；并且前者使用的是方框型的非标准语言，后者则是普通的一阶谓词逻 辑语言。二者的实质都是动态地处理语言表达式，相应地各自系统中又都有相应 的静态成分，静、动结合的分析方法充分展现了二者分析自然语言意义的优越性。 关键词：话语表现理论；动态谓词逻辑；语义学；意义组合性 ABSTRACT the offomlal DRTisawatershedover deVelopmentalprocess fonIlal the ofDRTis calledtraditio蹦 fbnIlersemanticsbefore appearance beMeenDRTandtraditio嫩lfomalsemanticsis sem趾tics．Tllemost diStinction great thatthefomer setences whilethel砒erdoes disposes staticlly na_tural focusesonthesemalltic Wmch the of dyn锄ic2Llly dipictsmeallings language of coherent of called discourse，i．e．，onsequencessentences，also ime印re诅tion ofonisolatedsentencesasiIltraditional ‘texts’，instead semaI】tics，矗om 谢thcontextsexKbitsthe relationsbe觚eennounsaIldtheir andso all印horic prono吼s the ofsemences theinformationofdiscourse a11alyzesmealling byincreaSing gradually．