Введение в общую теорию языковых моделей

Не имеет никакого значения то обстоятельство, что грамматисты не в силах изыскивать без конца все более и более дробные, т.е. все более и более тонкие примеры конкретного функционирования грамматической категории в связи с теорией совершенного множества. Тут важно не перечислять все эти тонкие оттенки (фактически они не перечислимы), а важно иметь такую точку зрения на язык, которая заставляла бы исследователя интуитивно воспринимать все эти бесконечные оттенки. Все горе современной школьной описательной грамматики в том и заключается, что она почти всегда оперирует, выражаясь математически, только изолированными точками языковых множеств, и что она тем самым, не приучает нас прислушиваться к бесконечно разнообразному функционированию грамматических категорий в естественных языках.

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

В предыдущем изложении мы говорили главным образом о грамматических категориях и по преимуществу о падежах. Во избежание неправильного подхода читатель должен иметь в виду, что в предыдущем основной темой были отнюдь не грамматические категории, а также и не падежи, но только теория точечных множеств и, в частности, теория окрестности в применении к языковой области вообще. И грамматическая категория и падеж были у нас только иллюстрацией этой совершенно общей теории, причем падежи были выбраны из-за сравнительной легкости и общедоступности их современного анализа. На самом же деле теория точечных множеств имеет универсальное значение для построения всякой вообще теорий языка. Даже и в области грамматических категорий нужно говорить, напр., о спряжении нисколько не меньше, чем о склонении. В области синтаксиса простого и сложного предложения, в области словообразования, в области фонологии, в области лексикологии и лексикографии вся эта проблематика окрестностей находит для себя весьма важное место и требует тщательной разработки. Так, например, в области словоизменения или словообразования вместо того, чтобы базироваться на корневой морфеме и изучать флективные вариации, т.е. говорить о падежах, можно было бы базироваться на приставках, суффиксах или флексиях и, наоборот, говорить о вариациях корневой морфемы при одной и той же приставке, при одном и том же суффиксе или при одной и той же флексии. Тут тоже возникли бы свои окрестности, свои предельные точки, свои приближенные величины, свои структуры и свои модели. Это особенно важно еще и потому, что словоизменительные и словообразовательные показатели далеко не всегда отчетливо различаются между собою в языках и часто выступают одни вместо других. И вообще решительно во всей области языка, где только фиксируется какой-нибудь условно постоянный элемент в окружении его бесконечных вариаций, там уже мы бессознательно оперируем с учением об окрестности, и давно пора эти бессознательные операции традиционной лингвистики превратить в сознательную теорию точечных множеств. Фонема, например, конечно, тоже является предельной точкой для бесконечного приближения к ней ее речевых вариантов, т.н. фонемоидов, или аллофонов. Тем самым учение о точечных множествах находит свое безусловное место и в области фонологии. Итак, теория точечных множеств имеет универсальное значение для науки о языке при условии, конечно, учета всей его коммуникативно-семантической стихии (как это мы делали на примерах с падежами) и при условии принципиального и окончательного отказа от сведения языка на количественные операции, т.е. при отказе от лингвистики, как от чисто математической науки.

9. Понятие семейства

Перейдем теперь к понятию семейства, которое тоже должно получить одно из первых мест в общем языкознании. Изложение этого вопроса дано в указанных выше работах О.С. Кулагиной и И.И. Ревзина. Мы, однако, будем писать понятно и притом именно в целях структурного анализа, а не в целях нагромождения ничего не говорящих математических знаков и значков.