5.2 타당성의 형식적 성격

1. 절의 학술적 목표

본 절은 연역적 타당성이 어떠한 의미에서 형식적(formal) 성격을 가지는지를 학술적으로 규명하고, 형식과 내용의 구분, 논리적 형식의 개념, 형식적 타당성의 식별 방법을 체계적으로 제시하는 것을 목표로 한다. 타당성의 형식적 성격은 형식 논리학 전체의 출발점이 되는 핵심 통찰이며, 본 절에서는 이 통찰의 학술적 근거와 의미를 차례로 검토한다.

2. 형식과 내용의 구분

논증은 형식과 내용의 두 측면으로 분석될 수 있다. 내용은 논증이 다루는 구체적 사물, 사건, 속성에 관한 것이며, 형식은 그러한 내용이 조직되는 논리적 구조에 관한 것이다. Copi, Cohen 및 McMahon(2014)은 이 구분이 아리스토텔레스의 Prior Analytics 이래 논리학의 근본적 분석 도구로 기능해 왔다고 지적한다. 타당성은 내용이 아닌 형식의 속성이다.

3. 논리적 형식의 개념

논리적 형식이란 논증의 내용을 추상화하여 남는 구조적 패턴이다. 예를 들어 “모든 인간은 죽는다. 소크라테스는 인간이다. 따라서 소크라테스는 죽는다“라는 논증의 논리적 형식은 “모든 M은 P이다. S는 M이다. 따라서 S는 P이다“로 표현될 수 있다. 여기서 M, P, S는 임의의 항을 나타내는 변항이며, 이 형식은 내용과 무관하게 추론의 구조만을 표현한다(Hurley, 2014).

4. 형식 변항과 논리 상항

논리적 형식의 표현에는 두 종류의 기호가 사용된다. 첫째, 형식 변항(formal variables)은 내용을 추상화하기 위한 자리 표시자이며, 임의의 명제, 항, 술어로 대체될 수 있다. 둘째, 논리 상항(logical constants)은 “모든”, “어떤”, “그리고”, “또는”, “이면”, “아니다” 등의 논리적 어휘이며, 이들의 의미는 형식 안에서 고정된다. 타당성은 변항이 어떻게 해석되든 논리 상항의 의미가 추론의 필연성을 보장하는 경우에 성립한다(Govier, 2010).

5. 형식적 타당성의 정식화

형식적 타당성은 다음과 같이 정식화될 수 있다. “어떤 논증의 형식이 타당하다는 것은, 그 형식의 모든 대체 사례(substitution instance)에서 전제가 모두 참이면서 결론이 거짓인 경우가 발생하지 않음을 의미한다.” 이 정식화는 Tarski(1936)의 모형 이론적 정의의 직관적 기초에 해당하며, 현대 논리학의 표준적 정의 방식이다.

6. 대체 사례의 개념

대체 사례란 어떤 논리적 형식의 변항에 구체적 내용을 대입하여 얻어지는 개별 논증이다. 위에서 제시된 형식 “모든 M은 P이다. S는 M이다. 따라서 S는 P이다“의 대체 사례에는 “모든 인간은 죽는다. 소크라테스는 인간이다. 따라서 소크라테스는 죽는다“뿐만 아니라 “모든 새는 알을 낳는다. 까치는 새이다. 따라서 까치는 알을 낳는다” 등 무수히 많은 논증이 포함된다. 이 모든 대체 사례가 동일한 타당성 판정을 받는다는 것이 형식적 타당성의 의미이다(Hurley, 2014).

7. 형식의 추상화 절차

논증의 형식을 식별하기 위해서는 다음과 같은 추상화 절차가 적용된다. 첫째, 논증의 명시적 진술을 정리한다. 둘째, 명사적 항을 변항으로 치환한다. 셋째, 술어를 변항으로 치환한다. 넷째, 논리 상항은 그대로 유지한다. 다섯째, 결과로 얻어진 구조를 검토하여 그것이 어떤 표준 추론 형식에 해당하는지 식별한다. Copi 등(2014)은 이러한 절차가 학습자의 형식 분석 능력을 체계화하는 데 효과적임을 지적한다.

8. 형식적 타당성의 인식론적 의의

형식적 타당성의 개념은 인식론적으로 중요한 의의를 가진다. 첫째, 그것은 타당성 판정이 객관적이고 검증 가능함을 보장한다. 둘째, 그것은 동일한 형식을 가진 모든 논증이 동일한 평가를 받음을 보장하여 일관성을 확보한다. 셋째, 그것은 새로운 논증의 평가를 기존의 형식 분석에 의존할 수 있게 한다. Govier(2010)는 이러한 인식론적 이점이 형식 논리학의 학문적 가치를 결정짓는다고 강조한다.

9. 형식적 타당성과 자연어 논증

자연어로 진술된 일상 논증은 종종 그 형식이 즉각적으로 드러나지 않는다. 학습자는 자연어 논증을 분석할 때 우선 그 표층 구조에서 논리적 형식을 추출하는 작업을 수행해야 한다. 이 과정에서 동의어, 환언, 함축, 생략 등의 언어적 현상이 분석을 복잡하게 만들 수 있으며, 따라서 자연어 논증의 형식 분석은 일정한 해석적 작업을 포함한다(Walton, 2006).

10. 형식적 타당성의 한계

형식적 타당성의 개념은 강력한 분석 도구이지만 일정한 한계를 가진다. 첫째, 모든 자연어 논증이 명료한 논리적 형식으로 환원되지는 않는다. 둘째, 일부 추론은 형식적으로는 부당해 보이지만 내용적으로는 강력할 수 있으며, 이는 귀납 추론의 영역에 속한다. 셋째, 형식적 타당성은 추론의 정당성에 관한 평가의 일부일 뿐이며, 전제의 진리성, 관련성, 충분성에 관한 평가는 별도로 수행되어야 한다. Johnson과 Blair(2006)는 이러한 한계가 비형식 논리학의 발전을 촉발한 동기 중 하나임을 지적한다.

11. 본 절의 결론적 정리

타당성은 논증의 내용이 아닌 형식의 속성이며, 논리적 형식은 변항과 논리 상항으로 표현된다. 어떤 형식이 타당하다는 것은 그 형식의 모든 대체 사례에서 전제 참·결론 거짓 조합이 발생하지 않음을 의미한다. 이러한 형식적 성격은 타당성 판정의 객관성과 일관성을 보장하며, 형식 논리학의 발전을 가능하게 하는 핵심 통찰이다. 다만 형식적 타당성은 논증 평가의 일부일 뿐이며 다른 평가 기준과 함께 적용되어야 한다.

12. 출처

• 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.
• Johnson, R. H., & Blair, J. A. (2006). Logical Self-Defense (United States ed.). New York: International Debate Education Association.
• Tarski, A. (1936). Über den Begriff der logischen Folgerung. Actes du Congrès International de Philosophie Scientifique, 7, 1–11.

13. 버전

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