The text for the course is a manuscript written by the faculty member, entitled Logic: The Art of Persuasion and the Science of Truth. Topics were covered in the order in which they are presented.
| Chapter # | Topics |
|---|---|
| 1 | Introduction: The Place of Logic Among the Sciences (PDF) |
| 2 | Sets and Functions (PDF) |
| 3 | Sentential Calculus Introduction (PDF) |
| 4 | Sentential Calculus Semantics (PDF) |
| 5 | Extension Theorem (PDF) |
| 6 | State Descriptions, Disjunctive Normal Form, and Expressive Completeness (PDF) |
| 7 | SC Substitutions (PDF) |
| 8 | The Search-for-Counterexample Test for Validity (PDF) |
| 9 | Compactness Theorem (PDF) |
| 10 | SC Derivations (PDF) |
| 11 | SC Completeness (PDF) |
| 12 | Substitution of Equivalents (PDF) |
| 13 | SC Translations (PDF) |
| 14 | Trouble with "If"s (PDF) |
| 15 | Monadic Predicate Calculus (PDF) |
| 16 | Derivations in the Monadic Predicate Calculus (PDF) |
| 17 | Completeness in the Monadic Predicate Calculus (PDF) |
| 18 | Predicate Calculus (PDF) |
| 19 | Predicate Calculus Derivations (PDF) |
| 20 | Identity (PDF) |
| 21 | Russell's Theory of Definite Descriptions (PDF) |
| 22 | Sense and Reference (PDF) |
| 23 | Function Signs (PDF) |
| 24 | Sentential Calculus Revisited: Boolean Algebra (PDF) |