Tarksi's World

MAILTEMP
Tarksi's World, developed at Stanford University, taught first-order logic. Students constructed worlds made of blocks of different sizes and shapes. The students then wrote sentences of first-order logic to describe the worlds. The program tested the truth values of the sentences and lead students through the evaluation of the sentences.

NeXT computers, with workstation computational power and the NeXTstep graphical interface, made possible powerful, easy-to-use, courseware tools that teach traditional topics in engaging and new ways.

The contact was:
John Etchemendy
Professor of Philosophy
etch@csli.stanford.edu