ВОПРОСЫ АНГЛИЙСКОЙ И ФРАНЦУЗСКОЙ ФИЛОЛОГИИ 1971. ВЫП.6

6 Как известно, теория порождающей грамматики ориенти­ руется в значительной степени на математическую логику. Эта ориентация не ограничивается заимствованием дедуктив­ ного, логико-математического способа введения определений. В действительности и сама структура трансформационной грамматики напоминает собой строение логического исчис­ ления (или , как его называют иначе в логике, синтаксической системы). Логическое исчисление, или синтаксическая система, состоит и з: а ) словаря ( или алфавита), т . е . перечня исходных элементов (или символов, знаков); б) правил образования (или построения) выражений (или формул) языка из исходных элементов; в) правил преобразования^ соответствии с которыми одни выражения языка, а именно выражения, полученные пй правилам образования, преобразуются в другие выражения. Таким образом, как словарь, так и правила образо­ вания и преобразования (в совокупности правила вывода') задаются заранее, списком. На "выходе" получаются выражения языка, не заданные заранее, а полученные из данных исходных элементов в соответствии о данными правилами вывода. Соблюдение правил вывода дает в результате выражение, именуемое правильно построенной формулой. Формула, представ­ ляющая собой конечный результат вывода, называется заклю­ чением, а совокупность предшествующих ей формул - доказа­ тельством . Весь этот понятийный аппарат логики и был использован Н.Хомским и его последователями. Правда, при этом многие понятия получили другие имена.- Так, исходным символам логического исчисления в порождающей грамматике отвечают исходные элементы типа S e n te n c e , HP, Н, Р , VP, Verb, t h e , a , boy, b a l l , h i t и т . п . Формуле как конечной линейной последовательности исходных символов соответствует предложение. Правильно построенная формула находит соот­ ветствие в г амматически правильном, или отмеченном, предло­ жении.