모순된 명제를 받아들이면, 이 세상 모든 명제가 참이 된다는 결론이 논리학에 있다(‘논리는 강압적인가?’라는 짧은 에세이에서 다루는 내용이다). 형식 논리학적 증명이 있음에도, 이 결론이 실제 잘 와 닿지는 않는다. 관련하여 다음의 재미있는 일화를 저자는 알려준다. 버트런드 러셀이 논리학 대중강연을 했을 때에도 이러한 결론을 납득하지 못한 청중이 다음과 같이 끼어들었다. “그럼 2 더하기 2가 5라면 내가 교황이라는 것을 증명해 보세요.” 러셀은 이렇게 답했다. “매우 좋습니다. 2 더하기 2는 5로부터 양변에서 3을 빼면 2는 1과 같다는 결론을 얻습니다. 당신과 교황이 둘이고요, 그러므로 당신들은 하나입니다.” 감탄이 나오는 순발력이다. 또는 러셀 자신이 이미 이런 문제를 생각해 봤었는지도...
논리학은 위대하다. 논리학에서 수학이 나오고 과학이 나온다. 수학이—계산이—잘못되면 로켓이 제대로 발사되지 않거나, 발사되어도 엉뚱한 곳으로 날아간다. 추상적 수학이 인간 세계를 지배한다.
다음은 러셀이 주인공으로 나오는 수학과 논리에 관한 책이다. 만화이지만 매우 수준이 높고 내용이 좋다.
