Семинар "Логическая семантика": решение парадокса неожиданной казни
В рамках научно-учебного семинара "Логическая семантика" Международной лаборатории логики, лингвистики и формальной философии продолжается серия семинаров, посвященных решению эпистемических задач.
13 декабря в 18.10 в ауд. А-121 состоится заседание научно-учебного семинара
«Логическая семантика»
В рамках семинара будет разбираться «Парадокс неожиданной казни»
Формулировка задачи:"Однажды в воскресенье начальник тюрьмы вызвал преступника, приговорённого к казни, и сообщил ему:
- Вас казнят на следующей неделе в полдень.
- День казни станет для вас сюрпризом, вы узнаете о нём, только когда палач в полдень войдёт к вам в камеру.
Начальник тюрьмы был честнейшим человеком и никогда не врал.
Заключённый подумал над его словами и улыбнулся: «В воскресенье меня казнить не могут! Ведь тогда уже в субботу вечером я буду знать об этом. А, по словам начальника, я не буду знать день своей казни. Следовательно, последний возможный день моей казни — суббота. Но если меня не казнят в пятницу, то я буду заранее знать, что меня казнят в субботу, значит, и её можно исключить». Последовательно исключив пятницу, четверг, среду, вторник и понедельник, преступник пришёл к выводу, что начальник не сможет его казнить, выполнив все свои слова.
На следующей неделе палач постучал в его дверь в полдень в среду — это было для него полной неожиданностью. Всё, что начальник тюрьмы сказал, осуществилось. Где недостаток в рассуждении заключённого?"
См. также:
Van Ditmarsch, H., & Kooi, B. (2015). One hundred prisoners and a light bulb, p. 13-19.
Подробнее о семинаре "Логическая семантика"