Референтная теория в отличие от трансформационной-генеративной теории является теорией синтаксиса и семантики любых языков как интерпретируемых систем знаков. Критерий формальной строгости, элегантности зачастую преобладает в ней над критерием психологической достоверности. Так, для Монтегю синтаксис, семантика и прагматика естественного языка являются областями, относящимися не к психологии, а к математике, поэтому полагается совершенно естественным изучение языка посредством тех же методик, которые используются в математике при анализе формальных языков. При таком подходе, однако, не отвергается роль интуиции: аналогично тому, как, например, в геометрической теории используется определенная интуиция относительно точек и линий, при построении лингвистической теории обоснованна ссылка на интуицию носителей языка о его выражениях. Такая ссылка, однако, не предполагает согласия рассматриваемых интуиции. При референтном подходе, как правило, строится некоторый формальный язык (или иерархия формальных языков в качестве постепенно усложняемых и приближающихся к реалиям естественного языка его формальных моделей) как фрагмент естественного языка, интерпретируемый в терминах семантики некоторого (формального) языка интенсиональной логики. Или же строится некоторый формальный язык (например, язык временной интенсиональной логики), дается семантика этого языка, а естественный язык интерпретируется опосредованно — путем указания определенной процедуры (правил) перевода 63 фрагмента естественного языка на формальный язык. При этом выбирается достаточно богатый, представительный фрагмент этого языка в том отношении, чтобы он, например, содержал квантификацию в экстенсиональном и интенсиональном контекстах, референцию посредством собственных имен и определенных дескрипций, неоднозначные языковые выражения и др. Увеличение степени адекватности формальной модели естественного языка, внесение в нее характеристик, во все большей степени охватывающих реалии этого языка, рассматриваются как то, что принципиально достижимо путем дальнейшей разработки концептуального и технического аппарата модели. Базисная синтаксическая абстрактная структура выражений рассматриваемых фрагментов естественного языка, как правило, задается в терминах «категориальной грамматики» в духе идей К. Айдукевича ' (см. 74). Синтаксическая категория выражения считается базисной либо выводной (производной, составной) и определяется тем, какое новое выражение оно образует, вступая в комбинацию с другими выражениями естественного языка. Так, если а, а\, ..., ап являются любыми (базисными или выводными) категориями, то (a/ai...an) является выводной категорией. Таким образом, вид категориального символа показывает, с выражением какой категории сочетается рассматриваемое выражение и к какой категории оно принадлежит. Так, а/й1 означает, что речь идет о выражении, которое принимает выражение категории а\ и дает выражение категории а. Множество выводных категорий, очевидно, является бесконечным. — 46 —
|