| Date | Lecture Notes | Readings | Homework / Comments |
|---|---|---|---|
| 9/5 | Introduction | Syllabus See also the recommended background reading suggestions (for perusal) | -- |
| 9/10 | Set Theory | Partee, ter Meulen & Wall Chapters Chap 1 & Chap 2 | -- |
| 9/12 | Set Theory (cont'd) | Homework 1 out | |
| 9/17 | Composing Basic Meanings | Heim & Kratzer Chapter 2 (2.1-2.2) | |
| 9/19 | The Lambda Notation | H & K Chapter 2 cont'd (2.3-2.5) | Homework 1 in Homework 2 out |
| 9/24 | The Lambda Notation Statement Logic | H & K Chapter 2 cont'd (2.3-2.5) Partee ter Meulen & Wall Chapters 5 & 6-6.5 | |
| 9/26 | Statement Logic | Partee ter Meulen & Wall Chapters 5 & 6-6.5 | |
| 10/1 | Statement Logic cont'd, | Homework 2 in, HW 3 out | |
| 10/3 | Semantics & Syntax | H&K 3 | |
| 10/8 | Modification | 4.1-4.3 | HW 3 in |
| 10/10 | Definites | H&K 4.4-4.5 | |
| 10/15 | Definites (cont'd) Relative Clauses & Variables | H&K 5.1-5.2 | HW 4 out |
| 10/17 | Relative Clauses cont'd | H&K 5.3 | |
| 10/24 | Relative Clauses cont'd | ||
| 10/29 | Variable Binding | H&K 5.4-5.5 | |
| 10/31 | Predicate Logic | PtMW 7 | HW 4 in on Friday |
| 11/5 | Type Theory & Lambda Calculus | Potts 4-6, PtMW 13 | |
| 11/7 | Type Theory & Lambda Calculus Quantification in Natural Language | Potts 4-6, PtMW 13 HK 6 | HW 5 out |
| 11/12 | Quantifiers cont'd Formal Properties of Quantifiers | H&K 6 | |
| 11/14 | Quantifiers & Presuppositions | HW 5 in | |
| 11/19 | Object Quantifiers | H&K 7 | HW 6 out |
| 11/21 | Object Quantifiers cont'd | ||
| 11/26 | Quantifier Movement | H&K 8 | |
| 11/28 | Quantifier Movement cont'd | HW 6in HW 7 out |
|
| 12/3 | Pronouns & Binding | H&K 9 | |
| 12/5 | Pronouns & Binding | H&K 10 | HW 7 in |