公理形式演绎：从形式句法到形式语义.pdfVIP

豳芝魏譬慈 团目2013年第8期 公理形式演绎：从形式句法到形式语义 ●李可胜 邹崇理 现代语言研究最显著的特点之一是形式化，而形式化的基础是公理形式演绎思想。分析公理形式演绎 与 自然语言研究的关系可以看出，由于 自然语言的句法结构和语义结构都具有递归性，因而用公理形式演绎 的方法研究语言也就成为必然。乔姆斯基的形式句法学应用公理演绎思想构造出人类语言的普遍语法，形 式语义学则应用该思想为实际使用的语言构造语义的形式化表征。形式句法学和形式语义学所蕴含的公理 形式演绎思想，代表着 自然语言研究中的理性主义。 [关键词]乔姆斯基；公理演绎；形式句法学；形式语义学 [中图分类号】H0—06 [文献标识码1A 【文章编号】1004—518X(2013)08—0054—05 李可胜，浙江大学语言与认知研究中心博士后研究人员，合肥师范学院外语系副教授，哲学博士。 (浙江杭州 310028) 邹崇理，中国社会科学院哲学所研究员，博士生导师。(北京 100732) 公理形式演绎原本是数学或形式逻辑的一种研究 一 种用来推理、推论的形式符号系统，因而具有公理性 思想，20世纪50年代乔姆斯基(N．Chomsky)将其应用 和演绎性。”l【1(P206)毫不夸张地说，如果不了解公理形式 到语言研究中，提出了转换生成句法学，开启了句法研 演绎思想，就很难真正读懂当代句法学和语义学的外文 究的形式化道路，使得语言学这门传统的人文学科有了 文献。 自然科学的属性。60年代戴维森(D．Davidson)提出的真 在我国，形式逻辑在语言研究中长期得不到重视。我 值条件语义学和7O年代蒙太格(R．Montague)~ 的蒙 国高校的语言学硕士和博士培养方案中，基本都没有形式 太格语法，将公理形式演绎思想应用到自然语言的语义 逻辑课程。这种情况导致的后果之一是，很多学者没有充 研究中，奠定了形式语义学的基础。公理演绎思想代表 分理解语言研究中的公理形式演绎思想，从而影响到对国 着语言研究中的理性主义。 外语言学理论的理解、消化和吸收。在形式化最为突出的 由于引进了公理演绎思想，现代语言学出现了形式 语义学研究中，这种情况尤为明显。例如，由于不了解真值 化的趋势。翻开当代句法学和语义学的外文文献，里面 条件语义学中的公理演绎思想，一直有学者误认为真值条 充满了各种逻辑符号。隐藏在这些逻辑符号背后的就是 件语义学将真值或真值条件看成是句子的意义，并因此而 公理形式演绎思想。宁春岩认为：形“式语言学中的元语 质疑形式语义学的研究价值2[1(159-60)( ，并使得我国的 言不只是用来作为描写、表述的符号系统，更重要的是 语义学长期停留在传统的经验主义研究上。 公理形式演绎：从形式句法到形式语义 特征，即把“有限的手段作无限的使用”l5](m)。美国哲学 一 、 公理形式演绎与自然语言的递归性 家、语言学家乔姆斯基在20世纪50年代提出生成语法 按照一般定义，演绎是一种必然性推理，即从给定 学，系统地应用公理演绎思想研究自然语言，其核心思 的前提中，通过一系列的保真推导，获得结论。公理形式 想是：人类可以利用有限数量的词汇，递归生成无穷数 演绎是指构造形式化的逻辑系统，用来表现抽象的演绎 量的句子，因此句子的生成过程必然是一个公理演绎过 过程。它包括两个重要特征：(1)设定尽可能少的初始概 程。此后不久，美国哲学家戴维森提出了戴维森纲领，首 念和公理；(2)可以递归应用的定理。二者结合，就可以 次将公理演绎思想应