试论话语表现理论与动态谓词逻辑.pdf 全文

  本文关键词：试论话语表现理论与动态谓词逻辑，由笔耕文化传播整理发布。

河南大学 硕士学位论文 试论话语表现理论与动态谓词逻辑 姓名：薛彩霞 申请学位级别：硕士 专业：逻辑学 指导教师：郭桥 座机电话号码 中文摘要 话语表现理论是形式语义学发展过程中的一道分水岭，人们称其之前的为传 统形式语义学。它与传统形式语义学最大的不同就是：后者对句子的分析是静态 的，而话语表现理论对句子的分析则是动态的。该理论是动态地描述自然语言意 义的逻辑语义学理论，把传统语义学对单个句子的处理扩大到句子序列，通过逐 渐增添话语信息的方法，联系上下文展现其中名词与代词的指代照应关系；而且 还从算法的角度展现了从英语语句的句法结构到其语义表现的过程，刻画了语义 分析的动态过程，还在话语表现结构等概念的基础上创建了独特的形式推演系统。 正是这种动态的分析方法使其成功地解决了蒙太格语法对摹状词处理的不恰当问 题。 动态谓词逻辑与话语表现理论一脉相承，为经典谓词逻辑提供一种动态的语 义解释。根据塔斯基的真值定义，动态谓词逻辑用指派的集合来确定公式在模型 中的所指外延，将公式的语义表现为指派之间的二元有序对关系，适当地延伸了 量词的约束力，使“|x①八甲”与“|x ①入、王， "等价，与话语表现理论相比， 更好地处理了跨句照应和驴子句的指代照应关系。 尽管话语表现理论与动态谓词逻辑都是动态的形式语义学，但是前者的处理 对象直接针对自然语言表达式，而后者则针对一阶谓词逻

  本文关键词：试论话语表现理论与动态谓词逻辑，由笔耕文化传播整理发布。