Базисные структуры преобразуются в поверхностные структуры посредством ряда формальных синтаксических .операций — «базисных правил» и «правил трансформации» 'в грамматике Льюиса, «правил элиминации логической 1 Строго говоря, имеется разница в определении категориального языка у разных исследователей. Например, Монтегю определяет его алгебраически, Льюис — в терминах грамматики «фразо-ввдх структур», Крессвелл — в теоретико-множественных терминах. Вообще «категориальная грамматика» рассматривается как «распознающая» грамматика. Речь в ней идет о такой процедуре анализа предложения, которая начинается с лексического уровня и завершается символом предложения. Однако в синтаксической метатеории «распознающие» грамматики формально эквивалентны «порождающим» грамматикам, предполагающим обратную процедуру синтаксического анализа предложения (см. 83). 64
Перейдем к общей характеристике собственно семантического компонента в концепциях референтной семантики естественного языка. 3. СМЫСЛ КАК ФУНКЦИЯ: СЕМАНТИЧЕСКИЕ КОНЦЕПЦИИ Д. ЛЬЮИСА, Р. МОНТЕГЮ, М. КРЕССВЕЛЛА В концепции Д. Льюиса ' (201) смысл рассматривается как конструкт, построенный из элементов, принадлежащих разным онтологическим категориям. Смысл предложения — это то, что определяет его истинностное значение (экстенсию предложения) в различных возможных положениях вещей (возможных мирах), в различное время, в различных местах, для различных носителей языка и т. д. Смысл имени, согласно этой концепции, определяет, какой предмет (экстенсия имени) именуется в различных положениях вещей, в различное время и т. д. К категории предметов относятся как те, которые существуют в действительном мире, так и те, которые могли бы существовать в положениях вещей, отличных от действительного. Смысл общего существительного определяет, к какому множеству (возможных или действительных) предметов (как его экстенсии) оно относится в различных положениях вещей и т. д. Таким образом, смысл в данной концепции — это функция в наиболее общем теоретико-множественном понимании этого слова, при котором область аргументов, как и область значений функции, может состоять из любых сущностей. — 47 —
|