논리학 및 형식언어 입문 스터디 그룹원 모집합니다.

구정도 지났고 이제 정말 2011년이네요.

신년을 맞아 논리학 및 형식언어 입문 스터디 그룹원을 모집합니다.


2009년 가을부터 시작된 저희 그룹은 두세명의 비철학, 비수학 전공자들로

앞뒤가 맞는 말을 하고 조리있는 글을 쓰기 위해 필요한 기본적인 훈련에 대해 고민하다 모인 사람들입니다.


저희는 결성 후부터 주로 홍대 인근과 상수역 근처에서 주 1, 2회 모여 커피를 물처럼 들이키며

형식언어를 다루는 내공을 쌓고 형식언어와 일상언어 사이의 번역을 좀 잘 해보기 위해 노력해왔습니다. 


그러던 차에 이번 겨울에 기존 멤버들이 취업 준비, 대학원 진학 준비 등 개인 사정으로 모두 각자의 길로 떠나고

주동자인 저 하나가 남게 된 관계로, 새로운 마음으로 새로운 분들과 함께 처음부터 새로 공부를 시작하려고 합니다.


단기 목표는

논리학 전반에 대한 조망 하에 형식언어를 다루는 기본적인 기술을 갈고 닦아 논증 분석 머신(?!)의 경지에 이르는 것입니다.


장기 목표는

논리철학 및 분석철학, 메타수학, 메타윤리등 인접 분야의 흥미로운 주제들을 발견하고 공부해가는 것입니다.


주로 보게 될 교재로는

- 김광수, 논리와 비판적 사고, 쇄신판: 발췌독, 특히 1, 2장.

- Copi IM, Introduction to Logic, 13판: 발췌독, 특히 5장-10장.

- Gensler HJ, Introduction to Logic, 2판: 완독 목표.

- Gensler HJ, Historical Dictionary of Logic: 레퍼런스로 사용.

... 정도를 생각하고 있습니다. 그간의 경험을 통해 그럭저럭 잘 다져진 커리큘럼이라고 봅니다만 필요하면 조정을 고려해보겠습니다.


이런 분들을 환영합니다!

- 괴델, 에셔, 바흐 등 관련 교양서를 제대로 읽고 잘 이해하고 싶은데 기호논리학에서 막힌다.

- Benson Mates의 Elementary Logic(김영정 역, 기호논리학)을 읽으려다 좌절한 적이 있지만 논리학 공부를 포기하고 싶지는 않다.

- 분석윤리, 메타윤리에 관심이 있어서 도덕적 추론의 논리를 분석하기에 적당한 형식언어를 익히고 싶다.

- 어떻게든 논리학의 기호들과 화해하고 싶다.


이런 분들은 별개의 스터디 그룹을 찾거나 구성해주시기 바랍니다.

- 논리철학 혹은 분석철학연구(이를테면 참이란 무엇인가, 명제란 무엇인가, 존재는 술어인가 등)를 같이하고 싶다.

: 분명 내용적으로 관련이 있고 스터디 과정 중에 그 쪽 고민을 해보기는 하겠지만, 지금 당장은 철학적인 쪽보다 스킬에 좀 더 초점을 맞추고자 합니다. 

- 불교철학, 동양철학, 한국철학, 그 외 철학 이름이 붙은 무엇인가의 우수성을 널리 알리고 싶다.

: 인도의 Nyaya학파라든가 불교논리에 관한 스터디그룹을 만드시면 여건을 봐서 참여할 의향이 있습니다.

- 논리보다도 우선 이 말도 안되는 시국에 대해 같이 이야기해보고 싶다.

: 시국좌담회에 참여해주세요.

- 형식언어 내공 연마라는게 왜 무의미한지 널리 알리고 싶다.

: 정말 그럴까요? 쪽지 주세요.

- nickel(구 zinc)의 인격이 그냥 싫다.

: ... 쪽지 주세요.


인원은

저 포함 네 명 정도를 생각하고 있습니다.

한 분은 듀게 이외의 경로로 참여의사를 확보했으니, 지금은 두 세자리 정도 빈자리가 있습니다.

(추가)참여 의사가 있으셔도 이런 저런 여건이 또 맞아야하니 일단 연락을 주시기 바랍니다.


시간은

주 1회 3-4시간 정도를 생각하고 있습니다.


장소는

모여봐야 알겠지만 서울 상수역 인근 적당한 카페 아무데나를 생각하고 있습니다.

물론 어느 정도 조정 가능합니다.


참여의사나 문의사항 있으시면 댓글이나 쪽지 남겨주세요.

감사합니다^^

    • W/ 그렇게 물어보시니 왠지 거절하고 싶잖아요ㅋㅋㅋ 더 반응이 모이면 얘기해봐요.
    • 논리쪼렙이라 관심이 많은 분얀데... 이미 다른 분께서 진행하고 계신 철학스터디에 가입을 한지라, 두탕을 뛰기는 무리일거 같네요. 정말 관심 있는 분야건만... 그나저나 저 교재들은 원서인가요? 원서라면 관심있어도 어차피 할 능력이 안되는지라...
      • 네, 영어 원서입니다. 사실 코피 책은 번역본으로 진행한 적이 있는데 스터디원 중 하나가 하는 말이 토익 800점대만 되어도 영어로 공부하는게 차라리 더 나을 것 같다고 하더라구요. 실제로도 영어 렙업해서 나중에는 원서 보고 잘 하던데요.
    • 저도 어빙 코피책으로 공부했는데, 정말 좋은 교재같아요. <br />기호논리는 확실히 혼자하기 힘들죠, 저는 전공으로 배웠는데도 다항술어명제 기호화는 손도 잘 못대요. 정말 애매하더라구요.<br />그리고 논리학이나 분석철학은 확실히 원서로 보는 편이 좋은듯 해요. 뮤니츠 현대분석철학으로 공부했는데 나중에는 영문판으로 할걸 생각이 들더라구요.
      • 다항술어명제라고하시면 양화에서 더 나아간 relational statement, "Everyone loves Romeo."=(x)Lxr같은 거 말씀이신가요? 물론 훨씬 복잡한 걸 다루셨겠지만 아이폰으로 입력할 수 있는게 별로 없네요. 아, 사실 저는 영어로만 본 부분이라 번역어를 잘 몰라요ㅎㅎ

        Gensler 책이 참 좋은게 아무리 복잡한 시스템도 따라만 하다보면 다룰 수 있게 해줘요. 다루는 내용에 비해 깜짝 놀랄만큼 소화가 잘 되더군요. 생각 있으시면 양화 정도 나갈 때 참여해주시는 것도 좋겠네요.

        뮤니츠 책은 처음 들어보는데 좋은 책 같아요. 좀 더 알아보겠습니다. 좋은 말씀 감사합니다.
    • 기호 논리학에 관심을 가지고 계신다니 반갑습니다. 혹시나 도움이 될까...라기 보다는 반가운 마음에 괜히 참견하고 싶어져서 몇자 적습니다.

      1. 말씀하신대로 기호 논리학의 입문 과정은 철학이라기보다는 skill에 가깝습니다. 무언가를 이해하고 사유하기 보다는 기호나 용어들의 용법을 익히는게 우선인데요, 때문에 기호 논리학을 익히는데에는 세미나보다는 좋은 강의를 듣는 것이 훨씬 효율적입니다. 우리나라에서 이쪽 분야에 대한 가장 권위있는 강의는 고대의 정xx 선생님 수업인데 제가 알기론 이 분이 이번학기에 안식년이신 듯 합니다. 서울대 강xx 선생님께서 이번 학기에 기호 논리학 강의를 개설한다고 알고 있으니 혹시 시간이 되신다면, 그리고 전문적으로 기호논리학에 대한 이해를 높이고 싶으신 의지가 확고하다면 그 강의를 들어보시는 것도 좋을 듯 합니다.

      2. 논리학에 필요한 기술들을 익히는 과정에서 그것에 대한 의미가 무엇인지 철학적으로 이해하는 것도 논리학 skill을 향상시키는데 큰 도움이 됩니다. 그러한 작업에 도움을 주는 레퍼런스로 Alexander Miller의 Philosophy of Language의 1장을 추천합니다. 이 책은 언어철학의 입문서로 매우 훌륭한 책인데 1장은 프레게가 정립한 기호 논리학의 의미론 부분을 매우 간략하고도 명쾌하게 서술하고 있습니다. 저도 헷갈릴때마다 찾아보는데 논리학에서 쓰이는 기본적인 개념이나 용어들, 타당성이란 무엇인지, 변항의 값으로 취해질 수 있는 것은 무엇인지, 양화된 문장을 해석하는 방식은 무엇인지에 대해 알기 쉽게 정리되어 있습니다. 여러 대학도서관에 책은 비치되어 있을테니 구해서 필요하실 때마다 찾아보시면 상당히 도움이 되실거라 믿습니다.

      이 책의 이 부분에 대한 발제분을 인터넷에서 본적이 있는데 내용이 충실한 것 같아 링크 걸어둡니다.

      http://gallog.dcinside.com/darkline/1523212692581401003
      • 참견이라뇨- 저도 산체님 말씀이 너무 반갑습니다.

        1. 프로의 영역에 계신 것 같으니 솔직하게 말씀드리자면 저는 지금 naïve quantified modal system을 어떻게 qualify해볼지 actualism의 입장에 따라 따져보는 중입니다. 말씀하신 학교 학부 강의를 들어본 적이 없는지라 진도가 어느 정도까지 나가는지 궁금하네요. 물론 진도보다 바른 기초가 더 중요하겠습니다만...

        사실 안타깝게도 제가 전혀 생뚱맞은 전공 대학원생 신분이라 강의를 들으러 다닐 사정이 못 되거든요. 스터디도 주말에 짬을 내서 겨우 진행할 것 같아요. 어쨌거나 소중한 정보이니 잘 알아뒀다가 2년 후에 좀 형편이 풀리면 꼭 찾아가보도록 하겠습니다. 주변에 추천도 좀 해야겠군요.

        2. 언어철학은 정말 손대고 싶은 분야이긴 한데 적절한 입문서를 어떻게 골라야할지 몰라 한동안 발을 구르고 있었습니다. 당장 아마존에 가서 주문했어요. 덕분에 훨씬 덜 돌아갈지도 모르겠네요^^ 감사합니다.

        정말 감사합니다.
    • 일단 충원 목표 채웠습니다>ㅂ< 변동사항 있을시 별도로 글을 올리겠습니다. 감사합니다.
    • 헉. actualist셨군요. 저는 대표적인 fictionalist입니다ㅋㅋㅋ actualism이면 콰인 쯤 되나요?
      저도 전공이 양상문맥에 대한 이해와 활용에 걸쳐있는터라 하루 빨리 이 저질 논리학 실력을 향상 시켜야겠다고 '생각만'하고 있습니다.
      그전에 공부를 계속 할지부터 의문이지만요 =/

      제가 알기론 고대 정인교 선생님 고급논리학 수업같은 경우에는 주로 괴델의 정리를 다루고 양상 문맥과 관련한 정리들도 간단하게 살펴보는 걸로 알고 있습니다. 이번학기 강진호 선생님 논리학 수업은 벤슨메이츠 책으로 하네요. 가벼운 마음으로 시작했다가 끝날 때 쯤에는 머리 좀 아프겠네요. 그래도 소위 논리학의 '응용편' 수업은 되지 않을 것 같습니다.

      나중에 counterfactuals같은 교재를 보게 되시면 함께 공부하도록 해요. 간간히 세미나 진행 상황도 올려주시면 감사히 보겠습니다.
    • 산체/ Quine을 못 본 채로 Plantinga를 살피고 있습니다. 딱히 맘에 꼭 들지는 않지만 뭔소린지 알아는 먹겠길래^^;
      전 사실 일차 문헌은 본 게 별로 없어요. 더 공부를 해가면서 간간이 소식 전하겠습니다. 아마 한 1년 정도쯤 후에? ㅎㅎㅎ

      근데 학부에서도 그 정도는 하는군요. 고대에 그런 분이... 계절학기 있었으면 좋겠다...(한숨) 자세한 정보 감사합니다^^

게시판 2012

번호 제목 글쓴이 조회 날짜
[공지] 게시판 규칙, FAQ, 기타등등 462,407 01-31
[공지] 게시판 관리 원칙. 147,940 12-31
제 트위터 부계입니다. 3 122,151 04-01
130354 새해복 많이 받으세요 10 187 12-31
130353 아바타 3를 보고 유스포 2 192 12-31
130352 [핵바낭] 올해 잉여질 결산 잡담 14 334 12-31
130351 아바타: 불 과 재 보고 왔어요 짤막 소감 6 228 12-31
130350 [영화강추] '척의 일생' 8 249 12-31
130349 흑백요리사 2 8~10회, 싱어게인 4 탑 4 결정 6 285 12-31
130348 Lacombe Lucien(1974) 7 131 12-31
130347 [관리] 25년도 보고 및 신고 관련 정보. 15 324 12-31
130346 Isiah Whitlock Jr. 1954 - 2025 R.I.P. 2 138 12-31
130345 [왓챠바낭] 우편배달부 말고 '포스트맨은 벨을 두번 울린다' 잡담입니다 12 267 12-31
130344 [넷플] 말 많고 탈 많은 '대홍수' 드디어 봤습니다 14 453 12-30
130343 [반말주의] 다들 올해 고생 많았어!! 새해 모두 건강하고 복 터지길 바래!! 12 186 12-30