1 Мы начинаем наше рассмотрение именно с этой концепции лишь в долях простоты построения изложения: теоретическп и исторически заслуга эксплицитного рассмотрения смысла выражений как функции принадлежит Монтегю. 5 Заказ № 679 Любая функция от индексов к соответствующим экстенсиям базисных категорий называется интенсией. В качестве интенсий выводных синтаксических категорий рассматриваются «композиционные интенсий», образование которых подсказывается соответствующими категориальными индексами синтаксических категорий. Если а, а\, ..., ап базисные или выводные синтаксические категории, интенсией категории (a/ai ... ап) является и-нарная функция от ai-интенсий, ..., ап-интенсий в качестве аргументов к а-интенсии в качестве значения функции. Иными словами, результатом конкатенации {а]а\ ... ап) с интенсией со, а\ с интенсией си ..., ап с интенсией сп является а с интенсией с0 {с\ ... сп). Так, в грамматике Льюиса, где в качестве базисных выступают категории предложения S, имени N и общего существительного С, интенсия прилагательного С/С рассматривается как любая функция от интенсий для С к интенсий для С, т. е. функция, область аргументов и область значений которой состоит из функций от индексов к множествам предметов. Интенсией категории наречия (S/N)/(S/N) является функция от интенсий глагольных фраз к интенсиям глагольных фраз, т. е. функция от функции, которая является функцией от функции, которая является функцией от индексов к предметам, к функции от индексов к истинностным значениям, к функции от функции, которая является функцией от индексов к предметам, к функции от индексов к истинностным значениям (!). Не трудно представить, как громоздок конструкт, представляющий интенсию для наречий, модифицирующих другие наречия, т. е. для категории ((S/N) (S/N)/(S/N)/(S/N)) и т. д. Однако за 'сложностью таких конструктов нельзя не видеть простоты принципов их строения. В этой связи можно провести аналогию с ситуацией, имеющей место при теоретико-множественной реконструкции, или экспликации, понятия действительного числа, интуитивно довольно простого, хотя теоретически описываемого не менее сложно. Смысл в рассматриваемой модели, однако, не всегда тождествен интенсий, ибо возможны различия в смысле, не сопровождаемые различием интенсий. Так, о логических тавтологиях (всегда истинных предложениях) можно сказать, что они имеют одну и ту же интенсию, а именно постоянную функцию, имеющую при любом индексе истинностное значение Истина, но нельзя сказать (исключая тривиальный случай, когда речь идет об одной и той же — 48 —
|