£199.99 £139.99 for one year of Unlimited learning. Offer ends on 14 November 2022 at 23:59 (UTC). T&Cs apply

Find out more
Smullyan’s Logic Puzzles
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
© Davidson Institute of Science Education, Weizmann Institute of Science

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.


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

Our purpose is to transform access to education.

We offer a diverse selection of courses from leading universities and cultural institutions from around the world. These are delivered one step at a time, and are accessible on mobile, tablet and desktop, so you can fit learning around your life.

We believe learning should be an enjoyable, social experience, so our courses offer the opportunity to discuss what you’re learning with others as you go, helping you make fresh discoveries and form new ideas.
You can unlock new opportunities with unlimited access to hundreds of online short courses for a year by subscribing to our Unlimited package. Build your knowledge with top universities and organisations.

Learn more about how FutureLearn is transforming access to education