5.5 반례를 통한 부당성의 증명

1. 절의 학술적 목표

본 절은 부당성 증명의 표준적 방법인 반례 구성법(method of counterexample)을 학술적으로 체계화하는 것을 목표로 한다. 반례 구성은 형식 논리학에서 부당성을 입증하는 가장 기본적이면서도 효과적인 방법이며, 본 절에서는 반례의 정의, 반례 구성의 원리, 반례 구성의 절차, 반례 구성의 한계를 차례로 검토한다.

2. 반례의 정의

반례란 어떤 논증의 형식과 동일한 형식을 가지면서 명백하게 참인 전제들과 명백하게 거짓인 결론을 가지는 대체 사례이다. Copi, Cohen 및 McMahon(2014)에 따르면 반례는 그 자체로 어떤 형식이 부당함을 시각적으로 입증하는 도구로서 기능한다.

3. 반례 구성의 논리적 원리

반례 구성의 논리적 원리는 다음과 같다. 어떤 형식이 타당하려면 그 형식의 모든 대체 사례에서 전제 참·결론 거짓 조합이 발생하지 않아야 한다. 따라서 만약 그 형식의 한 대체 사례에서 전제가 모두 참이면서 결론이 거짓인 경우가 발견된다면, 그 형식은 타당할 수 없다. Hurley(2014)는 이 원리가 부당성 증명의 가장 단순하면서도 결정적인 근거임을 지적한다.

4. 반례 구성의 절차

반례 구성은 다음 절차에 따라 수행된다. 첫째, 평가 대상 논증의 논리적 형식을 식별한다. 둘째, 그 형식의 변항에 새로운 내용을 대입하여 대체 사례를 구성한다. 셋째, 대체 사례의 전제들이 명백하게 참이 되고 결론이 명백하게 거짓이 되도록 내용을 선택한다. 넷째, 구성된 대체 사례가 원래 논증과 동일한 형식임을 확인한다. 다섯째, 이 대체 사례를 부당성의 증거로 제시한다(Copi, Cohen, & McMahon, 2014).

5. 반례 구성의 사례 1: 후건 긍정

다음 형식의 부당성을 증명하기 위해 반례를 구성할 수 있다. 형식: “P이면 Q이다. Q이다. 따라서 P이다.” 반례: “비가 오면 도로가 젖는다. 도로가 젖었다. 따라서 비가 왔다.” 이 사례에서 두 전제는 참일 수 있지만 결론은 거짓일 수 있다(예: 도로가 살수차로 인해 젖은 경우). 따라서 후건 긍정의 형식은 부당하다(Hurley, 2014).

6. 반례 구성의 사례 2: 매개념 부주연

다음 형식의 부당성을 증명하기 위해 반례를 구성할 수 있다. 형식: “모든 M은 P이다. 모든 S는 P이다. 따라서 모든 S는 M이다.” 반례: “모든 인간은 동물이다. 모든 개는 동물이다. 따라서 모든 개는 인간이다.” 이 사례에서 두 전제는 명백히 참이지만 결론은 명백히 거짓이다. 따라서 매개념 부주연의 형식은 부당하다(Copi, Cohen, & McMahon, 2014).

7. 반례 구성의 사례 3: 전건 부정

다음 형식의 부당성을 증명하기 위해 반례를 구성할 수 있다. 형식: “P이면 Q이다. P가 아니다. 따라서 Q가 아니다.” 반례: “어떤 사람이 서울 시장이라면 한국인이다. 김 씨는 서울 시장이 아니다. 따라서 김 씨는 한국인이 아니다.” 이 사례에서 두 전제는 참일 수 있지만 결론은 거짓일 수 있다. 따라서 전건 부정의 형식은 부당하다(Govier, 2010).

8. 반례 구성의 효율성 조건

반례 구성이 학술적으로 효과적이려면 다음 조건을 충족해야 한다. 첫째, 구성된 반례의 전제가 명백히 참으로 인정되어야 한다. 둘째, 구성된 반례의 결론이 명백히 거짓으로 인정되어야 한다. 셋째, 구성된 반례의 형식이 원 논증의 형식과 동일해야 한다. 넷째, 구성된 반례가 직관적으로 단순하고 명료해야 한다. Hurley(2014)는 이러한 조건이 충족된 반례가 부당성을 가장 효과적으로 입증한다고 지적한다.

9. 반례 구성의 학술적 의의

반례 구성법은 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 부당성을 시각적이고 직관적으로 입증하는 도구이다. 둘째, 그것은 형식적 의미론에 의존하지 않고도 부당성을 보일 수 있다. 셋째, 그것은 학습자가 형식과 내용의 구분을 체득하는 데 효과적이다. 넷째, 그것은 토론 상황에서 상대방의 부당한 추론을 지적하는 강력한 수단이다. Govier(2010)는 반례 구성법이 비판적 사고 교육의 표준 기법으로 자리 잡았음을 지적한다.

10. 반례 구성의 한계 1

반례 구성법은 부당성 증명에는 효과적이지만 타당성 증명에는 적합하지 않다. 어떤 형식이 타당함을 보이려면 그 형식의 모든 대체 사례에서 전제 참·결론 거짓 조합이 발생하지 않음을 보여야 하는데, 무한히 많은 대체 사례를 일일이 검토할 수는 없다. 따라서 타당성 증명은 형식적 증명 방법, 진리표 방법, 또는 모형 이론적 분석을 통해 수행되어야 한다(Copi, Cohen, & McMahon, 2014).

11. 반례 구성의 한계 2

반례 구성법은 평가자가 적절한 반례를 발견하지 못하는 경우 부당성을 입증하지 못할 수 있다. 즉, 반례를 발견하지 못했다는 사실이 그 형식이 타당함을 의미하지는 않는다. 학습자는 이러한 비대칭성을 분명히 인식해야 하며, 반례를 발견하지 못한 경우 형식적 분석 도구를 추가로 사용해야 한다. Walton(2006)은 이 한계가 형식 논리학의 발전을 촉발한 동기 중 하나임을 지적한다.

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.

14. 버전

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