https://www.logicmatters.net/tyl/shorter-tyl/

에 나와 있는 내용인데, Teach Yourself Logic 가이드(무려 100페이지)를 압축한 짧은 가이드 내용이라고 합니다. 양상 논리나 관계 논리 같은 것들, 그리고 기초 단계가 아닌 심화 논리학 교재는 풀 가이드에나 나온다네요. 표준적 논리 체계 책들만 모은 것 같습니다. 그런데 사실상 이 가이드에 나온 책을 다 보면 국내에서는 논리학 장인으로 불릴 것 같네요. 그리고 1번 이후 2,3,4 중 뭘 먼저 하는지는 상관 없다고 합니다.


1. 기초적인 1차 술어 논리
  • Ian Chiswell and Wilfrid Hodges의 Mathematical Logic (OUP 2007)을 보면서 자연 연역을 익힌 다음,
  • Christopher Leary and Lars Kristiansen의 A Friendly Introduction to Mathematical Logic (Milne Library, 2015 – 초판은 Leary 혼자 저술, Prentice Hall 2000)을 3.2절까지 보거나, Herbert Enderton의 A Mathematical Introduction to Logic (Academic Press 1972, 2002)을 2.5절까지 보며 공리적 접근을 익힙니다.
  • 좀 헤메고 있거나, 많이 어렵지 않은 추가 교재를 원할 경우, 독학용으로 쓰인 Derek Goldrei의 Propositional and Predicate Calculus: A Model of Argument (Springer, 2005)가 있습니다. 4.4, 4,5절을 제외한 챕터 1부터 5까지 봅니다.
  • 그리고 나서 시야를 넓히고 싶을 땐: Wilfrid Hodges의 ‘Elementary Predicate Logic’라고, Handbook of Philosophical Logic이라는 책 제1권에 있는 처음 스무 개 섹션을 봅니다.
2. 모델론 기초
  • Derek Goldrei의, Propositional and Predicate Calculus: A Model of Argument (Springer, 2005)의 4.4, 4.5절을 보고, 6장의 ‘Some uses of compactness’ 부분을 보고 난 뒤:
  • Maria Manzano의, Model Theory, Oxford Logic Guides 37 (OUP, 1999)를 봅니다.
3. 계산가능성이론/괴델 정리 등 기초
  • Peter Smith의, An Introduction to Gödel’s Theorems (CUP 2007, 2nd edition 2013) 가 불완전성 정리를 다루지만 일반적인 계산가능성이론도 좀 다룬다 합니다.
  • 명료한 책인 Richard Epstein and Walter Carnielli의 Computability: Computable Functions, Logic, and the Foundations of Mathematics (Wadsworth 2nd edn. 2000)은 계산가능성 이론을 먼저 다룬다고 합니다.
  • 어렵지만 명작: George Boolos, John Burgess, Richard Jeffrey의, Computability and Logic (CUP 5th edn. 2007) (철학과 학부생인 제가 보기엔 많이 어려운 것 같습니다.)
4. 집합론 기초
  • Herbert B. Enderton의 The Elements of Set Theory (Academic Press, 1977)로 시작하거나,
  • Derek Goldrei의 Classic Set Theory (Chapman & Hall/CRC 1996) (부제-‘For guided independent study’)를 봅니다.

추가적인 입문서로 다음이 있다 합니다:

  • Karel Hrbacek and Thomas Jech의 Introduction to Set Theory (Marcel Dekker, 3rd edition 1999).
  • Yiannis Moschovakis의 Notes on Set Theory (Springer, 2nd edition 2006).
  • Michael Potter의 Set Theory and Its Philosophy (OUP, 2004).
5. 엑스트라

2차 술어 논리로는:

  • Herbert Enderton의 A Mathematical Introduction to Logic (Academic Press 1972, 2002)의 4장과/또는 Dirk van Dalen의 Logic and Structure, 4장을 봅니다.
  • 더 자세한 내용은: Stewart Shapiro의 Foundations without Foundationalism: A Case for Second-Order Logic, Oxford Logic Guides 17 (Clarendon Press, 1991)의 3-5장을 봅니다.

직관주의 논리로는:

  • John L. Bell, David DeVidi and Graham Solomon의 Logical Options: An Introduction to Classical and Alternative Logics (Broadview Press 2001)를 봅니다. 5.2, 5.3절이 직관주의 논리의 구성주의적 동기를 잘 설명해 준다 하네요.
  • Dirk van Dalen의 Logic and Structure (Springer, 4th edition 2004)도 5.1-5.3 부분을 봅니다.






저자가 시간을 들여 공부하라고 하니, 한 5년 잡고 공부해야겠네요. 그리고 저 책들 대부분은 구글에서 잘 찾으면 pdf파일을 구할 수 있는 듯합니다.