Abstract

The course will give a concise introduction to compositional modeltheoretic semantics in the Montague tradition, with ample discussion and motivation coming from recent research. Concentrating on the underlying methodological principles, I will aim to attract students' attention to the beauty and scientific value of the description of intricate semantic phenomena using elegant and rigorously-defined mathematical techniques. The course is intended for students who don't necessarily have any prior knowledge in logic or linguistics, but have some basic mathematical or general scientific background. The foundational concepts and techniques that will be covered include: entailment as a rich empirical domain, ambiguity, compositionality, direct modeltheoretic interpretation, types and model structure, boolean operators and generalized quantifiers. Motivations and examples will draw on recent research of coordination, quantifier scope and intensionality. Further remarks about diverse problems involving plurality, spatial expressions, conceptual semantics and pragmatics will be made as time permits.