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

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

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


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张清宇;经典命题逻辑的一个公理系统[J];哲学研究;1997年08期
2 刘新文;经典一阶逻辑的希尔伯特型系统[J];湖南科技大学学报(社会科学版);2005年02期
3 张秋成;;命题态度句的成真条件[J];湖南科技大学学报(社会科学版);2007年03期
4 邹崇理,杨蓉荣;动态语义学的发展和创新思维[J];广西大学学报(哲学社会科学版);2001年05期
5 张清宇;系统Z中的范式和插入定理[J];哲学研究;1999年12期
6 陈晓平;互补逻辑与辩证逻辑──兼评关系实在论[J];科学技术与辩证法;1996年02期
7 张金成;系统Z上的谓词演算[J];洛阳大学学报(社科版);1994年03期
8 张晓君;郝一江;;动态谓词逻辑的动态机制[J];哲学动态;2010年09期
9 高芸;何向东;;从代词照应关系的角度看DRT[J];哲学动态;2011年01期
10 桂起权,陈晓平;辩证逻辑形式化的研究纲领[J];云南社会科学;1992年05期
11 ;一位好校长就是一所好学校 校长陈伟与省实验中学[J];现代教育科学;2002年02期
12 陈道德;;20世纪语言逻辑的发展:世界与中国[J];哲学研究;2005年11期
13 邹崇理;;处理照应关系的范畴类型逻辑[J];浙江大学学报(人文社会科学版);2007年05期
14 张璐;;基于DRT的代词回指研究[J];重庆理工大学学报(社会科学);2011年08期
15 夏年喜;;从知识表示的角度看DRT与一阶谓词逻辑[J];南京社会科学;2006年02期
16 桂起权 ,陈晓平;辩证逻辑形式化的研究纲领[J];哲学动态;1992年10期
17 邹崇理;语言逻辑和符号学学术年会简介[J];哲学动态;1999年02期
18 宋文坚,熊立文,邹崇理;我国现代逻辑研究概况[J];哲学动态;2000年03期
19 夏年喜;自然语言逻辑研究的现状与趋势[J];哲学动态;2004年06期
20 张晓君;;为什么语言学研究离不开逻辑学——2009语言学和逻辑学交叉研究研讨会侧记[J];毕节学院学报;2010年05期
中国重要会议论文全文数据库 前2条
1 邹崇理;;话语表现理论DRT述评[A];1998年逻辑研究专辑[C];1998年
2 熊立文;;逻辑理性与构建和谐社会——“2005·学术前沿论坛”北京市逻辑学会专场综述[A];和谐社会:社会公正与风险管理——2005学术前沿论坛论文集(上卷)[C];2005年
中国博士学位论文全文数据库 前4条
1 刘新文;系统Z的量化扩张及其对话语表现理论的处理[D];中国社会科学院研究生院;2002年
2 高芸;从SDRT的视角探析汉语话语结构的修辞格式[D];西南大学;2011年
3 徐晓泉;完备格的关系表示理论及其应用[D];四川大学;2004年
4 李兵;初等代数证明题答案的自动检测方法研究[D];兰州大学;2012年
中国硕士学位论文全文数据库 前10条
1 薛彩霞;试论话语表现理论与动态谓词逻辑[D];河南大学;2008年
2 张宏海;嵌入式实时操作系统ZERTLinux的设计及实现[D];西南交通大学;2003年
3 郑南;支持无线网络传感器的超微型操作系统ZUOS研究与应用[D];浙江大学;2004年
4 范微微;动态蒙太格语法对经典驴子句处理的发展[D];西南大学;2008年
5 饶三平;拟Z-代数domain[D];江西师范大学;2005年
6 张文丽;建安工程给排水概预算应用软件开发研究[D];西安理工大学;2003年
7 李江;基于网络的产品数据管理系统的研究与开发[D];新疆大学;2002年
8 李中国;“骨架”型成人教学模式的构建[D];曲阜师范大学;2002年
9 苏斐琦;交叉编译系统的研究与实现[D];浙江大学;2003年
10 张彦明;嵌入式操作系统远程调试器的研究与实现[D];西北工业大学;2002年
中国重要报纸全文数据库 前5条
1 ;IWILL ZPC64 支持 Athlon 64 的迷你准系统[N];中国计算机报;2003年
2 皓;浩鑫超静音XPC上市[N];计算机世界;2004年
3 安虎;协同软件 国外品牌又抢滩[N];计算机世界;2005年
4 张松延;中兴通讯:中国CDMA的领头羊[N];人民邮电;2000年
5 ;中兴ZXC10 CDMA移动通信系统[N];人民邮电;2001年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978