|
|
||||||||||||||||||||||||||||||||||||||||||||
Ling 470-2: |
||||||||||||||||||||||||||||||||||||||||||||
| 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 |
| Mar 27 [Tu] |
Logic refresher Propositional and first-order predicate logic Syntax, semantics, model theory Extensionality |
|
| March 29, Apr 3, 5 [Th,Tu,Th] |
Intensional logic Frames and models Modal and tense logic Intensional predicate logic |
Gamut vol. 2, Ch. 1, 2, 3 Kaufmann et al. (2006) |
| Apr 10, 12, 17 [Th,Tu,Tu] |
Modality Relative and graded modality Modal bases, modal forces, ordering sources |
Kratzer (1981) |
| Apr 19, 24, 26 [Th,Tu,Th] |
Branching time Truth and future reference The "imperfective paradox" Tense and branching time |
Thomason (1970) Dowty (1977) |
| May 1, 2 [Tu,Th] |
Conditionals Non-monotonicity Counterfactuals |
Kratzer (1981) Kaufmann (2005) |
| May 8, 10 [Tu,Th] |
Dynamics I: Common ground Belief and common ground Assertion and presupposition |
Stalnaker (1979, 2002) |
| May 15, 17 [Tu,Th] |
Dynamics II: Presupposition Projection, cancellation, satisfaction Accommodation |
Karttunen (1974) Heim (1983) |
| Paper topics must be decided by Friday, May 18 | ||
| May 22, 24 [Tu,Th] |
Dynamics III: Discourse referents Discourse Representation Theory File Change Semantics Indefinites and definites |
Kamp (1981) |
| Papers due on Monday, June 4 | ||