I had another long plane flight recently, so I decided to try making another game, to explore exactly what types of mathematical reasoning might be amenable to gamification. I decided to start with one of the simplest types of logical argument (and one of the few that avoids the disjunction problem mentioned in the previous post), namely the Aristotelian logic of syllogistic reasoning, most famously exemplified by the classic syllogism:

- Major premise: All men are mortal.
- Minor premise: Socrates is a man.
- Conclusion: Socrates is a mortal.

There is a classic collection of logic puzzles of Lewis Carroll (from his book on symbolic logic), in which he presents a set of premises and asks to derive a conclusion using all of the premises. Here are four examples of such sets:

- Babies are illogical;
- Nobody is despised who can manage a crocodile;
- Illogical persons are despised.

- My saucepans are the only things that I have that are made of tin;
- I find all your presents very useful;
- None of my saucepans are of the slightest use.

- No potatoes of mine, that are new, have been boiled;
- All of my potatoes in this dish are fit to eat;
- No unboiled potatoes of mine are fit to eat.

- No ducks waltz;
- No officers ever decline to waltz;
- All my poultry are ducks.

After a certain amount of effort, I was able to gamify the solution process to these sort of puzzles in a Scratch game, although I am not fully satisfied with the results (in part due to the inherent technical limitations of the Scratch software, but also because I have not yet found a smooth user interface for this process). In order to not have to build a natural language parser, I modified Lewis Carroll’s sentences somewhat in order to be machine-readable. Here is a typical screenshot:

Unfortunately, the gameplay is somewhat clunkier than in the algebra game, basically because one needs three or four clicks and a keyboard press in order to make a move, whereas in the algebra game each click corresponded to one move. This is in part due to Scratch not having an easy way to have drag-and-drop or right-click commands, but even with a fully featured GUI, I am unsure how to make an interface that would make the process of performing a deduction easy; one may need a “smart” interface that is able to guess some possible intended moves from a minimal amount of input from the user, and then suggest these choices (somewhat similarly to the “auto-complete” feature in a search box). This would require more effort than I could expend on a plane trip, though (as well as the use of a more powerful language than Scratch).

There are of course several existing proof assistants one could try to use as a model (Coq, Isabelle, etc.), but my impression is that the syntax for such assistants would only be easily mastered by someone who already is quite experienced with computer languages as well as proof writing, which would defeat the purpose of the games I have in mind. But perhaps it is possible to create a proof assistant for a very restricted logic (such as one without disjunction) that can be easily used by non-experts…

## 16 comments

Comments feed for this article

21 April, 2012 at 8:11 pm

UlrikI know that natural deduction proofs in the implication-only fragment have been gamified: http://www.winterdrache.de/freeware/domino/index.html

More connectives can probably be handled by extra pieces, but the nice thing about this game is that implication-only formulas have very succinct graphical representations, so it might not work so well for more complicated formulas.

22 April, 2012 at 3:24 am

AnonymousGood morning all

I think that we have innate logic who is not always right. Sometimes interpretation is false

22 April, 2012 at 7:23 am

SangeetaMaths is a root of life n it is my heart touching subject.

23 April, 2012 at 10:28 pm

Bo JacobyI use ‘ordinal fractions’ for solving such problems. The ‘first half’ is an ordinal fraction because ‘first’ is an ordinal and ‘half’ is a fraction. The ‘first half’ is called 1, the ‘second half’ is called 2, and ‘both halfs’ is called 0 meaning ‘no condition on the halfs’. Digit 0 is wild-card character. The first fourth is 11, the second fourth is 12, the third fourth is 21, and the fourth fourth is 22. The odd fourths is 01 and the even fourths is 02. You may pad zeroes to the right: 0=00, 1=10, 2=20. If two ordinal fractions are unequal they satisfy one of the four inequalities: ,><,. For example 10>11, 10<20, 1001. Identify the concepts by ordinal fractions such that the logical relations between concepts are mirrored by arithmetic relations between ordinal fractions. ‘immortal’=100, ‘man’=110, ‘Socrates’=111. ‘All men are mortal’: 110<100. 'Socrates is a man': 111<110. Conclusion: 111<100: 'Socrates is a mortal'.

23 April, 2012 at 10:36 pm

Bo JacobyMy text above is corrupted, as unequality signs are omitted. ‘The four inequalities are LT, GT, LTGT, GTLT. For example 10 GT 11, 10 LT 00, 10 GTLT 20, 10 LTGT 01. ‘

24 April, 2012 at 1:27 am

Bo JacobyAnd of course ‘immortal’=100 should read ‘mortal’=100.

24 April, 2012 at 6:05 am

mkI’ve often thought that the endoporeutic game invented by Charles Sanders Peirce might be a promising way to gamify certain parts of logic. It’s played by two players, a proposer and a skeptic and represents a diagrammatic form of reasoning. It’s sort of an early version/predecessor of model theory they say, and encompasses propositional logic I believe. I had read about it here http://www.jfsowa.com/peirce/ms514.htm.

25 April, 2012 at 6:59 pm

AnonymousI hate to nitpick your post, but I believe the correct term is Aristotelian.

[Corrected, thanks – T.]30 April, 2012 at 5:40 pm

OMFSomeone’s caught the coding bug!

2 May, 2012 at 6:10 am

MHQuestion on a related note: What examples of mathematics do you think can be novel-ified or movie-ified for a general audience? Stephen Hawking was told that each equation he put in his book would halve the size of its readership. In general, I think this is accurate. But I recall a quote elsewhere on your site (paraphrasing) “once mastered, you don’t see numbers, you see meanings.”

It seems to me (a layman) that there ought be ways to convey the value, joy and sheer ingenuity of parts of mathematics via analogous meanings and concepts, without recourse to the foreign language of mathematical notation or only so much of it as may be casually translated. Perhaps I am naive to think this. Perhaps the ability to so translate requires a genius all of its own?I realize that rigor, among other things, may be lost in translation–but for a general audience, maybe an “almost explanation” is useful to their understanding the proper explanation, in a similar way to “almost primes” being useful in the study of primes? (I trust I won’t get shot for making this analogy).

If you’ve time, what are your thoughts?

2 August, 2012 at 3:56 pm

Artigiani Genova (@FabbroGenova)All babies are despised.

That would be a great name for an emo rock band :)

14 August, 2012 at 5:22 am

Hybrid Education: The Evidence Grows (reblog) « Pathfinder[…] drawn outside the circle but within the square. Using games such as the one proposed by Terry Tao is probably an excellent way to teach thislogic. Logic, of course, can be elucidated by other […]

20 January, 2015 at 4:12 am

ElisaJust love this! <3

25 June, 2017 at 7:16 pm

Author Spotlight: A Study and Some Personal Experience of Lewis Carroll – before the second sleep[…] Two links to explore Carroll’s puzzles on logic may be found here and here. […]

4 May, 2018 at 8:39 pm

Boolean Arithmetic « Polytropy[…] example, from Terence Tao’s blog, is attributed to Lewis Carroll. By the first and third premisses, babies are despised; by the […]

28 July, 2018 at 6:47 pm

Gamifying propositional logic: QED, an interactive textbook | What's new[…] which could be gamified in a similar fashion. Shortly after my first blog posts on this topic, I experimented with a similar gamification of Lewis Carroll’s classic list of logic puzzles, but the results were […]