9.12 모순명제의 개념

1. 절의 학술적 목표

본 절은 명제 논리에서 모순명제(contradiction)의 개념을 학술적으로 검토하는 것을 목표로 한다. 모순명제는 모든 진리값 할당에 대하여 거짓인 복합 명제이며, 항진명제와 대립하는 개념이다. 본 절은 모순명제의 형식적 정의, 판별 방법, 주요 예시, 학술적 의의를 체계적으로 정리한다.

2. 모순명제의 학술적 정의

모순명제는 그 구성 명제의 모든 가능한 진리값 할당에 대하여 진리값이 거짓인 복합 명제이다. 형식적으로, 명제 A가 모순명제라는 것은 임의의 진리값 할당 v에 대하여 v(A) = F가 성립함을 의미한다. 모순명제는 논리적 거짓(logical falsehood)의 명제 논리적 표현이며, 그 거짓은 구성 명제의 진리값과 무관하게 형식적 구조에 의하여 결정된다(Wittgenstein, 1921).

3. 모순명제의 진리표적 특성

모순명제는 진리표에서 마지막 열의 모든 행이 F를 가지는 공식이다. 즉, 모든 진리값 할당에 대하여 결과가 거짓이다. 이러한 특성은 모순명제를 진리표 방법으로 기계적으로 판정할 수 있게 한다. 진리표를 작성하여 마지막 열이 모두 F이면 그 공식은 모순명제이며, 하나라도 T가 있으면 모순명제가 아니다(Mendelson, 2015).

4. 모순명제와 항진명제의 관계

모순명제와 항진명제는 부정 연산을 통하여 직접적으로 연결된다. 즉, 명제 A가 항진명제이면 ¬A는 모순명제이며, 역으로 명제 A가 모순명제이면 ¬A는 항진명제이다. 이러한 이원성은 두 개념이 본질적으로 동일한 형식적 구조의 양면임을 보여 준다(Mendelson, 2015).

5. 모순명제의 주요 예시: 모순률 위반

모순명제의 가장 기본적인 예시는 “P ∧ ¬P“이다. 이 공식은 어떤 명제와 그 부정의 연언이며, P가 참이면 ¬P가 거짓이고, P가 거짓이면 P가 거짓이므로, 두 경우 모두 연언이 거짓이다. 이 공식은 모순률(law of non-contradiction)의 직접적 위반이며, 명제 논리에서 가장 단순한 모순명제이다(Aristoteles, trans. 1984).

6. 모순명제의 다른 예시

다양한 공식이 모순명제의 예시가 된다. 첫째, “(P ∨ Q) ∧ (¬P ∧ ¬Q)“는 모순명제이며, P 또는 Q이면서 동시에 P도 아니고 Q도 아니라는 주장이므로 항상 거짓이다. 둘째, “P ↔ ¬P“는 명제와 그 부정이 동치라는 주장이며, 항상 거짓이다. 셋째, “(P → Q) ∧ P ∧ ¬Q“는 전건 긍정의 전제를 가지고 결론을 부정하는 형식이며, 항상 거짓이다(Mendelson, 2015).

7. 모순명제와 충족 불가능성

모순명제는 충족 불가능(unsatisfiable)한 공식과 동일한 개념이다. 공식이 충족 가능(satisfiable)하다는 것은 적어도 하나의 진리값 할당에서 참이 되는 것을 의미하며, 충족 불가능하다는 것은 어떤 진리값 할당에서도 참이 되지 않는 것을 의미한다. 따라서 모순명제는 정확히 충족 불가능한 공식이다(Enderton, 2001).

8. 모순명제와 폭발 원리

고전 명제 논리에서는 모순명제로부터 임의의 명제를 도출할 수 있다. 이 원리를 폭발 원리(principle of explosion) 또는 ex contradictione quodlibet라고 부른다. 형식적으로 “(P ∧ ¬P) → Q“는 임의의 Q에 대하여 항진명제이다. 이 원리는 고전 논리에서 모순이 받아들여질 수 없는 이유 중 하나이며, 초일관성 논리(paraconsistent logic)는 이 원리를 거부한다(Priest, 1979).

9. 모순명제의 판정

복합 공식이 모순명제인지 판정하는 가장 기본적인 방법은 진리표를 작성하여 마지막 열을 검사하는 것이다. 모든 행에서 결과가 F이면 모순명제이고, 하나라도 T가 있으면 모순명제가 아니다. 또 다른 방법은 그 부정이 항진명제인지 판정하는 것이다. 두 방법은 동등하며, 명제 논리의 결정 가능성을 보여 준다(Post, 1921).

10. 모순명제와 논리적 분석

모순명제의 개념은 논리적 분석에서 중요한 역할을 한다. 첫째, 그것은 귀류법(reductio ad absurdum)의 기초이다. 어떤 가정이 모순명제로 이어지면, 그 가정은 거부되어야 한다. 둘째, 그것은 공식 집합의 일관성(consistency) 검사의 기준이 된다. 공식 집합이 모순을 포함하면 일관성이 없다. 셋째, 그것은 명제 논리적 분석에서 자주 등장하는 주요 개념이다(Copi, Cohen, & McMahon, 2014).

11. 모순명제의 학술적 의의

모순명제는 다음과 같은 학술적 의의를 가진다. 첫째, 그것은 명제 논리에서 논리적 거짓의 형식적 정의를 제공한다. 둘째, 그것은 항진명제와의 이원성을 통하여 의미론적 구조의 대칭성을 보여 준다. 셋째, 그것은 귀류법과 일관성 분석의 기초가 된다. 넷째, 그것은 명제 논리의 결정 가능성의 또 다른 사례이다(Enderton, 2001).

12. 본 절의 결론적 정리

모순명제는 모든 진리값 할당에 대하여 거짓인 복합 명제이며, 명제 논리에서 논리적 거짓의 형식적 표현이다. 모순명제는 진리표 방법으로 기계적으로 판정될 수 있으며, 진리표의 마지막 열이 모두 F인 공식이다. “P ∧ ¬P“가 가장 단순한 모순명제이며, 이는 모순률의 직접적 위반이다. 모순명제는 항진명제와 부정 연산을 통하여 이원적으로 연결되며, 충족 불가능성과 동일한 개념이다. 모순명제의 개념은 귀류법, 일관성 분석, 폭발 원리 등 명제 논리의 핵심적 분석 도구의 기초가 된다. 학습자는 모순명제의 정의와 판정 방법, 주요 예시를 정확히 이해하고, 명제 논리적 분석에 활용할 수 있어야 한다.

13. 출처

• Aristoteles. (trans. 1984). The Complete Works of Aristotle (J. Barnes, Ed.). Princeton: Princeton University Press.
• Wittgenstein, L. (1921). Logisch-philosophische Abhandlung. Annalen der Naturphilosophie, 14, 185–262.
• Post, E. L. (1921). Introduction to a general theory of elementary propositions. American Journal of Mathematics, 43(3), 163–185.
• Priest, G. (1979). The logic of paradox. Journal of Philosophical Logic, 8(1), 219–241.
• Enderton, H. B. (2001). A Mathematical Introduction to Logic (2nd ed.). San Diego: Academic Press.
• Copi, I. M., Cohen, C., & McMahon, K. (2014). Introduction to Logic (14th ed.). London: Routledge.
• Mendelson, E. (2015). Introduction to Mathematical Logic (6th ed.). Boca Raton: CRC Press.

14. 버전

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