A Puzzle about Labeled Logicians

Requires a Wolfram Notebook System
Interact on desktop, mobile and cloud with the free Wolfram Player or other Wolfram Language products.
This Demonstration generates a puzzle about logicians who derive conclusions from given assumptions and previous statements.
[more]
Contributed by: Izidor Hafner (December 2012)
Open content licensed under CC BY-NC-SA
Snapshots
Details
The Demonstration is an adjustment of a puzzle by D. Shasha. Suppose there is only one logician with an X. Then he or she knows that they are the only one with an X.
Suppose there are two logicians with an X. The first of the two will not decide in the first round. But the second will. His or her argument is: If I don’t have an X, the other logician won’t see an X, so they will know they have an X. But the other logician didn’t decide, therefore I have an X.
Reference
[1] D. Shasha, The Puzzling Adventures of Dr. Ecco, New York: W. H. Freeman, 1988 pp. 113–114.
Permanent Citation
"A Puzzle about Labeled Logicians"
http://demonstrations.wolfram.com/APuzzleAboutLabeledLogicians/
Wolfram Demonstrations Project
Published: December 19 2012