5.3 타당한 논증의 의미론적 특성

1. 절의 학술적 목표

본 절은 타당한 논증이 가지는 의미론적(semantic) 특성을 학술적으로 규명하는 것을 목표로 한다. 의미론적 분석은 논증의 형식이 진리값과 어떻게 관련되는지를 명료하게 드러내며, 모형(model), 해석(interpretation), 진리 보존(truth-preservation) 등의 핵심 개념을 통해 타당성의 본질을 규명한다. 본 절에서는 이러한 의미론적 개념들을 입문 수준에서 체계적으로 소개한다.

2. 의미론과 통사론의 구분

논리학에서 통사론(syntax)은 기호와 표현의 형식적 규칙을 다루며, 의미론은 기호와 표현이 의미하는 바, 즉 그것들이 무엇을 가리키고 어떤 진리값을 가지는지를 다룬다. Copi, Cohen 및 McMahon(2014)에 따르면 타당성은 본질적으로 의미론적 개념이며, 통사적 형식의 분석은 의미론적 진리값의 관계를 추적하기 위한 도구이다.

3. 해석의 개념

해석이란 어떤 형식 언어의 기호와 표현에 의미를 부여하는 작업이다. 명사 변항에는 개체가 할당되고, 술어 변항에는 속성 또는 관계가 할당되며, 명제 변항에는 진리값이 할당된다. 해석이 주어지면 각 명제는 참 또는 거짓이라는 진리값을 가지게 된다. Tarski(1936)는 이러한 해석의 개념을 형식적으로 정식화하여 현대 모형 이론의 기초를 마련하였다.

4. 모형의 개념

모형이란 어떤 명제 또는 명제 집합을 참으로 만드는 해석을 의미한다. 어떤 전제 집합의 모형은 그 모든 전제를 동시에 참으로 만드는 해석이다. 어떤 논증이 타당하다는 것은 그 논증의 전제 집합의 모든 모형에서 결론도 참인 경우에 해당한다. Hurley(2014)는 이러한 모형 이론적 정의가 현대 의미론의 표준임을 지적한다.

5. 진리 보존성의 의미론적 정식화

타당한 논증의 가장 본질적인 의미론적 특성은 진리 보존성이다. 이는 다음과 같이 정식화된다. “어떤 논증이 타당하다는 것은, 전제 집합을 만족시키는 모든 해석이 결론도 만족시킨다는 것을 의미한다.” 즉, 전제가 참인 어떠한 해석에서도 결론이 거짓일 수 없다. Govier(2010)는 이 정식화가 연역 추론의 인식론적 신뢰성의 근거임을 지적한다.

6. 가능 세계 관점에서의 해석

타당성은 가능 세계 의미론(possible worlds semantics)의 관점에서도 해석될 수 있다. 이 관점에서 어떤 논증이 타당하다는 것은 전제가 참인 모든 가능 세계에서 결론도 참임을 의미한다. 가능 세계 의미론은 양상 논리와 조건문의 분석에 특히 유용한 도구이며, 본 절에서는 입문적 직관의 보조 수단으로만 언급한다(Copi, Cohen, & McMahon, 2014).

7. 의미론적 함의의 개념

의미론적 함의(semantic entailment)란 어떤 명제 집합이 다른 명제를 의미론적으로 함의한다는 관계를 의미한다. 이 관계는 일반적으로 기호 ⊨로 표시된다. “Γ ⊨ φ“는 “전제 집합 Γ가 명제 φ를 의미론적으로 함의한다“는 것을 의미하며, 이는 Γ의 모든 모형에서 φ가 참임을 뜻한다. 타당성은 바로 이 의미론적 함의 관계와 동등한 개념이다(Hurley, 2014).

8. 타당성의 의미론적 특징 1: 단조성

타당한 논증의 의미론적 특성 중 하나는 단조성(monotonicity)이다. 어떤 전제 집합 Γ가 결론 φ를 함의한다면, Γ에 임의의 새로운 전제를 추가한 집합 Γ′도 여전히 φ를 함의한다. 이는 연역적 함의가 새로운 정보의 추가에 의해 약화되지 않음을 의미한다. Govier(2010)는 단조성이 연역 추론을 귀납 추론과 구분하는 핵심 의미론적 특성임을 지적한다.

9. 타당성의 의미론적 특징 2: 추이성

타당한 논증의 또 다른 특성은 추이성(transitivity)이다. Γ가 φ를 함의하고, φ가 ψ를 함의한다면, Γ도 ψ를 함의한다. 이는 연역 추론을 단계적으로 연쇄할 수 있게 하는 의미론적 토대를 제공한다. 추이성은 다단 추론(multi-step deduction)과 증명 이론의 기초가 된다(Copi, Cohen, & McMahon, 2014).

10. 타당성의 의미론적 특징 3: 반사성

세 번째 특성은 반사성(reflexivity)이다. 어떤 명제 집합 Γ는 그 자체에 속하는 모든 명제를 함의한다. 즉, φ ∈ Γ이면 Γ ⊨ φ이다. 이는 자명한 추론, 즉 전제를 결론으로 단순히 반복하는 추론도 의미론적으로는 타당함을 의미한다. 이러한 추론은 정보적으로는 무의미하지만 형식적으로는 타당한 사례이다(Hurley, 2014).

11. 의미론적 분석의 학술적 의의

타당한 논증의 의미론적 특성에 대한 분석은 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 타당성의 직관적 정의를 형식적으로 엄밀하게 만든다. 둘째, 그것은 통사적 증명 이론과 의미론적 함의 사이의 관계, 즉 건전성과 완전성의 정리를 가능하게 하는 토대를 제공한다. 셋째, 그것은 형식 논리학의 모든 분과를 통합하는 공통 기반을 형성한다. Tarski(1936)의 연구는 이러한 의의의 학문적 출발점으로 평가된다.

12. 본 절의 결론적 정리

타당한 논증의 의미론적 특성은 진리 보존성, 단조성, 추이성, 반사성으로 요약된다. 이러한 특성들은 해석과 모형의 개념을 통해 정식화되며, 의미론적 함의 관계로 표현된다. 의미론적 분석은 타당성의 직관적 정의를 형식적으로 엄밀하게 만들며, 형식 논리학 전체의 학문적 기초를 제공한다.

13. 출처

• 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.
• Govier, T. (2010). A Practical Study of Argument (7th ed.). Belmont: Wadsworth.
• Tarski, A. (1936). Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, 7, 1–11.

14. 버전

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