논리학 생초보인데 어떻게 시작해야 할까요?

[익명(175.223)]

괴델이란 사람을 알게 되고 수리논리에 관심을 가지게 됐어요. 논리학공부를 먼저 시작하고 싶은데 무작정 논리학 관련된 책을 보는게 맞는건지 좀 막막해서요. 어떻게 시작하면 좋을까요?

[E(1.209)]

수리논리분야가 목표시라면 갤에서도 많이 소개된 코피의 [논리학입문]이나 그와 유사한 기초 교재로 시작하실 필요는 없다고 생각합니다. 우선 기본적인 명제논리와 술어논리의 형태와 기호 논리적 추론에 익숙해지시고 나서 좀 더 높은 레벨로 넘어가시는게 좋지 않을까 생각됩니다.

[E(1.209)]

갤에도 아마 있을텐데, 아쉽게도 수리논리를 포함해 논리학 분야에서는 독자의 레벨과 취향에 맞게 책을 고를 수 있을만큼의 국내서가 없습니다.. 조심스럽게 추천해드리는 책은 이병덕 교수님의 [논리적 추론과 증명](3판)입니다. 개인적으로 노베이스에서 군더더기 없이 자연언어의 기호화, 명제 기호 논리, 술어 논리, 추론규칙 등을 깔끔하게 알아볼 수 있게 써놓은 책이라 괜찮다고 생각합니다.

[E(1.209)]

수리논리 교재는 가장 잘 알려진 표준 교재는 Enderton, Mathematical introduction to logic 인데 너무 어려우니 수학베이스가 없으시다면 Halmos, Naive Set theory (혹은 기초 집합론에 관한 다른 책)와 Leary, A friendly introduction to Mathematical Logic 으로 시작하시는게 좋지 않을까 합니다.

[E(1.209)]

저도 아직 수리논리와 비고전논리 겨우 입문단계지만 함께 공부하는 사람 입장에서 조언을 좀 드리자면, 첫째고 둘째고 재밌어야 한다는 겁니다. 반드시 한번에 모든걸 이해하고 연습문제를 모두 풀어야한다고 생각하시면 힘드실겁니다. 여러번 보고, 모르면 건너뛰었다가 다시보고 하면서 익숙해질때까지 놓지 않는게 중요하지 않을까요. 갤에 공부 많이 하신분들이 방문하시니 여쭤보시면 잘 대답해주실겁니다 ㅎㅎ

[보추학Ph.D(jiyva)]

윗 분 설명이 너무 친절해서 좋아요.

[보추학Ph.D(jiyva)]

저도 알아갑니다 감사합니다

[논증bot(223.39)]

쉬운 기호논리학 입문서로는 beginning logic, G. Lemmon을 추천합니다.

[익명(39.7)]

친절한 답변 감사합니다!

[fds(220.118)]

여담이지만 수학과에서 수리논리는 배울때 명제논리/고차논리는 아예 안건드리고 바로 일차언어로 가서 일차언어만 하는 경우가 많습니다. 테크트리는 일차언어->모델이론->재귀이론->괴델정리까지를 빠르게 훑으면서 한학기에 끝내고, 그담에 집합론 코헨 forcing 을 메인으로 한학기, 재귀이론 한학기, 증명이론 한학기 이런식으로 합니다. 여기까지가 기초에 해당되고 이후 분야가 많은데, 보통 수리논리 시작하는 시기가 석사 시작 전후해서 하기때문에 저거 끝나면 석사도 같이 끝나죠...