Формализация лингвистических описаний

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

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

Субъект > Прямой объект > Непрямой объект > Косвенный объект > Обстоятельство отражает степень ядерности / системного подобия / доступности синтаксическим процессам этих отношений. Наиболее ядерным является субъект, наименее ядерным – обстоятельство. Различные объединения синтаксических отношений таковы, что они распространяются только на непрерывные последовательности в этой иерархии. Так, ядерными отношениями являются субъект и прямой объект, неядерными – косвенный объект и обстоятельство, а непрямой (дативный) объект в разных языках или конструкциях относится либо к ядерным, либо к периферийным отношениям. С точки зрения способности участвовать в синтаксических процессах наиболее естественным отношением является субъект. Так, в языках с глагольным согласованием субъект обязательно является контролером согласования; иными словами, если глагол в языке в принципе согласуется (скажем, в лице или числе) с какими-либо синтаксически связанными с ним членами предложения, то среди последних обязательно окажется субъект. Часто он является и единственным контролером согласования, однако в некоторых языках имеется субъектно-объектное согласование, а иногда контролером согласования является также косвенное дополнение.

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

Формальные средства лингвистического описания могут быть классифицированы по разным основаниям. Так, с точки зрения области применения формализация используется для представления языковых данных, для обеспечения правильной аргументации и для построения правильных языковых выражений (метаязыки описания). С точки зрения используемых средств формализация может быть алгебраической (языковые единицы обозначаются знаками особого алфавита, например, таковы различные типы транскрипции, нотация типов предложения в Академической грамматике), геометрической (языковым сущностям ставятся в соответствие геометрические или топологические объекты – например, кубическое представление фонетических или грамматических оппозиций, различные типы древовидного представления синтаксической структуры), рисуночной (например, диаграммы в когнитивной грамматике Р.Лэнакера), или метаязыковой (в последнем случае в функции формального метаязыка выступает сам естественный язык, см., например, способ нотации смысла языковых выражений в теории А.Вежбицкой средствами специально отобранных и определяемых единиц естественного языка). Формализмы используются не только для более компактного и наглядного представления о языковых феноменах – они могут обладать также и самостоятельной объяснительной силой. Так, синтаксические формализмы 1960-х годов позволили сфомулировать некоторые важные ограничения на порядок слов: представление синтаксической структуры в виде дерева составляющих способствовало обнаружению универсального ограничения на естественный язык, названного В.Ингве гипотезой глубины, а представление в форме дерева зависимостей – обнаружению универсальной тенденции естественного языка к проективности.

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

Аргументация и доказательство составляют важный компонент описательной работы, являясь средством подтверждения его правильности. Доказательство является принятым способом аргументации в математике. Однако попытки перенести математическую технику доказательства в лингвистику ощутимых результатов не дали. Единственная сфера, в которой доказательство может использоваться для подтверждения истинности лингвистических утверждений, – это формальное моделирование. В рамках формальной модели вводятся исходные неопределяемые понятия, из которых по определенным правилам, ограничивающим структуру моделируемых объектов, выводятся все прочие понятия и утверждения, по отношению к которым возможно применение метода доказательства, определяющего, корректно ли осуществлено построение производных объектов. Однако доказать адекватность модели естественному языку формальным логическим путем невозможно, поскольку язык находится вне модели. Поэтому в лингвистике обычно используются более слабые способы подтверждения истинности теории, а именно, различные аргументационные технологии. Аргументация есть признаваемая лингвистическим сообществом система импликаций: 'если истинно X, то истинно Y'. Обычно при этом импликация является не абсолютной, а вероятностной. Так, многие утверждения в порождающей грамматике исходят из истинности тезиса о врожденности языка, который в свою очередь опирается на эмпирическую истинность факта овладения материнским языком за сравнительно короткий срок и при сравнительно малом количестве получаемых ребенком языковых стимулов.

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

4. Лингвистика также заимствует методы у смежных наук, таких как психология, социология, антропология, культурология, история, акустическая физика, математика. Что касается математики, то влияние ее менталитета и методов в последние десятилетия неуклонно растет. Особенно существенно проникновение в лингвистические исследования идей и методов математической логики, статистики, теории вероятностей, теории информации. Тем не менее, идеал математизации лингвистического знания остается недостижимым и даже нередко подвергается сомнению как ценность на основании давней идеи принципиальной несводимости друг другу методологии «наук о природе» и «наук о духе». К тому же некоторые из математических методов, на применение которых в лингвистике поначалу возлагались серьезные надежды (теория нечетких множеств Л.Заде, теория катастроф Р.Тома, грамматики Монтегю), были наукой о языке быстро отвергнуты. Оставила свой след в лингвистической методологии и кибернетика (см. вышеупомянутый метод 'черного ящика'), а также исследования в области искусственного интеллекта и когнитивной науки.

Дата добавления: 2014-01-04