이 책은 번역이 안된거 같은데
여기서 다루는 주제들 번역서로는 어떤게 있을까요
생기초 말고 양상논리쪽부터 그 이후는 다루는 책들을
본적이 없네요 ㅜㅜ
+"[3] 표준 논리의 추론 규칙 항목에서 사용하는 게르하르트 겐첸(Gerhard Gentzen)의 자연연역(natural deduction)과는 다른 방식이다. 예를 들어 자연연역에서는 힐베르트 체계보다 추론규칙들이 훨씬 더 많고 공리들은 사용되지 않는다."
라고 위키에 써 있던데
논리학에 두가지 체계(?)가 있는건가요?
ㄴ이야 댓글 안달릴 줄 알았는데 감동 ㅜㅜ 감사해요 횽 공부하다 모르는거 있으면 어쭤볼게요
논리학 안한지 오래돼서 다시 하려고 저 책으로 공부하려 했는데(책은 Harry gensler꺼) 원서에 부담이 되네요ㅠㅠ 학부때 코피 원서로 보긴했는데 그때도 완전히 이해한 느낌이 아니라서요.. 그리고 약간 심화된 논리학? 수업들을 때 60년대에 쓴 책으로 배웠는데 가정해서 증명하고 뭐가 복잡한게 코피 기초논리학 때랑 너무 달라서 탈탈 털리고 이해도 못함ㅠ
사실 술어논리도 제대로 공부한적이 없어서 그냥 겉만 살짝 햝고 나온격이라 좀 열심히 해야겠네요ㅠ