Крокодил дилемма - Crocodile dilemma

Для Фарго эпизод, см. Дилемма крокодила.

В крокодил парадокс, также известный как софизм крокодила, парадокс в логика в той же семье парадоксов, что и парадокс лжеца.[1] Предпосылка гласит, что крокодил, укравший ребенка, обещает родителю, что его или ее ребенок будет возвращен. если и только если он или она правильно предсказывает, что крокодил будет делать дальше.

Транзакция логически гладкая, но непредсказуемая, если родитель догадывается, что потомок будет возвращен, но для крокодила возникает дилемма, если родитель догадывается, что потомок не будет возвращен. В случае, если крокодил решает оставить ребенка, он нарушает свои условия: предсказание родителя было подтверждено, и ребенок должен быть возвращен. Однако в случае, если крокодил решает вернуть ребенка, он все равно нарушает свои условия, даже если это решение основано на предыдущем результате: предсказание родителя было фальсифицировано, и ребенок не должен быть возвращен. Следовательно, вопрос, что должен делать крокодил, состоит в следующем: парадоксальный, и нет оправданного решения.[2][3][4]

Дилемма крокодила раскрывает некоторые логические проблемы, представленные метазнание. В этом плане он похож по конструкции на неожиданный парадокс зависания, который Ричард Монтегю (1960) использовали, чтобы продемонстрировать, что следующие предположения о знаниях несовместимы при проверке в сочетании:[2]

(i) Если ρ известно, что это правда, то ρ.

(ii) Известно, что (i).

(iii) Если ρ подразумевает σ, и ρ известно, что это правда, то σ также известно, что это правда.

Древнегреческие источники первыми обсуждали дилемму крокодила.[1]

Смотрите также

Примечания

  1. ^ а б Бариле, Маргарита. «Дилемма Крокодила - MathWorld». Получено 2009-09-05.
  2. ^ а б Дж. Зикманн, изд. (1989). Конспект лекций по искусственному интеллекту. Springer-Verlag. п. 14. ISBN  3540530827.
  3. ^ Янг, Рональд Э (2005). Путешествие на восток. iUniverse. С. 8–9. ISBN  0595795846.
  4. ^ Мюррей, Ричард (1847). Компендиум логики Мюррея. п.159.