PHIL 370
Logical Theory I: Metatheory
Week 1 Introduction
- Jan 25
- Lecture (zoom)
- Jan 27
- Lecture (zoom)
- Jan 29
- Problem Set 1 Tutorial 1 - Set Theory Tutorial 2 - Relations and Functions
Week 2 Induction, Trees and Propositional Logic
- Feb 1
- Lecture (zoom)
- Feb 3
- Lecture (zoom)
- Feb 5
- Problem Set 2
Week 3 Propositional Logic: Models and Substitutions
- Feb 8
- Lecture (zoom)
- Feb 10
- Lecture (zoom)
- Feb 12
- Problem Set 3 Tutorial 3 - Logical Equivalence
Week 4 Soundness and Completeness
- Feb 15
- Lecture (zoom)
- Feb 17
- Lecture (zoom)
- Feb 19
- Problem Set 4
Week 5 Completeness
- Feb 22
- Lecture (zoom)
- Feb 24
- Lecture (zoom)
- Feb 26
- Problem Set 5 Tutorial 4 - Completeness
Week 9 First Order Language
- Mar 22
- Lecture (zoom)
- Mar 24
- Lecture (zoom)
- Mar 26
- Problem Set 6 Tutorial 5 - First Order Formulas and Substitutions
Week 10 Structures
- Mar 29
- Lecture (zoom)
- Mar 31
- Lecture (zoom)
- Apr 2
- Problem Set 7 Tutorial 6 - Structures
Week 11 Satisfaction, Soundness and Completeness
- Apr 5
- Lecture (zoom)
- Apr 7
- Lecture (zoom)
- Apr 2
- Problem Set 8
Week 12 Soundness and Completeness
- Apr 12
- Lecture (zoom)
- Apr 14
- Lecture (zoom)
- Apr 16
- Problem Set 9
Week 13 Soundness and Completeness
- Apr 19
- Lecture (zoom)
- Apr 21
- Lecture (zoom)
- Apr 23
- Problem Set 10
Week 15 Quantifiers
- May 3
- Lecture (zoom)
- May 5
- Lecture (zoom)
- May 10
- Lecture (zoom)
- May 10
- Problem Set 11 Tutorial 7 - First Order Logic