Hyperproof
For Macintosh
Distributed for Center for the Study of Language and Information
254 pages
|
7 x 10
|
© 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
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
For more information, or to order this book, please visit http://www.press.uchicago.edu
Google preview here
Language and Linguistics: Formal Logic and Computational Linguistics
Philosophy: Logic and Philosophy of Language
You may purchase this title at these fine bookstores. Outside the USA, see our international sales information.
