| Lecture | Topic | Slides |
|---|---|---|
| 01 | Introduction & Organization | Lecture 1 |
| 02 | Information Theory I | Lecture 2 |
| 03 | Information Theory II | Lecture 3 |
| 04 | Formal Semantics I (Propositional Logic) | Lecture 4 |
| 05 | Formal Semantics II (Predicate Logic) | Lecture 5 |
| 06 | Formal Semantics III (Second-Order Logic) | Lecture 6 |
| 07 | Formal Semantics IV (Type Theory) | Lecture 7 |
| 08 | Formal Semantics V (Lambda Calculus) | Lecture 8 |
| 09 | Formal Semantics (Summary) | Lecture 9 |
| 10 | Modality | Lecture 10 |
| 11 | Evidentiality | Lecture 11 |
| 12 | Current Research and Applications | Lecture 12 |
| 13 | Introduction to Pragmatics | Lecture 13 |
| 14 | Discourse Representation Theory I | Lecture 14 |
| 15 | Discourse Representation Theory II | Lecture 15 |
| 16 | Implicature | Lecture 16 |
| 17 | Presupposition | Lecture 17 |
| 18 | Speech Acts | Lecture 18 |
| 19 | Cross-Linguistic Diversity in Pragmatics | Lecture 19 |
| 20 | Pragmatic Universals | Lecture 20 |