對象語言

對象語言是在套用語言的研究中指一種作為被研究和講述對象的語言。與“元語言”相對。在數理邏輯中，在研究和討論一個形式系統時，我們所處理的是符號和形式語言，而討論這種形式語言時，則還要使用另一種語言。

通常這是兩種不同的語言。被討論的某種特定的人為的語言就是對象語言。而在討論時所使用的語言則叫做元語言或語法語言。例如用漢語來討論命題演算時說，“p—q”是一個合式公式。在這命題演算中使用的符號語言就是對象語言，而討論時使用的漢語就是語法語言或元語言。