무모순율 (Law of Non-Contradiction)
쉽게 풀면
무모순율은 같은 것이 같은 조건과 같은 시점에서 참이면서 동시에 거짓일 수는 없다는 논리 법칙이다. 예를 들어 '지금 비가 온다'와 '지금 비가 오지 않는다'가 동시에 둘 다 참일 수는 없다는 것이다. 이는 논리적 사고의 가장 근본적인 전제로 여겨진다.
왜 중요한가
어떤 명제와 그 부정이 동시에 참일 수 없다는 모순율로, 아리스토텔레스가 논증의 가능조건으로 제시한 이래 고전논리학의 가장 근본적인 원리로 여겨진다.
논문에서는 이렇게 쓰입니다
아리스토텔레스가 무모순율을 증명 자체가 불가능할 정도로 근본적인 원리, 즉 모든 다른 논증이 암묵적으로 전제할 수밖에 없는 제1원리로 취급했다는 것을 설명한다.
모순율이 논증의 타당성을 판별하는 기본 전제로 작동함을 보여준다.
조금 더 깊게 보면
변증법적 전통이나 역설적 논리(dialetheism)에서는 특정 맥락에서 참인 모순의 존재를 인정하려는 시도가 있어, 모순율이 절대적으로 보편타당한지에 대한 논쟁이 완전히 종결된 것은 아니다. 초일관 논리(paraconsistent logic)는 모순으로부터 임의의 명제가 따라 나온다는 폭발 원리를 차단함으로써, 무모순율이 위반되는 경우에도 논리 체계 전체가 붕괴하지 않도록 설계된 대안적 논리 체계다. 이런 체계는 실제 데이터베이스나 법률 체계처럼 일관성이 완벽히 보장되지 않는 정보원을 다룰 때, 국소적 모순이 전체 추론 체계를 무너뜨리지 않도록 하는 실용적 목적에서도 활용된다. 헤겔의 변증법적 전통은 모순을 사유의 오류가 아니라 현실이 발전해 나가는 원동력으로 적극적으로 받아들이려 했다는 점에서, 무모순율에 대한 또 다른 방식의 철학적 도전으로 다루어진다.
주의할 점
무모순율은 배중률과 구별되어야 하며, 일부 비고전 논리(변증법적 논리나 초일관 논리)에서는 특정한 방식으로 무모순율의 예외를 다루기도 한다는 점을 알아두면 좋다. 무모순율은 같은 대상, 같은 시점, 같은 관점을 전제로 한다. 시점이나 관점이 다르면 겉보기에 모순되는 두 진술이 실제로는 무모순율을 위반하지 않을 수 있으며, 이 조건을 명확히 하지 않으면 애매한 사례를 두고 모순율 위반 여부를 잘못 판단하기 쉽다.