Как нам определить, является ли предложение (4) теоремой системы «Глубинная»? Во-первых, мы должны просмотреть его и, опираясь на наши интуиции, определить, как слова в нем объединяются в первичные группы и какой, следовательно, будет его структура дерева. Например, мы можем отметить, что слово
Наши интуитивные знания, представленные в виде дерева, содержат несколько любопытных моментов. Например, мы видим на рисунке составляющую, в которую входят предлог «by», Det и N, и вместе они исчерпывающе образуют узел NP. Это доказывает, что система «Глубинная» только частично отвечает на вопрос о принадлежности к множеству. Каким образом доказывает? Проверим в системе «Глубинная» правила, которые определяют, какие составляющие исчерпывающе входят в узел NP, то есть правило вывода б. Поскольку в данной системе нет правила вывода, обусловливающего возможность замещения NP на by+Det+N, мы видим, что в ней невозможен вывод (а следовательно, и доказанная теорема), в котором узел NP непосредственно включал бы элемент «by». Чтобы могла появиться подобная конфигурация, для нее должно быть соответствующее правило формирования. И, таким образом, мы можем заключить, что нашлась как минимум одна правильная последовательность слов, не учтенная системой «Глубинная». Но прежде чем мы попытаемся добавить сюда другую систему или дополнительные правила вывода, мы хотели бы поговорить об интуитивных представлениях, связанных с синонимией.
Синонимия
Проверьте ваши интуитивные представления поводу отношений, связывающих предложения (1) и (4):