Без заголовка

не, логика вроде другими вещами занимается (формальная практически числами-01(..k) и функциями-предикатами, остальная почти филосовствованием). про знаки вроде ближе к семиотикам. через них к лингвистикам. а там и до филологий с журналистиками недалеко. есть ещё нейрофизиология (из которой например очень интересная программистская вещь regexp появилась), меметики разные и далее в политтехнологии и психологии... видимо недооцениваю гениальность своей мысли, что "язык" - категория сопоставимая категории "число". :) интересует предметная область, которая у вас основная (не пишу "системная инженерия", вижу чтото более широкое). мне это очень давно интересно, но немного с другой стороны. если взять например обсуждаемый текст, всё так или иначе завязано на использовании понятия "язык", в каждом абзаце. но сам предмет "язык" абсолютно игнорируется. мне кажется уместным вопрос - "что такое язык?". вопрос "почему один язык эффективнее другого?" более чем рационален. и далее - существуют ли средства создания оптимального языка под любую конкретную задачу? и т.д. все эти "системы" и "модели" погружают в царство хаоса. понятие "язык" единственное имеет на этой глубине смысловую прочность и потенциал значимости/эффективности.