Exercises
| 14/04/05 | Exercise 1: Predicate Logic |
| 21/04/05 | Exercise 2: Type Theory |
| 28/04/05 | Exercise 3: Type theory with modal and tense operators |
| Note: Because we didn't manage to talk about modal and tense logic in the lecture of 28/04, you won't be able to solve questions 1(c) and 3-5 of this exercise. Ignore them for now; we will put them into a later exercise. In addition, please solve 1(d) by using a binary predicate symbol "is-married-to'", and solve 2 by ignoring tense completely. | |
| 12/05/05 | Exercise 4: Modal and tense logic / Cooper Storage |
| Solution for Exercise 4, Question 4 | |
| 19/05/05 | Exercise 5: Underspecification |
| Erratum for Exercise 5: The correct rule for N' -> N PP | |
| 02/06/05 | Exercise 6: DRT |
| 09/06/05 | Exercise 7: DPL |
| 16/06/05 | Exercise 8: Presuppositions |
| 24/06/05 | Exercise 9: Lexical Semantics |
| 28/06/05 | Exercise 10: Metaphor and metonymy |
| 07/07/05 | Exercise 11: Bonus Exercise |