# 元语言

> 用来描述、分析或讨论另一种语言（对象语言）的语言。

- ID: m05948
- 分类: structure
- 领域: 逻辑学

## 定义

用来描述、分析或讨论另一种语言（对象语言）的语言。例如，语法书是用元语言写的，而被解释的句子是对象语言。脚手架作用： 跳出系统的描述系统。要解决系统内的问题（如代码Bug、沟通误解），必须升级到元语言层面（如Debug工具、沟通协议）。只有在元层面，才能看清对象层面的结构。

## 机制

对象语言是被描述的语言，元语言是描述它的语言，二者层级不同不可混淆（违反即"类型混淆"）。在元层级才能看清对象层级的结构。

## 练习

1) 区分"在系统内说话"与"关于系统说话"；2) 遇 Bug/误解，上升到元语言（如调试器、协议）；3) 用元语言重述问题；4) 在对象层实施修正。

## 脚手架用法

跳出系统的描述系统。要解决系统内的问题（如代码Bug、沟通误解），必须升级到元语言层面（如Debug工具、沟通协议）。只有在元层面，才能看清对象层面的结构。

[阅读网页](https://thinkingmodels.site/entries/detail/m05948)