对象语言是在应用语言的研究中指一种作为被研究和讲述对象的语言。与“元语言”相对。在数理逻辑中，在研究和讨论一个形式系统时，我们所处理的是符号和形式语言，而讨论这种形式语言时，则还要使用另一种语言。通常这是两种不同的语言。被讨论的某种特定的人为的语言就是对象语言(object-language)。而在讨论时所使用的语言则叫做元语言(meta-language)或语法语言。例如用汉语来讨论命题演算时说，“p—q”是一个合式公式。在这命题演算中使用的符号语言就是对象语言，而讨论时使用的汉语就是语法语言或元语言。