Понятие формальной лингвистической модели. Свойства формальной лингвистической модели

Формальные модели

Понятие формальной лингвистической модели. Свойства формальной лингвистической модели.

Модель (термин пришел из естественных наук) – приближённое описание какого-либо класса явлений внешнего мира, выраженное с помощью математической символики.

Модель – искусственно созданное устройство (реальное или мыслимое) имитирующее своим поведением (обычно в упрощенном виде) поведение какого-либо другого настоящего устройства (оригинала) в лингвистических целях.

Свойства формальной модели

1. абстрактность (только самые важные свойства)

2. идеализированность

3. формализированность (все ее компоненты, объекты, отношения задаются явно и однозначно)

4. экспланаторность (объяснительность)

5. эвристичность (помогает открывать что-то новое)

Моделирование в теоретической лингвистике в своих существенных чертах соответствует идее моделирования в естественнонаучной сфере.

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

В теоретической лингвистике часто используются следующие типы моделей:

• компонентные модели или модели структуры (из чего сделан X);

• предсказывающие модели (предсказать поведение X в тех или иных обстоятельствах);

• имитирующие модели (внешне вести себя как X);

• диахронические модели (как и почему меняется X с течением времени).

Свою задачу мы видим в том, чтобы указать основные признаки, по которым классифицируются модели, и кратко охарактеризовать особенности тех или иных классов.

Начнем с описания моделей, отличающихся друг от друга по характеру рассматриваемого в них объекта. С этой точки зрения можно различать три типа моделей:

1) Модели, в которых в качестве объекта выступают конкретные языковые процессы и явления. Эти модели имитируют речевую деятельность человека. Первый серьезный шаг в их разработке был сделан пражскими структуралистами.

2) Модели, в которых в качестве объекта рассматриваются процедуры, ведущие ученого к обнаружению того или иного языкового явления. Эти модели в некоторой мере имитируют исследовательскую деятельность лингвиста; они именуются ниже моделями исследования. Первый серьезный шаг в их разработке был сделан американскими дескриптивистами, пытавшимися создать универсальные алгоритмы открытия грамматик естественных языков.

3) Модели, в которых в качестве объекта рассматриваются уже готовые лингвистические описания, а не речевая деятельность человека или исследовательская деятельность лингвиста. Если обычная грамматика является теорией конкретных языковых процессов, то модель третьего типа является теорией теории, или метатеорией. Первый серьезный шаг в разработке моделей третьего типа был сделан глоссе-матиками.

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

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

Модели в языкознании, используются в структурной лингвистике при описании языка и его отдельных аспектов (фонологических, грамматических, лексических и других систем) для уточнения лингвистических понятий и связей между ними, что помогает выявить структуры, лежащие в основе бесконечного разнообразия языковых явлений (Модели (в языкознании) иногда называют сами эти структуры). В зависимости от области применения Модели (в языкознании) делятся на фонологические, морфологические, синтаксические, семантические. При построении Модели (в языкознании) используются средства и методы математической лингвистики. В любой Модели (в языкознании) фиксируются: объекты, соответствующие данным непосредственного наблюдения, — множества звуков, слов, предложений; объекты, конструируемые исследователем для описания («конструкты»), — заранее заданные строго ограниченные наборы категорий, признаков, элементарных смысловых структур и т. п.

Если исходный материал («вход») при исследовании — звуки, слова, предложения, а результат («выход») — категории и смысловые структуры, то Модели (в языкознании) называют аналитической. Такова Модели (в языкознании) категории рода, дающая однозначное решение спорных вопросов. Эта Модели (в языкознании) даёт возможность не только однозначно решать спорные вопросы, но и сопоставить категорию рода с категорией части речи (род оказывается «вложенным» в часть речи); установить, какие категории других частей речи устроены изоморфно (аналогично) с родом существительного (например, категория глагольного управления); сравнить категорию рода в русском и других индоевропейских языках с категорией грамматического класса, например в языках банту. Т. о., аналитические Модели (в языкознании) находят применение в типологии языков.

Если исходный материал — категории и элементарные смысловые структуры, а «выход» — некоторые формальные построения, то Модели (в языкознании) называется синтетической, или порождающей (такие Модели (в языкознании) называют также порождающими грамматиками). Порождающая Модели (в языкознании) воплощает в себе некоторую гипотезу о внутреннем (недоступном прямому наблюдению) строении языка, которая затем проверяется путём сравнения множества выводимых в Модели (в языкознании) объектов с реальными языковыми фактами. Это позволяет классифицировать и оценивать Модели (в языкознании) по степени соответствия фактам языка и по степени раскрытия интуитивно ощущаемых закономерностей языка («объяснительной силе»). Т. к. каждая Модели (в языкознании) описывает не весь язык, а некоторую его область или даже отдельную категорию, то точное описание языка предполагает одновременное использование разных Модели (в языкознании), относящихся как к одной области языка (например, несколько дополняющих друг друга Модели (в языкознании) категорий части речи, падежа, рода), так и к разным областям.