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

A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd Edition)

Published $\text {1959}$, University Tutorial Press Ltd.

ISBN 0 7231 0456 5

Subject Matter

• Symbolic Logic

Contents

Preface to the Third Edition

Chapter I. Introductory

1. Symbolic Logic and Classical Logic

2. The Use of Symbols

3. Logical Form

4. Inference and Implication

Chapter II. The Calculus of Propositions

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

Chapter III. The Calculus of Propositions (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

Chapter IV. The Axiomatic Method

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

Chapter V. Elements of the Predicate Calculus

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

Chapter VI. Elements of the Predicate Calculus

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

Appendix

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

Bibliography

Exercises

Index

Next

Source work progress

• 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 4.2$: The Construction of an Axiom System: $RST \, 1$

Second pass

Plenty of discursive and historical material omitted from here on in

• 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): Chapter $\text I$ Introductory: $3$. Logical Form