Hyperproof: For Macintosh / Edition 2

Hyperproof: For Macintosh / Edition 2

by Jon Barwise, John Etchemendy
     
 

ISBN-10: 1881526119

ISBN-13: 9781881526117

Pub. Date: 12/28/1994

Publisher: Center for the Study of Language and Inf

Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy

Overview

Hyperproof is a system for learning the principles of analytical reasoning and proof construction, consisting of a text and a Macintosh software program. Unlike traditional treatments of first-order logic, Hyperproof combines graphical and sentential information, presenting a set of logical rules for integrating these different forms of information. This strategy allows students to focus on the information content of proofs, rather than the syntactic structure of sentences. Using Hyperproof the student learns to construct proofs of both consequence and nonconsequence using an intuitive proof system that extends the standard set of sentential rules to incorporate information represented graphically. Hyperproof is compatible with various natural-deduction-style proof systems, including the system used in the authors' Language of First-Order Logic.

Product Details

ISBN-13:
9781881526117
Publisher:
Center for the Study of Language and Inf
Publication date:
12/28/1994
Series:
Center for the Study of Language and Information - Lecture Notes, #42
Edition description:
1
Pages:
254
Product dimensions:
7.00(w) x 10.00(h) x 1.10(d)

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
Index of Try Me Files

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >