| [ QuizWit ] in KIDS 글 쓴 이(By): thief (of heart) 날 짜 (Date): 1997년10월23일(목) 11시12분54초 ROK 제 목(Title): Re: knight & knave 그 사람이 한말이 거짓이다 라는 가정은 곧, 그 사람이 건달임을 안다라는 뜻입니다. 그 사람의 말이 거짓이라 하더라도 그 사람이 누군지 모른다라는 논리에서 예의 그 이상한 루프가 형성되는 것 같습니다. 가정이 거짓일수 있다 라는 말은 이해가 잘 이해가 안가는 군요. 가정이란 **이 참이라고 할때의 의미 아닙니까? 네가지 경우로 나눈것이 맘에 안드신다면 두가지로 나누어 볼 수 있습니다. 경우 1. 말한 사람이 건달인지 기사인지 안다. 경우 2. 모른다. 그럼 "논리적 모순없이"라는 말의 용법에 따라 논의를 전개해 봅니다. A) 먼저, "유추과정의 논리적 모순이 없다"라는 삭제해도 좋은 의미라면. 경우 1. "안다"일 경우 모른다라는 말은 거짓 즉 건달임을 "안다" : 성립 경우 2. "모른다"일 경우 모른다라는 말은 사실 즉 기사임을 안다 : 성립 안함. 결국 건달이 되겠지요. B) 그런데 "논리적 모순 없이"라는 말이 가정으로 부터 유도된 결과가 결론이 거짓임을 보이는 방법으로 증명함을 의미한다면. (많은 귀납적 증명이 이를 이용하지요) 경우 1. "모순 없이 안다"일 경우 "모순 없이는 모른다"라는 말은 거짓(건달) 그런데 이 추론 과정은 "모순 있음(모순을 이용하였음)" : 성립 안함 경우 2. "모순 없이는 모른다" 일 경우 "모순 없이는 모른다"라는 말은 사실(기사) "모순 없는" 즉, 모순을 이용하지 않은 추론 : 성립 결국 기사가 됩니다. 이 문제에서 주민이 누군지 모를 수는 없습니다. 모른다는 것은 주민의 말의 참, 거짓을 판별하게 하여 누군지 알게되는 결과를 초래합니다. 답이 기사라면 B)의 경우가 되겠는데, "모순있게(혹은 없이)"라는 표현을 이와 같은 경우에 사용하는 것을 본 기억이 없습니다. 어쨋거나, 유난히 관심이 가는 문제입니다. pomp씨 께서 해설을 올려 주셔야 할 시기인것 같습니다. |