PHIL 2140 - Introduction to Logic
Typical Schedule of Topics
| Date | Topic |
| Week 1 | What is Logic? |
| Week 2 | Boolean Logic and Truth Tables |
| Week 3 | Boolean Algebra |
| Week 4 | Application of Logic: Computer Circuitry |
| Week 5 | Formal Proofs for Boolean Logic |
| Week 6 | The Logic of Conditionals |
| Week 7 | Fun with Logic: Logic Puzzles |
| Week 8 | Alternative Systems: Existential Graphs, Truth Trees |
Typical Schedule of Topics
| Date | Topic |
| Week 9 | Venn Diagrams |
| Week 10 | Quantificational Logic |
| Week 11 | Symbolization |
| Week 12 | Formal Proofs for Quantifiers |
| Week 13 | Application of Logic: Artificial Intelligence |
| Week 14 | Metalogic: Soundness and Completeness |
| Week 15 | Fun with Logic: Logic Puzzles |