ТЕРМИН «ГЕНЕРАТИВНЫЙ» («ПОРОЖДАЮЩИЙ»)
Но прежде мы должны сказать еще несколько слов о терминах «порождать» (или «генерировать») и «генеративный», поскольку их часто понимают неправильно. Прежде всего следует подчеркнуть негативный момент: генеративная грамматика — не обязательно трансформационная грамматика (см.
§6.6.1). Термины «генеративный» и «трансформационный» часто смешивают, потому что их в одно и то же время ввел в лингвистический обиход Хомский. (Примерно в том же значении, что и Хомский, термин «трансформационный» употреблял также и Хэррис.) Хомский и его последователи обычно вкладывают в термин «генеративный» одновременно два различных смысла: (і) «проективный» (или «предиктивный») и (ii)«эксплицитный» («формальный» vs. «неформальный»). В этом разделе он использовался как в одном, так и в другом понимании.
Первоначально он был введен в значении «проективный» (или «предиктивный»): он должен был относиться к любому множеству грамматических правил, которые эксплицитно или имплицитно описывали данный корпус предложений, «проецируя» их на большее множество предложений или рассматривая их как «выборку» из этого множества. Грамматика такого типа является «предиктивной» в том смысле, что она устанавливает грамматическую правильность не только «реальных», но и «потенциальных» предложений. Важно понять, что большинство грамматик, когда-либо написанных за всю историю лингвистики, являются генеративными в первом значении этого термина. Не стоило бы специально указывать на это, если бы не тот факт, что различие между предиктивностью и прескриптивностью, то есть предписыванием норм «правильного употребления», не всегда принимается во внимание (ср. § 1.4.3).
Но впоследствии в этом разделе мы пользовались термином «генеративный» в несколько особом значении «эксплицитного» (ср. «порождать», «характеризовать» в §4.2.8). Оно близко к одному из значений, в котором термин «порождать» используется в математике, и, действительно, заимствован из нее.
Рассмотрим, оставляя в стороне технические детали, следующее утверждение: «Число 2 порождает множество или ряд чисел 2, 4, 8, 16, 32, ...» Это бесконечное множество чисел может быть упорядочено, как это сделано выше, в последовательность «возрастающих степеней 2», где число 2 — основание данного ряда. Каждому числу, порождаемому этим основанием, удовлетворяет некоторое значение функции 2п (где 2 — основание, а п — переменная, принимающая натуральные значения 1, 2, 3, 4, ...). Каждое число, как бы велико оно ни было, либо принадлежит множеству, порождаемому в определенном выше смысле числом 2, либо не принадлежит; вопрос о том, принадлежит ли оно этому множеству («степеней 2»), в принципе разрешим. Раз- решающая процедура для любого данного числа может иметь следующий вид: порождается рассматриваемый ряд вплоть до числа, равного или большего по величине данного числа; затем данное число проверяется на идентичность с каждым из чисел, порождаемых основанием. Таким образом мы могли бы определить, например, что 9 не принадлежит этому множеству, поскольку оно не равно ни 2, ни 4, ни 8, ни 16 (первое число ряда, большее 9). Кроме того, чтобы подчеркнуть аналогию с грамматикой, можно сказать, что каждому числу этого множества при порождении ставится в соответствие его «структурное описание»: «структурное описание 64, например,— это 2п, где п—6». Когда мы говорим, что грамматика порождает предложения языка, мы подразумеваем, что она составляет систему правил (к которым прилагается словарь), сформулированных таким образом, что они дают в принципе разрешающую процедуру для любого сочетания элементов языка (назовем их в этом случае «словами») в смысле, более или менее близком вышеупомянутому.Кроме того, грамматика не только «решает», является ли некоторое данное сочетание грамматически правильным или нет (порождая или не порождая сочетание символов, которое может быть проверено на «идентичность» с рассматриваемым высказыванием), но она снабжает каждое грамматически правильное сочетание по крайней мере одним структурным описанием. (Ниже мы увидим, что предложения более чем с одним структурным описанием определяются как грамматически неоднозначные; см. §6.1.3.)
Это второе, более или менее близкое к математическому, значение термина «порождать» предполагает применительно к грамматике строгую и точную характеристику природы грамматических правил и способа их действия: оно предполагает формализацию грамматической теории. На протяжении этого раздела наша интерпретация термина «формальная грамматика» перешла, таким образом, от противопоставления «формальный» vs. «понятийный» к противопоставлению «формальный» vs. «неформальный». Этот переход отражает историческое развитие грамматической теории за последние десять или пятнадцать лет.
4.2.14.