Tarski's World

Description: This program introduces students to the language of first-order logic, helping the student learn the meanings of the connectives and quantifiers and ultimately the symbolic language at the core of the modern logic. Tarski's World is a game that allows the student to build three-dimensional worlds and to describe them in first-order logic. In these constructed worlds, the student evaluates sentences; if the student is incorrect, the program provides a game that illuminates the source of the student's error. The disk and manual contain over a hundred exercises ranging from very basic to highly sophisticated. It can also be used in conjunction with the text Language of First-order Logic.

Requirements: PC running Windows 3.1 or above, or Apple Macintosh running System 7.0 or above.

Further information: from the Centre for the Study of Language and Information web page at http://www-csli.stanford.edu/hp/index.html

Distributor: Customer Services Department (Direct), Cambridge University Press, The Edinburgh Building, Cambridge CB2 2RU, UK. Tel.: +44 (1223) 325588 Fax: +44 (1223) 325152 Email: directcustserve@cup.cam.ac.uk

Price: £16.95 (single user copy).

Version available at CTI Centre: None.

[Resources Guide: A-Z Contents] [Resources Guide: Front Page] [CTI Textual Studies Home Page]

Guide to Digital Resources 1996-98. Not to be republished in any form without the permission of CTI Textual Studies.

HTML Author: Sarah Porter
Document Created: 20 March 1997
Document Modified:

The URL of this document is http://info.ox.ac.uk/ctitext/resguide/resources/t110.html