Войти
парадокс крокодила, также известный как софизм крокодила, является парадоксом в логике из того же семейства парадоксов, что и парадокс лжеца. Предпосылка гласит, что крокодил, который украл ребенка, обещает родителю, что его или ее ребенок будет возвращен тогда и только тогда, когда он или она правильно предсказывает, что крокодил будет делать дальше.
Транзакция логически гладкая, но непредсказуемая, если родитель догадывается, что потомок будет возвращен, но для крокодила возникает дилемма, если родитель догадывается, что потомок не будет возвращен. В случае, если крокодил решит оставить ребенка, он нарушит свои условия: предсказание родителя подтвердилось, и ребенок должен быть возвращен. Однако в случае, если крокодил решает вернуть ребенка, он все равно нарушает свои условия, даже если это решение основано на предыдущем результате: предсказание родителя было фальсифицировано, и ребенок не должен быть возвращен. Таким образом, вопрос о том, что должен делать крокодил, парадоксален, и нет оправданного решения.
Дилемма крокодила служит для выявления некоторых логических проблем, представленных метазнанием. В этом отношении он аналогичен по конструкции неожиданному парадоксу зависания, который Ричард Монтегю (1960) использовал, чтобы продемонстрировать, что следующие предположения о знаниях несовместимы при проверке в сочетании:
(i) Если известно, что ρ истинно, то ρ.
(ii) Известно, что (i).
(iii) Если ρ влечет σ, а ρ, как известно, истинно, то σ также известно, что это правда.
Древнегреческие источники первыми обсудили дилемму крокодила.
