본문 바로가기

로짘ㄲ4

벤슨 메이츠 <기호논리학> 4장 해답 (Solutions for the Chapter 4 of Benson Mates's Elementary Logic) 이어지는 벤슨 메이츠 연습문제 4장 해답입니다. 틀릴 수 있으니 오류가 있으면 언제든지 알려주세요. (1) 벤슨메이츠 1장 답. (2) 벤슨메이츠 2장 답. (3) 벤슨메이츠 3장 답. 그리고 벤슨 메이츠 영문판 pdf는 여기를 클릭해 주세요. 그럼 시작합니다. 저자인 벤슨 메이츠는 언어 L의 모든 비논리 상항(non-logical constants)에 외연(denotation)을 할당하기 때문에 문장에 나타나는 비논리상항들이 지시체를 지니고 있음을 전제하도록 하겠습니다. 일반적으로 ‘타당하다’라는 표현은 논증에 적용하는 것입니다만 이 책에서는 문장이 하나인 경우도 논증으로 바라보고 어떤 문장이 타당하다는 것을 그 문장이 모든 해석에서 참인 경우를 고려하는 것으로 보입니다. 정리해서, ‘주어진 문장이 타.. 2021. 5. 18.
벤슨 메이츠 <기호논리학> 3장 해답 (Solutions for the Chapter 3 of Benson Mates's Elementary Logic) 이어지는 벤슨 메이츠 3장 해답입니다. 아래는 다른 장들의 해답입니다. (1) 벤슨 메이츠 1장 답. (2) 벤슨 메이츠 2장 답. (3) 벤슨 메이츠 4장 답. 그리고 벤슨 메이츠 영문판 pdf는 여기를 클릭해 주세요. 그럼 시작합니다. 1. 식(a formula), 문장(a sentence), 원자문장(an atomic sentence), 보편문장(a general sentence), 분자문장(a molecular sentence)로 번역했습니다. 'a general sentence'는 문장 전제를 속박하는 보편 혹은 존재양화사로 문장이 시작하는 경우로 판단했습니다. 문제 번호 식인가? 문장인가? 원자/양화/분자? 'x'는 자유로운가? 'x'는 속박되었나? (1) 예 아니오 해당없음 예 아니오 (2).. 2020. 4. 30.
벤슨 메이츠 <기호논리학> 2장 해답 (Solutions for the Chapter 2 of Benson Mates's Elementary Logic) 재미로 풀어 보는 벤슨메이츠 『기호논리학』 (Mates, Benson, Elementary Logic) 연습문제 시리즈입니다. (1) 벤슨메이츠 1장 답. (2) 벤슨메이츠 3장 답. (3) 벤슨 메이츠 4장 답. 오래된 고전이죠. 6장부터는 지금은 거의 사용되지 않는 추론 방식이 제시되고 있습니다만 그런 만큼 흥미로운 책이기도 합니다. (개인적 소견으로 학술 논문에서 본적은 없습니다.) 책의 내용은 여기 링크를 찾아보시면 공개되어 있습니다. 2장의 경우, 답 이외에 책 내용을 최소화하였습니다. 생각하시는 답이 다르다면 언제든지 코멘트 남겨 주세요. :) 1. (a) 참 (b) 거짓 (c) 참 (d) 참 (e) 거짓 (f) 참 (g) 참. (‘der Haifisch’가 독일어 표현이라 영어 문장의 주어로.. 2020. 4. 30.
벤슨 메이츠 <기호논리학> 1장 해답 (Solutions for Benson Mates's Elementary Logic, Chapter 1.) 연습삼아 적어 보는 벤슨 메이츠 1장 연습문제 답입니다. 이제는 오래된 고전이죠. 기본적으로 공리적 방식으로 논리를 제시하는 방식이고 자연연역 방식은 아닙니다. 인터넷을 뒤지다 보니 아래 링크에서 원서의 pdf를 공개한 것으로 보입니다. 책의 본문을 제대로 읽고 풀어야 하는데 그러지는 못 했습니다. 옛날 책이라 그런건지 타당한 논변(a valid argument)을 묻는게 아니라 건전한 논변(a sound argument)를 묻고 있네요. 개정판은 다른지 모르겠습니다. 우선 '타당한 논변'으로 이해하고 문제를 풉니다. 원문 pdf 링크:http://www.ciscl.unisi.it/master/usberti/Mates-Elementary%20Logic-1972.pdf 답이 틀릴 수 있으니 생각이 다르시다.. 2020. 4. 1.