从蒙太格语法看开来——自然语言逻辑初探

摘要

语用逻辑是在现代逻辑、现代语言学和符号学基础上形成的非标准逻辑分支;数理逻辑采用的真假值语义系统是诸多语义系统中最抽象、最简化,因而也是有着诸多局限性的一种.人们在知识表达和语言交流中所使用的语义系统却是多层次的、相互影响的,因而是非常复杂的.就日常生活语言和科学知识表达而论,不仅涉及真假性的分析,还要涉及有效性、恰当性和交际性的分析,因此,想用真假值来解释一切语义是有困难的.在蒙太格语法以前,逻辑语形学与逻辑语义学研究只限于逻辑人工语言的范围,逻辑语用学则基本处于空白.蒙太格语法把逻辑符号学关于语形、语义和语用的划分推广到自然语言领域,该文揭示了蒙太格语法最基本和核心的内容.全文共四个部分:第一部分是引论,给出蒙太格语法以及逻辑语法的基本轮廓和我们该文探讨的重点.第二部分是蒙太格语法的理论背景,对蒙太格存在之前的各种理论以及它们与蒙太格语法的联系作了探讨,介绍了各个理论来源的特点、发展和对今后的展望.第三部分是本文的重点,着重介绍了蒙太格语法的基本思想和基本体系,这其中通用语法,内涵逻辑语言以及PTQ系统都是重中之重,通用语法认为自然语言和逻辑人工语言在本质上是相通的,因此就采用数学方法从结构角度去描述自然语言.引入了公式的内涵概念,认为任何表达式的内涵就是从可能世界到该表达式外延的函项.PTQ系统更进一步,大量的接触内涵现象,是形式语义学重要的组成部分.第四部分探讨了蒙太格语法对语用学所作的尝试与成果,主要贡献在于对与语境相关的索引句用一个形式语用系统来解决.最后展望并总结了自然语言逻辑自蒙太格语法之后的一系列重要理论.

目录

文摘

英文文摘

一引言

二蒙太格语法的理论背景

2.1转换生成语法TG

2.2范畴语法

2.3机器翻译研究理论

三蒙太格语法的基本思想和基本体系

3.1逻辑语言和自然语言的通用语法

3.2通用语法所提供的抽象框架

3.3内涵逻辑语言L0和类型理论语言It

3.4 PTQ系统

四蒙太格语法对语用学的讨论

4.1关于索引句的自然语言语句系统

4.2蒙太格语法基础上其他的主要逻辑语法理论

结束语

参考文献