Timofeeva_M._Yazyk_s_pozitsiy_filosofii_psikhologii_matematiki-1

соотношения психического и физического, ума и мозга (mind brain problem, mind body problem). Психофизическая проблема, как известно, не решена. Имеется несколько конкурирующих подхо дов к ее решению, несколько психофизических гипотез. Для со временной науки наиболее характерно монистическое материали стическое решение, сводящее все состояния сознания к мозговым процессам. Однако такой взгляд не исчерпывает весь спектр реше ний психофизической проблемы, допускаемый современной нау кой.

Это означает, что ни одно направление лингвистики не может претендовать на то, что оно изучает или воспроизводит реальное устройство языка (в частности, что оно строит модель, структур но подобную реальной организации языка в сознании или моз ге). Такие утверждения могут приниматься только на уровне ги потез.

В каком смысле тогда можно говорить, что «лингвистика опи сывает язык»?

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

Цели могут быть разными. В частности такими:

а) описать устройство языка способом, наиболее удобным и привычным для исследовательской работы лингвистов;

б) описать язык способом, позволяющим имитировать на компьютере те или иные его функции.

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

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

Это различие, можно сказать, вездесуще по своим последстви ям (затрагивает все составляющие языка) и, кроме того, требует

110

интенсивных исследований в областях, обойденных вниманием нематематической лингвистики.

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

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

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

Итак, далее будет считаться, что математическая лингвистика —

это теория функциональных прикладных моделей естественных язы( ков. Функциональной моделью некоторого объекта называется

111

другой объект произвольной природы (например, компьютерная программа), поведение которого (в ситуациях рассматриваемого сорта) совпадает с поведением первого объекта. Например, при менительно к функции «ловля мышей» мышеловка является фун кциональной моделью кошки.

Каждое слово предложенного выше определения вводит свое ограничение на область исследований, именуемую здесь матема тической лингвистикой:

—объект исследований ограничивается естественными язы ками. Иначе говоря, здесь не рассматриваются теории дру гих видов языков (например, формальных), проводимые ради них самих (без расчета получить следствия, значимые для естественных языков);

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

Класс моделей ограничен следующими двумя требованиями:

—во первых, это — прикладные модели. Тем самым сюда не включаются теоретические исследования (в области линг вистики или математики), не обладающие, хотя бы в перс пективе, ясной практической значимостью;

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

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

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

112

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

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

По объекту интереса — это лингвистическая дисциплина. По методам и требованиям, предъявляемым к результатам, — это ма тематическая дисциплина.

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

Причем создаваемые таким образом языки должны восприни маться (в пределах выполняемой ими функции) как языки есте ственные.

За этим утверждением кроется важная проблема, также являю щаяся семиотической: надо понять, какие формальные свойства разумно считать специфичными именно для естественных язы ков, и научиться строить новые языки, обладающие такими свой ствами. Иначе говоря, нужно такое точное определение понятия «естественный язык», которое соответствовало бы задаче построе ния функциональных моделей естественного языка15. Нематема тическая лингвистика не только не дает подходящих определений, она не рассматривает данную проблему вообще. Об этом свиде тельствует следующий типичный пример «замкнутого круга», за частую встречающегося в словарях: «Язык — основной объект изу чения языкознания»16; «языкознание — наука о ...языке»17.

15Рассуждение на эту тему и определенный вариант решения содержатся

вкн.: Тимофеева М.К. Естественные и формальные языки: логико философ ский анализ. Новосибирск, 2003.

16Лингвистический энциклопедический словарь. С. 604.

17Там же. С. 618.

113

4.1.3. О некоторых терминах и догмах

Перемены в науке о языке — значи тельные, но подспудные — проявляют ся в том, что терминология усложняет ся, работы становятся все более непо нятными, «...трудно читать сочинения лингвистов, но еще труднее понять, чего они хотят. Какова их цель?»18

Этим замечанием Эмиль Бенвенист точно характеризует сло жившуюся ситуацию. Ясность и определенность рассуждений со ставляет одно из условий успешности дальнейшего развития на уки о языке.

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

Анализ всех встречающихся в литературе трактовок терминов данной дисциплины — самостоятельная задача, в этой работе она не ставится. Данный раздел предназначен для привлечения вни мания к проблеме и демонстрации необходимости аккуратного использования терминов в лингвистических работах. В качестве справочного материала по вопросам терминологии здесь исполь зуются в основном два издания, призванные, в идеале, давать наи более точные и ясные определения: Лингвистический энциклопе дический словарь. М.: Сов. энцикл., 1990; Ахманова О.С. Словарь лингвистических терминов. М.: Сов. энцикл., 1966.

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

18Бенвенист Э. Общая лингвистика. М.: Прогресс, 1974. С. 21.

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

114

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

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

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

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

115

ТЕРМИН «ФОРМАЛЬНЫЙ»

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

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

nВо первых, как апеллирующий к внешней стороне текста (напри мер, к морфологическому или синтаксическому устройству), а не к его содержанию. Так, формальный анализ словоформы «новый» разделит ее на две части: «нов » и « ый». К «формальным» сред ствам выражения категории времени относятся языковые сред ства, используемые для соотнесения содержания высказывания с временной шкалой. В русском языке в такой роли могут выступать, например, окончания глагола, а также слова и словосочетания вро де «сейчас», «в этот момент», «давно» и т.д. Способ осуществления такого формального (в этом смысле данного термина) анализа обычно задается неформально (в математическом смысле того же термина): точный алгоритм его осуществления отсутствует.

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

Далее термин «формальный» будет использоваться только в математическом смысле.

ТЕРМИН «ГРАММАТИКА»

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

116

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

2.Как систематическое (неформальное) описание правил, рег ламентирующих комбинирование и интерпретацию элемен тов (слов, предложений и т.д.) того или иного конкретного языка или же языков вообще. Если лингвист говорит, что он намерен исследовать грамматику английского языка, то, скорее всего, имеется в виду именно такое понимание этого термина. Следует подчеркнуть, что названные две функции, выполняемые грамматическими правилами — управление

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

3.Как раздел языкознания, занимающийся построением и изучением грамматик во втором смысле этого слова.

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

117

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

В нематематической лингвистике принято подразделять прави ла грамматики (во втором из указанных выше смыслов) на два клас са: морфологию и синтаксис. Первые регламентируют построение слов, вторые — построение предложений. Грамматика, конструируе мая в рамках математической лингвистики, может быть одинаково применима и к описанию морфологии, и к описанию синтаксиса. Все опять таки зависит от интерпретации этой грамматики. Более того, если с позиции нематематической лингвистики в каком то языке принято подразделять грамматику на морфологию и синтак сис, то это не основание для того, чтобы поступить так же и при по строении формальной теории этого языка. Здесь в качестве основа ний выступают соображения совсем иного рода — прагматические (качество моделирования определенной функции).

ТЕРМИНЫ «СИНТАКСИС» И «СЕМАНТИКА»

Здесь надо сказать об одном тонком моменте — об основаниях разделения синтаксиса и семантики.

nСинтаксис — «1) характерные для конкретных языков средства и правила создания речевых единиц; 2) раздел грамматики, изучающий процессы порождения речи: сочетаемость и поря док следования слов внутри предложения, а также общие свой ства предложения как автономной единицы языка и высказы вания как части текста»20.

nСемантика — «1) все содержание, информация, передаваемая языком или какой либо его единицей (словом, грамматической формой слова, словосочетанием, предложением); 2) раздел язы кознания, изучающий это содержание, информацию»21.

20Лингвистический энциклопедический словарь. С. 448.

21Там же. С. 438. В словаре указано еще одно, третье, значение данного термина («семантика — один из основных разделов семиотики»), которое здесь оставлено без комментариев.

118

Категории, рассматриваемые в рамках синтаксиса (части речи, время, число, род и т.д.), по своей сути являются семантико синтак сическими. Семантика и синтаксис в первом смысле — некие ре зервуары, из которых разрешается черпать данные, распределяя их между двумя сферами интересов: семантикой и синтаксисом во вто рых смыслах этих слов. Характер такого распределения в большой степени диктуется сложившимися лингвистическими традициями.

Содержание любого языкового выражения, таким образом, принято подразделять на две (или три, если рассматривается еще

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

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

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

ина интерпретацию исследований. Пусть, например, встретилось утверждение: «Граница между синтаксисом и семантикой услов на». Будучи употреблено в рамках нематематической лингвисти ки, это утверждение говорит лишь о том, что семантика и синтак сис не независимы, категории синтаксиса апеллируют к семанти ке и наоборот. Состав каждого из этих двух разделов, по крайней мере в основном, считается уже установленным. Вопрос о том, куда — к синтаксису или к семантике — отнести оставшиеся спор ные или ранее не рассматривавшиеся случаи, решается в свете об щелингвистических соображений. В математической лингвистике это же утверждение должно давать стимул совсем для других раз мышлений: о том, как оптимальным образом выбрать значения

119