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

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

В. Прогрессивно-дефиниторная аксиоматика фонологического моделирования

1. Задача предлагаемой аксиоматики

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

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

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

Сходство предлагаемой аксиоматики с нормальным типом других аксиоматик

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

Отличие предлагаемой аксиоматики

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

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

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

Классификационная и модельно-порождающая аксиоматика