Jakub Szymanik

Language & Logic

Week Two - 14.00-15.30 - Level: I

Room: N3


The course gives an introduction to the generalized quantifier theory, overviewing some crucial notions of formal semantics and logic. We survey how mathematical methods may be rigorously applied in linguistics to study the possible meanings, the inferential power, and computational properties of quantifier expressions. The course novelty lies mostly in combining classical generalized quantifier themes with a computational perspective.