Семинар "Логическая семантика": решение задачи о сотне заключенных и лампочке
Мероприятие завершено
В рамках научно-учебного семинара "Логическая семантика" Международной лаборатории логики, лингвистики и формальной философии продолжается серия семинаров, посвященных решению эпистемических задач.
8 ноября в 16.40 в ауд. А-120 состоится заседание научно-учебного семинара
«Логическая семантика».
В рамках семинара будет разбираться Задача о сотне заключенных и лампочке.
Формулировка задачи:
"Группе из ста заключенных, которые вместе сидят в тюремной столовой, говорят, что онивсе будут помещены в изоляторы, а затем будут допрошены один за другим вкомнате с лампочкой, у которой будет выключатель. Заключенные могут общатьсядруг с другом, включая и выключая свет (и это единственный способ, которымони могут общаться). Свет изначально выключен. Фиксированного порядкадопросов нет, и нет интервала между допросами, и тот же заключенный можетбыть допрошенным снова. При допросе заключенный может ничего не делатьили переключать выключатель света, или объявить, что все заключенные были допрошены. Если это объявление истинно, заключенные будут освобождены (все), ноесли это объявление будет ложным, они будут казнены. Могут ли заключенные, пока они находятся в столовой..., так договориться о протоколе, что они все будут освобождены?"
О решении задачи расскажет стажер-исследователь МЛ логики, лингвистики и формальной философии Ирина Кирилова.
Подробнее о семинаре "Логическая семантика"
В рамках семинара будет разбираться Задача о сотне заключенных и лампочке.
Формулировка задачи:
"Группе из ста заключенных, которые вместе сидят в тюремной столовой, говорят, что онивсе будут помещены в изоляторы, а затем будут допрошены один за другим вкомнате с лампочкой, у которой будет выключатель. Заключенные могут общатьсядруг с другом, включая и выключая свет (и это единственный способ, которымони могут общаться). Свет изначально выключен. Фиксированного порядкадопросов нет, и нет интервала между допросами, и тот же заключенный можетбыть допрошенным снова. При допросе заключенный может ничего не делатьили переключать выключатель света, или объявить, что все заключенные были допрошены. Если это объявление истинно, заключенные будут освобождены (все), ноесли это объявление будет ложным, они будут казнены. Могут ли заключенные, пока они находятся в столовой..., так договориться о протоколе, что они все будут освобождены?"
Van Ditmarsch, H., & Kooi, B. (2015). One hundred prisoners and a light bulb, p. 83.
О решении задачи расскажет стажер-исследователь МЛ логики, лингвистики и формальной философии Ирина Кирилова.
Подробнее о семинаре "Логическая семантика"
Дата
8 ноября
16:40
Адрес
ауд. А-120
В статье упомянуты
Персоны