Skip main navigation

Smullyan’s Logic Puzzles

In this article Yossi Elran tells us how to solve logic puzzles
Photo of Yossi Elran with Raymond Smullyan
© Yossi Elran

Raymond Smullyan, one of the worlds important logicians and also a formidable recreational mathematician, magician and pianist was born in New York 1919. In fact, he started out as a professional magician, performing all over the United States, and only later on in his life did he study math at Princeton University.

Smullyan has written excellent books on logic puzzles, through which he managed to teach some of his important math discoveries (especially in what’s known as Gödelian logic) in a way almost anyone can understand. Some of his famous books are: “What is the Name of this Book?” and “The Lady or the Tiger?”

The photo above was taken when I met him a few years ago at a conference on math and magic in Atlanta. Above all, Raymonds Smullyan was a very kind person, constantly smiling, with a riddle ready for whoever he meets. Maybe that is the reason that the chairman introduced him as: “Raymond Smullyan who will prove that either he doesn’t exist or you don’t exist, but you will never know which!”

Smullyan’s knights and knaves puzzles

Smullyan has greatly enriched the field of logic puzzles. His favorite puzzles are tales of “knights” (people that always tell the truth) and “knaves” (people that always lie).

One such puzzle involves two cities: one, a city of “knights”, and the other of “knaves”. The residents of the two cities like to visit each other.
One day, a man enters one of the cities, but doesn’t know which. He decides to ask the first person he meets where he is. The answer he receives is that he is in the “knaves” city.
A few seconds later, the visitor realizes that he still doesn’t know where he is. He may be in the “knaves” city, and the person he met was a “knight” visiting there, but he also may be in the “knights” city and the person he met was a “knave” visiting there!
Therefore, the visitor decides to ask another question. What question can he ask in order to know definitely which city he is in?
A possible answer to this problem is that he should ask: “Do you live here?”
If the visitor is in the “knights” city, then a “knight” will answer YES, and a “knave” (visiting there) will also answer YES. On the other hand, if the visitor is in the “knaves” city, both a “knight” and a “knave” will answer NO. So, if the reply is YES, he is in the “knights” city, and if the reply is NO, then is in the “knaves” city.

Answering logic puzzles can be quite puzzling. A good trick is to realise that there are some statements that a liar cannot possible make, for example, “I am a liar”. These are the sort of statements that we look for, so that we can distinguish between liars and truth tellers.

Discussion

In “The Lady or the Tiger”, Smullyan describes another imaginary world – an island called “The Isle of Dreams”, whose residents are always awake during the day, and always sleep at night. When they sleep, they dream dreams that seem very realistic, and are a continuation of whatever happened during the day. When they wake up, their real lives seem to be a continuation of their dream life, so that sometimes they don’t know if they are asleep or awake!

In Smullyan’s world, the residents of the island are of two types:


  • Diurnals believe that whatever happens when they are awake is true, and whatever happens when they are asleep is false.
  • Nocturnals believe that whatever happens when they are awake is false, and whatever happens when they are asleep is true. 


Here are four statements. Can you say which of them, if any, are true statements? Can you correct those that are not true? As usual, post your ideas in the comments below!

  • Any resident that is awake believes that he is diurnal.
  • Any resident that is asleep believes that he is nocturnal.
  • Nocturnals always believe that they are asleep.
  • Diurnals never believe that they are awake.
© Davidson Institute of Science Education, Weizmann Institute of Science
This article is from the free online

An Introduction to Recreational Math: Fun, Games, and Puzzles

Created by
FutureLearn - Learning For Life

Reach your personal and professional goals

Unlock access to hundreds of expert online courses and degrees from top universities and educators to gain accredited qualifications and professional CV-building certificates.

Join over 18 million learners to launch, switch or build upon your career, all at your own pace, across a wide range of topic areas.

Start Learning now