{{위키데이터 속성 추적}}
'''배중률'''(排中律, Law of excluded middle, Principe du tiers exclu)은 [[논리학]]에서 어떤 명제 ''P''에 대해 <span>"''P''</span> ∨ ¬ <span>''P''"''(P''이거나</span> ''P''가 아님)가 성립한다고 주장하는 법칙이다. 이는 [[고전논리]]에서 기본적인 속성이며, [[동일률]], [[비모순율]]과 함께 (고전적인) 사고의 삼원칙의 하나로 꼽힌다. 그러나 논리체계에 따라 약간 다른 법칙으로 존재하는 경우도 있고, 경우에 따라서는 배중률이 전혀 성립하지 않을 수도 있다 (이를테면 [[직관 논리|직관논리]]).<ref>[http://www.brn.dis.titech.ac.jp/~sshi/contents/study_logic.html 論理学] {{웨이백|url=http://www.brn.dis.titech.ac.jp/~sshi/contents/study_logic.html |date=20160613115507 }} 澤茂実</ref><ref>[http://www.h6.dion.ne.jp/~ooya/Kougiroku/Ronri/Ronri11.pdf 7.4 直観論理と古典論理] {{웨이백|url=http://www.h6.dion.ne.jp/~ooya/Kougiroku/Ronri/Ronri11.pdf |date=20131019103144 }} 大矢建正</ref>

라틴어: Principium tertii exclusi(제3의 명제가 배제되는 원리) 혹은 Tertium non datur(제3의 명제·가능성은 존재하지 않는다)고 칭해져, 「Law of excluded middle」(중간의 명제는 배제되어서 존재하지 않는 법칙) 또는「Law of the excluded third」(제3의 명제가 배제되는 법칙)이라고 불리고, 이들은 한국어에서의 배중이라는 표현과 이어져, 배중원리라고 불린다.

배중률은 논리에서부터 이끌어지는 법칙이 아니다. 또한 [[이치 논리]](principle of bivalence)와는 다른 주장이다.

[[수사학]]에서는 배중률이 오해되어 이용되는 경우가 있고, [[흑백논리|오류]]의 원인이 되고 있다.

== 예 ==
다음의 명제 ''P''에 대하여 생각한다.

: 「소크라테스는 죽는다」

이 명제에 대하여, 배중률이란

: 「소크라테스는 죽거나 죽지 않거나, 그 중 하나이다」

라는 명제 ''P'' ∨ ¬ ''P''가 성립한다는 규칙이다(그 외의 제3의 상태나 중간의 상태를 취하지 않는다).

이 규칙은 명제 ''P''의 내용에 관계없이 적용할 수 있다.

배중률에 의존하는 [[논증]]의 예는 다음과 같다.<ref>이것은 잘 알려진 예이다. 이를테면, Megill, Norm. ''Metamath: A Computer Language for Pure Mathematics'', footnote on p. 17,[http://us.metamath.org/index.html#book] and Davis 2000:220, footnote 2.</ref> 다음과 같은

: ''a <sup>b</sup>''는 유리수이다.

라는 속성을 가진 두 [[무리수]] ''a''와 ''b''가 있음을 증명하자.

<math>\sqrt{2}</math>가 무리수인 것은 알고 있다. 거기서, 다음과 같은 수를 생각한다.

:<math>\sqrt{2}^{\sqrt{2}}</math>

배중률에 따르면, 이 수는 분명하게 유리수 또는 무리수, 둘 가운데 하나이다. 이것이 유리수라면 증명이 완료된다. 만약 무리수라면, 다음과 같은 수를 생각한다.

:<math>a = \sqrt{2}^{\sqrt{2}}</math> 및 <math>b=\sqrt{2}</math>

그러면,

:<math>a^b = \left(\sqrt{2}^{\sqrt{2}}\right)^{\sqrt{2}} = \sqrt{2}^{\left(\sqrt{2}\cdot\sqrt{2}\right)} = \sqrt{2}^2 = 2</math>

2는 분명하게 유리수이다. 따라서 증명이 완료된다.

이 논증에서 「이 수는 유리수 또는 무리수 가운데 하나이다」라는 주장은 배중률에 근거한다. 직관주의는 어떠한 증거가 없는 한, 이 같은 주장을 인정하지 않는다. 이 변형으로서 한 수가 무리수 (또는 유리수)임의 증명이나, 한 수가 유리수인지를 판정하는 유한한 알고리즘 따위를 생각할 수 있다.

== 무한에 관한 비구성적 증명의 법칙 ==
위의 예는 직관주의에서는 허용되지 않는 「비구성적; non-constructive」 증명의 예이다.

: 「이 증명은 정리를 만족하는 ''a''와 ''b''라는 수를 특정하지 않고서 가능성만으로 논하고 있기 때문에, 비구성적이다. 실제로는<math>a=\sqrt{2}^{\sqrt{2}}</math>는 무리수이지만, 이를 쉽게 나타내는 증명은 알려져 있지 않다」(Davis 2000:220)

Davis는 「구성적」에 대하여 「실제로 특정조건을 충족하는 수학적 실체가 존재한다는 증명은, 명시적으로 문제의 실체를 나타내는 방법을 제공할 필요가 있을 것이다」(p. 85)라고 여겼다. 그러한 증명은 전체의 완전성의 존재를 전제로 하고 있으며, 그것은 직관주의자에게 있어서는, 결코 완전하지 않은 「무한대」로 확장하는 것은 허용되지 않는다.

: 고전수학에는 「비구성적」 혹은 「간접적」인 존재증명이 있지만, 직관주의자들은 그것을 받아들이지 않는다. 이를테면, 「''P(n)''이 성립할 법한 ''n''가 있다」는 것을 증명하면 고전수학에서는 모든 ''n''에 대해 ''P(n)''이 성립하지 않는다고 가정하는 것으로 모순이 생기는 것을 나타낸다. 고전논리에서도 직관 논리에서도, [[귀류법]]에 따라 「모든 ''n''에 대하여 ''P(n)''이 성립하지 않는 것은 없다」는 것이 나타난다. 고전논리는 그 결과를 ''"P(n)''이 성립하는 ''n''이 존재한다」로 변환하는 것을 허락하지만, 직관논리는 총체적으로 무한한 자연수의 집합이 완전하며, ''P(n)''이 될 법한 ''n''이 존재한다는 것은 말할 수 없다. 왜냐하면, 직관주의는 자연수가 전체로서 완전하다고는 생각하지 않기 때문이다.<ref>세 가지 주장(러셀과 화이트헤드의 논리주의, 브라우어르의 직관주의, 힐베르트의 형식주의)을 비교분석하는 과정에서, 클레이니는 직관주의와 그 제창자[//ko.wikipedia-mirror.org/wiki/%EB%9D%BC%EC%9C%84%ED%8A%B8%EC%A0%84_%EB%B8%8C%EB%9D%BC%EC%9A%B0%EC%96%B4%EB%A5%B4 브라우어르]에 관심을 돌려, 지관주의자들의 배중률을 「완전한 무한」에 대한 의론에 적용하는 것에 대한 이의, 에 관심을 가지고 있다.</ref> (Kleene 1952:49-50)

실제로, [[다비트 힐베르트|힐베르트]]와 [[라위트전 브라우어르|브라우어르]]는 저마다 배중률을 무한히 적용하는 예를 보였다. 힐베르트의 예는 「소수(素数)는 유한개인가 무한개인가」(Davis 2000:97)이며, 브라우어르의 예는 「모든 수학적 종(種)은 유한인가 무한인가」(Brouwer 1923 in van Heijenport 1967:336)이다.

일반적으로 직관주의는 유한한 집합에 관하여 배중률의 적용을 허용하지만, 무한집합 (이를테면 자연수)에 대해서는 불허한다. 따라서 「무한집합 ''D''에 관한 모든 명제 ''P''에 대하여, ''P''인지 또는 ''P''가 아닌지 중 하나이다」(Kleene 1952 : 48)라는 사고방식은 직관주의에서는 절대로 불가능하다. 자세한 것은 [[수학기초론]]과 [[직관주의|수학적 직관론]]을 참조하기 바란다.

배중률에 대한 추정적 반례로, [[거짓말쟁이의 역설]] 혹은 [[콰인의 역설]]이 있다. 그레이엄 프리스트의 [[양진주의]](dialetheism)에서는 배중률을 정리로 간주하지만, 거짓말쟁이의 역설은 참이기도 거짓이기도 하다고 설명한다. 이 경우, 배중률은 참이지만, 참이기에 선언(選言)은 배타적이지 않고, 선언지(選言肢)의 한쪽이 역설적이거나, 양자가 모두 참이자 거짓일 수도 있다고 간주한다.

== 역사 ==

=== 아리스토텔레스 ===
[[아리스토텔레스]]는, 애매함은 애매한 명칭을 쓰기에 생기는 것이지, 「사실」 자신에는 애매함이 없다고 여겼다. 또한, 「같은 대상(對象)임과 같은 사건(←事象)이지 않음은 동시에 성립되지 않는다」고 여겼다. 이를 명제논리로 나타내면, ¬ <span>(''P''</span> ∧ ¬ ''P'')가 된다. 이것은 이중부정의 법칙 「¬¬ ''''P'''' ⇔ ''P''」를 인정하면 현대에서 말하는 배중률 <span>(''P''</span> ∨ ¬ ''P'')와 등가이지만, 그렇지 않은 경우에는 양자의 의미는 달라진다. 전자는 어느 명제가 동시에 참이면서 거짓인 것은 없다고 주장하는 것으로, 후자는 어느 명제가 참도 거짓도 아닌 것은 없다고 주장하는 것이다.

그러나, 아리스토텔레스는 「서로 모순되는 현상이 동시에 참인 것은 불가능하므로, 동일한 사건이 동시에 상반되는 속성을 가질 수 없는 것은 분명하다」(Book IV, CH 6, p. 531)라고도 논했다. 그리고 「상반하는 사건의 중간은 존재하지 않지만, 하나의 사건에 대하여 우리는 어느 술어가 성립하는지 그 여부를 나타내어야 한다」(Book IV, CH 7, p. 531)고 여겼다. 아리스토텔레스의 고전논리에서는 이것이 배중률 ''''P'''' ∨ ¬ ''P''의 명확한 명제로 되어 있다.

=== 라이프니츠 ===
<blockquote style=""> 그 일반적 형식 「모든 판단은 참 또는 거짓이다」[footnote 9]…(from Kolmogorov in van Heijenoort, p. 421)

 footnote 9: 이것은 [[고트프리트 빌헬름 라이프니츠|라이프니츠]]의 아주 단순한 정식화이다 (see ''Nouveaux Essais,'' IV, 2)…"(ibid p 421) </blockquote>

=== 버트런드 러셀과 『수학원리』 ===
[[버트런드 러셀]]은 「배중률」과 「모순율; law of contradiction」을 구별했다.''The Problems of Philosophy''에서 그는 아리스토텔레스적 의미에서 자명한 세 가지 사고의 법칙을 들었다.<blockquote class="" style="">
# [[동일성|동일성의 법칙]]
# [[비모순율]]: 「어느 사물에 대하여 같은 관점에서 동시에, 그것을 긍정하면서 부정하는 것은 불가능하다」
# '''배중률''': 「모든 사건은 어느 속성을 가지거나 가지지 않거나 가운데 하나이다」

이들 세 가지 법칙은 자명한 논리원칙의 예이다(p. 72)</blockquote>이것은 적어도 이치논리(二値論理)에서는 올바르다(이를테면, [[카노 맵|カ카노 맵]]을 참조). 러셀의 제2의 법칙은 제3의 법칙에서 쓰이는 [[논리합|비배타적 논리합]]의 「중간」을 배제한다. 그리고, 이는 라이헨바흐가 일부의 [[논리합]]을 [[배타적 논리합]]에 치환해야 마땅하다고 주장하는 근거가 된다.

이 문제에 대하여 라이헨바흐는 다음과 같이 적었다.<blockquote class="" style="">배중률

# (''x'')[''f''(''x'') ∨ ~''f''(''x'')]

은 주요항이 망라적이지 않으므로 장황한 논리식이다. 이 사실은 일부의 사람이 (29)를 비배타적 논리합으로 적는 것을 불합리하다고 느끼는 이유이며, 배타적 논리합으로 적게끔 하는 이유이다.

# (''x'')[''f''(''x'') ⊕ ~''f''(''x'')], 여기서, " ⊕ "라는 기호는 [[배타적 논리합]]을 의미한다.<ref>라이헨바흐가 본래 사용한 기호는 V를 거꾸로 쓴 것이었지만,현재는 그것은 논리곱의 의미를 가진다. 라이헨바흐는 논리곱의 기호로는 Principia Mathematica와 같이 「닷」을 썼다(cf. p. 27). 라이헨바흐는 동일성의 부정으로서 p. 35에서 배타적 논리합을 정의했다. "⊕"는 본래 2진수의 자리올림 없는 가산을 의미하고, 한 자리의 2진수에서는 배타적 논리합과 등가이다. 달리도 "≢" や "≠"와 같은 기호가 사용된다.</ref>

이 식은 망라적이며, 보다 엄밀하다(Reichenbach, p. 376).</blockquote> (30)에서 <span>"(</span>''x'')"는 당시의 [[전칭기호]]이다.

아리스토텔레스와 러셀은 고전논리의 특성을 믿고 있었지만, 그것은 모든 명제가 참이거나 거짓이라는 암묵의 전제에 의존한다.

== 같이 보기 ==
* [[구성주의 (수학)]]
== 각주 ==
{{각주}}

== 참고 문헌 ==

* [[토마스 아퀴나스|Aquinas, Thomas]] " [[신학 대전|Summa Theologica]] "Fathers of the English Dominican Province (trans.), Daniel J. Sullivan (ed.), vols. 19-20 in Robert Maynard Hutchins (ed.), ''Great Books of the Western World,'' Encyclopedia Britannica, Inc. Chicago, IL, 1952. Cited as GB 19-20.
* [[아리스토텔레스|Aristotle]] "Metaphysics"WD Ross (trans.), vol. 8 in Robert Maynard Hutchins (ed.), ''Great Books of the Western World,'' Encyclopedia Britannica, Inc. Chicago, IL, 1952. Cited as GB 8. 1st published, WD Ross (trans.), ''The Works of Aristotle,'' Oxford University Press, Oxford, UK.
* Martin Davis 2000 ''Engines of Logic : Mathematicians and the Origin of the Computer ", WW Norton & Company, NY, ISBN 0-393-32229-7 pbk.''
* Dawson, J., ''Logical Dilemmas, The Life and Work of Kurt Gödel,'' AK Peters, Wellesley, MA, 1997.
* van Heijenoort, J., ''From Frege to Gödel, A Source Book in Mathematical Logic, 1879-1931,'' Harvard University Press, Cambridge, MA, 1967. Reprinted with corrections 1977.

: * [[라위트전 브라우어르|Luitzen Egbertus Jan Brouwer]] 1923, ''On the significance of the principle of excluded'' middle in mathematics '', espcecially in function theory'' [reprinted with commentary, p. 334, van Heijenoort]
: * Andrei Nikolaevich [[안드레이 콜모고로프|Kolmogorov]] 1925, ''On the principle of excluded middle,'' reprinted with commentary, p. 414, van Heijenoort]
: * [[라위트전 브라우어르|Luitzen Egbertus Jan Brouwer]] 1927, ''On the domains of definitions of functions,'' reprinted with commentary, p. 446, van Heijenoort] Although not directly germane, in his (1923) Brouwer uses certain words defined in this paper.
: * [[라위트전 브라우어르|Luitzen Egbertus Jan Brouwer]] 1927 (2) ''Intuitionistic reflections on formalism,'' reprinted with commentary, p. 490, van Heijenoort]

* [[스티븐 클레이니|Stephen C. Kleene]] 1952 original printing, 1971 6th printing with corrections, 10th printing 1991, ''Introduction to Metamathematics,'' North-Holland Publishing Company, Amsterdam NY, ISBN 0 7204 2103 9 .
* Kneale, W. and Kneale, M., ''The Development of Logic,'' Oxford University Press, Oxford, UK, 1962. Reprinted with corrections 1975.
* [[알프레드 노스 화이트헤드|Alfred North Whitehead]] and [[버트런드 러셀|Bertrand Russell]], ''Principia Mathematica to * 56,'' Cambridge at the University Press 1962 (Second Edition of 1927, reprinted). Extremely difficult because of arcane symbolism, but a must-have for serious logicians.
* [[버트런드 러셀|Bertrand Russell]], ''The Problems of Philosophy, With a New Introduction by John Perry,'' Oxford University Press, New York, 1997 edition (first published 1912). Very easy to read : Russell was a wonderful writer.
* [[버트런드 러셀|Bertrand Russell]], ''The Art of Philosophizing and Other Essays,'' Littlefield, Adams & Co., Totowa, NJ, 1974 edition (first published 1968). Includes a wonderful essay on "The Art of drawing Inferences"
* [[한스 라이헨바흐|Hans Reichenbach]], ''Elements of Symbolic Logic,'' Dover, New York, 1947, 1975.
* Tom Mitchell, ''Machine Learning,'' WCB McGraw-Hill, 1997.
* Constance Reid, ''Hilbert,'' Copernicus : Springer-Verlag New York, Inc. 1996, first published 1969. Contains a wealth of biographical information, much derived from interviews.
* Bart Kosko, ''Fuzzy Thinking : The New Science of Fuzzy Logic,'' Hyperion, New York, 1993. Fuzzy thinking at its finest. But a good introduction to the concepts.
* [[데이비드 흄|David Hume]], ''An Inquiry Concerning Human Understanding,'' reprinted in Great Books of the Western World Encyclopedia Britannica , Volume 35, 1952, p.449ff. This work was published by Hume in 1758 as his rewrite of his ''"juvenile"Treatise of Human Nature : Being An attempt to introduce the experimental method'' of Reasoning into Moral Subjects Vol ''. I, of The Understanding'' first published 1739, reprinted as : David Hume, ''A Treatise of Human Nature,'' Penguin Classics, 1985. Also see : David Applebaum, ''The Vision of Hume,'' Vega, London, 2001 : ''a reprint of a portion of An Inquiry'' starts on p . 94ff

== 외부 링크 ==

* [[스탠포드 철학사전|스탠포드 철학 백과사전]], [http://plato.stanford.edu/entries/contradiction/ Contradiction].

{{전거 통제}}

[[분류:고전 논리]]
[[분류:명제 논리 정리]]