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.
Reading files.
| 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) |