『바른 추론, 그른 추론』 문제에 대한 해답1. 논리와 추론연습문제1. ①부당②추론을 표현하지 않음③타당2. ①귀납추론을 표현한다고 해석하는 것이 적절함②연역추론을 표현한다고 해석하는 것이 적절함3. ①부당; 전제와 결론 모두 참②타당; 전제와 결론 모두 거짓종합문제①(연역)추론; 전제: (1)내일 비가 많이 올 것이다 (2)만일 내일 비가 많이 온다면 내일 야구 경기는 취소될 것이다(암시적 전제), 결론: 내일 야구 경기는 취소될 것이다; 타당②(연역)추론; 전제: (1)만약 그가 앞으로 열심히 일한다면 그는 (장래에) 성공할 것이다 (2) 그는 앞으로 열심히 일할 것이다, 결론: 그는 장래에 성공할 것이다; 타당③추론을 표현하지 않음④(연역)추론; 전제: (1)A대학교는 서울에 있다. (2)서울에 있는 모든 것은 대한민국에 있다(숨은 전제), 결론: A대학교는 대한민국에 있다; 타당⑤(연역)추론; 전제: (1)모든 영웅이 될 수 있는 자질을 갖춘 자는 술을 즐기고 잘 마신다 (2) 그는 술을 즐기고 잘 마신다, 결론: 그는 영웅이 될 수 있는 자질을 갖춘 자이다; 부당⑥(연역)추론; 전제: (1) 어떤 고통도 진정한 의미에서의 ‘이익’이 아니다 (2) 모든 진정한 의미에서의 ‘이익’은 그 자체로서 추구해야 할 대상이다, 결론: 어떤 고통도 그 자체로서 추구해야 할 대상이 아니다; 부당(*매개념[이익]이 두 번 주연되고 있음)⑦(연역)추론; 전제: (1)만약 사용자측의 새로운 제안이 받아들여지지 않는다면 기아자동차 근로자들은 파업에 돌입할 것이다 (2)만약 기아 자동차 근로자들이 파업에 돌입한다면 ‘모닝’의 생산에 큰 차질이 빚어질 것이다; 결론: 만약 사용자 측의 새로운 제안이 받아들여지지 않는다면 ‘모닝’의 생산에 큰 차질이 빚어질 것이다; 타당⑧어떤 추론도 표현하고 있지 않음⑨(연역)추론(직접추론): 전제: (1)모든 지식은 그 자체로서 의미를 지닌다, 결론: 그 자체로서 의미를 지니지 않는 지식이 존재한다는 것은 참이 아니다; 타당⑩(연역)추론; 전제. 모든 사나운 동물은 맹수라고 할 수 있다. 그러므로 어떤 맹수는 초식성 동물이 아니다. [부당->결론에서 주연된 대개념(초식성 동물)이 전제에는 주연되고 있지 않음]4. 모든 오리너구리는 포유류이고 개미핥기도 포유동물이다. 고로 모든 개미핥기는 오리너구리가 아니다[->부당, 부정 전제의 수(0)와 부정결론의 수(1)가 다름]5. 중화주의자는 곧 국수주의자이다. 그런데 어떤 중국인은 국수주의자 이므로, 어떤 중국인은 국수주의자임에 분명하다(->타당)6. 불교도인 새누리당원이 있으며 새누리당원들은 누구나 좌파라고 볼 수 없다. 그러므로 어떤 좌파가 아닌 불교도는 존재한다. (->타당)7. 성인들 중에도 게임중독자가 있다. 왜냐하면 어떤 회사원은 분명 게임중독자로 볼 수 있는데 모든 회사원은 성인이기 때문이다. (->타당)8. 모든 이구아나는 파충류이고 어떤 성성이는 이구아나가 아니다. 그러므로 어떤 성성이는 이구아나가 아니다 (->부당, 하나의 부정 전제로부터 긍정의 결론이 도출될 수 없다).9. 어떤 유인원도 “자율적인 존재”라고 간주할 수 없다. 하지만 인간이란 무엇인가? 그것은 본질적으로 자율적인 존재이지 않은가? 결국 어떤 인간도 원숭이가 아니다. (->타당)10. 모든 육식동물은 사납다. 그런데 호랑이는 육식동물이므로, 적어도 어떤 호랑이는 사납다. [->부당, 소개념(호랑이)이 (전제에서) 한 번만 주연됨; 전칭 명제인 전제들로부터 특칭 결론이 도출될 수 없다; 고전적 해석상에서는 타당]11. 마음의 양식이 아닌 책도 존재한다. 그런데 책은 일종의 문화상품이다. 그러므로 어떤 문화상품은 마음의 양식이 아니다(->타당)12. 어떠한 사과도 쓰지 않다. 어떠한 밀감은 사과가 아니다. 그렇기 때문에 밀감 중엔 쓰지 않은 것도 있다(->부당, 두 전제가 모두 부정임)13. 모든 컴퓨터는 편리하지만 편리하지 않은 기계가 존재하므로, 어떤 기계는 컴퓨터가 아니다(->타당)14. 어떤 FTA에 반대하는 사람은 자영업자이다. 모든 자영업자는 기득권자이다. 고로 어 그것은 선한 의지, 즉 선의지라고 할수 있다. 그런데 무수한 행위 준칙들 중에선 보편화 가능한 것도 존재하므로, 선의지라할 수 있는 행위준칙이 존재한다.->모든 보편화 가능한 개인적 행위준칙은 ‘선의지’이다.어떤 행위준칙은 보편화 가능한 행위준칙이다.그러므로 어떤 행위 준칙은 ‘선의지’이다.타당12. 무엇이 최고선인가? 최고선은 바로 행복(한 삶)이다. 그런데 덕에 일치한 활동들로 이루어진 삶이 행복(한 삶)이므로 덕에 일치한 활동들로 이루어진 삶이 최고선이라 할 수 있다.->모든 행복한 삶은 최고선이다.덕에 일치한 활동들로 이루어진 삶은 모두 행복한 삶이다.그러므로 덕에 일치한 활동들로 이루어진 모든 삶은 최고선이다.타당13. 북한체제를 옹호하는 어떤 사람도 결코 진보적이라고 할 수 없다. 그런데 민노당원 중 에는 분명 북한체제를 옹호하는 사람들이 있다. 그러므로 적어도 어떤 민노당원은 결코진보적이지 않다.->어떤 북한체제 옹호자도 진보적이지 않다(진보적인 자가 아니다).어떤 민노당원은 북한체제 옹호자이다.그러므로 어떤 민노당원은 진보적이지 않다.타당14. 권력을 지닌 자라면 누구나 정신적으로 강인하다. 동시에 어떤 것이든 정신적으로 강인하다면 그것은 신체적으로도 강인하다. 그러므로 모든 정신적으로 강인한 존재는 권력자이다.→모든 권력자는 정신적으로 강인한 존재이다.모든 정신적으로 강인한 존재는 신체적으로 강인한 존재이다.그러므로 모든 정신적으로 강인한 존재는 권력자이다.부당15. 이번 사고로 부상을 당한 사람들 중엔 어린아이도 있는 것이 확실하다. 버스에 탑승했던모든 사람들이 이번 사고로 중경상을 당했는데, 버스 탑승자중엔어린아이도 있었다는 것이 확인되었다.→어떤 버스 탑승자는 어린아이이다.모든 버스 탑승자가 부상을 입었다.그러므로 어떤 부상자는 어린아이이다.타당16. 기성도덕에 회의적인 공산주의도 있다. 어떤 좌파는 도덕에 회의적이며 공산주의자는 한결같이 좌파이기 때문이다.->어떤 좌파는 도덕에 회의적이다(회의적인 사람이다).모든 공산주의자는 좌파이다.론의 규칙 II연습문제1. ①타당; 전건긍정추론(의 규칙에 입각) ②부당; 후건긍정의 오류2. ①타당;후건부정추론 ②부당; 전건부정의 오류 ③타당; 후건부정추론3. ①타당; 가언삼단추론 ②타당; 가언삼단추론종합문제1. 타당; 가언삼단추론2. 타당; 귀류추론3. 타당; 후건부정추론4. 부당; 전건부정의 오류5. 타당; 전건긍정추론6. 타당; 전건긍정추론7. 타당; 귀류추론8. 타당; 전건긍정추론9. 타당; 후건부정추론10.타당; 전건긍정추론11. 타당; 후건부정추론12. 부당; 후건긍정의 오류13. 타당; 후건부정추론14. 타당; 가언삼단추론(가언명제인 하나의 전제가 명시적으로 표현되지 않았다고 볼 수 있음)15. 타당; 후건부정추론16. 타당; 전건긍정추론10. 추론의 규칙 III연습문제1. 1)(‘또는’의 논리연결사가 포함적인 의미로 해석될 경우) 부당; 선언지 긍정의 오류2) 타당; 선언삼단추론2. 1) 형식적으로 타당한 연역추론; 긍정적 양도논법2) 형식적으로 타당한 연역추론; 긍정적 양도논법3) 형식적으로 타당한 연역추론; 긍정적 양도논법종합문제1. (선언의 논리연결사가 포함적 의미를 지닌다는 가정하에) 부당; 선언지 긍정의 오류2. 타당; 긍정적 양도논법3. 타당; 선언삼단논법(선언의 논리연결사가 문맥상 배타적 의미)4. 타당; 부정적 양도논법5. (선언의 논리연결사가 포함적 의미를 지닌다는 가정하에)부당; 선언지 긍정의 오류6. 타당; 긍정적 양도논법7. 타당; 선언삼단논법8. 타당; 긍정적 양도논법9. 부당10. 타당; 부정적 양도논법제 11장연습문제1. (p. 198)① ~P② P?Q③ T∨L∨W④ R→D⑤ W↔H2. (p. 201)Pqp→q(p→q)∨pTTTTTFFTFTTTFFTT3. (p. 201)Pq~p~qp?q~p∨~q(p?q)?(~p∨~q)TTFFTFFTFFTFTFFTTFFTFFFTTFTF4. (p. 201)Pqp?qp→(p?q)TTTTTFFFFTFTFFFT5. (p. 203)Pq~p~qp∨q~p→qTTFFTTTFFTTTFTTFTTFFT② 1. (A→B)?(C→D)2. (~B?~E)→(A∨C)3. ~B?(F→G)4. B∨~E /∴D∨H5. ~B 3, 단순화 추론식6. ~E 4,5 선언삼단 추론식7. ~B?~E 6,7 연언 추론식8. A∨C 2,7 전건긍정 추론식9. B∨D 1,8 긍정적 양도 추론식10. D 5,9 선언삼단 추론식11. D∨H 10, 첨가 추론식4. ① 분배법칙② 대우의 법칙, 이중부정의 법칙5.①-3. 1, 드모르강의 법칙-4. 3, 이중부정의 법칙-5. 2,4 선언삼단 추론식②-3. 1, 교환 법칙-4. 3, 단순화 추론식-5. 4, 대우의 법칙-6. 5, 이중부정의 법칙-7. 6, 드모르강의 법칙-8. 7, 대우의 법칙-9. 8, 실질함언의 법칙-10. 2, 이송의 법칙.-11. 9,10 가언삼단 추론식종합문제(pp. 223-224)① 1. ~A∨~(B?C) /∴B→(C→~A)2. ~A∨(~B∨~C) 1, 드모르강의 법칙3. ~A∨(~C∨~B) 2, 교환 법칙4. (~A∨~C)∨~B 3, 결합 법칙5. ~B∨(~C∨~A) 4, 교환 법칙6. B→(C→~A) 5, 실질함언의 법칙② 1. A?(B∨C) /∴~B→(A?C)2. A 1, 단순화 추론식3. A∨B 2, 첨가 추론식4. B∨A 3, 교환 법칙5. (B∨C)?A 1, 교환 법칙6. B∨C 5, 단순화 추론식7. (B∨A)?(B∨C) 4,6 연언 추론식8. B∨(A?C) 7, 분배 법칙9. ~B→(A?C) 8, 실질함언의 법칙③ 1. (A→B)∨C2. ~(B∨C) /∴~A∨~D3. ~B?~C 2, 드모르강의 법칙4. ~C?~B 3, 교환 법칙5. ~C 4, 단순화 추론식6. C∨(A→B) 1, 교환 법칙7. A→B 5,6 선언삼단 추론식8. ~B 3, 단순화 추론식9. ~A 7,8 후건부정 추론식10. ~A∨~D 9, 첨가 추론식④ 1. (A↔B)2. (A?C)↔~(B∨C) /∴A→~C3. [(A?C)→~(B∨C)]?[~(B∨C)→(A?C)] 2, 실질동치의 법칙4. [~(B∨C)→(A?C)]?[(A?C)→~(B∨C)식
