Semantics I (Fall 2015)

Week 1 (Sep 2) | Compositionality and truth conditions
- Syllabus
- Handout: introducing formal semantics
- Shh: the username to access the readings is rutgers, and the password is semantics.
Week 2 (Sep 8 & 9) | The semantics-pragmatics interface
- Reading
- Handout: the semantics-pragmatics interaface
Week 3 (Sep 14 & 16) | Set-theoretic foundations
Week 4 (Sep 21 & 23) | Compositionally interpreting formal, natural languages
Week 5 (Sep 28 & 30) | Lambda calculus and type theory
- Reading
- Here is a cute, relatively informal tutorial on the λ-calculus.
- Handout: syntax and "semantics" of the λ-calculus
- Handout: type theory
Week 6 (Oct 5 & 7) | Composition as saturation and modification
Week 7 (Oct 12 & 14) | First-order quantification and ⟦λ⟧
- Reading
- Handout: first-order predicate logic (FOPL)
- Handout: semantics of FOPL and λ-calculus
- Sample LaTeX files, for those who've asked: 1, 2
Week 8 (Oct 19 & 21) | Pronouns as variables, binding as abstraction
Week 9 (Oct 26 & 28) | Quantifiers
Week 10 (Nov 2 & 4) | Quantification and LF
- Reading
- Handout: Drawing out LF and QR
Week 11 (Nov 9 & 11) | vP-internal subjects, flexible types
- Reading
- Homework 4
Week 12 (Nov 16 & 18) | Scope and binding
Week 13 (Nov 23) | Event semantics
- Reading
- Handout: Events, arguments, and adjuncts
Week 14 (Nov 30 & Dec 2) | Dynamic semantics
Week 15 (Dec 7 & 9) | More on dynamics
- No new reading this week.
- Handout: last week's, continued
- Homework 5

Semantics I (Fall 2015)

Syllabus

Readings