自然语言（ natural language）人类语言在一定条件下自然形成和使用的口头和书面语言。与人工语言（形式语言）相对。自然语言如汉语、英语、西班牙语、俄语等等。它表现为一些自然形成的语词指号体系，是语词指号和语词意义的统一体。
语词指号是用语词作为传达思想感情手段的指号。它是按定结构方式构成的一组声音（口头语言）或按一定规则排列的笔画序列（书面语言即文字）。语词意义则是语词指号所传达的关于周围世界的某种思想感情。由于自然语言乃是自然形成的语词指号和语词意义的统一体，所以它必然具有指谓性与交际性的特点。
自然语言的指谓性是指语言总是指谓一定的事物或其性质与关系，而这是同自然语言体现和表达思维的职能紧密相连的。自然语言的交际性是指语言能社会地交流关于客观世界的思想以及主观的感情、意志等等，而这是同自然语言的交际职能密切相关的。自然语言的指谓性与交际性是不可分的没有指谓性，语言无所指，就不能表达思想，当然也就不可能发挥其交际作用；没有交际性，语言无所用，就必然失去其存在价值，也就无所谓体现思想感情。
传统逻辑或普通逻辑主要是利用自然语言来研究思维的形式及其规律的。在它所研究的各种逻辑形式（判断形式与推理形式）中，其常项都用自然语言的相应语词来充当，只有变项才用相应的人工语言（符号）来表示；而它对各种思维形式的举例说明般都运用由自然语言所表达的各种概念、判断和推理来进行。较多地运用自然语言，能更紧密地联系日常思维实际，这是传统逻辑或普通逻辑的特点也是它的优点。
然而自然语言的多义性和不精确性也影响和妨碍传统逻辑或普通逻辑研究思维形式的精确性。因而传统逻辑发展到一定阶段，就必然要求人为地制定或规定一套相应的表意符号（其意义是可以解释的）去表示概念、判断、推理的形式及结构，以便用形式化的方法去精确地研究这些形式和结构。这就促成了使用人工语言的数理逻辑的产生。现代西方哲学中的分析哲学强调自然语言的法，并形成日常语言学派和人工语言学派。
元语言（ metalanguage）用来研究和讲述对象语言的语言。与“对象语言”相对。用汉语去研究和讲述英语时，英语是对象语言，汉语就是元语言。在数理逻辑中，被讨论的形式系统或逻辑演算是对象语言，而讨论逻辑演算时使用的语言就是元语言。
对象语言是用来谈论外界对象的性质及其相互关系的语言，它的词汇主要包括指称外界对象的名称以及指称外界对象的性质和关系的谓词，是第一层次的语言。元语言是用来谈论对象语言的语言，它的词汇包括指称对象语言的名称以及指称对象性质的谓词（“真”或“假”），是比对象语言高一个层次的语言。
对语言的这种区分，是由希尔伯特和塔尔斯基等人在建立证明论和解决悖论时提出的。塔尔斯基指出：人们必须记住被分析的语言（对象语言）和在其中进行分析的那种语言（元语言）之间的区别。他还认为，悖论的出现，是由于“语义的封闭性”，要排除这种封闭性，则对象语言不能在自身中讨论它的语句的意义或真假，而必须用元语言来讨论，因而需要有语言的层次。
对象语言和元语言的区分是塔尔斯基真理论的基本出发点，也是卡尔纳普逻辑句法研究的一个出发点。元语言还可以分为语法元语言和语义元语言。在研究语言的形式结构时以及逻辑演算中证明的语法有效性时，使用的是语法元语言而在研究语言的意义或解释时，使用的是语义元语言。
对象语言和元语言的区别是相对的。在一种场合下为元语言者，如果在另一种场合下是作为被讨论的对象，则它便成为对象语言；反之，在一种场合下为对象语言者，如果在另一场合下是作为讨论别的对象语言的语言，则它便成为元语言。讨论元语时使用的语言叫做元元语言。
以上内容来自《英语思维》（石海浪著）课堂学习笔记