정의
배중률(排中律, law of excluded middle)은 형식 논리학에서 “어떤 명제 P에 대해 P ∨ ¬P가 항상 참이다”는 원칙을 말한다. 즉, 어떤 진술이든 그 자체이거나 그 부정 중 하나여야 하며, 두 경우를 동시에 만족하거나 둘 다 만족하지 않을 수 없다는 주장이다.
어원 및 명칭
‘배중’은 “중간을 배제한다”는 뜻의 한자 ‘排中’에서 유래하였다. 라틴어로는 principium tertii exclusi(제3의 명제가 배제되는 원리) 혹은 tertium non datur(제3의 가능성은 존재하지 않는다)라 불린다.
역사·학문적 위치
배중률은 고대 그리스 철학자 아리스토텔레스가 제시한 삼원칙 중 하나이며, 동일률·비모순율과 함께 고전 논리의 기본 법칙으로 자리 잡았다. 수세기 동안 서양 형식 논리와 수학 증명의 기반이 되었으며, 특히 귀류법(반증법)에서 핵심적인 역할을 한다.
논리 체계에 따른 적용 여부
배중률은 고전·정통 논리에서는 보편적으로 받아들여지지만, 직관주의(logic of intuitionism)나 다값 논리(multi‑valued logic), 양진주의(dialetheism) 등 일부 비고전 논리 체계에서는 성립하지 않을 수 있다. 예컨대 직관주의는 무한 집합에 대한 명제에 대해 배중률을 부정하며, 양진주의는 어떤 역설적 명제가 동시에 참과 거짓일 수 있음을 주장한다.
관련 개념
- 동일률: P → P (자명성)
- 비모순율: ¬(P ∧ ¬P) (같은 명제가 동시에 참과 거짓이 될 수 없음)
- 이치 논리(Principle of Bivalence): 모든 명제는 진리값을 0 또는 1 중 하나만 가진다는 원칙으로, 배중률과 밀접하지만 동일하지 않다.
비고·한계
배중률은 고전적 사고방식에 기반하므로, 비고전 논리 체계에서의 적용 여부는 해당 체계의 전제에 따라 달라진다. 특히 직관주의에서는 무한 집합에 대한 명제에 대해 배중률을 부정한다는 점이 학술적으로 널리 알려져 있다.
참고문헌
- 위키백과, “배중률”, https://ko.wikipedia.org/wiki/배중률 (2024년 6월 기준)
위 내용은 현재 확인 가능한 공신력 있는 자료에 근거했으며, 추가적인 학술적 세부 사항이 필요할 경우 별도 연구가 요구된다.
