AN APPROACH FROM 'LAWS OF FORM' TO THE PREDICATE CALCULUS

by George Burnett-Stuart

Contents

0. Introduction
1. The Circle-Letter-and-Subscript Calculus (CLS-Calculus)
2. Criteria for Mark-equivalence
   • Introductory
   • Grounding
   • Tree-pruning
3. Derivation by Resolution - in the CL-Calculus
4. Resolution in CLS
   • Appendix to Chapter 4 - Unification
5. First-Order Logic or The Predicate Calculus
6. First-Order Logic transcribed into Laws of Form Notation
7. Skolemization
8. The Bridge – between First-Order Logic and the CLS-Calculus
9. Positive Inference
10. Examples
    • Part One
    • Part Two
    • Part Three
    • Postscript - Bring on the Computer!

The Markable Mark, home page