Из принятой здесь точки зрения вытекает, что неразумно требовать от лингвистической теории чего-либо большего, чем практичной процедуры выбора грамматик. Иначе говоря, мы принимаем последнюю из трех позиций, о которых говорилось выше. Насколько я понимаю, большинство наиболее тщательных программ в области разработки лингвистической теории[31] стремятся к удовлетворению самого сильного из этих трех требований. Это значит, что предпринимаются попытки сформулировать методы анализа, которые исследователь реально может использовать, если у него есть время, чтобы построить грамматику языка, исходя непосредственно из сырых данных. По-моему, весьма сомнительно, чтобы этой цели можно было достигнуть сколько-нибудь интересным путем, и я подозреваю, что всякая попытка достичь ее должна завести в лабиринт все более и более подробных и сложных аналитических процедур, которые, однако, не дают ответа на многие важные вопросы, касающиеся природы лингвистической структуры. Я полагаю, что, снизив наши запросы и поставив более скромную цель — разработать процедуры выбора грамматик,— мы сможем сосредоточить наше внимание на узловых проблемах лингвистической структуры и прийти к более удовлетворительному их решению. Справедливость этого мнения может быть проверена лишь путем фактической разработки и сравнения указанных теорий. Заметим, однако, что слабейшее из этих трех требований является все же достаточно сильным для того, чтобы обеспечить высокую содержательность теории, которая ему удовлетворяет. Нам известно немного таких областей науки, в которых можно было бы серьезно рассматривать возможность разработки общего, практичного, автоматического метода выбора между несколькими теориями, каждая из которых совместима с имеющимися данными.
Рассматривая каждую из указанных концепций лингвистической теории, мы охарактеризовали соответствующие типы процедуры словом «практичная». Эта неопределенная характеристика очень важна для эмпирической науки. Допустим, к примеру, что мы оцениваем грамматики в соответствии с таким простым их свойством, как длина. Тогда было бы правильным сказать, что мы имеем практичную процедуру выбора грамматик, поскольку мы можем сосчитать количество символов, которые каждая из них содержит; абсолютно верным было бы также утверждение, что мы имеем процедуру открытия, поскольку можно расположить все последовательности, состоящие из конечного числа символов, из которых построены грамматики, в порядке возрастания их длины. При этом мы могли бы проверить, является ли каждая из этих последовательностей грамматикой или нет, так, чтобы можно было быть уверенным, что по прошествии некоторого конечного отрезка времени найдется кратчайшая последовательность, которая удовлетворит необходимым требованиям. Однако данная процедура открытия не того типа, который желателен тем, кто пытается удовлетворить наиболее сильное из требований, рассмотренных выше.
Предположим, что мы пользуемся словом «простота» по отношению к совокупности формальных свойств грамматик, рассматриваемых с целью выбора между ними. Тогда перед лингвистической теорией предлагаемого нами типа встают три главные задачи. Во-первых, необходимо сформулировать точно (если возможно — с операционными, поведенческими испытаниями) внешние критерии адекватности грамматик. Во-вторых, мы должны охарактеризовать строение грамматик в общей и явной форме так, чтобы можно было реально предложить грамматики этого типа для конкретных языков. В-третьих, необходимо анализировать и определить понятие простоты, которым мы собираемся пользоваться при выборе между грамматиками, каждая из которых имеет требуемую форму. По выполнении последних двух задач мы в состоянии сформулировать общую теорию лингвистической структуры, в которой такие понятия, как «фонема в L», «группа в L», «трансформация в L», определяются для произвольного языка L в терминах физических и дистрибутивных свойств высказываний L и формальных свойств грамматик L[32]. Например, мы определим множество фонем L как множество элементов, имеющих известные физические и дистрибутивные свойства и выступающих в простейшей из грамматик, предложенных для L. Имея такую теорию, можно попытаться построить грамматики для реальных языков и решить затем, удовлетворяют ли простейшие из грамматик, предлагаемые нами (т. е. грамматики, которые мы обязаны выбрать согласно общей теории), внешним условиям адекватности. Мы должны продолжать пересматривать наши понятия простоты и характеристики форм грамматик до тех пор, пока грамматики, отобранные в соответствии с теорией, не будут удовлетворять внешним условиям[33]. Заметим, что эта теория не может подсказать нам, как реально приступить к построению грамматики данного языка, исходя из всей совокупности высказываний. Однако благодаря ей мы можем решить, как оценить такую грамматику; эта теория должна, таким образом, дать нам возможность выбрать между двумя предложенными грамматиками.