Метамодель

"При всех успехах в построении искусственных (логических и машинных) языков (типа исчислений математической логики, алгоритмических языков и языков прогораммирования) наука вынуждена (а, согласно теореме Геделя, - математика и ориентированные на нее формализованные дисциплины всегда будут вынуждены) наряду с этими вырожденными знаковыми системами пользоваться и невырожденной - естественным языком. Он остается основным средством интерпретации (в том числе и при воспитании следующих поколений ученых) и для искусственных языков. Это не препятствует тому, что можно строить научные (семиотические) модели любой невырожденной системы; такие модели (например, лингвистические модели естественного языка) являются метамоделями (или "метаязыками"). Любая семиотическая модель литературы или искусства в той степени, в какой она является научной (например, в семиотической поэтике), тем самым становится вырожденной метамоделью, но искусство такой моделью не становится даже когда оно обращается к изображению самого искусства." (См. МОДЕЛЬ 2) [Вяч.Вс.Иванов, XIV, (1981), 20; 14.2.]

Алфавитный указатель