1 基本概念
1.1 定义
元语言是用来描述、分析或讨论语言本身的语言或符号系统。它的核心特征不在于直接陈述外部世界的事实，而在于对“语言如何表达意义、如何构成规则、如何被使用”进行说明。元语言既可以是自然语言中的解释性表达，也可以是逻辑符号、语法术语、程序注释等更形式化的系统。
在实际使用中，元语言并不总是与普通语言截然分开。人们在解释词义、纠正语法、讨论表达效果时，常常会在同一段话中交替使用对象语言和元语言，使二者形成连续的转换关系。
1.2 词源与名称来源
“元语言”中的“元”表示“关于……的”“超越并指向其自身层次的”。这一名称强调它不是直接用于描述对象，而是用于描述描述本身。英语中的对应概念通常写作 metalanguage，由 meta- 与 language 组合而成，意在表明它是语言之上的说明层。
在不同学科传统中，这一术语的外延略有差异，但基本含义始终围绕“对语言进行说明的语言”展开。随着语言学、逻辑学和计算机科学的发展，元语言逐渐成为跨学科通用概念。
1.3 与对象语言的区别
对象语言是被讨论、被分析的语言系统本身，元语言则是用来谈论这个系统的工具。比如，当人们说明某个词的词性、句子的结构或符号的含义时，所使用的解释框架通常就属于元语言；而被解释的词句则属于对象语言。
二者的区别主要体现在功能上：对象语言负责表达信息，元语言负责说明表达规则或分析表达结果。在较复杂的文本中，同一句话可能同时含有对象语言成分和元语言成分，这使得二者的边界有时并不绝对清晰。
1.4 元语言的层级关系
元语言与对象语言之间往往存在层级结构。较低层级的语言用于陈述具体内容，较高层级的语言用于解释前一层级的形式、意义或规则。若继续向上推进，还可能出现更高阶的“关于语言说明的说明”，形成多层嵌套关系。
这种层级关系在形式逻辑、数学基础研究和编程语言设计中尤为明显。通过分层处理，研究者能够减少歧义，并更精确地区分“说什么”和“如何说”。
2 类型与表现形式
2.1 自然语言元语言
自然语言元语言是以日常语言为材料，对语言现象进行解释和描述的方式。它最常见于教学、辞典、语法书、评论文章以及日常沟通中的纠错和澄清。
2.1.1 日常说明性用法
在日常对话中，人们经常会用元语言表达来解释某个词的意思、修正前一句话，或提醒对方注意说法本身。例如“这里我不是那个意思”“这个词更准确地说应该……”。这类表达通常并不复杂，却能有效降低误解。
日常元语言还常以补充说明、插入语或重复改述的形式出现。说话者借助这些方式，把语言本身作为讨论对象，从而让交流更清楚、更可协商。
2.1.2 语法解释中的元语言
语法教学中常使用大量元语言词汇，如“名词”“谓语”“时态”“主语”等。这些词并不直接指称外部事物，而是用来标示语言结构和语法功能。
通过元语言，语法规则可以被概括成相对稳定的表述，例如“某类动词后常接某种宾语结构”。这种说明方式便于归纳规律，也便于不同学习者共享同一套分析框架。
2.2 形式语言元语言
形式语言元语言指用于描述逻辑系统、数学符号系统或程序语言规则的高层语言。它通常具备更严格的符号约束，强调可定义性、一致性和可验证性。
2.2.1 逻辑中的元语言
在逻辑学中，元语言用于说明形式系统的语法、推理规则和语义解释。比如，一个逻辑系统内部的公式如何构成、哪些推理步骤有效，往往需要借助系统外部的元语言来陈述。
这种分层有助于区分“系统内可证明的命题”与“系统外对该系统的说明”。也正因为如此，逻辑研究中经常需要在对象系统与元层系统之间切换。
2.2.2 数学符号系统中的元语言
数学中也需要元语言来解释符号的使用方式、定义格式和证明结构。例如，定理陈述、证明步骤、集合符号和函数记号，通常都依赖某种更高层的说明规范。
在形式化数学中，元语言帮助研究者规定哪些符号可用、哪些表达有效，以及如何把一个数学概念准确地转写为形式陈述。
2.3 混合型元语言
混合型元语言是自然语言与形式表达相结合的说明方式。它既保留人类语言的可读性，又吸收形式系统的精确性，因而在学术写作和技术文档中非常常见。
2.3.1 学术写作中的说明语言
学术文章常使用“以下定义”“如上所述”“记为”“设……为”等表达来组织内容。这些语句本身并不是结论，而是对论述方式、术语使用和结构安排的说明，属于典型的混合型元语言。
此类语言的作用在于帮助读者理解文本内部的组织关系，并明确作者接下来要采用的表述规则。
2.3.2 术语表与注释系统
术语表、脚注、边注和索引都带有明显的元语言性质。它们不是正文叙述的一部分，而是对正文术语、缩写、典故或专名进行解释和定位的辅助系统。
这些装置可以显著提升文本的可读性，也有助于统一术语用法，避免同一概念在不同章节中被随意变换名称。
3 语言学中的元语言
3.1 语音层面的元语言
语音层面的元语言主要用于说明语音单位、发音方式和语音变化。它把声音本身变成可分析对象，从而建立起更细致的描述体系。
3.1.1 音标与发音说明
国际音标及类似记音系统属于典型的语音元语言工具。它们用于把口语中的声音转换为可书写、可比较的符号，以便记录发音差异。
在教学和研究中，音标常与发音部位、发音方法等说明共同使用，使读者能够从元语言层面理解声音如何形成。
3.1.2 语音现象的描述
连读、弱读、同化、变调等现象通常需要依靠元语言来解释。研究者会说明某个音在特定环境下为什么发生变化，以及这种变化对理解和表达会产生何种影响。
这种描述不仅有助于语音学分析，也帮助学习者在实际听说中识别规则，而不是把现象当作零散例外。
3.2 词汇层面的元语言
词汇层面的元语言关注词语本身的意义、类别和使用条件。它是词典、词汇学和语言教学中最常见的说明层次之一。
3.2.1 词义解释
词义解释是元语言最直观的功能之一。通过“指的是”“表示”“通常用于”等表达，可以把一个词的含义拆解为较易理解的说明。
这种解释往往还会涉及语境限制、搭配习惯和感情色彩。也就是说，元语言并不只回答“这个词是什么意思”，还会进一步说明“在什么情况下怎么用更合适”。
3.2.2 词性标注
词性标注是将词语归入名词、动词、形容词等类别的做法。它属于对语言单位进行分类的元语言操作，目的在于揭示词在句法中的功能差异。
在词典、语法教材和语料库标注中，词性标注是基础步骤之一。它让词汇不再只是孤立条目，而是进入一个可分析的系统。
3.3 句法层面的元语言
句法层面的元语言用于说明词语如何组合成短语和句子，以及这些组合为何成立。它特别强调结构关系和成分位置。
3.3.1 句法规则说明
句法规则说明通常会概括某类语言现象的生成方式，例如词序、搭配限制、句法转换或从句关系。这样的说明使语言结构具备可归纳性，而不只是依赖直觉记忆。
在教学中，句法规则常以示意图、结构公式或规则列表呈现，这些都属于元语言的不同表达形式。
3.3.2 例句与结构分析
例句不仅用来展示正确用法，也常被用作分析模板。通过对例句进行成分划分、层次标注和变换比较，研究者可以说明某种结构是如何组织起来的。
结构分析把“句子看起来是什么”转化为“句子为什么这样构成”，这正是元语言分析的典型路径。
3.4 语用层面的元语言
语用层面的元语言关注说话者如何在交际中解释自己的话、修补表达，或提示对方如何理解当前语境。
3.4.1 话语中的自我解释
说话者有时会在句中加入解释性语句，说明自己真正想表达的内容。这类自我解释可以减少歧义，也能帮助对话双方调整理解方向。
例如，当一个人发现自己的表述可能被误读时，常会补一句“我的意思是……”或“更准确地说……”。这类话语就是典型的语用元语言。
3.4.2 交际中的澄清与修正
澄清、改口、补充和修正都具有明显的元语言属性。它们不直接推进信息内容，而是修整信息的传递方式，确保交际顺畅。
在面对面交流、访谈和课堂互动中，这类元语言行为尤其常见，既体现说话者的即时反应，也体现对语义边界的敏感。
4 功能与作用
4.1 描述功能
元语言最基本的作用是描述语言现象。它能够把抽象的规则、隐含的结构和模糊的表达转化为可见、可讨论的对象。
通过描述功能，语言不再只是传递信息的媒介，也成为可以被系统观察和整理的研究材料。
4.2 解释功能
元语言不仅“说出是什么”，还常常进一步解释“为什么如此”。它会说明某种表达在语法上是否成立、在语义上是否恰当、在语境中是否得体。
这种解释功能对于语言教学、辞书编写和学术论证都十分重要，因为它使抽象规则具有可理解的依据。
4.3 教学功能
元语言在教学中的作用尤为突出。它提供了一套用来讲解语言的共同术语，帮助教师与学习者围绕同一对象进行讨论。
4.3.1 语言学习中的辅助作用
学习者通过元语言可以更快掌握语法概念、词汇分类和表达规范。相较于单纯模仿，带有解释的学习更容易形成稳定知识。
不过，元语言也需要控制使用程度。若术语过多、层级过深，反而可能增加理解负担，因此教学中常强调简明和适量。
4.3.2 词典编纂中的应用
词典编纂依赖大量元语言来定义词条、标注语法信息、说明用法差异。词条释义本身就是一套高度凝练的元语言文本。
不同类型词典会采用不同的说明风格：有的偏向规范，有的偏向描写，有的则兼顾例证与语境提示。
4.4 分析功能
元语言为分析语言内部结构提供了必要工具。没有元语言，许多语言现象只能被直观感受，而难以被系统讨论。
4.4.1 语言结构分析
无论是音系、词汇还是句法分析，都需要把对象语言切分为可比较的单位，再用元语言解释这些单位之间的关系。这样才能形成可复核的分析结果。
结构分析不仅用于“找规律”，也用于“分辨差异”。同一表面形式在不同语境下可能具有不同结构解释，而元语言正是识别这种差异的重要手段。
4.4.2 元语言反思
元语言反思指对自己正在使用的语言和分析框架进行再审视。它关注术语是否准确、定义是否清楚、分类是否合理。
这种反思有助于避免把习惯当作规则，也能提醒研究者注意分析体系本身的局限。
5 相关理论
5.1 语言学中的元语言意识
元语言意识是指说话者对语言形式及其使用规则的自觉程度。具有较强元语言意识的人，往往更容易注意到词语搭配、句式差异和表达风格。
这一能力在双语者、语言学习者和编辑工作者中较为常见。它不仅影响语言分析，也影响对修辞效果和表达精确度的判断。
5.2 元语言与元语用
元语用关注的是“如何使用语言来讨论语言使用”。它与元语言关系密切，但更强调交际策略、言语行为和语境中的调节作用。
简言之，元语言偏重说明和分析，元语用偏重在具体交流中如何借助说明性表达完成澄清、修正或引导理解。
5.3 元语言与元符号
元符号可以理解为对符号系统本身进行说明或指示的符号。它与元语言在功能上相近，尤其在形式系统中，两者都承担“对表示方式进行解释”的任务。
不过，元符号更强调符号层面的上位标记，而元语言则更强调语言层面的说明结构。二者在许多场景中会交叉出现。
5.4 元语言与自指问题
元语言研究常会触及自指问题，即语言系统能否、以及如何谈论自身。自指现象既可能带来表达上的巧妙，也可能引出逻辑上的复杂性。
在形式系统中，自指需要谨慎处理，以避免定义循环或层级混乱；在自然语言中，自指则常常表现为反讽、双关或元评论等现象。
6 跨学科应用
6.1 逻辑学中的元语言
逻辑学中的元语言主要用于陈述公式的构成规则、推理原则及模型解释。它使研究者能够在系统外部审视系统内部的有效性与一致性。
逻辑元语言通常具有高度抽象性，适合描述公理体系、证明步骤和语义结构，是形式研究的重要基础。
6.2 计算机科学中的元语言
在计算机科学中，元语言广泛存在于编译原理、程序设计语言理论和文档系统中。它帮助人们定义程序结构，也帮助机器识别代码模式。
6.2.1 编程语言的语法描述
编程语言的语法通常借助元语言来定义，例如说明标识符如何构成、表达式如何组合、语句如何嵌套。没有这种说明，编译器和程序员都难以共享同一套规则。
这类描述往往要求明确、无歧义，并尽量排除口语式模糊性，因此常采用较严格的形式化表达。
6.2.2 形式文法与规则表示
形式文法是描述语言生成规则的重要元语言工具。它通过产生式、非终结符和终结符等概念，把复杂结构拆解为可计算的规则集合。
规则表示不仅用于编程语言，也用于协议设计、文本分析和自动处理系统，是连接语言描述与算法实现的关键环节。
6.3 语言教学中的元语言
语言教学中，元语言是教师说明语言规则、学习者建立知识框架的重要媒介。它把“会说”与“会解释”联系起来。
6.3.1 语法讲解
语法讲解通常离不开元语言术语。教师借助这些术语说明句子结构、时态变化、搭配限制和用法差异，使学习者形成较稳定的理解。
好的语法讲解往往既准确又不过度技术化，以免术语堆叠影响学习效果。
6.3.2 第二语言习得中的作用
在第二语言习得中，元语言有助于学习者建立显性规则意识。通过了解语言背后的结构，学习者可以更快识别错误并进行自我修正。
同时，元语言也会受到熟练度影响。初学者可能更依赖例子和模仿，而中高级学习者则更容易借助元语言进行系统整理。
7 典型现象
7.1 元语言表达
元语言表达通常出现在解释、转述、修正和总结之中。它们往往带有明确的指示作用，提醒听者注意当前话语是在谈论语言本身。
7.1.1 “也就是说”式表达
“也就是说”常用于把前文内容重新组织为更清楚的说法。它并不增加新的事实信息，而是对已有内容进行再表述，属于典型的元语言连接方式。
这类表达在书面语和口语中都很常见，尤其适合用于总结、归纳和纠错。
7.1.2 “换句话说”式表达
“换句话说”与“也就是说”功能相近，常用来引出同义改述或更简洁的说明。它帮助说话者在不改变核心意思的情况下，重新包装表达形式。
在论述复杂问题时，这种表达能降低理解门槛，使信息更容易被接受。
7.2 元语言标记
元语言标记是提示某段话具有说明性质的形式信号。它们帮助读者快速识别文本中的解释层。
7.2.1 引号的使用
引号可以标示引用、强调、特殊用法或词语本身而非其所指。比如，当一个词被当作对象来讨论时，引号就会产生明显的元语言效果。
不过，引号的功能并不只限于元语言，还可能用于转述、讽刺或保留距离，因此其解释往往依赖上下文。
7.2.2 术语提示语
“所谓”“即”“简称”“以下称为”等提示语常用于引出定义或术语说明。它们是文本组织中非常常见的元语言标记。
这些标记的作用在于把解释段落与正文内容区分开，使读者能够更快进入分析框架。
7.3 元语言幽默
元语言幽默是把语言规则、术语或表达方式本身作为笑点来源的一类语言游戏。它常见于双关、拆解词义和故意错位使用中。
7.3.1 语言游戏
语言游戏通过对词形、语义或语法预期的反转，制造出“懂规则的人才会会心一笑”的效果。其趣味往往来自对语言系统的熟练掌握。
这类幽默既可能出现在日常聊天，也常见于文学、广告和网络文本中。
7.3.2 自指式玩笑
自指式玩笑会把“正在说话这件事”或“这句话本身”纳入笑料。例如，一句话在描述自己时故意制造逻辑绕圈，从而形成轻松的荒诞感。
这种幽默体现了元语言对语言自身的回望，也反映出人们对表达结构的敏感。
8 研究方法
8.1 语料分析
语料分析通过收集真实文本或口语材料，观察元语言表达出现的频率、位置和功能。研究者可以据此归纳不同语境中的元语言使用模式。
这一方法适合考察自然语言中的实际用法，也便于比较不同文体、不同群体之间的差异。
8.2 实验研究
实验研究通常通过控制变量，考察元语言对理解、记忆或判断的影响。例如，研究者可以测试带有解释说明的文本是否更易被学习者掌握。
这类研究有助于把元语言的作用从直觉层面推进到可验证层面，为教学和认知研究提供依据。
8.3 话语分析
话语分析关注元语言在连续语篇中的位置和功能。它不仅看单个句子，还看元语言如何参与组织整个对话、篇章或论证结构。
通过话语分析，可以识别澄清、转折、补充说明和立场调整等现象，从而更全面地理解语言使用。
8.4 认知研究
认知研究关注人们如何理解、生成和加工元语言表达。它涉及注意、记忆、分类和概念化等心理过程。
这一方向尤其重视元语言意识与语言能力之间的关系，探讨人如何在需要时切换到“谈论语言”的思维模式。
9 相关概念
9.1 对象语言
对象语言是元语言所描述或分析的直接对象。二者的区分构成了元语言研究的基本前提。
在很多研究中，对象语言负责呈现内容，而元语言负责解释形式、规则与意义边界。
9.2 语言自指
语言自指指语言单位指向自身或讨论自身的现象。它与元语言密切相关，但并不完全等同，因为自指有时只是局部修辞效果，而未必形成系统性的说明层。
自指可以带来幽默、反思或理论上的复杂性，因此常被视为元语言研究的重要邻近概念。
9.3 元叙述
元叙述是对叙述行为、叙述结构或叙述者立场的说明。它常见于文学评论、叙事分析和文本评述，与元语言共享“对表达方式进行说明”的特征。
不过，元叙述更偏向故事组织和叙事层次，而元语言更广泛地涉及语言系统本身。
9.4 元认知
元认知指对自身认知过程的认识与调节。它与元语言并非同一概念，但二者在学习、反思和自我监控中经常相互关联。
当学习者借助元语言检查自己的理解、修正规则或评估表达时，往往也同时在运用元认知能力。
10 发展与研究历史
10.1 早期语言哲学背景
元语言思想可追溯到早期语言哲学和逻辑传统中对“名称”“命题”“定义”与“论证”的区分。古典哲学家和逻辑学者已意识到，语言不仅用于陈述世界，也能用来反思自身结构。
这一思想为后来更系统的形式化研究奠定了基础，使“语言的语言”成为可分析对象。
10.2 现代语言学中的发展
现代语言学发展之后，元语言逐渐从哲学讨论中的边缘问题，变成语法学、语义学、语用学和语言教学的重要工具。特别是在结构主义与形式化研究推动下，语言描述越来越依赖清晰的术语和层级区分。
此后，元语言又进一步进入词典编纂、话语分析和跨语言比较研究，应用范围不断扩大。
10.3 当代研究趋势
当代研究更强调元语言的多模态特征与跨学科用途。除了传统自然语言说明之外，代码注释、超链接说明、语料标注和机器可读规则也都被纳入讨论范围。
研究重点也从单纯的定义问题扩展到认知机制、教学效果和人机交互等方向，显示出元语言作为“语言之上层”的持续生命力。