Мета-язык и семантические понятия ​

Мета-язык --- это язык, который вводится для описания другого языка. В языке самого нижнего объектного уровня не могут быть сформулированы семантические понятия «истина» и «ложь», --- какие это накладывает ограничения в целом, читайте у А. Тарского в «Семантической теории истины...», а тут нам важна соседняя идея про то, что даже наш естественный язык, на котором мы разговариваем, для того чтобы включать разговоры об истинности высказываний, должен быть разделен на как минимум два, язык объектного уровня и мета-язык, в котором формулируются всякие важные высказывания про язык объектного уровня.

Дальше может быть какой угодно длины цепочка мета-языков, каждый из которых описывает предыдущий. Там все равно сохраняется отношение «мета-язык --- язык объектного уровня», и можно говорить о каких-то языках, что они находятся в таких отношениях друг к другу.

Например, вернемся к цепочке, которую я упомянула в начале главы. У нас есть карта, и есть легенда карты. Описание и легенда, указание, как читать описание. Карта описывает какой-то мир, легенда карты описывает саму карту. Получается: объект --- описание объекта определенным языком --- описание этого языка (тоже определенным языком) --- описание этого языка --- и так до бесконечности.