2025-04-23
LogiCraft: A game modification framework for learning propositional logic
Publication
Publication
Logic and formal reasoning are essential skills for programming and computer science. Still, they are challenging to teach due to their abstract nature. This paper explores how Game-Based Learning (GBL) can simplify logic concepts, making them interactive and en- gaging for young learners. We introduce LogiCraft, an educational framework for co-designing board games that teach propositional logic. The framework includes three illustrative tile-based board games:¬SCR∧BL, Tautoblocks, and Deducto. These games teach propositional logic by merging computational thinking with hands- on gameplay. By integrating syntax and semantics in new ways, ¬SCR∧BL focuses on logic formulas construction and truth ta- bles visualization, Tautoblocks introduces more advanced concepts of negation, tautology, and contradiction, and Deducto highlights translation and model-based reasoning. Playtesting sessions with students and teachers suggest that our games can enhance logic skills and promote cooperative learning. Our initial classroom re- sults show potential for broader applications in game-based learn- ing.
| Additional Metadata | |
|---|---|
| , , , | |
| doi.org/10.1145/3723498.3723848 | |
| 20th International Conference on the Foundations of Digital Games (FDG ’25) | |
| Organisation | Software Analysis and Transformation |
|
Dobler, T., Galeotti, L., & van Rozen, R. (2025). LogiCraft: A game modification framework for learning propositional logic. In Proceedings of the 20th International Conference on the Foundation of Digital Games (pp. 1–11). doi:10.1145/3723498.3723848 |
|
