Logic and philosophy

How can students learn thinking formally and logically while playing a computer game?

Case: Tarski's World

  • screenshot shows interaction with simulated 3D world
  • students learn what a well-formed formula, sentence and true statement is
  • endless new exercises due to built-in intelligence
  • Barwise and Etchemendy won the 1997 Educom Medal for this
  • disadvantage: fake world is hardly situated in learner's experience
  • other packages: Hyperproof, Turing's world
  • <<<>>>