3 questions to test your understanding
What is the core principle that makes Montague semantics 'compositional'?
In Montague semantics, a noun phrase like 'most student' and a proper name like 'John' both denote the same semantic type — they both pick out individual entities in the model.
How does lambda abstraction allow a transitive verb phrase like 'loves Mary' to combine with a subject to produce a sentence meaning?