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

Существенный признак данной аксиоматики

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

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