Без заголовка
У вас там в куче много-много всего. Вот, например, высказывания языка и синтаксис языка -- из языкового описания. Модели и метамодели -- про то же самое, только в заходе моделирования. При ближайшем рассмотрении выясняется, что у "мета" может быть сразу штук шесть разных значений, поэтому "метамодель" может существенно различаться, от того, какое из этих шести отношений у метамодели с моделью.
Вы поднимаете вопросы, на которе в режиме комментов никак не получится отвечать. Тем более что цепляете вы буквально строчку-другую в том, о чем я тут написал, хотя и строчку философски мутную. Я охотно верю, что почти все можно свести к "манипуляциям со знаковыми системами", но я предполагаю в своих текстах много больше различений и не такой большой уровень обобщений. Так, для меня важно различать программирование в малом и большом, моделирование и метамоделирование в малом и большом. Это у меня центральное место, через это место я учитываю живых людей и их коллективную прежде всего деятельность. Ваши же схемы не включают коллективности. Но опять же, эта дискуссия явно выходит за пределы комментариев в ЖЖ.
Чтобы завершить этот философский экскурс: вы предлагаете какую-то свою онтологию, свое описание того, из каких объектов состоит мир, и в каком минимальном наборе понятий его нужно описывать. Я предлагаю свою онтологию, она другая -- раскиданная по многим постингам, но не предъявленная пока. Так что и обсуждать ее еще рановато (разве что на материале предыдущих постингов).