收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

系统Z的量化扩张及其对话语表现理论的处理

刘新文  
【摘要】: 本文意图为话语表现理论构造一个简单处理的形式系统。 话语表现理论(DRT)是由Hans Kamp在20世纪80年代初期提出的、动态地描述自然语言意义的形式语义学理论,从以蒙太格语法为首的关于自然语言语义学的模型论方法那里发展起来。DRT的提出主要是为处理所谓的“驴子句”带来的语义疑难,即句子系列之间名词与代词的指代照应关系:包含由不定冠词“a(an)”组成的名词短语的语句通常被处理成存在量化式,而在特定的语境下,比如在包含不定冠词的“驴子句”那里却直观上表述了全称量化式的意思。为解决这些问题,DRT在通常形式语义学具有的句法规则和模型论语义解释的基础上,提出了一种表现自然语言语义的特定方式,即话语表现结构(DRS),并在经典逻辑语义学基础上发展了一种带有嵌入函项的特定模型来解释话语表现结构。DRT把传统模型论形式语义学对自然语言句子的分析扩大到句子系列,通过对句子上下文的分析,充分展示其中名词与代词的照应关系,以及其中动词在时间方面的复杂联系;它的动态研究方法比较符合人们理解语言的认知过程,就刻画句子信息的不断积累与递增来说比以往的静态方法有明显的优越性。从逻辑的角度看,不仅要关注对自然语言语义问题的分析,更要进一步把DRT处理自然语言语义的结果同推理联系起来,探索话语表现结构构成推演系统的可能性。 本文首先综述了话语表现理论的基本内容,然后介绍了以系统Z为代表的采用括号记法的经典逻辑系统,并在命题逻辑系统Z的基础上,构造了两个以广义析舍和存在量词为初始联结词、采用括号记法的一阶系统,其中系统Z'的完全性证明比较简单。最后,说明了话语表现理论和一阶逻辑之间的对应关系,并且在系统Z'的基础上给出了一个用系统2'处理的、以表现自然语言语义的话语表现结构为形式语言的形式公理系统ZL。与系统Z'一样,系统ZL也以广义析舍和存在量词为初始联结词;不同的是,系统ZL由于直接以话语表现结构为形式语言,而话语表现结构是以方框的形式出现的,因此,系统采用方框记法,只不过这一记法与括号记法并无二致,一个方框就是一对括号。另外,系统ZL的元定理证明与系统Z的一样。这样,就使得新的话语表现理论形式公理系统比已有的形式系统更为简洁。


知网文化
【相似文献】
中国期刊全文数据库 前16条
1 邹崇理;话语表现理论述评[J];当代语言学;1998年04期
2 张秋成;;命题态度句的成真条件[J];湖南科技大学学报(社会科学版);2007年03期
3 张晓君;郝一江;;动态谓词逻辑的动态机制[J];哲学动态;2010年09期
4 高芸;何向东;;从代词照应关系的角度看DRT[J];哲学动态;2011年01期
5 邹崇理,杨蓉荣;动态语义学的发展和创新思维[J];广西大学学报(哲学社会科学版);2001年05期
6 陈道德;;20世纪语言逻辑的发展:世界与中国[J];哲学研究;2005年11期
7 邹崇理;;处理照应关系的范畴类型逻辑[J];浙江大学学报(人文社会科学版);2007年05期
8 张璐;;基于DRT的代词回指研究[J];重庆理工大学学报(社会科学);2011年08期
9 夏年喜;;从知识表示的角度看DRT与一阶谓词逻辑[J];南京社会科学;2006年02期
10 邹崇理;语言逻辑和符号学学术年会简介[J];哲学动态;1999年02期
11 宋文坚,熊立文,邹崇理;我国现代逻辑研究概况[J];哲学动态;2000年03期
12 张晓君;;为什么语言学研究离不开逻辑学——2009语言学和逻辑学交叉研究研讨会侧记[J];毕节学院学报;2010年05期
13 邹崇理;《形式语义学引论》述评[J];当代语言学;2000年02期
14 夏年喜;自然语言逻辑研究的现状与趋势[J];哲学动态;2004年06期
15 夏年喜;;DRS与一阶谓词逻辑公式[J];哲学动态;2005年11期
16 周武萍;中国逻辑学会与语言逻辑和符号学专业委员会2000年年会综述[J];哲学动态;2001年02期
中国重要会议论文全文数据库 前2条
1 邹崇理;;话语表现理论DRT述评[A];1998年逻辑研究专辑[C];1998年
2 熊立文;;逻辑理性与构建和谐社会——“2005·学术前沿论坛”北京市逻辑学会专场综述[A];和谐社会:社会公正与风险管理——2005学术前沿论坛论文集(上卷)[C];2005年
中国博士学位论文全文数据库 前4条
1 高芸;从SDRT的视角探析汉语话语结构的修辞格式[D];西南大学;2011年
2 刘新文;系统Z的量化扩张及其对话语表现理论的处理[D];中国社会科学院研究生院;2002年
3 李兵;初等代数证明题答案的自动检测方法研究[D];兰州大学;2012年
4 陈琳琳;基于DRT框架的汉语驴子句研究[D];南开大学;2013年
中国硕士学位论文全文数据库 前3条
1 薛彩霞;试论话语表现理论与动态谓词逻辑[D];河南大学;2008年
2 范微微;动态蒙太格语法对经典驴子句处理的发展[D];西南大学;2008年
3 李志恒;试论自然语言逻辑研究中的语法与语义[D];山西大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978