메타 언어
다른 표기 언어 metalanguage요약 의미론과 철학에서 대상언어(세계의 대상에 관해 이야기할 때 쓰이는 언어)를 분석하기 위해 사용하는 언어.
따라서 메타 언어는 다른 언어에 관한 언어라고 볼 수 있다. 독일 태생의 논리실증주의자 루돌프 카르나프와 폴란드 태생의 수학자 알프레트 타르스키를 비롯한 여러 철학자들은 구문론의 틀로 볼 때만 철학문제와 철학진술을 해결할 수 있다고 주장했다. 의미론의 논리학이란 어떤 진술의 비형식적 의미나 실제적 의미보다 그 진술의 참·거짓을 결정해주는 것이다.
카르나프는 메타 언어에서 기호표기법을 사용하고 논리학의 규칙을 충실히 따르면 형이상학적 판단을 피할 수 있다고 생각했다. 형이상학적 판단은 그의 체계에서는 정의상 타당하지 않다.