8.8 대상 언어와 메타 언어의 구분

1. 절의 학술적 목표

본 절은 대상 언어(object language)와 메타 언어(metalanguage)의 구분을 학술적으로 검토하는 것을 목표로 한다. 이 구분은 형식 논리학과 의미론적 분석의 근본 전제이며, 언어에 관한 진술과 언어 내의 진술을 혼동하지 않기 위한 개념적 장치이다. 본 절은 두 언어의 정의, 구분의 이유, 학술적 의의를 체계적으로 정리한다.

2. 대상 언어의 개념

대상 언어는 분석의 대상이 되는 언어이다. 명제 논리의 형식적 분석에서 대상 언어는 명제 논리의 형식 언어 자체이며, 명제 변항과 논리 연결사로 구성된 공식들의 체계이다. 대상 언어는 분석의 “객체“이며, 그 자체로는 말하여지는 것이 아니라 말해지는 것이다(Tarski, 1944).

3. 메타 언어의 개념

메타 언어는 대상 언어에 관하여 말하기 위하여 사용되는 언어이다. 메타 언어는 대상 언어의 표현, 구조, 의미, 성질 등을 기술하고 분석하는 수단이다. 명제 논리의 형식적 분석에서 메타 언어는 주로 자연 언어(예: 한국어, 영어)와 집합론적 기호 체계의 조합이다(Tarski, 1944).

4. 구분의 필요성

대상 언어와 메타 언어의 구분은 의미론적 역설과 개념적 혼동을 방지하기 위하여 필요하다. 예를 들어 “이 문장은 거짓이다“와 같은 거짓말쟁이 역설(liar paradox)은 언어가 자기 자신에 관하여 말할 때 발생하는 문제를 보여 준다. 언어의 계층을 구분함으로써 이러한 역설을 회피할 수 있다(Tarski, 1944).

5. 타르스키의 계층 이론

알프레트 타르스키(Alfred Tarski)는 1944년의 “The Semantic Conception of Truth and the Foundations of Semantics“에서 진리 개념의 의미론적 분석을 위하여 대상 언어와 메타 언어의 구분을 명시적으로 제시하였다. 그는 진리 술어는 메타 언어에 속해야 하며, 대상 언어에 속할 수 없다고 주장하였다. 이러한 계층 구조는 의미론적 역설을 회피하는 데 기여하였다(Tarski, 1944).

6. 진리 개념과 메타 언어

타르스키에 따르면, 대상 언어 L의 문장의 참·거짓은 L 자체에서가 아니라 L의 메타 언어에서 정의되어야 한다. “P는 참이다“라는 진술에서 “P“는 대상 언어의 문장이지만, “~는 참이다“라는 술어는 메타 언어에 속한다. 이러한 구분은 진리의 개념을 형식적으로 정의할 수 있게 한다(Tarski, 1944).

7. 메타 언어의 표현력

메타 언어는 대상 언어보다 적어도 동등하거나 더 풍부한 표현력을 가져야 한다. 메타 언어는 대상 언어의 표현을 가리키고, 그 구조를 분석하며, 의미론적 술어(참, 거짓, 타당, 모순 등)를 표현할 수 있어야 한다. 따라서 메타 언어는 대상 언어의 모든 표현을 언급할 수 있는 어휘를 포함해야 한다(Tarski, 1944).

8. 메타 언어의 계층적 확장

대상 언어와 메타 언어의 구분은 단일 계층에 머무르지 않고 무한히 확장될 수 있다. 즉, 메타 언어 자체를 분석 대상으로 삼는 “메타 메타 언어(meta-metalanguage)“를 도입할 수 있다. 이러한 계층적 확장은 이론적으로 무한히 계속될 수 있으며, 버트런드 러셀의 유형 이론(type theory)의 정신과 유사하다(Russell, 1908).

9. 대상 언어 표현의 인용

메타 언어에서 대상 언어의 표현을 언급할 때는 일반적으로 인용 부호를 사용한다. 예를 들어 “P ∧ Q“는 대상 언어의 표현이고, “’P ∧ Q’는 적형식이다“는 메타 언어의 진술이다. 인용 부호는 사용과 언급의 구분(use-mention distinction)을 표시하는 장치이며, 개념적 혼동을 방지한다(Quine, 1940).

10. 메타 변항과 메타 기호

메타 언어에서는 대상 언어의 임의의 표현을 가리키기 위하여 메타 변항(metavariable)이 사용된다. 일반적으로 A, B, C, φ, ψ 등의 기호가 메타 변항으로 사용된다. 이들은 대상 언어의 특정 명제 변항을 나타내는 것이 아니라, 임의의 적형식을 나타낸다. 또한 “⊢”, “⊨“와 같은 메타 기호도 메타 언어에서 사용된다(Enderton, 2001).

11. 구분의 학술적 의의

대상 언어와 메타 언어의 구분은 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 의미론적 분석의 엄밀성을 확보한다. 둘째, 그것은 의미론적 역설을 체계적으로 회피한다. 셋째, 그것은 형식 체계의 메타이론적 분석의 기반을 제공한다. 넷째, 그것은 언어와 그에 관한 언어의 관계를 명료히 한다(Tarski, 1944).

12. 본 절의 결론적 정리

대상 언어는 분석의 대상이 되는 언어이고, 메타 언어는 대상 언어에 관하여 말하기 위하여 사용되는 언어이다. 두 언어의 구분은 의미론적 역설을 회피하고 형식적 분석의 엄밀성을 확보하기 위하여 필수적이다. 메타 언어는 대상 언어보다 더 풍부한 표현력을 가지며, 인용 부호와 메타 변항을 통하여 대상 언어를 체계적으로 언급한다. 학습자는 이러한 구분을 정확히 이해하고, 형식 논리의 메타이론적 분석의 기반으로 활용할 수 있어야 한다.

13. 출처

• Russell, B. (1908). Mathematical logic as based on the theory of types. American Journal of Mathematics, 30(3), 222–262.
• Quine, W. V. O. (1940). Mathematical Logic. Cambridge, MA: Harvard University Press.
• Tarski, A. (1944). The semantic conception of truth and the foundations of semantics. Philosophy and Phenomenological Research, 4(3), 341–376.
• Enderton, H. B. (2001). A Mathematical Introduction to Logic (2nd ed.). San Diego: Academic Press.

14. 버전

• 문서 버전: 1.0
• 작성 기준일: 2026-04-15