Semantik
| Kurs | Mo: 1115-1245 (HS 20) |
| Modul | Grammatiktheorie (04-006-1006) |
| Lehrer | Greg Kobele (GWZ H1 5.11) |
| Tutor | Max Polter |
| Tutorium | Mi: 1515-1615 (NSG 415) |
Announcements
- Monday (9.July) is our Klausur! It will be in HSG HS 8, and will begin at the usual class time (11:15).
- Friday (5.July) I will be present for a special tutorium beginning at 15:15. It will be held in the Seminargebäude, room 111.
Literatur
- von Stechow's lecture notes (I, II)
- Winter's textbook
- Heim & Kratzer's textbook (at the publisher)
- Portner's textbook (at the publisher)
Course Log
- The problem of DPs in object position
- A movement-based solution
- Scope taking
Suggested readings:
- Heim & Kratzer ch7
- Type assigment/checking and the λ calculus
- Interpreting movement
slides Review
- how to compute truth conditions of sentences
slides All about determiners (or rather 'Det's)
- properties (intersectivity, co-intersectivity, proportionality, conservativity)
- relations, and numerosity
- existential there
Suggested readings:
- Winter ch3
slides Generalized Quantifiers
- boolean operations over DPs (more precisely: DP denotations)
- Individuals as complete homomorphisms
Suggested readings:
- Winter ch3 (up to p58)
- Building Boolean Lattices pointwise
- Semantic types
- Semantic interpretation rules
- type driven function application at binary nodes
- identity function at unary nodes
- Finally covered Cantor's theorem
- Moved from sets to functions to unify the way different constructions contribute to semantic interpretation
- Introduced Boolean Lattices to unify 'different' usages of logical connectives (and, or, not)
- Used relations as the denotations of transitive verbs
- Argued (from coordination), that we should decompose constructions (like the transitive one into a subject-predicate construction, and a verb-object construction)
- Introduced the major topics of the course.
- Email Max Polter about your preferred times for the tutorium!