Tilomino Version 1

Inspired by the award-winning Tarski's World by Jon Barwise and John Etchemendy


A world is presented consisting of objects of three different shapes of three different sizes. Each shape is placed on a grid. Logical questions can be asked of the world using boolean operators, quantifiers and a number of functions. A result of either true or false is presented. Several worlds are provided to use.

There are two ways to view and use Tilomino:

  1. Single Screen
    The world appears on the left side of the display. Help is provided on a separate page.
  2. Frames
    The left side of the display contains the world and the right side contains help.
We are in the process of updating Tilomino. In the meantime, here are the systems that it runs on:

If Tilomino does not work on your setup, here are a few things to try:

If not, you can try Tilomino Version 2 which has a more clunky user interface and no tutorial but works on more platforms. You can use the tutorial for version 1 to learn version 2.

If after all this, you still can't get anything working, you can take a look at snapshots of the Tilomino worlds.


Created by Neil Deakin (1997)
Under the supervision of Sophie Quigley

Copyright Neil Deakin and Ryerson Polytechnic University (1997)