Более сложные метаязыки имеют в своей основе грамматику, предполагающую деление семантических единиц на синтаксические катего-и* своего рода «части речи» метаязыка. Любой метаязык для описания Ысла предложения (кроме самых элементарных, типа тех, о которых
276
Раздел III. Семантика предложения и высказывания
мы только что упомянули) содержит (хотя бы имплицитно) по меньшей мере две категории «слов» — предикаты, или функторы, и термы. В языках сетевого типа предикатами можно считать единицы, из которых выходит хотя бы одна стрелка отношений (зависимостей), а термами — единицы, из которых не может выходить ни одна стрелка. Метаязыки, основанные на исчислении предикатов, в дополнение к указанным двум категориям имеют категории кванторов, операторов и связок (см. раздел 2.1.2). Метаязыки, имеющие в основе ту или иную версию категориальной грамматики Айдукевича [АдЗиШуЛсг 1935]3>, имеют две базовых категории, например, имя (я), и пропозицию (р), и множество производных категорий, рекурсивно порождаемых из базовых по следующему правилу:
     — если со,С|,,..,с* — категории, то <со/с),... ,с*> — категория к-местного функтора, который на основе аргументов, относящихся соответственно к категориям С],..., с* строит сложную единицу, относящуюся к категории Со.