In his spare time over the past couple of years, philosopher Ivo Pezlar (Institute of Philosophy of the Czech Academy of Sciences) has been developing a new video game that combines Tetris-style gameplay with truth tables from classical propositional logic.
The game, Truth Finder: A Quest of Logic, has just been released in beta. It works on desktop and laptop computers (using arrow keys, the space bar, and the enter key), and it’s free. You can play it here.
Dr. Pezlar writes, “The main goal was to make truth tables playable without compromising any of the underlying logic, so it could be also used for teaching and educational purposes.”
As a player, your task is to direct falling colored tiles—green for true and red for false—onto variables and logical operators in order to render correct the truth values for the sentences on each line, and to do so before the falling tiles pile up to the top of the board. There are tutorial levels to walk you through the game play, and 100 levels of game play.
You can view the instruction manual here, and a trailer for the game, below. I tried it out briefly this morning and it works well and is thoughtfully constructed. Logic teachers, have your students play it and report back.
发表回复