악마의 증명
1. 개요
중세 유럽에서 사용된 법적용어.
요지는 존재를 증명하려면 그 한 건에 대한 증거가 필요하나, 없다는 것을 증명하려면 있었던 모든 일들에 대해 증거가 없음을 증명해야 하므로, 그것은 거의 불가능하다는 것을 비유적으로 표현한 말이라고 한다. 다른 예를 들면, ''신은 없다"라고 주장하는 측은 신이 이세상 어디에도 없다는 증거를 가져와야 하지만, "신은 있다"라고 주장하는 측은 신만 데려오면 그만이기 때문이다.
입증책임과 연관이 있다. '악마가 존재한다'는 주장과 '악마가 존재하지 않는다'는 주장이 충돌하게 된다면, 입증책임은 '악마가 존재한다'고 주장하는 측에 있다. 왜냐하면 반대로 존재치 않는다는 쪽에 입증 책임이 있다면 없다는 것을 증명 못한다는 이유로 너무 많은 것을 믿어야하기 때문. 예를 들어 러셀의 찻주전자 같이 어떤 허황된 소리일지라도 없다고 증명 못한다면 믿어야 된다.
귀납법과도 관련이 있다. "모든 백조는 하얗다"를 존재 증명이 핵심인 악마의 증명에서는 "일부 백조는 하얗다"고 바꾼 셈이다. '일부 백조'가 존재함을 보이면 끝이다. 반면에 "나머지 모든 백조가 검다"라고 주장하는 경우에는, 말 그대로 모든 백조의 사례를 찾아봐야 하는 귀납법의 문제로 바뀌게 된다. 이렇게 변형을 한 이유는 악마의 증명이 법정 추론으로서, 효율적이고 강한 설득 논변으로 구성되어야 하기 때문이다. 보편적 명제를 찾아내는 귀납법은 당장 한 두 개 증거가 중요한 상황에서 별 쓸모가 없다. 또한 악마의 증명에서 보듯이 무엇이 '존재하지 않음'을 증거로 하는 방식은 굉장히 비효율적이고 설득력이 떨어지기 때문에 역시 법정에서 꺼리는 논증방식이 된다.
논리학적으로는, (두 명제가 증명되지 않았을때) A는 존재함도, 존재하지 않음도 증명되지 않았다 라고 하면 옳다.
사운드 노벨 게임 《괭이갈매기 울 적에》에서 이 명제는 줄기차게 언급되는데, 친족회의에서의 우시로미야 루돌프의 언급에서 시작해 출제편에서 우시로미야 배틀러의 추리에서도 과정을 설명하기 위해 사용된다.