|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
5410: |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Note: This schedule is subject to change, but not without notice. Any changes will be announced in class and reflected on these pages. Be sure to check regularly. |
| Dates | Topics | Readings | |
|---|---|---|---|
| Aug 27, 29 [Tu, Th] |
Semantics and Pragmatics Truth conditions Compositionality Object language and metalanguage Direct vs. indirect interpretation Semantic relations |
BC Ch. 1 Grice (1957) |
|
| Sep 3, 5 [Tu, Th] |
Some set theory Negative Polarity Items |
BC Ch. 2.1-3 Partee et al. Ch. 1 |
|
| Sep 10, 12 [Tu, Th] |
More set theory Relations and functions Propositional Logic |
BC Ch. 2.5, 3 Partee et al. Ch. 2 Gamut I Ch. 2 |
|
| Sep 17, 19 [Tu, Th] |
First-order predicate logic Quantification |
BC Ch. 4 Gamut I Ch. 3 |
|
| Sep 24, 26 [Tu, Th] |
Typed lambda calculus |
BC Ch. 5 Gamut II Ch. 4 |
|
| Oct 1, 3, 8, 10 [Tu, Th, Tu, Th] |
Translating some English Function Application Generalized Quantifiers |
BC Ch. 6 Barwise and Cooper 1981 |
|
| Oct 15, 17 [Tu, Th] |
Translating more English Predicate Modification and Abstraction Relative Clauses | BC Ch. 7.1-3 | |
| Oct 22, 24 [Tu, Th] |
Quantification Pronouns |
BC Ch. 7.4-5 | |
| Oct 29, 31, Nov 5 [Tu, Th, Tu] |
Presupposition Definiteness Projection |
BC Ch. 8 | |
| Nov 12, 14 [Tu, Th] |
Coordination and Plurals |
BC Ch. 10 Partee and Rooth (1983) |
|
| Nov 19, 21, Dec 3, 5 [Tu, Th, Tu, Th] |
Student Presentations | tba. | |
| Dec 9-14 | Finals week Possible makeup meeting during our exam slot. |
||