ПРИМЕНЕНИЕ В ЛИНГВИСТИКЕ ЛОГИКО-МАТЕМАТИЧЕСКИХ МЕТОДОВ
1.
Не подлежит сомнению, что использование в языкознании математических и логических методов в значительной степени было стимулировано задачами прикладной лингвистики. Если и делались попытки приложения этих методов к решению проблем, непосредственно относящихся к области теоретического языкознания, например для разграничения явлений языка и речи \ то в перспективе (хотя, может быть, и не всегда ясной и близкой) имелись в виду все же потребности прикладной лингвистики.
Успех использования этих методов в совершенно новой области с общей точки зрения во многом обусловливается ответом на вопрос о том, в какой мере допустимо отождествление логически правильного языка с естественным языком, или, в другой формулировке, возможно ли сведение второго к первому [1]. Ответ на этот вопрос обычно дается в практической форме — посредством построения статистических, теоретико-информационных, теоретикомножественных, теоретико-вероятностных и других моделей языка, не всегда, впрочем, ориентирующихся на конкретные задачи. При построении подобного рода моделей их авторы нередко исходят из того допущения (очевидного с их точки зрения), что любое приложение формальнологического или MafeMaTH4ecKoro аппарата к лингвистическому описанию и исследованию автоматически способствует их совершенствованию. По этому поводу хорошо сказал Уоррен Плат в своем обзоре работ по математической лингвистике: «Если рассматривать языковые модели как абстрактные системы дискретных элементов, то к ним можно применять различные математические понятия и методы, начиная от элементарной идеи числа и кончая сложными логическими, статистическими и теоретикомножественными операциями. Однако представление о том, что всякое привлечение чисел и математических операций для описания таких систем элементов делает утверждения более «точными» или более «научными», является абсолютно ошибочным.
Нужно прежде всего показать, что новая система, полученная таким образом, является более удовлетворительной моделью, чем исходная система,— либо в том отношении, что она дает возможность формулировать более простые и более общие теоретические утверждения о некоторых аспектах моделируемой области, либо потому, что операции над моделью проливают свет на результаты соответствующих операций в моделируемой области. Одна из самых больших опасностей, связанных с построением математических моделей языка, в особенности количественных, состоит в том, что неразборчивое использование математического аппарата неизбежно приводит к бессмысленным и дезориентирующим результатам. Поэтому необходимо ясно понимать, что предпосылкой обогащения лингвистики с помощью математики является не только знание соответствующих областей математики, но и, кроме того, глубокое понимание сущности лингвистических проблем, на разрешение которых должны быть направлены математические методы» [2].С тем чтобы по возможности избежать указанной Уорреном Платом опасности, необходимо располагать не только чисто эмпирическими попытками ответа на сформулированный выше вопрос, но и стремиться к его общетеоретическому осмыслению. По сути дела вопрос о сводимости естественного языка к той или иной логико-математической его модели или интерпретации есть основной вопрос теории прикладной лингвистики, необходимость создания которой ощущается все более настоятельно. Для решения данного вопроса в первую очередь должна быть рассмотрена природа тех явлений, которые составляют предмет изучения, с одной стороны, логики и математики, а с другой — естественного языка, а затем также возможности тех методов, которые использует каждая из этих наук. Уже из сопоставительного изучения этих моментов окажется возможным сделать некоторые общие выводы. Последние могут быть не бесполезными для всех тех, кому по необходимости приходится проводить свои исследования на пересечении указанных наук.
До известной степени эту цель преследовал и симпозиум «Структура языка и его математические аспекты», проведенный Американским математическим обществом. Избранные работы этого симпозиума и составляют нижеследующий раздел. Но все они, как это явствует и из самого названия симпозиума, затрагивают только отдельные и в ряде случаев весьма частные аспекты интересующей нас проблемы. Хотя в своей совокупности они и создают достаточно аргументированные предпосылки для ответа на поставленный нами вопрос, однако в них все же отсутствует четкое и недвусмысленное формулирование необходимых выводов. Во многом участники симпозиума продолжают линию эмпирических попыток разрешения данного вопроса, отнюдь не навязчиво предлагая свои опыты вниманию лингвистов в надежде, что последние уже сами разберутся в том, насколько предоставленные в их распоряжение гипотезы и решения окажутся пригодными для целей лингвистики.
2.
Как кажется, мы уже располагаем недвусмысленным ответом на наш вопрос. Так, Н. Д. Андреев и Л. Р. Зиндер пишут: «Математическое представление (модель) языков отнюдь не тождественно самому языку» [3]. Эту мысль развивает и автор книги «Модели языка» И. И. Ревзин, который указывает, что результатом моделирования может явиться лишь «более или менее близкая аппроксимация данных конкретной действительности»[4]. Однако сказать так, значит еще ничего не сказать, поскольку остается нераскрытым, почему это так, и следует ли все же обращаться к методу математического и логического моделирования, а если да, то в каких пределах и для какой цели.
Прежде чем приступить к решению этих вопросов, необходимо сначала установить, к каким наукам — индуктивным или дедуктивным — относятся лингвистика, логика и математика. Что касается последних двух наук, то их положение ясно — они, бесспорно, относятся к дедуктивным наукам, которые опираются в своей исследовательской методике на умозаключение. Лингвистику же традиционно определяют как эмпирическую науку, поскольку полагают, что ее главной научной целью является описание фактов.
Это значит, видимо, что лингвистика должна быть отнесена к области индуктивных наук. Это значит также, что, стремясь использовать в лингвистике формальный аппарат логики и математики, пытаются применить в индуктивной науке дедуктивные методы исследования.Впрочем, в последние годы индуктивная природа науки о языке косвенно или прямо стала подвергаться сомнению. В наиболее резкой форме это сделал Л. Ельмслев. Правда, используемая им терминология весьма сбивчива и, в частности, характеризуется своеобразным и очень личным пониманием терминов дедукция и индукция (фактически он истолковывает их в обратном смысле). Однако основы его лингвистической теории не оставляют никаких сомнений относительно ее методологической сущности. Так, он считает допустимым использование любых исходных операционных определений, что характерно для дедуктивных наук. И сам он в следующих выражениях характеризует свою теорию: t