1.2. Модели в лингвистике

В лингвистику понятие модели пришло вместе с математическими методами: Ч. Хоккет в 1954 году и Н. Хомский в 1956 году использовали этот термин применительно к грамматике и понимали под моделью обобщенную и формализованную структуру языка или языковых процессов.

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

По характеру рассматриваемого в моделях объекта Ю.Д. Апресян в работе «Идеи и методы современной структурной лингвистики» выделяет следующие три типа:

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

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

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

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

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

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

Естественный язык может быть языком моделирования, но не подходит для создания формальных моделей. Для такого моделирования часто используется особый класс языков, называемых формальными языками. Это искусственные языки, в которых задаются точные правила построения выражений и их понимания. Смысл и значение знаков формального языка не изменяются в зависимости от каких-либо прагматических обстоятельств (например, от контекста).

Вопросы:

1. Какие типы лингвистических моделей выделяет Ю.Д. Апресян?

2. В чем заключается суть формального подхода в лингвистике?