8.12 명제 논리 언어의 의미론 개관

8.12 명제 논리 언어의 의미론 개관

1. 절의 학술적 목표

본 절은 명제 논리 언어의 의미론(semantics)을 개관하는 것을 학술적 목표로 한다. 의미론은 형식 언어의 표현에 의미를 부여하는 체계적 방법이며, 명제 논리에서는 주로 진리값 할당을 통하여 구현된다. 본 절은 의미론의 기본 개념, 진리 함수적 해석, 주요 의미론적 성질을 체계적으로 소개한다.

2. 의미론의 학술적 개념

의미론은 형식 언어의 표현과 그 의미 사이의 관계를 연구하는 분야이다. 의미론은 구문론이 다루는 형식적 구조를 넘어서 표현의 지시, 참·거짓, 해석 등의 의미적 측면을 다룬다. 명제 논리의 의미론은 주로 진리값 의미론(truth value semantics) 또는 진리 함수 의미론(truth-functional semantics)의 형태를 취한다(Tarski, 1944).

3. 진리값 할당

명제 논리 의미론의 기본 개념은 진리값 할당(truth value assignment)이다. 진리값 할당은 각 명제 변항에 참(T) 또는 거짓(F)의 진리값을 할당하는 함수이다. 형식적으로, 진리값 할당은 명제 변항 집합에서 {T, F}로의 함수 v: VAR → {T, F}로 정의된다. 이러한 할당은 해석(interpretation) 또는 평가(valuation)로도 불린다(Enderton, 2001).

4. 진리값 할당의 확장

주어진 명제 변항의 진리값 할당은 모든 적형식의 진리값 할당으로 유일하게 확장된다. 이 확장은 귀납적으로 정의된다. 첫째, 원자 공식의 진리값은 v에 의하여 주어진다. 둘째, 복합 공식의 진리값은 구성 공식의 진리값과 주 연결사의 진리 함수에 의하여 결정된다. 이 확장의 유일성은 적형식의 유일 가독성에 의하여 보장된다(Mendelson, 2015).

5. 연결사의 진리 함수

명제 논리의 각 연결사는 진리 함수(truth function)로 해석된다. 부정(¬)은 단항 진리 함수로, “v(¬A) = T“일 필요 충분 조건은 “v(A) = F“이다. 연언(∧)은 “v(A ∧ B) = T“일 필요 충분 조건은 “v(A) = T이고 v(B) = T“이다. 선언(∨)은 “v(A ∨ B) = T“일 필요 충분 조건은 “v(A) = T 또는 v(B) = T“이다. 조건과 쌍조건도 유사하게 정의된다(Mendelson, 2015).

6. 진리표 의미론

명제 논리 의미론은 진리표(truth table)를 통하여 체계화될 수 있다. 진리표는 명제 변항의 모든 가능한 진리값 할당에 대하여 적형식의 진리값을 계산하는 도구이다. n개의 명제 변항을 포함하는 공식의 진리표는 2^n개의 행을 가지며, 각 행은 하나의 가능한 진리값 할당에 대응한다. 진리표는 명제 논리의 의미론적 분석의 기본 도구이다(Wittgenstein, 1921).

7. 주요 의미론적 개념

명제 논리 의미론에서 다음과 같은 주요 개념이 정의된다. 첫째, 만족(satisfaction)은 특정 할당에서 공식이 참이 되는 관계이다. 둘째, 타당성(validity)은 모든 할당에서 공식이 참이 되는 성질이다. 셋째, 모순성(contradiction)은 모든 할당에서 공식이 거짓이 되는 성질이다. 넷째, 충족 가능성(satisfiability)은 어떤 할당에서 공식이 참이 되는 성질이다. 이러한 개념들은 명제 논리의 기본 의미론적 분류를 구성한다(Mendelson, 2015).

8. 의미론적 귀결

의미론적 귀결(semantic consequence)은 공식 집합 Γ와 공식 A 사이의 관계이다. “Γ ⊨ A“는 “Γ의 모든 공식을 참으로 만드는 모든 할당에서 A도 참이다“로 정의된다. 의미론적 귀결은 논리적 분석의 핵심 개념이며, 타당한 논증의 형식적 기준을 제공한다(Tarski, 1936).

9. 논리적 동치

논리적 동치(logical equivalence)는 두 공식이 모든 진리값 할당에서 동일한 진리값을 가지는 관계이다. 즉, “A와 B가 논리적으로 동치이다“는 “모든 할당 v에 대하여 v(A) = v(B)“로 정의된다. 이는 “⊨ A ↔ B“와 동치이며, 공식의 상호 치환 가능성의 기반이 된다(Mendelson, 2015).

10. 의미론의 구성적 성격

명제 논리 의미론은 구성적(compositional) 성격을 가진다. 즉, 복합 공식의 의미는 구성 공식의 의미와 결합 방식에 의하여 완전히 결정된다. 이러한 구성성은 고틀로프 프레게의 의미 구성 원리(principle of compositionality)에 부합하며, 의미론의 체계적 분석을 가능하게 한다(Frege, 1892).

11. 의미론의 메타이론적 성질

명제 논리 의미론은 다음과 같은 메타이론적 성질을 가진다. 첫째, 결정 가능성으로, 임의의 공식의 타당성을 진리표 방법으로 유한 시간 내에 결정할 수 있다. 둘째, 컴팩트성으로, 무한 공식 집합의 충족 가능성은 유한 부분 집합의 충족 가능성과 동치이다. 셋째, 이가 원리와 배중률의 성립. 이러한 성질들은 명제 논리의 표준적 메타이론적 결과이다(Enderton, 2001).

12. 본 절의 결론적 정리

명제 논리 언어의 의미론은 진리값 할당과 연결사의 진리 함수에 의하여 체계화되는 진리 함수 의미론이다. 진리값 할당은 명제 변항에 진리값을 부여하고, 이는 모든 적형식으로 귀납적으로 확장된다. 주요 의미론적 개념으로는 만족, 타당성, 모순성, 충족 가능성, 의미론적 귀결, 논리적 동치 등이 있다. 명제 논리 의미론은 구성적 성격을 가지며, 결정 가능성과 컴팩트성 등의 메타이론적 성질을 만족한다. 학습자는 의미론의 기본 개념을 정확히 이해하고, 이후의 형식적 분석을 위한 기반을 마련하여야 한다.

13. 출처

  • Frege, G. (1892). Über Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, 100, 25–50.
  • Wittgenstein, L. (1921). Logisch-philosophische Abhandlung. Annalen der Naturphilosophie, 14, 185–262.
  • Tarski, A. (1936). Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, 7, 1–11.
  • 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.
  • Mendelson, E. (2015). Introduction to Mathematical Logic (6th ed.). Boca Raton: CRC Press.

14. 버전

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