7.2 의미론적 귀결의 정의

1. 절의 학술적 목표

본 절은 의미론적 귀결(semantic consequence)의 엄밀한 학술적 정의를 제시하고, 그 형식적 구조, 모델 이론적 해석, 그리고 관련 개념을 체계적으로 검토하는 것을 목표로 한다. 의미론적 귀결은 논리적 귀결 개념의 현대적 정식화이며, 타르스키의 모델 이론적 접근에 의하여 확립되었다. 본 절의 학습은 이후의 형식 논리학적 분석의 핵심 기반이 된다.

2. 의미론적 귀결의 배경

의미론적 귀결 개념은 논리학의 의미론적 전통에 기반한다. 의미론(semantics)은 형식 언어의 표현과 그 지칭 대상 또는 진리값 사이의 관계를 다루는 이론이며, 의미론적 귀결은 이러한 의미론적 관계를 귀결 개념에 적용한 결과이다. 알프레드 타르스키는 1936년의 논문 “Über den Begriff der logischen Folgerung“에서 의미론적 귀결의 표준적 정의를 제시하였다(Tarski, 1936).

3. 의미론적 귀결의 표준 정의

의미론적 귀결의 표준 정의는 다음과 같다. 명제 Q가 명제 집합 Γ의 의미론적 귀결이라는 것은, Γ의 모든 명제를 참으로 만드는 모든 해석(또는 모델)에서 Q도 참이 되는 경우이다. 형식적으로 “Γ ⊨ Q“로 표기되며, 이는 “Γ가 Q를 의미론적으로 함의한다” 또는 “Q가 Γ의 의미론적 귀결이다“로 읽힌다(Tarski, 1936).

4. 해석과 모델의 개념

의미론적 귀결의 정의에서 “해석(interpretation)” 또는 “모델(model)“의 개념이 핵심적 역할을 한다. 해석은 형식 언어의 비논리적 기호들(개체 상수, 술어 기호, 함수 기호 등)에 구체적 의미를 부여하는 할당이다. 모델은 이러한 해석 하에서 명제의 진리값이 결정되는 구조이다. 의미론적 귀결은 모든 가능한 해석 또는 모델의 범위에 걸쳐 정의된다(Tarski, 1936).

5. 의미론적 귀결의 형식적 진술

의미론적 귀결의 정의를 형식적으로 진술하면 다음과 같다. Γ ⊨ Q는 다음과 조건과 동치이다. 모든 해석 I에 대하여, I가 Γ의 모든 원소를 참으로 만든다면, I는 Q도 참으로 만든다. 기호적으로는 “∀I (I ⊨ Γ → I ⊨ Q)“로 표현된다. 이 정의는 의미론적 귀결의 보편성 요건을 엄밀하게 구현한다(van Benthem, 2008).

6. 의미론적 귀결과 반례

의미론적 귀결 관계의 부정은 반례의 존재로 표현된다. “Γ ⊨ Q가 성립하지 않는다“는 것은 “Γ의 모든 명제를 참으로 만들지만 Q는 거짓으로 만드는 해석이 존재한다“는 것과 동치이다. 이러한 해석을 반례(counterexample)라고 한다. 반례의 존재는 Γ로부터 Q로의 추론이 타당하지 않음을 증명하는 표준적 방법이다(Copi, Cohen, & McMahon, 2014).

7. 타르스키 정의의 학술적 의의

타르스키의 의미론적 귀결 정의는 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 논리적 귀결 개념에 엄밀한 수학적 기반을 제공한다. 둘째, 그것은 직관적 귀결 개념(필연성, 보편성, 형식성)을 형식적으로 포착한다. 셋째, 그것은 형식 논리 체계의 메타이론적 분석을 가능하게 한다. 넷째, 그것은 의미론과 증명 이론 사이의 연결을 제공한다(Etchemendy, 1990).

8. 의미론적 귀결의 예시

간단한 예시를 통하여 의미론적 귀결을 설명하면 다음과 같다. “P ∧ Q ⊨ P“라는 관계를 고려해 보자. 이 관계가 성립하는 이유는 다음과 같다. P ∧ Q를 참으로 만드는 모든 해석은 정의에 의하여 P도 참으로 만들기 때문이다. 따라서 P ∧ Q의 모든 모델은 P의 모델이며, 이는 의미론적 귀결 관계 “P ∧ Q ⊨ P“의 성립을 보장한다(Hurley, 2014).

9. 의미론적 귀결의 대표적 예시

또 다른 대표적 예시는 “P, P → Q ⊨ Q“라는 전건 긍정(modus ponens)의 의미론적 정당화이다. P와 P → Q를 모두 참으로 만드는 모든 해석에서 Q도 반드시 참이다. 왜냐하면 P → Q가 참이고 P가 참일 때, 진리표 정의에 의하여 Q는 거짓일 수 없기 때문이다. 따라서 전건 긍정은 의미론적으로 타당한 추론이다(Copi, Cohen, & McMahon, 2014).

10. 의미론적 귀결과 진리 함수적 분석

명제 논리에서 의미론적 귀결은 진리 함수적 분석을 통해 기계적으로 확인될 수 있다. 주어진 논증에 대하여 모든 가능한 진리값 할당을 진리표로 나열하고, 전제가 모두 참이면서 결론이 거짓인 행이 존재하지 않음을 확인하면 의미론적 귀결 관계가 성립한다. 이는 명제 논리의 결정 가능성(decidability)과 관련된 중요한 성질이다(Hurley, 2014).

11. 의미론적 귀결 정의의 학술적 논쟁

타르스키의 의미론적 귀결 정의는 현대 논리학의 표준으로 자리잡았지만, 그 철학적 정확성에 대한 학술적 논쟁도 존재한다. 에치멘디(Etchemendy)는 1990년의 저서 “The Concept of Logical Consequence“에서 타르스키의 정의가 논리적 귀결의 필연성 개념을 완전히 포착하지 못할 수 있음을 지적하였다. 이러한 논쟁은 의미론적 귀결 개념의 철학적 정당성에 대한 지속적 탐구의 일환이다(Etchemendy, 1990).

12. 본 절의 결론적 정리

의미론적 귀결은 Γ의 모든 명제를 참으로 만드는 모든 해석에서 Q도 참이 되는 관계로 정의되며, 형식적으로 “Γ ⊨ Q“로 표기된다. 이 정의는 타르스키에 의하여 확립되었으며, 현대 논리학의 표준이다. 의미론적 귀결은 모델 이론적 접근에 기반하며, 반례의 부재를 통하여 확인된다. 학습자는 이 정의를 정확히 이해하고 적용할 수 있어야 한다.

13. 출처

• Tarski, A. (1936). Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, 7, 1–11.
• Etchemendy, J. (1990). The Concept of Logical Consequence. Cambridge, MA: Harvard University Press.
• van Benthem, J. (2008). Logic and reasoning: Do the facts matter? Studia Logica, 88(1), 67–84.
• Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.
• Hurley, P. J. (2014). A Concise Introduction to Logic (12th ed.). Boston: Cengage Learning.

14. 버전

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