«СОКРАЩЕНИЕ»

В «квазиарифметической» системе обозначений Бар-Хиллела категориальная классификация элементов типа run может быть выражена в виде «дроби», знаменатель которой обозначает, с какой другой категорией run и т.

лексическая классификация элемента run и т. п. как указывает

на то, что такие элементы, сочетаясь с существительными, образуют предложения. Если дана такая классификация run, то при условии, что John — это (п), мы знаем, что John ran — грамматически правильное предложение. Можно автоматически установить этот факт посредством простого правила «сокращения», аналогич­ного арифметическим правилам сокращения; точно так же, как

. . х 2____ V4

уХ—=х, так и я.—=2 ⁴⁷ у п

(то есть мы «сокращаем» числитель и знаменатель, когда они тож­дественны, и в данном случае остаемся с 2 — символом, указываю­щим, что это выражение является предложением; точка исполь­зуется здесь для изображения линейной конкатенации). Но си­стема должна быть также способна отвергнуть как грамматически

неправильные такие последовательности, как — -п (Ran John).

Мы, таким образом, должны точно указать направление комбина­торной способности элемента — левое или правое. Мы будем обозна­чать его посредством стрелки, присоединенной к горизонтальной

«дробной» линии; таким образом, обозначает элемент, который сочетается с существительным, стоящим слева, образуя предложе­ние, тогда как, скажем, ^ обозначает элемент (например, «прила­гательное» типа poor ‘бедный’, old ‘старый’ и т. п.), который, соче­таясь с существительным, стоящим справа от него, образует имя (или именную группу).

6.3.3.