5.1 연역적 타당성의 정의

1. 절의 학술적 목표

본 절은 연역적 타당성(deductive validity)의 학술적 정의를 명료하게 제시하고, 그 정의의 구성 요소와 의미를 학습자가 정확히 이해할 수 있도록 체계적으로 기술하는 것을 목표로 한다. 연역적 타당성은 논리학에서 가장 기본적이면서도 정확한 이해가 요구되는 개념이며, 본 절에서는 정의의 표준적 형식, 정의의 구성 요소, 정의의 함의를 차례로 검토한다.

2. 연역적 타당성의 표준 정의

연역적 타당성의 표준 정의는 다음과 같이 진술된다. “어떤 논증이 연역적으로 타당하다는 것은, 그 논증의 모든 전제가 참인 동시에 결론이 거짓인 상황이 논리적으로 불가능함을 의미한다.” Copi, Cohen 및 McMahon(2014)은 이 정의가 현대 논리학에서 가장 일반적으로 채택되는 표준 형식임을 지적한다. 동일한 정의는 “전제들이 참이라면 결론도 반드시 참이어야 한다“는 형태로도 진술될 수 있다.

3. 정의의 구성 요소 1: 가정의 조건성

정의의 첫 번째 구성 요소는 “전제들이 참이라면“이라는 가정의 조건성이다. 이 조건은 전제들이 실제로 참이라는 사실을 주장하는 것이 아니라, 전제들이 참인 가능성을 가정하는 것이다. 따라서 타당성 판정은 전제의 실제 진리값과 무관하게 이루어진다. Hurley(2014)는 이 점이 학습자가 가장 자주 혼동하는 부분임을 지적한다.

4. 정의의 구성 요소 2: 결론의 필연성

정의의 두 번째 구성 요소는 “결론도 반드시 참이어야 한다“는 결론의 필연성이다. 여기서 “반드시“는 단순한 개연성이나 가능성이 아니라 논리적 필연성을 의미한다. 즉, 전제들이 참인 어떠한 가능 세계에서도 결론이 거짓일 수 없어야 한다. Govier(2010)는 이 필연성이 연역적 타당성을 귀납적 강도와 구분하는 핵심 요소임을 지적한다.

5. 정의의 구성 요소 3: 불가능성의 양상

정의의 세 번째 구성 요소는 전제 참·결론 거짓 조합의 논리적 불가능성이다. 이 불가능성은 경험적 불가능성이나 물리적 불가능성과 구분되는 논리적 불가능성이다. 어떤 상황이 자연 법칙에 어긋난다 해도 논리적으로는 가능할 수 있으며, 반대로 자연 법칙에 부합하더라도 논리적으로 불가능할 수 있다. 연역적 타당성이 요구하는 것은 후자의 의미에서의 불가능성이다(Copi, Cohen, & McMahon, 2014).

6. 정의의 함의 1: 형식적 성격

이 정의로부터 도출되는 첫 번째 함의는 연역적 타당성이 형식적 성격을 가진다는 점이다. 타당성은 전제와 결론의 내용 자체가 아니라 그것들 사이의 논리적 관계, 즉 형식에 의해 결정된다. 따라서 동일한 형식을 가진 모든 논증은 동일한 타당성 판정을 받는다. Hurley(2014)는 이 형식적 성격이 형식 논리학의 발전을 가능하게 한 핵심 통찰임을 강조한다.

7. 정의의 함의 2: 진리 보존성

이 정의로부터 도출되는 두 번째 함의는 타당한 논증이 진리 보존성(truth-preservation)을 가진다는 점이다. 타당한 논증은 전제의 진리성을 결론으로 보존하며, 이는 결론에 새로운 진리를 추가하지 않고 전제에 이미 함축된 진리를 드러낸다는 의미이다. Govier(2010)는 진리 보존성이 연역 추론의 인식론적 기능을 결정짓는 특성임을 지적한다.

8. 정의의 함의 3: 타당성과 진리값의 독립성

이 정의로부터 도출되는 세 번째 함의는 타당성이 전제와 결론의 실제 진리값과 독립적이라는 점이다. 거짓 전제로부터 거짓 결론을 도출하는 논증도 타당할 수 있으며, 거짓 전제로부터 참 결론을 도출하는 논증도 타당할 수 있다. 다만 참 전제로부터 거짓 결론을 도출하는 논증만은 타당할 수 없다(Hurley, 2014).

9. 정의의 사례

다음 논증은 연역적으로 타당한 사례이다. “모든 인간은 죽는다. 소크라테스는 인간이다. 따라서 소크라테스는 죽는다.” 이 논증에서 두 전제가 모두 참이라면 결론은 반드시 참이어야 한다. 또한 다음 논증도 타당하다. “모든 어룡은 날개가 있다. 모든 날개가 있는 것은 빛난다. 따라서 모든 어룡은 빛난다.” 이 사례는 전제와 결론이 모두 거짓일 수 있음에도 타당성을 가진다는 점을 보여 준다(Copi, Cohen, & McMahon, 2014).

10. 일상적 의미와의 구분

일상 언어에서 “타당하다“는 표현은 종종 “합리적이다” 또는 “그럴듯하다“는 의미로 사용된다. 그러나 논리학에서의 타당성은 이러한 일상적 의미와 구분되는 전문적 개념이다. 학습자는 두 의미를 혼동하지 않도록 주의해야 하며, 논리학의 맥락에서는 항상 위에서 정의된 형식적 의미로 타당성을 이해해야 한다. Walton(2006)은 이러한 용어상의 혼동이 학습 초기의 가장 일반적인 장애물임을 지적한다.

11. 정의의 학술적 위상

연역적 타당성의 위 정의는 아리스토텔레스의 Prior Analytics 이래 발전해 온 서양 논리학 전통의 핵심 개념이며, 현대 형식 논리학과 모형 이론에서도 동일한 직관에 기반하여 정식화되었다. Tarski의 모형 이론적 정의는 이 직관을 형식적으로 엄밀하게 표현한 것이며, 본 절의 정의는 그러한 형식적 정의의 직관적 기초를 제공한다(Copi, Cohen, & McMahon, 2014).

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.
• Walton, D. N. (2006). Fundamentals of Critical Argumentation. Cambridge: Cambridge University Press.
• 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