Skip to main content
Shopping cart: items Cart


Hyperproof is wonderful! With it you can construct and check proofs in an expanded version of the language of Tarski’s World. And there is more, much more, another whole dimension. Hyperproof lets you use pictorially-presented information and pictorially-oriented deduction techniques, in combination with sentences and syntactic rules, to reason about its block worlds. It is an extraordinarily impressive programming achievement. The lengthy accompanying manual is well written and contains a great many well-designed exercises. Hyperproof will make learning first-order logic enormously more fun.”

Carl Ginet, Cornell University

Hyperproof encourages students to improve their reasoning skills and to learn about reasoning in a way that’s already familiar to them, i.e., looking at a world, making observations about it, forming hypotheses, and reasoning from those observations and suppositions. This unique approach to logic instruction makes the benefits of formal systems of reasoning immediately clear to students. It also highlights sophisticated points about the interaction between language and the world in an accessible way.”

Sandra Visser, Valparaiso University

Table of Contents

About Hyperproof
I: Basic Concepts
1: Comparing Tarski’s World and Hyperproof
2: Proofs of Consequence and Nonconsequence
3: Sentential Consequence Rules
4: Proofs of Consistency and Inconsistency
II: Diagrammatic Reasoning
5: The Apply Rule
6: Reasoning by Cases
7: Independence Proofs
III: Sentential Reasoning
8: Sentence Connective Rules
9: Quantifier and Identity Rules
10: Axioms and Analytic Consequence
11: Logic and Observation
A. Using Hyperproof
B. Summary of Goals
C. The LoFOL Proof System
Index of Try Me Files

Be the first to know

Get the latest updates on new releases, special offers, and media highlights when you subscribe to our email lists!

Sign up here for updates about the Press