명제논리에 대한 메타논리적 정리들을 요약해봤습니다.
증명 과정은 대부분 생략하여 대략적인 흐름만 파악할 수 있을 정도로 요약한 것이니, 상세한 증명이 필요한 부분은 요청해주시면 답글로 달아드리겠습니다.
또한, 엄밀하지 못하거나 부적절한 표현에 대해서 지적해주시면 한 번 더 생각해 볼 좋은 기회가 될 것 같습니다.
파일을 업로드하는 것이 안 되어 부득이하게 블로그 링크로 대체합니다. TeX으로 작업한 PDF파일입니다.
8개의 좋아요
(1) 와, 무슨 출판된 책의 한 챕터인 줄 알았습니다.
(2) 참고하신 교재는 혼자 공부하시고 계신 건가요, 아니면 수업을 듣고 계신 건가요? 논리학에 항상 관심은 있지만 제대로 공부를 하지는 못하고 있는 1인으로서 궁금하네요ㅠㅠ
2개의 좋아요
감사합니다ㅎㅎ 제가 참고한 Logic for Philosophy 는 지도교수님 추천으로 알게 된 책입니다. 수업을 듣는 책은 아니고 혼자 몇 챕터를 보다가 이번 학기부터 몇몇 학우분들과 스터디를 하면서 내용과 연습문제를 풀어보고 있습니다.
분석철학을 하게 될 줄 몰랐던 때부터 이런저런 논리학책을 많이 접해봤는데, 상당히 좋은 책이라고 생각합니다. 사실 논리학 교재라고 할만한 게 완전히 기초 논리학이거나, 너무 수학적 관점에서 논리를 다루거나 하는 경우가 많은데 이 책은 철학적 관점에서 논리학의 여러 분야를 아우르고 있다는 점에서 균형이 잘 잡힌 책이라고 생각해요. 약간 계산적인 맛을 선호한다면 다른 책이 더 나을 수 있겠지만요!
3개의 좋아요