논리학에 대해서 검색해보면 세부 분야들이 많다고 하는데 세부분야들을 정리해주고 설명해주는 글은 하나도 없더군요.
간단하게라도 정리와 설명을 첨부해서 알려주거나 이와 관련된 링크라도 주실 수 있나요?
그리고 제가 지금 갖고 있는 책이 벤슨메이츠 기호논리학, 손병홍 논리학, 이병덕 논리적 추론과 증명. 이렇게 있습니다
이 책들을 보통 입문이라고 하던데, 그렇다면 이 이후로는 어떤 책을 봐야할까요?
마지막으로, 검색해보았을때 추천을 많이 받은 책들 대부분 원서던데 사려하면 가장 싼게 4만원일 정도로 가격이 만만치 않더라구요.
다들 대학 도서관에서 보시는건가요? 저는 집에서 책이나 읽고 지내는 백수인데 그럼 제가 그 책들을 접할 방법은 구매로 접하는것 밖에 없나요?
반갑습니다. 세부분야 관련해서 소개하는 건 사실 관련 전공자가 너무나도 적어서 다들 잘 모르기 때문입니다. (적어도 저는 그렇게 생각합니다) 일단 글쓴이님께서 질문하신대로, 메이츠~이병덕~손병홍의 교재는 전부 길어봐야 1학기 정도의 강의에 적합한 교재로 볼 수 있기에(실제로 다들 그렇게 커리큘럼을 짭니다) 결국 입문용 역할을 할 뿐입니다. 그 이상의 교재들
은 사실상 제본이나 빌려보는 게 최선입니다. 가격들이 하나같이 욕이 나오죠. 세부분야들은 구글링하시면 model theory, proof theory, computability theory 정도는 간단한 개론을 접하실 수 있습니다. 대표적인 세부분야들입니다. (set theory 포함)
메이츠 이상의 교재를 원하신다면 Leary/Kristiansen의 《an friendly introduction to mathematical logic》을 보시는 것도 좋습니다. 명제논리는 생략하고 1차논리부터 기초적인 model theory, gödel's incompleteness theorems, 간단한 computability theory를 다룹니다
답변 감사합니다. 추가적인 질문으로, 제본이면 pdf 파일로 하는걸 말하시는것 같은데 pdf파일은 어디서 쉽게 구하나요? 저는 구해본적 없어서 그런지 검색해도 잘 모르겠네요
일단 제가 애용하는 건
http://bookzz.org
입니다.
감사합니다. 큰 도움이 됐습니다