Semantic theory

Aims

This module aims:

To extend and deepen students’ knowledge of formal semantics by introducing a coherent theory of model-theoretic semantics.
To introduce key formal tools such as typed set theory and lambda-calculus, and their relevance to semantic composition.
To acquaint students with the central notion of quantification, with key concepts such as generalised quantifier theory, quantifier raising and NPI licensing.
Apply the formal tools in the study of quantification and its manifestations in natural language, and correctly express natural language expressions in first order predicate logic.
Appreciate the importance of and differences between logical inferences such as entailment, presupposition and implicature.