Book:A.H. Basson/Introduction to Symbolic Logic/Third Edition

Subject Matter

 * Symbolic Logic

Contents

 * Preface to the Third Edition


 * 1. Symbolic Logic and Classical Logic
 * 2. The Use of Symbols
 * 3. Logical Form
 * 4. Inference and Implication
 * 4. Inference and Implication


 * 1. Propositions and their Relations
 * 2. Truth-Functions
 * 3. Basic Truth-Tables of the Propositional Calculus
 * 4. Relations between Truth-Functions
 * 5. Further Logical Constants
 * 5. Further Logical Constants


 * (continued)
 * 1. The Truth-Table Method of Testing the Validity of Arguments
 * 2. Logical Punctuation and the Scope of Constants
 * 3. The Construction and Application of Truth-Tables
 * 4. An Indirect Method of Truth-Table Decision
 * 5. The Classification of Propositions
 * 6. Reference Formulae
 * 7. Decision Procedures and Normal Forms
 * 8. The Total Number of Truth-Functional Expressions
 * 9. Derivation by Substitution


 * 1. The Purpose of the Axiomatic Method
 * 2. The Construction of an Axiom System
 * 3. Derivable Formulae
 * 4. Conditions for an Axiom System
 * 5. Consistency
 * 6. Independence
 * 7. The Derivation of Formulae
 * 8. Completeness
 * 8. Completeness


 * 1. Some New Forms of Inference
 * 2. Singular Propositions
 * 3. Further Remarks on Proper Names and Descriptions
 * 4. Relations between the Propositional Calculus and the Predicate Calculus
 * 5. The Particular Quantifier: Existence
 * 6. Analysis of some Quantified Propositions
 * 7. The Universal Quantifier
 * 8. The Interpretation of Quantifiers as Conjunctions and Disjunctions
 * 9. Free and Bound Variables: Constants
 * 10. Interpretation and Satisfiable Formulae
 * 11. Simultaneously Satisfiable Formulae
 * 12. The Classical Syllogism
 * 12. The Classical Syllogism


 * 1. Extensions of the Class of Formulae
 * 2. Formulae with more than one Quantifier
 * 3. Two-termed Predicates
 * 4. Satisfiability: Finite Domains
 * 5. Finite Domains (continued)
 * 6. Two-termed Predicates: Infinite Domains
 * 7. Logical Truth
 * 8. Decision Procedures
 * 9. Axiom Systems
 * 9. Axiom Systems


 * 1. The Syllogism and the Algebra of Classes
 * 2. Classes and the Relationships between them
 * 3. The Boolean Algebra of Classes
 * 4. The Boolean Algebra of Classes and the Syllogism
 * 4. The Boolean Algebra of Classes and the Syllogism









Source work progress
* : $\S 4.2$: The Construction of an Axiom System: $RST \, 1$


 * To be revisited