Карточный парадокс
Эта статья в значительной степени или полностью опирается на один источник . ( июль 2022 г. ) |
Карточный парадокс — это вариант парадокса лжеца, построенный Филиппом Журденом . [1] Он также известен как парадокс открытки , парадокс Журдена или парадокс Журдена .
Парадокс
[ редактировать ]Предположим, есть карточка, на обеих сторонах которой напечатаны утверждения:
Передний: | Предложение на другой стороне этой карточки истинно. |
Назад: | Предложение на другой стороне этой карточки неверно. |
Попытка присвоить истинностное значение любому из них приводит к парадоксу .
- Если первое утверждение верно, то верно и второе. Но если второе утверждение истинно, то первое утверждение ложно. Отсюда следует, что если первое утверждение истинно, то первое утверждение ложно.
- Если первое утверждение ложно, то и второе тоже ложно. Но если второе утверждение ложно, то первое утверждение истинно. Отсюда следует, что если первое утверждение ложно, то первое утверждение истинно.
Тот же механизм применим и ко второму утверждению. Ни в одном из предложений не используется (прямая) ссылка на самого себя , вместо этого речь идет о циклической ссылке . Парадокс Ябло — это разновидность парадокса лжеца, которая даже не предполагает использования циклических ссылок.
Ссылки
[ редактировать ]- ^ О'Коннор, Джон Дж .; Робертсон, Эдмунд Ф. (февраль 2005 г.). «Филип Эдвард Бертран Журден» . MacTutor Архив истории математики . Проверено 4 апреля 2010 г.