배중률 (Law of Excluded Middle)
한 줄 정의: 임의의 명제 P에 대해 'P이거나 P가 아니다'가 항상 참이라는 고전 논리학의 기본 법칙으로, 명제는 참이거나 거짓 둘 중 하나이며 그 중간은 없다는 원리이다.
쉽게 풀면
배중률은 어떤 명제든 참이거나 거짓 중 하나이지, 그 중간의 애매한 제3의 상태는 없다는 논리 법칙이다. 예를 들어 '오늘은 화요일이다'는 참이거나 거짓 중 하나여야지, '반쯤 참'인 상태는 고전 논리학에서 허용되지 않는다.
논문에서는 이렇게 쓰입니다
"직관주의 논리학자들은 무한 집합에 관한 명제에 대해서는 배중률의 무제한적 적용을 거부한다."
직관주의 수학·논리학이, 특히 증명되지 않은 무한 대상에 관한 명제에서는 '참이거나 거짓이다'라는 배중률을 무조건 적용할 수 없다고 보는 비고전적 입장을 소개한다.
주의할 점
배중률은 무모순율과 자주 혼동되지만, 배중률은 'P이거나 not-P'가 참이라는 것이고 무모순율은 'P이면서 동시에 not-P'가 거짓이라는 것으로 서로 다른 법칙임을 구별해야 한다.