Bul Game

Abstract

Bul Game is an online software designed to support didactic activities about logic and its connections with everyday language. The aim of the game is to make correct choices based on statements made by knights, who always tell the truth, and by knaves, who always lie. With small adjustments, the game can be used at all grade levels. As part of a programme to introduce logic at primary school, carried out in two second grade classes of an Italian school with many foreign students and one fourth grade class of a French school in Rome, Bul Game was used at the end of each lesson to consolidate and revise the concepts discussed in class. At the secondary-school level, Bul Game can aid the introduction of connectives and propositional logic, together with the characters of knights and knaves, which are a useful tool for dealing with proofs conducted with game semantics. Bul Game was designed and developed by Giulia Balboni, Luigi Bernardi, Mattia Sanchioni, and Jacopo Zuliani, and it is available for free at www.oiler.education/bul in English, French, and Italian.