귀류법: 두 판 사이의 차이

'''귀류법'''(歸謬法, {{문화어|귀유법}}), '''배리법'''(背理法) 또는 '''반증법'''(反證法)은 어떤 주장에 대해 그 함의하는 내용을 따라가다보면 이치에 닿지 않는 내용 또는 결론에 이르게 된다는 것을 보여서 그 주장이 잘못된 것임을 보이는 것이다. '배리법'(背理法) 또는 '반증법'(反證法)이라고 일컬어지기도 한다.<ref name="IEP">{{cite web |언어고리=en|꺽쇠표=1|url=http://www.utm.edu/research/iep/r/reductio.htm |work = The Internet Journal of Philosophy |title = Reductio ad absurdum |author = Nicholas Rescher |accessdate =2011-01-25}}</ref> 귀류법은 간접증명법이다.<ref>차길영. [http://www.kyeongin.com/news/articleView.html?idxno=498359 귀류법에 관하여]. 경인일보. 2010년 1월 24일.</ref> <ref>김경. [http://www.veritas-a.com/news/articleView.html?idxno=28097 2015 수시 논술중심전형 수리논술 대비 방안]. 베리타스알파. 2014년 9월 15일.</ref>
<ref>조홍재. [http://news.naver.com/main/read.nhn?mode=LSD&mid=sec&sid1=102&oid=022&aid=0002695205 ‘수열’ 파트 증명 문제 어떻게]. 세계일보. 2014년 7월 27일.</ref>

영어권에서는 [[라틴어]]로 "레둑티오 아드 아브수르둠([[:en:Reductio ad absurdum|Reductio ad absurdum]])"이라고 하며 이것의 해당 영어 번역은 "리덕션 투 더 업설드(reduction to the absurd)"이다. [[수학]]에서는 특히 귀류법 또는 배리법이라고 부르며, 수학의 귀류법은 어떤 수학적 명제가 참인 것을 증명하는 수학적 증명 방법 중 하나이다. 수학의 귀류법은 영어로 "[[:en:Proof by contradiction|Proof by contradiction]] (프루프 바이 컨트러딕션{{.cw}}모순에 의한 증명)"이라고 한다.