Logic · The Theory of Formal Inference by Ambrose, Alice -- Read -- Imperial Library of Trantor

Index

Cover Title Page Copyright Page Contents I. Truth-Functions

Introduction Formal terms Disjunctive arguments Conjunction Implication and equivalence Negation of mixed functions Properties of implication Applications Formal validity and tautologous functions Truth-tables Application of truth-tables to problems The axiomatic method The concept of a logistic system The propositional calculus Properties of the postulate set Exercises

II. Quantification

The universal quantifier The existential quantifier The categorical statement-forms The square of opposition Some quantificational equivalences The diagrammatic method for testing inferences Syllogistic inference Distribution of terms Syllogistic rules Diagrammatic testing Non-syllogistic inference Formation rules N-placed predicates Definite descriptions Exercises

III. Classes

Class membership and class inclusion Class products and sums Class complement Class identity The null class and the universal class Classes and categorical statement-forms Class negation, sums, products Distributive laws Valid formulas for 0 and 1 Laws of absorption Reduction problems The antilogism The algebra of classes Exercises

Chief Librarian: Las Zenow <zenow@riseup.net>
Fork the source code from gitlab.