Дилемма крокодила
Парадокс крокодила , также известный как софизм крокодила , представляет собой парадокс логический парадокс из того же семейства парадоксов, что и лжеца . [1] Посылка гласит, что крокодил, укравший ребенка, обещает родителю, что его ребенок будет возвращен тогда и только в том случае, если они правильно предскажут, что крокодил сделает дальше.
Транзакция является логически гладкой, но непредсказуемой, если родитель догадывается, что ребенок будет возвращен, но перед крокодилом возникает дилемма, если родитель догадывается, что ребенок не будет возвращен. В случае, если крокодил решает оставить ребенка себе, он нарушает свои условия: предсказание родителя подтвердилось, и ребенка следует вернуть. Однако в случае, если крокодил решит вернуть ребенка, он все равно нарушает свои условия, даже если это решение основано на предыдущем результате: предсказание родителя было сфальсифицировано, и ребенка возвращать не следует. Поэтому вопрос о том, что должен делать крокодил, является парадоксальным и не имеет оправданного решения. [2] [3] [4]
Дилемма крокодила помогает выявить некоторые логические проблемы, возникающие в метазнаниях . В этом отношении его конструкция аналогична парадоксу неожиданного подвешивания , который Ричард Монтегю (1960) использовал, чтобы продемонстрировать, что следующие предположения о знании несовместимы при их совместной проверке: [2]
- Если ρ известно, что истинно, то ρ .
- Известно, что (i).
- Если из ρ следует σ и ρ известно, что σ истинно. истинно, то также известно, что
Древнегреческие источники первыми обсуждали дилемму крокодила. [1]
См. также
[ редактировать ]Примечания
[ редактировать ]- ^ Jump up to: а б Бариле, Маргарита. «Дилемма крокодила – MathWorld» . Проверено 5 сентября 2009 г.
- ^ Jump up to: а б Дж. Зикманн, изд. (1989). Конспект лекций по искусственному интеллекту . Спрингер-Верлаг. п. 14. ISBN 3540530827 .
- ^ Янг, Рональд Э. (2005). Путешествие на Восток . iUniverse. стр. 8–9. ISBN 0595795846 .
- ^ Мюррей, Ричард (1847). Сборник логики Мюррея . п. 159 .
