HyperProof

Description: Hyperproof is a system which can be used for the teaching and learning of principles of analytical reasoning and proof construction. The system draws upon both a text and a software package, combining graphical and sentential information, and presenting a set of logical rules for integrating these different forms of information. The system helps the student to construct and learn proofs of consequence and non-consequence, consistency and inconsistency, and independence proofs, and checks the logical validity of each type of proof. Hyperproof is designed to be used in a first-level course in logic. It presupposes familiarity with Tarski's World, and is best used in tandem either with this program or with the textbook The Language of First-Order Logic (also available from the distributors).

Requirements: Apple Macintosh running System 6.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. See Barwise, 1995.

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: £24.95 +VAT (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/h130.html