기호논리학 다음 테크트리는 어떻게 밟아나가야 할까요?

[익명(223.62)]

논리학 자체를 심화해서 공부하고픈데
이뱡덕의 논리적 추론과 증명,
벤슨 메이츠의 기호논리학은 문제도 다 풀어봤습니다
그 이후의 공부방법이 궁금합니다

[논리학공부(59.5)]

저는 기호논리학 학부수업 한번 듣는 것으로 기초논리학은 끝냈다고 오만하게 판단했는데, 저보다 더 성실히 기초 기호논리학을 마치신 것 같습니다. 저보다 뛰어날 분이시기에 말씀드리기 그렇습니다만, 이제 비고전 확장논리나 논리학의 전산학 및 응용적 사례에 대해 공부하심을 추천해드립니다. 입문으로 P. Burgess 의 [Philosophical Logic]을 추천해드립니다(Kripke Structure에 대한 설명과 함께 Modal, Temporal Logic에 대한 설명, 그리고 추가적으로는 Condition, Relevance Logic에 대해 입문용으로 잘 설명해 놓은 듯 합니다).

[논리학공부(59.5)]

전산학적 응용으로는 Description Logic과 프로그래밍언어론에 관련한 모든 것을 추천해드립니다. 계산이론 등도 논리학을 공부하셨다면 좋은 흥미거리가 되실거라 생각합니다. 또, 대수학과 집합론, 더 멀리는 위상수학에 관한 공부도 추천해드립니다(기호논리학을 심화하여 공부하다 저 수학분야에 대한 탐구욕이 생길 것이라 생각됩니다.)

[익명(223.38)]

음 결국 논리학의 다음 테크는 수학 쪽인가요 ㅋ

[논리학공부(163.152)]

ㄴ(저의 개인적인 생각으로는) 꼭 그렇지 않고, 다분히 철학적인 면에서 논리학을 연구/공부하는 것도 의미가 있다고 봅니다. 다만, 제 짧은 식견으로 알고 있는 많은 논리학 연구들은 수학과 결부되더라구요. Kripke 같은 철학/논리학자가 수학을 굉장히 잘하는 것과도 연관되어 있다고 생각합니다.

[ㅁㅇㅁㄴㅇ(112.170)]

어느쪽 테크를 타시냐에 따라 다를듯. 철학쪽, 컴퓨터쪽, 수학쪽이 다 다를것 같습니다.

[ㅁㅇㅁㄴㅇ(112.170)]

아, 다만 최소한 괴델의 불완전성 정리까지는 끝내야지 대충 '초급 논리학을 끝냈다'고 업계에서는 생각하는 것 같습니다.

[곰곰히생각해봤는데(hcb1230)]

기호논리학 기초문제 풀 수 있으신분 저좀 도와주세요 ㅠㅠㅠ