"Classical Montague Grammar"
	
	     Thomas Ede Zimmermann

Prerequisites: reading knowledge of predicate logic, 
	basic concepts of set theory (tuples, relations, functions)

Content: This course will be concerned with Montague Grammar (aka Montague 
Semantics), which had been the standard theory of logical semantics 
throughout the 1970s and early 80's and is still highly useful as a starting 
point for anybody interested in more recent developments in formal semantics.
Given the technical complexity of its subject, the course can hardly 
replace a fully-fledged introduction to the field, but by the end of the 
week, participants may expect to have a grip on the overall architecture 
as well as the major conceptual and empirical content on the theory.

The course will roughly follow Richard Montague's own presentation in 
`Universal Grammar' (Theoria, 1970), skipping a lot of the technical 
details and adding some material whenever this seems appropriate. In 
particular at the very end I will present a survey of some later 
developments. 

Rough Schedule:
	1. Syntax-Semantics Interface [DAY 1]
	syntactic term algebras, compositionality

	2. Meaning and Reference [DAYS 1 & 2]
	Extensions, intensions, meanings, models; postulates

	3. Intensional Type Logic [DAYS 2 & 3]
        indirect interpretation; conversion laws; logicality	

	4. Extensional Constructions [DAY 4]
	noun phrases as quantifiers generalizing to the 
	worst cases; binding and scope

	5. Intensional Constructions [DAY 5]
	propositional attitudes (Hintikka semantics); de re reports; 
	opaque nominal arguments 
	
	6. Later Developments [DAY 5]
	two-sorted type theory; type-driven interpretation;
	dynamic Montague Grammar