|
Соответственно синтаксическим вводятся семантические — базисные и выводные — категории: определяется понятие модели как непустого множества Е («модельной структуры») и /—функции приписывания базисным выражениям соответствующих сущностей из множества Е. Определение модели обусловливает объекты, которые должны соотноситься с базисными выражениями в качестве их семантических значений (values), в качестве их возможных денотаций. Вводя соответствующие синтаксическим семантические операции, получают экспликацию в терминах рассматриваемого подхода понятие истины предложения относительно определенной точки референции и определенной интерпретации, понятие неоднозначности !, логической истинности, логического следования и др. 1 Так, истинность неоднозначного предложения определяется относительно определенного разрешения его неоднозначности посредством представления разных деревьев его анализа; таким образом, истинность определяется для пар, состоящих из предложения 69 d схематизированном виде семантические идеи теории Монтегю можно представить следующим образом. Семантические категории вводятся посредством указания (строго говоря, посредством рекурсивного определения) множества возможных денотаций D соответствующих синтаксических категорий относительно модельной структуры. Каждая из них соотносится с определенной семантической категорией, или типом, по терминологии Монтегю, как типом определенных денотаций. Типы в семантической теории играют роль, аналогичную роли синтаксических категорий в синтаксической теории, причем какой именно тип должен быть приписан данной синтаксической категории — дело интуитивного, дотеоретического понимания языка. Строго говоря, модель языка приписывает семантические значения только базисным выражениям естественного языка. Приписывание определенных значений выводным выражениям осуществляется посредством семантических правил, формулировка которых не является проблематичной, так как они являются семантическим аналогом соответствующих синтаксических правил: для каждого синтаксического правила имеется соответствующее семантическое правило. Так, множество возможных денотаций индивидуальных выражений относительно модельной структуры Е принадлежит типу е сущностей множества Е, т. е. De,E=E, или f(«a»)^E, где «а» — индивидуальное выражение, т. е. функция / соотносит с каждым индивидуальным выражением (например, собственным именем) один и только один элемент Е. Множество возможных денотаций повествовательных предложений относится к типу t и является множеством истинностных значений бинарной логики {0, 1}, т. е. DttE — = {0, 1}; множество денотаций непереходных глаголов (одноместных предикатов — в логической терминологии) относится к типу <е, t>, т. е. D<e!t>=Df\E, или f(«P») — {0, 1}Е, где «Р»— непереходный глагол. Вообще множество денотаций других синтаксических категорий относительно модельной структуры Е определимо рекурсивно и может быть выражено формулой: На, в, e=Dва^, или Doed'x ? ? -xDn,Tjip А, В — синтаксические категории, а под XY, как обычно, понимается множество всех функций — 51 —
|