Hyperproof

For Macintosh

Jon Barwise and John Etchemendy

Hyperproof

Jon Barwise and John Etchemendy

Distributed for Center for the Study of Language and Information

254 pages | 7 x 10 | © 1994
Paper w/CD $32.95 ISBN: 9781881526117 Published December 1994
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
Index of Try Me Files
Review Quotes
Carl Ginet, Cornell University
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.”
Sandra Visser, Valparaiso 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.”
For more information, or to order this book, please visit http://www.press.uchicago.edu
Google preview here

Chicago Manual of Style |

RSS Feed

RSS feed of the latest books from Center for the Study of Language and Information. RSS Feed