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

Та логика, которая ближе к философии -- это и есть про "язык". А то, что вы пишете, очень близко к проблемам, изучаемым эпистемологией, ибо про "знания" (эпистемы). "Что такое язык" -- это не вопрос, ибо сколько заинтересованных сторон, столько ответов на этот вопрос. "А что вы хотите потом с этим языком делать? В зависимости от этих операций и дадим определение языка, как удобного для этих операций". Системы и модели не погружают в царство хаоса, а выводят из него. Но у каждой системы есть множество описаний (моделей). Каждое описание подразумевает метод описания, включающий язык. Одной из составляющих языка является онтология (подразумеваемое существование объектов и свойств, для которых в языке есть название). Ну, далее опять же философия и логика со всеми остановками. Царских путей "в язык через язык" я как-то не встречал.