Metalanguage [上位言語]

분석 또는 기술되는 언어인 대상언어(object language)와 대응되는 개념으로서, 어떤 언어를 기술하는 데 사용되는 언어를 말한다. 만약 영어를 기술하기 위해 한국어를 사용한다면, 영어는 대상언어가 되고, 한국어는 상위언어가 된다. 만약 영어를 영어로 기술하면, 상위언어과 대상언어가 모두 영어가 된다. 일반적으로 의미론을 논하는 데 사용되는 상위언어로는 집합론(set theory), 내포논리(intensional logic) 등이 있다.