Intermediate semantics

Aims

Aims

In this course you will acquire a basic understanding of the formal techniques necessary for the construction of a theory of meaning. You will achieve a basic fluency in the formal languages and you will appreciate the necessity for such rigorous techniques in the study of meaning.

By the end of this module, students will typically:

• Display a basic understanding of the notion of quantification and its manifestations in natural language
• Display a basic understanding of set theory and its use in model-theoretic semantics
• Correctly use first order predicate logic to represent natural language sentences
• Further appreciate the importance of entailment and the distinction between entailment, presupposition, and implicature

Prerequisites

Prerequisites

Students must have successfully completed:

•  L12C Elementary semantics (LAN00012C)

Programme

Programme

Contact hours

Two contact hours per week.

Teaching programme

This course provides an in-depth intensive introduction to the formal techniques employed in natural language semantics and presents the empirical domains of their application.

Teaching materials

Lecture notes and readings will be made available on the VLE.

Recommended additional reading:

• Heim, I & Kratzer, A. 1998. Semantics in Generative Grammar. Blackwell.
• Gamut, L. T. F. 1991. Logic, Language and Meaning (volume 1). Chicago.

Assessment and feedback

Assessment and feedback

Feedback on formative work

• Weekly exercises which the students can hand in and receive feedback by the following week. These exercises are optional. Answer sheets are posted after a week so students who do not hand the exercises in can self-assess.

Summative assessment and feedback

• Dossiers
  Two dossiers of seminar exercises completed during the course and submitted by weeks five and ten of the spring term.
  • Weight: 35%
• Examination
  A take home exam covering the application of the formal techniques to natural language data.
  • Weight: 65%