В § 2.1 были упомянуты два типа таких критериев. Ясно, что каждая грамматика обязана удовлетворять определенным внешним условиям адекватности; так, например, порождаемые ею предложения должны быть приемлемы для природного носителя языка. В § 8 мы рассмотрим некоторые другие внешние условия этого рода. Кроме того, мы предъявляем к грамматикам требование общности; мы требуем, чтобы грамматика данного языка была построена в соответствии с определенной теорией лингвистической структуры, в которой такие понятия, как «фонема» и «группа», определяются вне зависимости от всякого конкретного языка[29]. Если опустить либо внешние условия, либо требование общности, у нас не будет оснований для выбора среди большого числа совершенно различных «грамматик», каждая из которых совместима с данной совокупностью наблюденных высказываний. Но, как мы заметили в § 2.1, эти требования в своей совокупности представляют весьма сильный критерий адекватности для общей теории лингвистической структуры, а также для множества грамматик, которые созданы на ее основе для конкретных языков. Заметим, что ни общая теория, ни конкретные грамматики не фиксированы с этой точки зрения раз навсегда. Прогресс и пересмотр могут осуществляться в силу открытия новых фактов, касающихся конкретных языков, или чисто теоретического проникновения в организацию языковых данных, т. е. построения новых моделей лингвистической структуры. В этой концепции, однако, нет круга. В любой момент времени мы можем попытаться сформулировать со всей возможной точностью как общую теорию, так и множество связанных с ней грамматик, которые обязаны удовлетворять эмпирическим, внешним условиям адекватности.
Мы не рассмотрели еще следующего весьма решающего вопроса: каково отношение между общей теорией и конкретными грамматиками, вытекающими из нее? Другими словами, какой смысл мы вкладываем в данном контексте в понятие «вытекать из»? Именно в этом пункте наш подход резко расходится со многими теориями лингвистической структуры.
Наиболее сильное требование, которое можно было бы предъявить к соотношению между теорией лингвистической структуры и конкретными грамматиками, состоит в том, чтобы теория, исходя из определенной совокупности высказываний, давала практичный и автоматический метод конструирования грамматики. Будем говорить, что такая теория предоставляет нам процедуру для открытия грамматик.
Более слабое требование заключается в том, чтобы теория давала практичный и автоматический метод для определения того, является ли грамматика, предлагаемая для данной совокупности высказываний, действительно наилучшей грамматикой для того языка, из которого взята данная совокупность. О такой теории, не затрагивающей вопроса о том, как строится грамматика, надо говорить как о теории, предоставляющей процедуру суждения о грамматике.
Еще более слабое требование сводится к тому, чтобы, имея совокупность высказываний и две предлагаемые грамматики G1 и G2, мы могли с их помощью решить, какая из грамматик лучше для языка, из которого выделена данная совокупность высказываний. В этом случае следует говорить, что теория дает нам процедуру выбора грамматик.
Все эти теории можно представить графически следующим образом:
(36).
На рис. (36 I) представлена теория, понимаемая как машина, получающая совокупность высказываний на входе и выдающая на выходе грамматику, т. е. теория, дающая процедуру открытия. На рис. (36 II) показан механизм с грамматикой и совокупностью высказываний в качестве входов и ответами «да» и «нет» в качестве выходов, означающими правильность или неправильность грамматики; следовательно, это теория, дающая процедуру суждения о грамматике. Рис. (36 III) представляет теорию с грамматиками G1 и G2, а также всей совокупностью высказываний на входе и решением о предпочтительности G1 или G2 на выходе, т. е. теорию, дающую процедуру выбора грамматик[30].