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 Home page.

---