Dr. Robert A. Herrmann

Contents of Book 1.

If you would like a smaller font version that may not be as up-to-date as this version, please see the end of this page for the arxiv version.

Best Adobe 6.0 Reader monitor viewing is "full screen" and magnification 75 - 100%.

CONTENTS. CHAPTER 1: 1.1 Introduction.

CHAPTER 2: ( The Propositional Calculus); 2.1 Constructing a Language by Computer; 2.2 The Propositional Language; 2.3 Slight Simplification, Size, Common Pairs; 2.4 Model Theory - Basic Semantics; 2.5 Valid Formula; 2.6 Equivalent Formula; 2.7 The Denial, Normal Form, Logic Circuits; 2.8 The Princeton Project, Valid Consequences; 2.9 Valid Consequences; 2.10 Satisfaction and Consistency; 2.11 Proof Theory; 2.12 Demonstrations, Deduction from Premises; 2.13 The Deduction Theorem; 2.14 Deducibility Relations; 2.15 The Completeness Theorem; 2.16 Consequence Operators; 2.17 The Compactness Theorem.
File1
(298KB in 5 pdf files), File2 (282KB in 3 pdf files).

Chapter 3: (Predicate Calculus); 3.1 First-Order Language; 3.2 Free and Bound Variable Occurrences 3.3 Structures; 3.4 Valid Formula in Pd; 3.5 Valid Consequences and Models; 3.6 Formal Proof Theory; 3.7 Soundness and Deduction Theorem for Pd'; 3.8 Consistency, Negation Completeness, Compactness; 3.9 Ultralogics and Natural Systems; Appendix for Chapter 2, Chapter 3; Index of Terms; Answers to Exercises.

File3 (433KB in 3 pdf files)


File4 (382KB in 5 pdf and 2 jpg files ).

A smaller font version can be found at http://arxiv.org/abs/math.GM/0601709


Return to Free Books or Click back button, or if you retrieved this file directly from the Internet, then return to top of home page. If you retrieved this file while on my website, then return to top of home page.