自然語(yǔ)言（ natural language）人類(lèi)語(yǔ)言在一定條件下自然形成和使用的口頭和書(shū)面語(yǔ)言。與人工語(yǔ)言（形式語(yǔ)言）相對(duì)。自然語(yǔ)言如漢語(yǔ)、英語(yǔ)、西班牙語(yǔ)、俄語(yǔ)等等。它表現(xiàn)為一些自然形成的語(yǔ)詞指號(hào)體系，是語(yǔ)詞指號(hào)和語(yǔ)詞意義的統(tǒng)一體。

語(yǔ)詞指號(hào)是用語(yǔ)詞作為傳達(dá)思想感情手段的指號(hào)。它是按定結(jié)構(gòu)方式構(gòu)成的一組聲音（口頭語(yǔ)言）或按一定規(guī)則排列的筆畫(huà)序列（書(shū)面語(yǔ)言即文字）。語(yǔ)詞意義則是語(yǔ)詞指號(hào)所傳達(dá)的關(guān)于周?chē)澜绲哪撤N思想感情。由于自然語(yǔ)言乃是自然形成的語(yǔ)詞指號(hào)和語(yǔ)詞意義的統(tǒng)一體，所以它必然具有指謂性與交際性的特點(diǎn)。

自然語(yǔ)言的指謂性是指語(yǔ)言總是指謂一定的事物或其性質(zhì)與關(guān)系，而這是同自然語(yǔ)言體現(xiàn)和表達(dá)思維的職能緊密相連的。自然語(yǔ)言的交際性是指語(yǔ)言能社會(huì)地交流關(guān)于客觀世界的思想以及主觀的感情、意志等等，而這是同自然語(yǔ)言的交際職能密切相關(guān)的。自然語(yǔ)言的指謂性與交際性是不可分的沒(méi)有指謂性，語(yǔ)言無(wú)所指，就不能表達(dá)思想，當(dāng)然也就不可能發(fā)揮其交際作用；沒(méi)有交際性，語(yǔ)言無(wú)所用，就必然失去其存在價(jià)值，也就無(wú)所謂體現(xiàn)思想感情。

傳統(tǒng)邏輯或普通邏輯主要是利用自然語(yǔ)言來(lái)研究思維的形式及其規(guī)律的。在它所研究的各種邏輯形式（判斷形式與推理形式）中，其常項(xiàng)都用自然語(yǔ)言的相應(yīng)語(yǔ)詞來(lái)充當(dāng)，只有變項(xiàng)才用相應(yīng)的人工語(yǔ)言（符號(hào)）來(lái)表示；而它對(duì)各種思維形式的舉例說(shuō)明般都運(yùn)用由自然語(yǔ)言所表達(dá)的各種概念、判斷和推理來(lái)進(jìn)行。較多地運(yùn)用自然語(yǔ)言，能更緊密地聯(lián)系日常思維實(shí)際，這是傳統(tǒng)邏輯或普通邏輯的特點(diǎn)也是它的優(yōu)點(diǎn)。

然而自然語(yǔ)言的多義性和不精確性也影響和妨礙傳統(tǒng)邏輯或普通邏輯研究思維形式的精確性。因而傳統(tǒng)邏輯發(fā)展到一定階段，就必然要求人為地制定或規(guī)定一套相應(yīng)的表意符號(hào)（其意義是可以解釋的）去表示概念、判斷、推理的形式及結(jié)構(gòu)，以便用形式化的方法去精確地研究這些形式和結(jié)構(gòu)。這就促成了使用人工語(yǔ)言的數(shù)理邏輯的產(chǎn)生?，F(xiàn)代西方哲學(xué)中的分析哲學(xué)強(qiáng)調(diào)自然語(yǔ)言的法，并形成日常語(yǔ)言學(xué)派和人工語(yǔ)言學(xué)派。

元語(yǔ)言（ metalanguage）用來(lái)研究和講述對(duì)象語(yǔ)言的語(yǔ)言。與“對(duì)象語(yǔ)言”相對(duì)。用漢語(yǔ)去研究和講述英語(yǔ)時(shí)，英語(yǔ)是對(duì)象語(yǔ)言，漢語(yǔ)就是元語(yǔ)言。在數(shù)理邏輯中，被討論的形式系統(tǒng)或邏輯演算是對(duì)象語(yǔ)言，而討論邏輯演算時(shí)使用的語(yǔ)言就是元語(yǔ)言。

對(duì)象語(yǔ)言是用來(lái)談?wù)撏饨鐚?duì)象的性質(zhì)及其相互關(guān)系的語(yǔ)言，它的詞匯主要包括指稱(chēng)外界對(duì)象的名稱(chēng)以及指稱(chēng)外界對(duì)象的性質(zhì)和關(guān)系的謂詞，是第一層次的語(yǔ)言。元語(yǔ)言是用來(lái)談?wù)搶?duì)象語(yǔ)言的語(yǔ)言，它的詞匯包括指稱(chēng)對(duì)象語(yǔ)言的名稱(chēng)以及指稱(chēng)對(duì)象性質(zhì)的謂詞（“真”或“假”），是比對(duì)象語(yǔ)言高一個(gè)層次的語(yǔ)言。

對(duì)語(yǔ)言的這種區(qū)分，是由希爾伯特和塔爾斯基等人在建立證明論和解決悖論時(shí)提出的。塔爾斯基指出：人們必須記住被分析的語(yǔ)言（對(duì)象語(yǔ)言）和在其中進(jìn)行分析的那種語(yǔ)言（元語(yǔ)言）之間的區(qū)別。他還認(rèn)為，悖論的出現(xiàn)，是由于“語(yǔ)義的封閉性”，要排除這種封閉性，則對(duì)象語(yǔ)言不能在自身中討論它的語(yǔ)句的意義或真假，而必須用元語(yǔ)言來(lái)討論，因而需要有語(yǔ)言的層次。

對(duì)象語(yǔ)言和元語(yǔ)言的區(qū)分是塔爾斯基真理論的基本出發(fā)點(diǎn)，也是卡爾納普邏輯句法研究的一個(gè)出發(fā)點(diǎn)。元語(yǔ)言還可以分為語(yǔ)法元語(yǔ)言和語(yǔ)義元語(yǔ)言。在研究語(yǔ)言的形式結(jié)構(gòu)時(shí)以及邏輯演算中證明的語(yǔ)法有效性時(shí)，使用的是語(yǔ)法元語(yǔ)言而在研究語(yǔ)言的意義或解釋時(shí)，使用的是語(yǔ)義元語(yǔ)言。

對(duì)象語(yǔ)言和元語(yǔ)言的區(qū)別是相對(duì)的。在一種場(chǎng)合下為元語(yǔ)言者，如果在另一種場(chǎng)合下是作為被討論的對(duì)象，則它便成為對(duì)象語(yǔ)言；反之，在一種場(chǎng)合下為對(duì)象語(yǔ)言者，如果在另一場(chǎng)合下是作為討論別的對(duì)象語(yǔ)言的語(yǔ)言，則它便成為元語(yǔ)言。討論元語(yǔ)時(shí)使用的語(yǔ)言叫做元元語(yǔ)言。

以上內(nèi)容來(lái)自《英語(yǔ)思維》（石海浪著）課堂學(xué)習(xí)筆記