| [ QuizWit ] in KIDS 글 쓴 이(By): fox (혼 돈) 날 짜 (Date): 1997년10월08일(수) 13시16분07초 ROK 제 목(Title): [Re] 기사와 건달 글쎄요... 참말과 거짓말을 한다는 것은 True, Flase를 판단할 수 있어야 한다는겁니다. 따라서 기사나 건달은 "나는 거짓말만 한다." 등의 논리의 사다리에서 보다 상위에 있는 말은 하면 안되겠죠. (만일 주민중의 하나가 "이말은 거짓말이야" 라고 한다면 그사람은 기사겠습니까 건달이겠습니까...) 특히 파라독스의 중요조건중의 하나인 자기 참조가 일어나면 안되겠죠.... 이와 같은 문제의 경우는 True, False를 말할 수 없습니다. 그러므로 기사나 건달이나 참말 또는 거짓말, 즉 참 거짓을 판단할 수 있는 문장에 속하지 않는 문장을 말할 수는 없겠지요 그러므로 문제가 invalid하다고 말하고 싶군요... 좀더 구체적으로 말한다면... 이 문제는 다음과 동치이군요... "이 문장의 참 거짓을 아무런 논리적 모순 없이 알수는 없다." 라는 말은 참인가? 거짓인가? 어때요? '"이말은 거짓말임" 은 참인가? 거짓인가' 보다 훨씬 더 꼬여있죠? 제가 알기로는 이런 경우를 허용하는 논리는 없는 것 같은데요... 만일 가능하다면 키는 '알수 있다' 내지 '알다'라는 단어에 있겠군요. modal logic에서는 '알다' 비슷한건 다뤄도 '알수 있다'는 못다루는것으로 생각 되는데요... 이 경우에 들어맞는 해답이 있을지 궁금합니다. |