배중률

위키백과 ― 우리 모두의 백과사전.

배중률 (排中律)은 형식 논리학의 사유 법칙 중 하나이다. 어떤 명제와 그것의 부정 가운데 하나는 반드시 참이라는 법칙을 말한다. 즉 서로 모순되는 두 판단이 동시에 참일 수 없다는 것이다.

예를 들어, "달에는 토끼가 산다"는 명제이고, 따라서 배중률에 따르면 "달에는 토끼가 살거나 달에는 토끼가 살지 않는다"는 항상 참이다.

배중률은 (P or ~P)가 항상 참이라고 주장할 뿐, P의 진리값에 대해서는 어떠한 주장도 하지 않으며, 다가 논리와 모순되지 않는다.

수학 철학 중 하나인 직관주의는 배중률을 부정한다.