. Пиджин-языки характеризуются крайним упрощением структуры. Развитие их приводит к образованию так называемых «изолирующих структур». Утрачиваются морфологические элементы, различающие числа и падежи в именах, местоимениях и прилагательных, видовременные отношения в глаголах. Это упрощение, однако, не приводит к упрощению коммуникации. Скорее, наоборот, в креольских языках, развившихся из пиджинов, редуцированная грамматика, фонология и лексика с необходимостью несут ту же семантическую нагрузку, что и в «полных» языках за счет совмещения значений. Возрастает, например, роль тона, который начинает нести грамматическую и семантическую нагрузку.
На наш взгляд, процессы пиджинизации в естественных языках сильно напоминают то, что происходит при формализации логики. Стремление использовать максимально простую знаковую систему привело к пиджинизации концептуальной логики. Некоторые принципиально важные концептуальные и семантические различения не нашли своего выражения в знаковой системе языка, что чрезвычайно затрудняет его понимание. Само по себе это было бы совсем не страшно, если бы выражения формальных логических систем использовались только в той области, где существует достоверный контроль над ними со стороны «логической интуиции», т.е. неосознанно интерпретированной концептуальной логики. К сожалению, весьма часто выражения формальных систем используются далеко за пределами логической интуиции. В качестве примера приведем рассмотренное в работе Крипке выражение:
~ □ ((A˄◊~A) ˅ (~A˄◊A))24,
относительно которого автор пишет, что оно «не общезначимо в S>y, но не имеет контрмодели с конечным деревом» [Крипке, 1974, с. 290].
Логическая интуиция, связанная с модальностями «возможно» и «необходимо» вообще развита весьма слабо. Для ее развития необходима значительная работа в области лингвистической семантики и естественно-языковой логики, без этого мы просто не в состоянии приписать смысл подобным выражениям25.
Аксиомы формальных систем являются экспликацией логической интуиции и, вообще говоря, проверять их следует не по их следствиям (получающиеся формулы легко оказываются неинтерпретируемыми, лежащими за пределами логической интуиции), а путем создания концептуальных моделей логики [Ригер, 1980]. В противном случае деятельность по развитию формальных систем начинает приобретать характер «гадания», в которой получающиеся формальным выводом выражения рассматриваются как средство для стимулирования логической интуиции. Семантические модели такого рода деятельности построены в «Описание иной семиотической системы с простым синтаксисом» [Лекомцева, Успенский, 1965]. Заметим, однако, что подобная деятельность имеет весьма слабое отношение к логике. Фактически образуется нечто вроде «сакрального языка»