Файл: Шаумян, С. К. Аппликативная грамматика как семантическая теория естественных языков.pdf

Перейдем к комбинатору W. Допустим, что выражению FXX приписан абстрактный эписемиои z; тогда согласно правилу б) пост­ роения эписемионов, если допустить, что выражение X имеет абст­ рактный эписемион V, то выражение FX должно иметь абстрактный эписемиои Дуг. Отсюда следует, что F должно иметь абстрактный эписемион AvAvz. Таким обіразом, получаем дерево:

Дг;ДvzF ѵХ

Исходя из данного дерева, нетрудно определить абстрактный эписемион, который должен быть приписан комбинатору W. Этот эписемион должен иметь вид: AAvAvzAvz. Действие комбинатора W можно показать на следующем дереве:

z W F X

Рассмотрим комбинатор С*. Если допустить, что выражение Y X имеет дерево

(34)--------W x------- •

то, исходя из этого дерева, комбинатору С* должен быть приписан абстрактный эписемион AAvzAvz.

Действие комбинатора Сф можно показать па следующем дереве:

zC*XY

Комбинатор I должен иметь абстрактный эписемион Azz . Это очевидно, если допустить, что выражению IX приписан абстракт­ ный эписемион z.

Мы рассмотрели на конкретном примере метод приписывания абстрактных семионов комбинаторам. Пользуясь этим методом, чи­ тателю будет нетрудно приписать абстрактные эписемиоиы осталь­ ным комбинаторам.

3. СЕМАНТИЧЕСКИЕ АКСИОМЫ

Перейдем к рассмотрению семантических аксиом и правил, ко­ торые для наглядности будут интерпретироваться преимуществен­ но на материале русского языка. Само собой разумеется, что наш список аксиом и правил является далеко не полным. Мы сосредо­ точим внимание только на аксиомах, определяющих модель ситуа­ ции, как она была представлена в разделе 2 (стр.47—67).

Кэтому добавим, что, вообще говоря, никакой список аксиом

иправил не должен считаться закрытым. Напротив, всякая фор­ мальная система должна служить объектом экспериментирования

77

на эмпирическом материале и в зависимости от результатов этого экспериментирования список семантических аксиом и правил мо­ жет видоизменяться и пополняться.

Рассмотрим семантические аксиомы и их интерпретацию. Для задания аксиом отбираются следующие семиоиы:

1)двухместные реляторы, снабженные падежными индексами;

2)координаторы Сѵ-ц Сѵ2, ..., Сг„, где нижние индексы указы­ вают на количество мест данного координатора;

3)иегатор (оператор отрицапия) N;

4)элементарные термы Т, Т1, Тг, ... ,Т', Т", ...

Тождество и различие верхних индексов у термов указывает на тождество и различие термов.

Аргументами реляторов служат либо термы, либо предложения. Аргументами координаторов являются только предложения. Негатор — одноместный предикат, аргументом которого служит пред­ ложение. Если в качестве аргумента выступает предложение, оно называется погруженным. Предложение, включающее в себя по­ груженное предложение,называется главным предложением. Двух­ местные предикаты-реляторы относятся к одному из следующих четырех эписемионов:

ДаДоф

AßAßß

AaAßß

AßActß

Первый эписемион обозначает категорию предикатов, оба аргу­ мента которых представляют собой термы. Второй — категорию предикатов, оба аргумента которых погруженные предложения. Третий — категорию предикатов, у которых первый аргумент — терм, а второй — предложение. Четвертый, наоборот, в качестве первого аргумента имеет погруженное предложение, а в качестве второго — терм.

У приведенной выше четверки эписемионов общим неизменным элементом является последний символ ß, т. е. значение функции. Аргументы поочередно принимают значение либо а, либо ß. Если чередующиеся аргументы обозначить метасимволом у, то данную группу, состоящую из четырех эписемионов, можно обозначить через AyÄyß (у = a, ß).

Реляторы снабжены падежными индексами, обозначающими роли аргументов. Как аргументы-термы, так и аргументы-предло­ жения могут выступать в роли объектива и аблатива, объектива и пролатива, объектива и локатива. При этом любой падеж из допус­ тимых парных сочетаний может соответствовать либо первому, ли­ бо второму аргументу. Таким образом, в падежных индексах до­ пускаются шесть парных комбинаций падежных символов:

78

Постоянным символом в каждом падежном индексе является сим­ вол о, помимо которого возможен один из следующих символов: а, р , I. Если варьирующиеся падежные символы обозначить метасим­ волом z, то возможные сочетания падежных символов можно свести всего к двум классам oz ж zo {z = а, р, I).

Пользуясь введенными метасимволами у иг, можно представить все используемые в аксиомах реляторы в виде двух классов:

ДуДГР Ног

AyAyßRz0

Приведем теперь полный список семионов-реляторов. Для этого заменим метасимволы у и z соответствующими константами:

Помимо реляторов, в аксиомах используются, как указывалось выше, еще и координаторы и негатор. Координаторы с приписан­ ными им эписемионами имеют следующий вид:

AßAßßCr2

AßAß AßßCi'g

Aß1Aß2 ... Aß" ßCrn

Негатор N принадлежит эписемиону Aßß.

Для обозначения погруженного предложения, вводится мета­ символ S. Назовем схемой аксиом формулу предложения, в кото­ рой один или оба аргумента предиката обозначены метасимволом S.

Рассмотрим, как строится предложение, включающее в себя одно или два погруженных предложения. Покажем построение та­ ких предложений с помощью древовидных диаграмм. Вначале рас­ смотрим предложения, имеющие своим первым аргументом погру­ женное предложение. Построение предложения начинается с по­ строения первого аргумента, т. е. погруженного предложения, за­ тем к погруженному предложению апплицируется двухместный релятор. Полученный в результате этого одноместный предикат апплицируется ко второму аргументу. В качестве примера рас­ смотрим получение предложения.І20а (J?jor 1r 2) Т3, возможные ин­

79

терпретации которого будут рассмотрены в соответствующем раз­ деле. Одна из интерпретаций этого предложения: Матъ заставляет мальчика, чтобы мальчик гулял (буквально: * Матъ каузирует, (чтобы) мальчик был на прогулке). Предикат R oa соответствует связке каузирует, Т3 — матъ. Предикат R i0 соответствует лока­ тивной связке был на Т1— прогулка и Т2— мальчик. Древовидная диаграмма, соответствующая R oa(R i0T1T2) Т3, имеет следующий вид:

m oa ((Rl0TiT*))7*)

Пользуясь правилом опущения скобок, получаем запись R oa (Rio 2'1р2^ рз

Рассмотрим построение предложения, где погруженное пред­ ложение служит вторым аргументом. Построение начинается также с предложения-аргумента. Затем к нему апплицируется одно­ местный предикат, который получается в результате аппликации двухместного релятора к терму. В качестве примера возьмем фор­ мулу RioT1 (R a0T2T3), одна из интерпретаций которой: Я чувствую аромат розы (буквально: *(то, что) аромат идет от розы, локали­ зуется во мне). Предикат R ioинтерпретируется выражением лока­ лизуется в, Т1 — я (точнее мне). Предикат R a0 — идет от, Т2 —

роза и Т3 — аромат. Древовидная диаграмма, соответствующая формуле RioT1 (R a0T2T3), имеет следующий вид:

ß((ÄI07'i) ((RoaT2) Т3))

После снятия скобок получается запись R ^ T 1 (R aoT2T3).

Теперь рассмотрим построение предложения, в котором обоими аргументами предиката служат предложения. Вначале строится первый аргумент, затем второй. К первому аргументу апплициру­ ется двухместный релятор. Полученный одноместный предикат ап­ плицируется ко второму аргументу. В качестве примера рассмот­ рим построение предложения Г2) ( R i0Т3Г4), интерпрети­ руемого, в частности, как Когда мы пришли, он спал (буквально:

*Он был во сне (состоянии сна), когда мы были в прибытии). Первый предикат R i0интерпретируется союзом когда, второй и третий —

разному в зависимости от интерпретации его аргументов. Древо-

80