어쩌다 보니, 논리학 책을 수집하는게 취미가 되버린 것 같네요..
인터넷을 서핑하다가, 이좌용 교수님이 번역하신 <형식논리학>이라는 책을 발견하게 되었는데요. <계산가능성과 논리>의 저자 중 한명인 R. 제프리가 쓴 책입니다.
아직 본격적으로 읽어 보지는 않았지만, 제프리가 초보자를 상정하고 쓴 책이라고 말하고 있고, 또, 초보자를 위해 진리나무 방식을 택했다고 하니, 그렇게 어려운 책은 아닐거라는 생각이 드네요.
그런데, 흥미로운 점은 처치의 결정불가능성 정리와 괴델의 불완전성 정리를 진리 나무 방식을 통해 증명을 하고 있는 점입니다. 제가 모르는 다른 교재가 있을지는 몰라도, 저는 초보자 수준임을 자처하는 교재에서 처치와 괴델을 다루는 건 처음 봅니다.
표지도 범상치 않습니다(!?)
단점은 너무 옛날 서적이라 절판되었다는 점입니다. 근데 또 신기하게 중고 가격은 쌉니다. 그리고 표준적인 번역이 합의되기 이전에 서적인지는 몰라도, 용어들이 특이합니다. Conjuction은 '공접'으로, Disjuction은 '이접'으로 번역되어 있습니다. Church도 '춰치'로 표기되어 있습니다.
그런데 사실, 요즘은 영어로 된 좋은 논리학 교재들이 많기는 해서 이 책을 볼 이유가 딱히 없을 것 같기도 하네요..