이 책은 이름부터가 큰 어그로를 끌어서 도서관에서 보자마자 집어든 책이다. 사실 괴델의 신존재 증명을 처음 들어본 건 아니었지만, 유튜브를 통해서 보았을 때는 상당히 복잡했기 때문에 이해하기가 힘들었다. 그래서 도서관에서 이 책을 보자마자 빌렸다.
당연히 괴델의 신 존재 증명 하나만으로 책 전체를 채우지는 않았으며, 괴델의 증명 이전에 안셀무스나 데카르트같은 철학자, 신학자들이 생각해 낸 존재론적 신 증명을 설명하기도 하고, 괴델의 증명에 관한 배경도 서술한다. 내가 이 책을 읽으며 혼란스러웠던 부분은 안셀무스의 증명과 데카르트의 증명, 그리고 괴델의 증명이 어떤 차이가 있는가이다. 분명 괴델은 수식을 이용하여 증명을 명료화하긴 했지만, 그 이상으로 그것이 의미가 있는지는 모르겠다. 결국 다 같은 '완벽한 존재는 신이고, 완벽한 존재가 존재하지 않는다는 것은 완벽하지 않으므로 모순이다.'라는 논증처럼 보인다. 분명히 책에서는 다르다고 하니까, 내가 조금 더 공부해야겠다.
그것보다, 신의 존재론적 증명은 이미 많이 알려져 있지만, 변증가들은 이것을 진지하게 사용하지 않는 듯 하다. 내가 읽었던 책에서 알리스터 맥그라스도 신의 현실적 정합성과 논리적 정합성을 다르게 보아야 한다고 했는데, 이 부분도 알아보아야겠다.