지나가던 주니어 논리학자입니다. DC도 오래간만에 들어봤지만 논리학 갤이 있었네요. 언급이 없는 부분이 있어서 몇자 적고 갑니다.

1. 성균관대 이병덕 교수님의 <코어 논리학>은 개인적으로 입문자용으로 굉장히 좋은 책이라 생각하고요. 다만 실용 위주의 책이라 간간히 보이는 오류는 어쩔 수 없다고 생각됩니다. 또한 완전성 정리와 같은 메타 정리를 언급하지 않는 점이나 고전 논리에만 국한되어 적혀 있어서 조금 아쉽기는 합니다만 논리학을 처음 접하시기에 굉장히 좋은 책이라 생각됩니다.

<코어 논리학>의 몇 가지 오류는 <논리연구> 12집 1호에서 고려대 정인교 교수님이 일정 부분 지적을 해주셨고요. (당시 책의 제목은 <논리적 추론과 증명>이었는데 내용은 변함이 없다고 생각됩니다.) 참고하시면 좋겠습니다.

여담. 학술적으로 “코어 논리학”(Core Logic)은 최근(2016년) 오하이오 주립대 Neil Tennant 교수가 직관주의 연관 논리를 명명하는 것으로 차용한 명칭인데요. 수학과 과학 영역에 적용되면서 결함 없는 논리가 직관주의 연관논리라는 측면에서 차용한 용어고 그 자체로 많은 비판을 받는 용어이기도 합니다. 이병덕 교수님은 이런 부분을 고려하신 것은 아닌 것으로 보이고요.

2. 논리학 입문 서적으로 국문 서적을 찾으라면 최근 나온 한양대 최원배 교수님의 <논리적 사고의 기초>와 <추론이란 무엇인가>를 추천하고 싶습니다. <논리적 사고의 기초>는 완전성 정리까지 다루는 책이고 고전논리에 국한되어 있지만 문제 해설도 있고 설명도 충실해서 전공 교재로 사용해도 좋을 책이라 생각합니다. <추론이란 무엇인가>는 공무원 시험이나 법학적성 시험 준비하시는 분들께 더 적합할 것으로 보이고요. 실용 위주로 논리학을 보시는데도 적합하리라 생각됩니다. 가격대가 있어서 수업 교재로는 사용하지 못 하고 있는데요. 최근 출판된 논리학 교재 중에서는 개인적으로 최원배 교수님 책자가 가장 잘 나오지 않았나 생각됩니다.

3. 괴델 정리와 탈스키 정리 처치 정리 그리고 이차 논리나 크립키 의미론 등이 국문으로 엄밀하게 정리된 책으로 고 김영정 교수님의 <언어, 논리, 존재>를 추천합니다. 저도 학부때 정말 열심히 읽었던 책이고요. 책 구하기가 어려웠을 때 정말 한 줄기 빛과도 같은 책이었어요.

지나가다 몇 자 적게 됐습니다만 누가 되지 않았으면 좋겠습니다. 교양 수준으로라도 논리학에 대한 관심이 계속 되었으면 하는 바람입니다.

새해 복 많이 받으세요.