악어 딜레마

Crocodile dilemma
파고 에피소드는 악어의 딜레마를 참조하십시오.

악어 궤변이라고도 하는 악어 역설이 거짓말의 역설과 같은 패러독스 계열의 논리의 역설이다.[1] 그 전제는 아이를 훔친 악어가 부모에게 다음에 악어가 무엇을 할 것인지를 정확하게 예측해야만 그 아이가 돌아온다고 약속한다는 것이다.

부모가 아이를 돌려줄 것이라고 추측할 경우 거래는 논리적으로 순탄하지만 예측이 불가능하지만 부모가 아이를 돌려받지 못할 것이라고 추측할 경우 악어에게 딜레마가 발생한다. 악어가 아이를 지키기로 결정했을 경우 부모의 예측이 타당하다는 조건을 어기고 아이를 돌려보내야 한다. 그러나 악어가 아이를 돌려주기로 결정했을 경우 부모의 예측이 거짓으로 나왔으니 아이를 돌려주지 말라는 이전 결과에 근거한 결정이라고 해도 여전히 조건을 어기고 있다. 악어가 무엇을 해야 하는가 하는 문제는 그러므로 역설적이며, 정당한 해결책이 없다.[2][3][4]

악어 딜레마는 메타노우레지가 제시하는 논리적인 문제들 중 일부를 폭로하는 역할을 한다. 이와 관련하여 리처드 몬태규(1960)가 지식 관련 다음과 같은 가정이 조합하여 시험했을 때 일관성이 없다는 것을 입증하기 위해 사용했던 예기치 못한 교수형 역설과 구조가 유사하다.[2]

(i) ρ이 사실이라고 알려지면 ρ

(ii) (i)라고 알려져 있다.

(iii) 만약 implies이 implies을 함축하고, ρ이 참이라고 알려지면 also도 참인 것으로 알려져 있다.

고대 그리스 소식통들은 악어의 딜레마를 처음으로 논의한 것이었다.[1]

참고 항목

메모들

  1. ^ a b Barile, Margherita. "Crocodile's Dilemma – MathWorld". Retrieved 2009-09-05.
  2. ^ a b J. Siekmann, ed. (1989). Lecture Notes in Artificial Intelligence. Springer-Verlag. p. 14. ISBN 3540530827.
  3. ^ Young, Ronald E (2005). Traveling East. iUniverse. pp. 8–9. ISBN 0595795846.
  4. ^ Murray, Richard (1847). Murray's Compendium of logic. p. 159.