函项分层思想及其在语言学研究中的应用

满海霞

(北京科技大学外国语学院，北京 100083)

函项分层思想及其在语言学研究中的应用

满海霞

(北京科技大学外国语学院，北京 100083)

基于现代逻辑思想的形式语义学理论，离不开类型和范畴的分层思想。它的理论源泉之一是逻辑学家弗雷格区分“完全”、“不完全”表达式的讨论，其影响主要为两方面:逻辑类型论和范畴理论。通过对比分析逻辑类型论和范畴理论在语言学领域的两个综合应用模式:蒙太格语法和类型逻辑语法可知，形式语义学总体来讲具有两种发展趋势，即偏向自然语言与偏向逻辑两种风格。

函项分层;逻辑类型论;范畴理论;蒙太格语法;类型逻辑语法

一、背景介绍

现代逻辑之父弗雷格发现，用自然语言表达逻辑概念，很难达到期望的精准程度。于是从《概念文字》(Begriffsschrifi)开始尝试提供一套检验系列推理有效性的可靠工具，并在《算术基础》(Grundgesetze der Arithmetik)中，试图将数学构造为逻辑的分支。在此过程中，弗雷格为函项给出具有一般性的定义。其区分完全(complete)和不完全(incomplete)表达式的做法，对形式语义学的发展有两方面重要的影响:

(1)弗雷格区分完全、不完全表达式的思想以及胡塞尔(Husserl)将思维对象分为若干层的想法在哲学界诱发了化学反应。列斯尼维斯基和爱裘凯维茨(Ajdukiewicz)将范畴分层思想形式化，发展出以判断语词句法行为为目的的范畴理论。在几代逻辑学家和语言学家的努力下，范畴语法逐步发展出当今形式语义学的一个重要分支——类型逻辑语法。……