Семинар "Логическая семантика": решение "Самой сложной логической задачи"

11 октября в 18.00 в ауд. А-120 состоится заседание научно-учебного семинара

«Логическая семантика»

В рамках семинара будет разбираться «Самая сложная логическая задача»

(«Задача о трех богах» / “The Hardest Logic Puzzle Ever”, “The Three Gods Riddle”)

Формулировка задачи:

"Three gods A, R, and C are called, in some order, True, False, and Random. True always speaks truly, False always speaks falsely, but whether Random speaks truly or falsely is a completely random matter. Your task is to determine the identities of A, R, and C by asking three yes-no questions; each question must be put to exactly one god. The gods understand English, but will answer all questions in their own language, in which the words for "yes" and "no" are "dam and "ja," in some order. You do not know which word means which."

Boolos, G. (1996). The hardest logic puzzle ever. The Harvard Review of Philosophy, 6(1), 62. 

О решении задачи расскажет студент ОП "Философия", стажер-исследователь МЛ логики, лингвистики и формальной философии Александр Мельников.


Подробнее о семинаре "Логическая семантика"