[일반] 러셀 수학원리는 번역서 없지?

[익명(223.62)]

러셀 수학 검색해도 메가스터디 러셀밖에 안 나오네...

[말테의수기(artistrainer)]

러셀만 쓴 "수학의 원리"라는 책과 화이트헤드와 러셀이 공저한 "수학 원리"가 있으나 둘 다 번역되지 않았습니다.

[말테의수기(artistrainer)]

아마도 30년이 지난 뒤에도 두 책은 번역본이 없을 것 같습니다. 아시다시피 기호로 악명높은 책인 것도 있지만, 더 이상 철학자들이 러셀 식의 논리주의에 큰 관심을 안 가진다는 것도 한 이유입니다.

[익명(223.62)]

아.. 진짜요? 단순히 어려워서가 아니라..? 왜 이젠 더이상 러셀의 논리주의에 관심을 두지 않는건가요?

[익명(223.62)]

아니면 수학전공에서 수리논리 쪽에서 다루지 않나요?

[말테의수기(artistrainer)]

러셀을 볼 만한 사람은 철학 쪽과 수학 쪽에 있겠죠. 그 둘을 나눠서 설명할게요.

[말테의수기(artistrainer)]

수학자들은 러셀의 책을 보지 않습니다. 그 이유는 첫째로 수학자들이 수학기초론을 보지 않기 때문입니다. 수학 문제를 푸는 것이 제1목적이기도 하고, 집합론으로 어느정도 기초를 쌓은 이후로는 그런 기초론의 논의가 낡았다고 생각하거든요.

[말테의수기(artistrainer)]

철학자들도 이 책을 보지 않는데, 분석철학이 굉장히 발전했기 때문입니다. 러셀은 분석철학의 founding father 역할을 했다는 데에서 고평가를 받지만, 러셀이 살던 때처럼 분석철학이 곧 언어철학이라거나, 거기에 더해 논리적 이상언어철학이라고 보는 때는 갔죠. 언어철학 내에서도 큰 발전이 일어나서, 타르스키까지는 어느 정도 언급이 되는 거 같지만

[말테의수기(artistrainer)]

러셀은 정말로 처음에 배울 때에만 나오는 편입니다.

[말테의수기(artistrainer)]

(수학자들이 더 이상 수학을 좁게 잡아 논리만으로 보지 않고 실생활에 적용되는 수많은 경우를 제시한다는 설명도 넣으면 좋겠네요)

[말테의수기(artistrainer)]

이제 수학자도 철학자도 되는 수리논리학자는 왜 러셀의 책을 읽지 않느냐가 있는데요, 일단 노테이션 자체가 다릅니다. 수리논리학이 발전해서 그 당시에 쓴 기호들을 더 이상 쓰지 않습니다. 하나 이상의 괄호나 and를 상징한 . 표현이 대표적이죠.

[말테의수기(artistrainer)]

그러면 노테이션은 배우면 되는건데 왜 안읽냐고 하실텐데, 수리논리학자가 주로 쓰는 ZFC, NBG, 페아노 공리계나, Kripke–Platek set theory 등등과 비교할때 수학 원리에서 나오는 논리나 공리는 연관성이 꽤 먼 편입니다. 원리에 있는 환원 가능성 공리는 그 당시에도 비판받은 만큼 쓰지를 않아요.

[말테의수기(artistrainer)]

논리도 철학이나 수학에서 쓸모가 있어야 쓰는데 수학 원리의 논리를 쓰는 편이 아닙니다. 아무래도 수학 원리와 가장 가까운 분야는 neologicism일 텐데, 거기서도 프레게의 공리를 바꾸는 게 유명하고 수학 원리를 쓰는 건 마이너하다고 알아요.

[익명(223.38)]

헉 이렇게나 자세하게ㅠㅠ 그럼 혹시 수리논리학이나 언어철학, 비표준논리학.. 아니면 프레게-러셀-괴델 시기의 분석철학 논리철학에 대해서 공부해보고싶은데.. 이를 다루는 추천해주실만한 책이 있을까요?

[말테의수기(artistrainer)]

수리논리학은 enderton 추천해드리고, 프레게-러셀-괴델 시기의 글은... 좀 거리가 먼 편이긴 하지만 "논리학의 역사" 추천해드려요.

[익명(223.38)]

아 정말 감사합니다ㅠㅠ 한가지 더.. enderton에서 비표준논리학도 다루나요? 아니라면 요거도 추천 부탁드려요.....

[말테의수기(artistrainer)]

아닙니다! 좋은 설날 되세요!

[익명(223.62)]

안 다룬다는거죠? ㅠ 진짜 감사합니다.. 님도 설날 잘 보세요! ㅠㅠ