逻辑和语言研究的交叉的关联性分析

《逻辑和语言研究的交叉的关联性分析 》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。

1、逻辑和语言研究的交叉的关联性分析一、形式语义学的主要理论——逻辑的作用形式语义学是逻辑和语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。关于自然语言的形式语义理论，其目标虽是处理自然语言的语义，但其实现步骤却是先构造自然语言的句法(这种句法是供语义解释之用而和语义对应的句法，不同于传统语言学理解的句法概念)。跟别的语言学理论如转换语法相比较，形式语义学侧重语义研究，但从自身的内部分工看，形式语义学也涉及句法，包括句法和语义两个层面的研究。形式语义学中主要的理论有：蒙太格语法、广义量词理论、话语表述理论、情境语义学和类型逻辑语法。现分述如下：

2、由美国逻辑学家蒙太格在上世纪60-70年代创立的蒙太格语法(MontagueGrammar)，把自然语言看作是同逻辑语言本质上相同的符号系统，开创了自然语言形式语义学研究的领域。蒙太格语法构造的PTQ英语部分语句系统成功地描述了自然语言的量化表达式、内涵语境及命题态度句等语义特征。“多年来，语言学家、逻辑学家和计算机科学家一直在从事关于自然语言形式处理的研究。蒙太格关于英语部分语句系统的形式化方案是这个研究方向的极其重要的一步。……理查德·蒙太格引进了从句法和语义两个层面分析自然语言的强有力的方法，他发展了一种形式化的工具，为深刻理解自然语言的语义学提供

3、了必要的技术背景。”。GQT严格讲不是关于自然语言的框架理论，它仅仅关注自然语言表现出的量化意义。一方面它是经典逻辑量词概念在自然语言领域的推广，另一方面其思路也是蒙太格语法对自然语言量化表达式研究的延伸。GQT的主要内容有：(1)对量化表达式的语义解释建立在集合论基础上。若把自然语言量化句一分为二，则其中的名词短语就是〈1〉类型的量词。量词就是函项，其论元是句中动词短语所表示的集合。若把自然语言量化句一分为三，其中的限定词就是〈1，1〉类型的量词。这种量词是二元函项，其第一论元就是限定词所修辞的名词所表示的集合，其第二论元就是动词短语所表示的集合；(2

4、)既然量化表达式表现为各种层次集合之间的关系，GQT就从集合论角度来讨论量词的各种数学性质，如驻留性、数量性和扩展性等。GQT还进一步关注自然语言量化表达式与其集合论对应物的关系，即是说自然语言量化表达式是否能够表达出给定集合涉及的所有关系，这是所谓表达力问题；(3)GQT的研究还涉及多样模式的量词、关于量词的叠置复合与量词类型的提升、以及量词的可定义性等问题，GQT所谓非标准的量化表达式概念扩展了其研究范围，非标准的量化表达式包括副词和连词等表达式。例子解读：对英语量化句“Everyboyruns”一分为三，限定词“Every”的语义‖every‖是〈

5、1，1〉类型的量词，名词“boy”的语义‖boy‖是这个量词的第一个论元，动词短语“runs”的语义‖runs‖是这个量词的第二个论元。整个英语句的语义‖Everyboyruns‖的真值条件是：‖boy‖这个集合跟‖run‖这个集合构成的序对属于‖Every‖这个集合序对的集合｛〈X，Y〉D。关于SS的另类性质，其理解需要例句的解析：a.BobbelievesthatNemar)又叫范畴类型逻辑。作为彻底贯彻意义组合原则的理论，类型逻辑语法不仅可以抽象地研究自然语言句法范畴的运行规律，还能够通过引入简单类型λ-演算的工具来展现句法和语义的并行接口(int

6、erface)。类型逻辑语法的发展阶段分为：古典范畴语法，Lambek句法演算”。如LDS在相干逻辑领域内表现出来的规则及其例证为：逻辑证明实行并行推演至少有三方面的好处：(1)可以区分逻辑证明中对象语言的特征与元逻辑特征。公式的运行规律是对象语言的特征，相应的标记的运行规律自然属于元逻辑的范畴，这种元逻辑的说明具有更强的解释力；(2)可从标记运行规律的角度说明不同逻辑证明系统的不同特点；(3)可从逻辑证明结论的标记中看到它所依赖的假设是哪些，即结论的来源是什么。在自然语言领域，句子不是最小的语言单位，由句子构成的句子序列或句群篇章则是更大的语言单位。句

7、子序列中句子之间具有各种各样的联系，而其中代词对名词的照应是一种重要的联系。先行句子中名词或名词短语所涉及的对象在后续句子中用代词来指称，这就是自然语言的所谓回指现象。形式语义学中的话语表述理论DRT特别关注这类现象，用不断积累递增信息的动态方法来刻画句子之间名词和代词的联系。DRT设置了一个表现自然语言语义的所谓DRS层面，各种层次的DRS是由外到内逐步构造的。最外层DRS中的话语所指可通达到较内层的DRS中去，相应的DRS语义解释涉及的嵌入确认函项g就可以扩展成把更多的话语所指映射到模型论域中去的g′。这样的处理启发了逻辑赋值的新思路：把公式的语义值

8、确定为赋值函项序对〈g，g′〉的集合，这就是Groenendijk和Stokho