# A Puzzle about Labeled Logicians

Requires a Wolfram Notebook System

Interact on desktop, mobile and cloud with the free Wolfram CDF Player or other Wolfram Language products.

Requires a Wolfram Notebook System

Edit on desktop, mobile and cloud with any Wolfram Language product.

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