전 The logic Book by Bergman으로 수리논리학 입문했는데,
코어 논리학으로 논리학 입문하신 분들도 꽤 많군요.
코어 논리학에서는 어느 정도 개념이나 정리까지 소개되나요?
참고로, The logic Book by Bergman은 1st-order logic의 completeness와 compactness theorem, 그리고 countable language(애초에 이 책은 countable language만 다루더라고요.)에 대한 Lowenheim-Skolem theorem 증명(사실 completness theorem과 soundness theorem 증명만 하면 바로 따라나오는 정리들) 정도까지 주요 주제로 다뤄요. (참고로 저 수학 잘 못해요. 지금도 현재 진행형으로 못 하는 중.)
뭐, 더 뒤에 명제들을 tree 구조로 분석하는 것에 대한 theory들도 한 챕터 할애해서 소개해 주긴 하지만, 이건 마이너한 걸로...
해당 댓글은 삭제되었습니다.
저 Bergmann 책도 Fitch 스타일만 소개하던데, Gentzen style 위주의 FOL은 어떤 책이 참고 서적으로 좋나요?
와, 2nd order logic까지 소개해주네... 지금 introduction to incompleteness theorem by Peter Smith 책 보고 있는데, 이거 다 본 뒤에 (원래는 Jech set theory 볼 생각이었지만) logic and structure by Dirk van Dalen 봐야 겠군요. 좋은 책 소개해 주셔서 감사합니다.
책 제목 잘못 적었다. An Introduction to Gödel's Theorems 요.
Kunnen set theory가 CH의 ZFC에 한 independency를 증명(forcing 기법)하는 데 초점을 맞춘 책이군요. 일단, Jech set theory 제본해 놓은 게 있어서 그거 읽다가 정 어렵거나 기본 지식이 부족하다고 느끼면 Kunen set theory를 보면 되겠군요. 정말 감사합니다.