Semantic theory

Aims

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.

Prerequisites

Prerequisites

Successful completion of Autumn Term Semantics (L23M).

Programme

Programme

Contact hours

There will be 3 contact hours per week. All contact hours are obligatory. Reading and homework are required each week.

Teaching programme

The topics to be covered in this module include:

• Typed set theory
• Propositional and predicate logic
• Generalised Quantifier Theory
• Monotonicity

Teaching materials

Readings will be provided online via the VLE.

Assessment

Assessment

• Two sets of exercises at 50% each