My introduction to logic was at the age of six.
It happened this way:
On April 1, 1925, I was sick in bed with grippe, or f lu, or something. In the morning my brother Emile (ten years my senior) came into my bedroom and said:
“Well, Raymond, today is April Fool’s Day, and I will fool you as you have never been fooled before!”
I waited all day long for him to fool me, but he didn’t.
Late that night, my mother asked me, “Why don’t you go to sleep?”
I replied, “I’m waiting for Emile to fool me.”
My mother turned to Emile and said, “Emile, will you please fool the child!”
Emile then turned to me, and the following dialogue ensued:
Emile So, you expected me to fool you, didn’t you?
Raymond Yes
Emile But I didn’t, did I?
Raymond No.
Emile But you expected me to, didn’t you?
Raymond Yes.
Emile So I fooled you, didn’t I
Well, I recall lying in bed long after the lights were turned out wondering whether or not I had really been fooled.
On the one hand, if I wasn’t fooled, then I did not get what I expected, hence I was fooled. (This was Emile’s argument.)
But with equal reason it can be said that if I was fooled, then I did get what I expected, so then, in what sense was I fooled.
So, was I fooled or wasn’t I?
Some people are always critical of vague statements.
Raymond Smullyan
I tend rather to be critical of precise statements; they are the only ones which can correctly be labeled wrong.
In the Ocean of Deduction lies the logical island of If.
People born here belong to one of two tribes: the Alethians and the Pseudians.
The only way to tell an Alethian from a Pseudian is to talk to them.
Alethians always speak the truth, no matter what they are saying.
Pseudians will always utter falsehoods, no matter what they are saying.
At the centre of the island, the Master of the Alethians keeps the Ledger of Identity, a book that lists the names of everyone born on the island together with their tribe.
The information in the Ledger of Identity is correct and freely available to anyone who asks.
One day, an intrepid explorer arrives on If.
She encounters various inhabitants and identifies them as Alethians and Pseudians by asking clever questions.
After several successful such encounters, she meets a man called Kurt.
The explorer does not know his tribal affiliation, but before she has time to ask him a question, he says “You will never have concrete evidence that confirms that I am an Alethian.”
1. Is Kurt an Alethian, a Pseudian or neither?
2. How might this relate to Gödel’s incompleteness theorem?
Solution
1. Kurt is neither.
If he was a Pseudian, then the statement “You will never have concrete evidence that confirms that I am an Alethian” is true. But Pseudians never tell the truth, so Kurt cannot be Pseudian.
If he was Alethian, then everything he says, and therefore also the statement “You will never have concrete evidence that confirms that I am an Alethian” is true. But we know the statement is false, since the explorer can go to the Ledger of Infinity, look up his name, and check that he is Alethian. So Kurt is not Alethian.
In conclusion: Kurt was not born on the island of If.
2. Gödel’s incompleteness theorem states that there are mathematical statements that are true but not formally provable.
A version of this puzzle leads us to something similar: an example of a statement that is true but there is no concrete evidence for its truth.
For example, assume that the explorer is the first person ever to step on the island who wasn’t born there, so everyone is either an Alethian or a Pseudian, and that the explorer knows this fact. Let us also imagine that the moment Kurt speaks, the Ledger burns to ashes. (The destruction of the ledger is to avoid running into the self-contradictions we saw in 1.)
By our previous argument, no Pseudian can ever utter Kurt’s statement, so Kurt cannot be a Pseudian. Thus, by our additional assumption about everyone being born on If, he must be an Alethian, and thus, his utterance is true, i.e., the explorer will never have concrete evidence that he is an Alethian.
But she will also never have concrete evidence that Kurt’s statement itself is true: if she ever does, it would be concrete evidence that he is an Alethian (since only those speak the truth). But that would say that the statement is false.
So, Kurt’s utterance is true but there is no concrete evidence for its truth. Indeed, his sentence is precisely the type of self-referential statement that forms the basis of Gödel’s proof of his incompleteness theorem. To repeat what I said at the top of the story: in a formal mathematical setting, the statement ‘This sentence is unprovable” is both true and formally unprovable.
In summary, the island of If is a magical place where all true statements about tribal identity can be verified in the Ledger. When we take away the Ledger, however, it doesn’t take too long to find a true sentence for which there is no concrete evidence.
Surtil : 