Метод. Московский ежегодник трудов из обществоведческих дисциплин. Выпуск 4: Поверх методологических границ. Коллектив авторов
В противном случае деятельность по развитию формальных систем начинает приобретать характер «гадания», в которой получающиеся формальным выводом выражения рассматриваются как средство для стимулирования логической интуиции. Семантические модели такого рода деятельности построены в «Описание иной семиотической системы с простым синтаксисом» [Лекомцева, Успенский, 1965]. Заметим, однако, что подобная деятельность имеет весьма слабое отношение к логике. Фактически образуется нечто вроде «сакрального языка»26.
Возникает, однако, вопрос: где собственно искать концептуальные модели и как с ними работать? На наш взгляд, существует два основных источника концептуальных моделей: естественный язык и научные теории.
Заметим, что в некотором смысле можно было бы говорить об одном источнике, ведь научные теории являются некоторым расширением естественного языка, кроме того, как одно, так и другое – средства описания мира. Действительно следует в конечном счете именно мир рассматривать как источник концептуальных моделей. Однако в процессе развития естественного языка огромное количество операционных моделей способов действия, функциональных смыслов оказалось интериоризированным сознанием человека, так сказать, застыло в языке, оказалось его действенной, но неосознанной частью. Такова грамматика языка, таковым являются множество абстрактных понятий, которые мы постоянно употребляем, но эксплицировать точный смысл которых представляется весьма сложной задачей (ср. приведенные выше примеры, связанные с модальностями).
Язык оказывается огромным запасом знаний, аккумулированных в результате интериоризации способов человеческой деятельности. В этом смысле каждый естественный язык является огромной «библиотекой знаний», носителем уникальных логических средств. Именно поэтому такой большой интерес представляет исследование грамматической и логической структур малых языков, на которых иногда говорят всего десятки человек.
Так, например, принципиально новый взгляд на грамматику естественных языков возник в результате изучения языка «лису», имеющего в основе грамматики не отношение «подлежащее» – «сказуемое», а отношение «топик» – «комментарий» [Ли, Томпсон, 1982]. Выше мы видели, что создание формальных логических систем тесно связано с экспликацией логических отношений из естественных языков. Так, предикативность есть по существу превращение в основное логическое отношение грамматического отношения «подлежащее» – «сказуемое». Наличие языков с совершенно иной грамматической структурой наводит на мысль, что использование предикативности в качестве основного отношения логики является далеко не таким естественным, как этого можно было ожидать, изучая, скажем, только индоевропейские языки. В настоящее время исследование логики естественного языка стало хорошо оформившимся научным направлением, которое можно рассмотреть как одно из составных частей логики. Однако извлечение логических
26
Известно, что пиджин-язык вообще легко «сакрализуется». Так, хотя язык ток-писин, распространенный в Папуа – Новой Гвинее, появился всего 50–60 лет назад, уже были записаны мифы, согласно которым этот язык бог-орел принес героям папуасского эпоса.