PHIL 4140 - Intermediate Logic
Typical Schedule of Topics
| Date | Topic |
| Week 1 | Truth-Functional Logic: Formal Syntax, Semantics, and basic Metalogic |
| Week 2 | Quantificational Logic: Formal Syntax, Semantics, and basic Metalogic |
| Week 3 | Truth Trees: Proofs, Soundness, and Completeness |
| Week 4 | Axiom Systems: Axioms, Independence, and Completeness |
| Week 5 | Natural Deduction: Alternative Systems, Equivalence, Soundness, and Completeness |
| Week 6 | Sequent Systems |
| Week 7 | Modal Logic |
| Week 8 | Existential Graphs |
| Date | Topic |
| Week 9 | Automated Theorem Proving: Resolution and Davis Putnam |
| Week 10 | Logic Programming: Prolog and other systems |
| Week 11 | Logic Puzzles: Word Puzzles and Spatial Puzzles |
| Week 12 | Set Theory: Axioms and Proofs |
| Week 13 | Number Theory: Axioms, Proofs, and Models |
| Week 14 | Student Presentations |
| Week 15 | Student Presentations |