生成语法中的音系学

《生成语法中的音系学》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、生成语法中的音系学MorrisHalle生成语法，形式上就是一组陈述，或叫做规则、公理。它们描写、规定和生成某语言全部正确的话语，且只生成正确的话语。生成理论认为，语言有一族抽象条件的集合。这些条件决定了这个语法的陈述形式，并在给定语言实体中可能有的几种描写中作出选择。本文感兴趣的只是生成语法是一个方面，所有的陈述都具有下面的形式：(1a)A→B于环境X______YZ这里的A,B,X,Y都是某个字母表中的符号，箭头“→”表示“可改写为”。另外，如果几个陈述有部分相同，可以将相同的部分合并，使之成为新规则的因子。例如，如有规则(1b)C→D于环境X______

2、YZ则(1b)可与(1a)合并，得到：(1c)A→B于环境X______YC→DZ生成语法的出发点为：在几种可能的描写中选择最佳者以达到一种机械的程序。依据所谓简明性的这种选择，其基础必然是该陈述集合中的某些形式的特征。在很多情况下，简明显然等于简短。这样，一个短的公式，如维尔纳定律，一般都认为是较简明的。它显然有优于将公式所辖的所有形式都列举出来的描写。简明原则自然是应该推广到一切情况，问题是为达到这一目的，“描写长度”必须有形式化的度量方法。该度量法必须能够正确地反映有关简明的各种问题。比如，在任何情况下，数种描写中都只有一种就独立的背景而言客观上是最佳的

3、；“长度度量法”必须保证这一最佳描写的描写长度短于其他描写。很明显，长度的度量应包括描写中所出现项目的多少，即所出现的字母符号的多少（如(1a)--(1c)中的大写字母几下面例子中的符号）。这样，给出的某个语言实体的两种描写中，所含符号少的就被认为是较简明的，因此将被认为是优于另一种描写的。下面，我将详细介绍音位描写中的一些抽象条件序列，并具体摆出如何运用简明的量度从几种可能中选择出某些公式。以这样的方法选择出的描写所具有的有说服力的和内在的感染力将为我们提供一个不但于简明性，而且于生成语法的整体原则，都是最公正的评判。⒈前面说过，生成语法的陈述中出现的符号属

4、于某一特定的字母表。音系学的主要规则是讨论音段及音段的序列的。为简单起见，这里只讨论音段成分而暂不考虑有关音连、语素类标志等的规则。下面，大写字母将表示音位音段、音段的类及其它们的序列。前人多所用的音位音段的语言学描写形式主要有两种。一种把音位音段看做不可分的整体，另一种把它们当做特征的复合体。为在这两种表达法中做出选择，下面将比较它们在一些环境中的使用情况，何者更佳，也就不证自明了。(2)/a/在/i/之前变为/Q/(3)/a/在两个/i/之间时变为/Q/陈述(2)明显比陈述(3)简单。但如果用(1)那样的标准形式改写，当我们采用把音位音段看做整体的方法，将

5、得到：(2')/a/→/Q/于环境___/i/(3')/a/→/Q/于环境/i/___/i/而采用把音位音段看作特征复合体的方法，将得到：(2")┌___┐┌+元音┐｜+元音｜｜-辅音｜ [+沉钝]→[-沉钝]于环境｜-辅音｜｜+分散｜｜-分散｜｜+聚集｜└+聚集┘└-平坦┘(3")┌+元音┐┌___┐┌+元音┐｜-辅音｜｜+元音｜｜-辅音｜[+沉钝]→[-沉钝]于环境｜+分散｜｜-辅音｜｜+分散｜｜+聚集｜｜-分散｜｜+聚集｜｜-平坦｜｜+聚集｜｜-平坦｜└-沉钝┘└-平坦┘└-沉钝┘（译者注：该文用的是声学特征。若换为发音特征，大致的对应是：分散:高，聚集

6、:低，平坦:圆，沉钝：后）可以看到，无论用哪种表达法，陈述(2)的公式都比相对应的陈述(3)的公式简单。因为，陈述(2)的公式使用3个符号（另一种为13个），而陈述(3)的公式使用4个符号（另一种为19个）。下面是某个具有/Q/、/ｅ/、/ｉ/三个前元音的语言中的两条陈述：(2)/a/在/i/之前变为/Q/。(4)/a/在前元音之前变为/Q/。这对陈述中，(4)的概括力更强。因此，就独立的背景而言（客观上），它应该优于(2)。这两个陈述改写为标准形式，如果把音位看作整体，我们将得到：(2')/a/→/Q/于环境____/i//i/(4')/a/→/Q/于环境_

7、___/e//Q/若把音位看作特征复合体，将得到：(2")┌___┐┌+元音┐｜+元音｜｜-辅音｜[+沉钝]→[-沉钝]于环境｜-辅音｜｜+分散｜｜-分散｜｜+聚集｜｜+聚集｜｜-平坦｜└-平坦┘└-沉钝┘(4")┌___┐┌+元音┐｜+元音｜｜-辅音｜[+沉钝]→[-沉钝]于环境｜-辅音｜└-沉钝┘｜-分散｜｜+聚集｜└-平坦┘用这两种方法改写得到的结果不一致：用整体法，(2')比(4')的符号少；用特征法，(2")比(4")的符号多。独立背景中（客观上）(4)比(2)的概括力强，所以(4)应该优于(2)。使用整体法，(2')、(3')与*(2')、(4')

8、的结果不一致，(2')、(3')中是符