Category Archives: 논리학

논리학

LEMMON 스타일로 Latex 에서 자연 연역 추론을 표현하기

드디어 LEMMON 스타일로 자연 연역 추론을 표현할 방법을 알게 되었습니다. 몇 가지 다른 표현법을 알고 있었는데 배운 것과 다르고 좀 단순한 것을 찾다가 포기했는데 드디어 찾았습니다. 물론 Edward John Lemmon이 쓴  Beginning Logic 에 사용된 표기법을 말합니다.

이 내용은 http://phloxgroup.wordpress.com 에 있는 ” LEMMON-STYLE NATURAL DEDUCTION PROOFS IN LATEX “이라는 글입니다. 참고하세요. 메뉴얼도 위의 페이지에 있습니다.

Philosophy of Logic

Edited by: Dale Jacquette (Pennsylvania State University)

Series: Blackwell Philosophy Anthologies

Preface.
Acknowledgments.
Introduction: Logic and Philosophy of Logic: Dale Jacquette.

Part I: Classical Logic:
1. The Laws of Logic: Arthur Pap.
2. Russell’s Mathematical Logic: Kurt Gödel.
3. Which Logic is the Right Logic?: Leslie H. Tharp.
4. What Can Logic Do For Philosophy?: Karl Popper.

Part II: Truth, Propositions and Meaning:
5. Truth and Meaning: Donald Davidson.
6. Outline of a Theory of Truth: Saul A. Kripke.
7. Tarski’s Theory of Truth: Hartry Field.
8. Types and Ontology: Fred Sommers.
9. Propositions: George Bealer.

Part III: Quantifiers and Quantificational Theory:
10. Logic and Existence: Czeslaw Lejewski.
11. A Plea for Substitutional Quantification: Charles Parsons.
12. Nominalism and the Substitutional Quantifier: Ruth Barcan Marcus.
13. Interpretations of Quantifiers: Thomas Baldwin.
14. Language Games for Quantifiers: Jaakko Hintikka.

Part IV: Validity, Inference and Entailment:
15. Bolzano’s Concept of Consequence: Rolf George.
16. On the Concept of Logical Consequence: Alfred Tarski.
17. The Pure Calculus of Entailment: Alan Ross Anderson and Nuel D. Belnap, Jr.
18. Formal and Material Consequence: Stephen Read.
19. Tarski on Truth and Logical Consequence: John Etchemendy.

Part V Modality, Intensionality and Propositional Attitude:
20. What are Possible Worlds?: John E. Nolt.
21. Quantifiers and Propositional Attitudes: W.V.O. Quine.
22. Counterpart Theory and Quantified Modal Logic: David Lewis.
23. Interpretation of Quantifiers: Dagfinn Follesdal.
24. A Backward Look at Quine’s Animadversions on Modalities: Ruth Barcan Marcus.
25. Quantifying In: David Kaplan.
26. Substitutivity and the Coherence of Quantifying In: Graeme Forbes.
27. The Intensionality of Ontological Commitment: Michael Jubien.

Index.

Paperback

ISBN: 9780631218685
ISBN10: 0631218688

도서관 번호: 160 J19p

USA: Oct 2001
Rest of World: Oct 2001
Australia: Dec 2001

Format: 244 x 172 mm , 6.75 x 9.75 in

Details:384 pages, 1 illustrations.

“누군가 내 글을 이해하지 못했다면 독자의 잘못이 아닌 내 잘못입니다”

이 제목은 2007년 12월 29-30일 토-일요일 자 조선일보 D1 면에 있는 ‘왜 나는 너를 사랑하는가’ 작가 알랭 드 보통과의 인터뷰 기사의 제목입니다. 저도 글 좀 써보겠다고 끄적대고 있지만, 제가 쓴 글이 과연 사람들이 내 의도대로 이해하게끔 썼을까 하는 고민은 별로 안 했던 것 같습니다. 최근에서야 이런 고민이 중요하다는 것을 알았지만, 생각만 하고 있었지 행동으로 옮기기 못했던 것 같습니다. 이 내용에 대한 내요을 한번 살펴봅시다.

– 역사학자인 조너선 스펜스 에일대 교수는 영국의 19세기 작가들이 교양 대중을 위한 글쓰기의 전통을 쌓아 올렸다고 한다. “개인적으로 18세기 프랑스 작가들에게서 영향을 많이 받았다. 볼테르, 파스칼, 몽테뉴 -, 그들은 명확하고, 단순하면서도 우아하게 썼다. 복잡하게 쓰지 않았다. 이들언 문화가 엘리트가 아니라 모든 사람들을 위한 것이라 믿었다. 오늘날 프랑스와 영국엔 이런 경향이 여전히 남아있다. 당신이 복잡하고 셰련된 지식인인데, 아무도 당신을 이해할 수 없다면 얼마나 슬픈 일인가. 당산이 정말 어떤 문제를 잘 이해하고 있다면, 명확하고 간결하게 표현할 수 있을 것이다. 그렇지 않다면 그 문제를 제대로 이해라고 있지 못하거나.”  

 이 내용에서도 가장 마음에 드는 문장은 마지막 문장, “당산이 정말 어떤 문제를 잘 이해하고 있다면, 명확하고 간결하게 표현할 수 있을 것이다. 그렇지 않다면 그 문제를 제대로 이해라고 있지 못하거나.”이 마음을 꽉 찌르는 것 같습니다. 부록으로 다음 내용도 마음에 듭니다. 한국도 이와 같다는 생각이 드니 좀 마음은 무겁습니다.

– 당신은 일상 생활을 철학과 예술, 시, 심리학과 연관지어 쉽게 설명하는 작가로 알려져 있다. 오늘날의 인문학은 일상과 유리돼 있다는 비판을 받고 있다. “전통적인 인문학 커리귤럼은 구체적인 일상 생활에서 자꾸 벗어나려는 경향이 있다. 특히 영국 대학들은 자꾸 담을 쌓아 올리려고 한다. 대중들은 TV나 타블로이드 신문 같은 형편없는 대중 문화에 둘려싸여 살고 있다. 학자들은 연구를 통해 발견한 진리와 일상 생활을 연경하는 작업을 포기했기 때문이다. 단순하게 명료하게 생각을 전달하는 방법을 찾는 일은 작가들에겐 커다란 도전이다. 누군가 내가 쓴 글을 이해하지 못했다면, 독자의 잘못이라기보다는 내 잘못이다.”

기호 논리 참고 자료

제 7부 일상언어의 기호화, 필로지아, 오란디프, 도서관 번호:160 J581n2.

제 4부 연역 논증1:명제 논리, (비판적 사고를 위한) 논리, 도서관 번호:160 B149n.

제 10장 기호논리, 제 11장 연역의 방법, 논리학입문, 도서관 번호: 160 C783iKb10.

논증의 재구성에 대한 참고 서적 소개

제가 참고한 서적들을 소개합니다.
참고하세요!

70-87쪽, 노야 시게키, 논리 트레이닝, 서혜영 옮김, 일빛, 2002. 도서관 번호:160 N949rKs

제 2부 논증, 3장 논증과 재구성과 분석, 비판적 사고를 위한 논리, 박은진, 김희정, 아카넷, 도서관 번호:160 B149n
참고: 저는 1판을 가지고 있습니다(112쪽부터). 그런데 이 책 1판은 문제가 좀 있습니다. 답도 틀린 곳도 많고 오타도 좀 있습니다. 내용을 바꾸면 판올림을 해야 하는데 슬쩍 다시 찍었더군요. 그래서 요즘 나온 책에서는 틀린 점들이 대폭 수정되었습니다. 그러니 요즘 나온 책을 찾아서 봐야 합니다.

43-68쪽, 제1부 추론 제2장 논증 분석과 논증의 다이어그램, 어빙코피, 칼 코헨 지음, 논리학 입문, 10판, 박만준, 박준건, 류시열 옮김, 2001, 초판 2쇄, 경문사, 도서관 번호:160 C783iKb10
참고: 이 책은 조금 문장이 어색한 것이 있지만, 좋은 책입니다. 아쉽게도 연습문제 답이 없네요 ^^;

논리학 교재 소개

이 글은 논리학을 처음 배우고자 하시는 분들을 위해서 쓴 글입니다. 논리학을 잘하시거나 공부를 많이 하신 분들께서 읽으시면, 별 도움이 되지 않을 것 같네요.
논리학에 대하여 처음 접하시거나, 관심이 있으신 분들이 논리학을 공부하려면, 어떤 책을 읽으면서 공부를 시작하면 좋을까 고민하게 됩니다. 제가 읽고 공부하면서 느낀 경험을 토대로 읽어볼만한 논리학 책을 소개해보겠습니다. 당연히 제가 읽은 것을 중심으로 쓰겠습니다. 더 좋은 책이 있으면, 댓들을 달아주세요! 그리고 번역서보다는 한국 저자들이 쓴 책을 중심으로 소개하겠습니다.

우선 논리학을 공부하시려면, 책은 한 권 정도 사시는 편이 좋습니다. 다음에서 소개하는 책들은 대학 논리학 교과서를 염두에 놓고 만든 책들이기 때문에 대학생들이 보시기에 적당합니다. 여기서 앞의 두 책은 우리 나라에서 쓴 것이라 한국의 현실에 맞게 논리학을 설명하고 있어 쉽게 읽어내려 갑니다. 물론 세번째 책인 논리학 입문 또한 변면역 책이기는 하지만, 매끄럽게 잘 번역이 되어있습니다. 논리학을 공부하시거나 수업을 들으실 예정이면, 교재는 한권 정도 구입하시는 것이 좋습니다. 왜냐하면 논리학 개념이나 원리가 잘 생각나지 않을 때, 찾아 볼 수 있기 때문입니다.

논리와 사고, 소홍렬, 이화여자대학교 출판부
소홍렬 선생님께서 본인이 하시던 수업 강의록을 토대로 만들어, 내용이 알차고, 설명이 잘되어 있습니다.

논리교실 필로지아, 오란디프
한국에서 논리학 강의를 하시던 선생님들께서 모여 만드신 책입니다. 정리가 잘 되어 있으며, 연습 문제도 재미있게 구성되어 있고, CD 롬을 통한 컴퓨터로도 공부할 수 있게 만들어 놓았습니다. 그러나 시중에서 구하기 쉽지 않습니다. www.orandif.com 에서 온라인 주문을 하던지 아니면, 학기 초에 단체 주문을 할때, 신청을 해서 구입하시를 바랍니다.

논리학 입문, 제 10판
미국에서 지금까지 11판까지 나온 베스트셀러 책을 번역한 것이라 내용이 좋을 뿐만 아니라 번역도 매끄럽게 잘 되어있지만, 좀 분량이 많고, 원래 원본에 있는 15-16장이 빠져 있어 아쉽군요!

다음 책들도 논리학에 입문하기에 좋은 책들입니다. 참고하세요!

< 주의! 이 글의 내용이 다음 링크로 이사갔습니다. 다음 링크로 가세요. 이 글은 더 이상 갱신이 없습니다. >

http://www.epistemology.pe.kr/intro_logic_book